Trace number 4405453

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 692.003 108.939

General information on the benchmark

NameRandom/Random-RB-3-20-20/
rand-3-20-20-60-632-45.xml
MD5SUM9875f5c0ec8fbb2d8215ec13f3e1e37d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.4554
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints57
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":20}]
Minimum variable degree3
Maximum variable degree16
Distribution of variable degrees[{"degree":3,"count":1},{"degree":6,"count":5},{"degree":7,"count":2},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":16,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":57}]
Number of extensional constraints57
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":57}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9480-serial-file.bin HOME/instance-4405453-1569238659.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Mon Sep 23 13:36:58 CEST 2019
0.66/0.57	c PID: 9483
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.46/1.26	c (0,0) Parsing End
2.46/1.26	c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 57 ctr, max domain size 20
2.46/1.26	c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.46/1.26	c (0,0) Constraint Name Generate Begin
2.46/1.27	c (0,0) Ctr:HOME/instance-4405453-1569238659.xml,ExtensionSupport:Var
2.46/1.27	c (0,0) Constraint Name Generate End
2.46/1.27	c (0,0) Heap : 563 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.46/1.27	c (0,0) CSP to CSPinCNF Begin
9.63/3.41	c (2,2) translated 6 (10%) constraints
12.00/4.90	c (4,4) translated 12 (20%) constraints
13.75/6.35	c (5,5) translated 18 (30%) constraints
14.93/7.45	c (6,6) translated 23 (40%) constraints
16.40/8.88	c (8,8) translated 29 (50%) constraints
17.99/10.31	c (9,9) translated 35 (60%) constraints
19.11/11.50	c (10,10) translated 40 (70%) constraints
20.62/12.93	c (12,12) translated 46 (80%) constraints
21.93/14.25	c (13,13) translated 52 (90%) constraints
23.03/15.32	c (14,14) translated 57 (100%) constraints
23.23/15.56	c (15,14) ===========================================
23.35/15.68	c (15,15) Hybrid: #OE=23669, #LE=0
23.35/15.68	c (15,15) Hybrid
23.35/15.68	c (15,15) ===========================================
26.70/16.51	c (15,15) translated 26715 (10%) constraints
27.41/17.03	c (16,16) translated 53430 (20%) constraints
27.90/17.51	c (16,16) translated 80145 (30%) constraints
28.30/17.98	c (17,17) translated 106859 (40%) constraints
28.81/18.45	c (17,17) translated 133574 (50%) constraints
29.34/18.91	c (18,18) translated 160289 (60%) constraints
29.75/19.38	c (18,18) translated 187003 (70%) constraints
30.25/19.84	c (19,19) translated 213718 (80%) constraints
30.75/20.31	c (19,19) translated 240433 (90%) constraints
31.15/20.78	c (20,19) translated 267147 (100%) constraints
31.15/20.78	c (20,19) CSP to CSPinCNF End
31.15/20.80	c (20,19) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
31.15/20.80	c (20,19) Heap : 1711 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.15/20.80	c (20,19) CSPinCNF Propagation Begin
33.16/22.01	c (21,21) 0 values, 57 unsatisfiable literals, and 0 valid clauses are removed
33.16/22.01	c (21,21) CSPinCNF Propagation End
33.16/22.02	c (21,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
33.16/22.02	c (21,21) Heap : 2926 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.28/22.13	c (21,21) Hybrid: #OE=23669, #LE=0
33.28/22.13	c (21,21) Simplify CSPinCNF Begin
33.78/22.58	c (22,21) Simplify CSPinCNF End
33.78/22.59	c (22,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
33.78/22.59	c (22,21) Heap : 3146 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
33.78/22.59	c (22,21) Calculate Precise Domain Begin
33.78/22.59	c (22,21) 0 values are removed by re-calculation
33.78/22.59	c (22,21) Calculate Precise Domain End
33.78/22.59	c (22,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
33.78/22.59	c (22,21) Heap : 3146 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
33.78/22.59	c (22,21) CSPinCNF to SatSolver Begin
35.76/23.17	c (22,22) 26715 (10 %) CSP clauses are encoded (0 SAT variables, 27074 SAT clauses)
36.00/23.39	c (22,22) 53430 (20 %) CSP clauses are encoded (0 SAT variables, 53789 SAT clauses)
36.30/23.61	c (23,22) 80145 (30 %) CSP clauses are encoded (0 SAT variables, 80504 SAT clauses)
36.50/23.83	c (23,23) 106859 (40 %) CSP clauses are encoded (0 SAT variables, 107218 SAT clauses)
36.71/24.04	c (23,23) 133574 (50 %) CSP clauses are encoded (0 SAT variables, 133933 SAT clauses)
36.90/24.26	c (23,23) 160289 (60 %) CSP clauses are encoded (0 SAT variables, 160648 SAT clauses)
37.10/24.47	c (23,23) 187003 (70 %) CSP clauses are encoded (0 SAT variables, 187362 SAT clauses)
37.30/24.69	c (24,23) 213718 (80 %) CSP clauses are encoded (0 SAT variables, 214077 SAT clauses)
37.61/24.90	c (24,24) 240433 (90 %) CSP clauses are encoded (0 SAT variables, 240792 SAT clauses)
37.82/25.12	c (24,24) 267147 (100 %) CSP clauses are encoded (0 SAT variables, 267506 SAT clauses)
37.82/25.12	c (24,24) CSPinCNF to SatSolver End
37.82/25.12	c (24,24) Heap : 5354 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
37.82/25.12	c (24,24) 24029 bool, 267507 clause
37.82/25.12	c (24,24) Export Begin
37.96/25.20	c (24,24) Export to HOME/scop-9480-serial-file.bin
37.96/25.20	c (24,24) Export End
37.96/25.21	c (24,24) Export File Size: 0.01 MB
37.96/25.21	c (24,24) 0,0,20,21,22,22,24,STOP-AFTER(DIMACS)
37.96/25.21	c END-Prog: Mon Sep 23 13:37:23 CEST 2019
37.96/25.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9480-serial-file.bin
38.03/25.71	c (0,0) Read Serial File Begin
38.03/25.71	c (0,0) HOME/scop-9480-serial-file.bin
38.03/25.92	c (0,0) Read Serial File End
38.03/25.93	
38.03/25.93	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
38.03/25.93	(Solving Process)
38.03/25.93	
38.03/25.95	c BEGIN-Prog: Mon Sep 23 13:37:23 CEST 2019
38.03/25.95	c PID: 9505
38.03/25.95	c IP: 172.20.3.146
38.03/25.95	c HOST: node146.alineos.net
38.03/25.96	c (0,0) SatSolver.solve Begin
38.03/25.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405453-1569238659.xml-scop-9483.cnf
38.03/25.98	c (0,0) c
38.03/25.98	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)
38.03/25.98	c (0,0) c
38.03/25.98	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.03/25.98	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.03/25.98	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.03/25.98	c (0,0) c |                                                                                                       |
39.16/26.07	c (0,0) c |  Number of variables:         24029                                                                   |
39.16/26.07	c (0,0) c |  Number of clauses:          267507                                                                   |
39.16/26.07	c (0,0) c |  Parse time:                   0.08 s                                                                 |
39.16/26.07	c (0,0) c |                                                                                                       |
39.31/26.19	c (0,0) c |  Simplification time:          0.12 s                                                                 |
39.31/26.19	c (0,0) c |                                                                                                       |
39.31/26.19	c (0,0) c |  Generating clones                                                                                    |
39.40/26.27	c (0,0) c |  all clones generated. Memory =   189.93Mb.                                                           |
39.40/26.27	c (0,0) c ========================================================================================================|
39.40/26.27	c (0,0) c
39.40/26.27	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.40/26.27	c (0,0) c
39.40/26.27	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.40/26.27	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.40/26.27	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.40/26.27	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.40/26.27	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.40/26.27	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.40/26.27	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
39.40/26.27	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.40/26.27	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.40/26.27	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.40/26.27	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.40/26.27	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.40/26.27	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.40/26.27	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.40/26.27	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
39.40/26.27	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.40/26.27	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.40/26.27	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.40/26.27	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
277.33/56.15	c (30,0) c
277.33/56.15	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
277.33/56.15	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
277.33/56.15	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
277.33/56.15	c (30,0) c |  0 |     26 |      44904 |      34234 |    84826 |    18040 |     5804 |    39440 |     2490 |      210 |  20 |  0.000 |
277.33/56.15	c (30,0) c |  1 |     14 |      46341 |      36196 |    77232 |    10107 |     6648 |    36870 |     1618 |      219 |  20 |  0.000 |
277.33/56.15	c (30,0) c |  2 |     16 |      55271 |      42790 |    82384 |    16699 |     7491 |    15031 |     1898 |      228 |  20 |  0.000 |
277.33/56.15	c (30,0) c |  3 |     29 |      46400 |      35331 |    83782 |    19141 |     6577 |    41559 |     2216 |      222 |  20 |  0.000 |
277.33/56.15	c (30,0) c |  4 |     15 |      42851 |      33178 |    80945 |    16988 |     6587 |    33275 |     1889 |      215 |  20 |  0.000 |
277.33/56.15	c (30,0) c |  5 |     29 |      47822 |      35980 |    85808 |    19791 |     6475 |    39035 |     2531 |      222 |  20 |  0.000 |
277.33/56.15	c (30,0) c |  6 |     11 |      44360 |      34106 |    81602 |    17915 |     6365 |    41399 |     1835 |      220 |  20 |  0.000 |
277.33/56.15	c (30,0) c |  7 |     18 |      49591 |      37812 |    84692 |    11725 |     6818 |    39199 |     2572 |      224 |  20 |  0.000 |
277.33/56.15	c (30,0) c 
277.33/56.15	c (30,0) c synthesis      289627 conflicts   707878335 propagations     1218 conflicts/sec  2975978 propagations/sec
277.33/56.15	c (30,0) c real: 30.1725 s, cpu: 237.864 s, memory: 761.93 Mb
516.23/86.15	c (60,0) c
516.23/86.15	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
516.23/86.15	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
516.23/86.15	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
516.23/86.15	c (60,0) c |  0 |     41 |      82119 |      64739 |   106932 |    21174 |    10149 |    72622 |     5180 |      420 |  20 |  0.033 |
516.23/86.15	c (60,0) c |  1 |     22 |      86343 |      69648 |   102895 |    14396 |    10558 |    72167 |     4544 |      431 |  20 |  0.029 |
516.23/86.15	c (60,0) c |  2 |     19 |      94323 |      75705 |   107344 |    20931 |    11502 |    52810 |     3568 |      440 |  20 |  0.017 |
516.23/86.15	c (60,0) c |  3 |     53 |      85754 |      67491 |   107723 |    27411 |    11748 |    73920 |     5068 |      437 |  20 |  0.033 |
516.23/86.15	c (60,0) c |  4 |     24 |      77710 |      61831 |   104300 |    19598 |    11027 |    71844 |     5154 |      426 |  20 |  0.029 |
516.23/86.15	c (60,0) c |  5 |     59 |      86883 |      67574 |   109994 |    27678 |    11351 |    74138 |     5655 |      435 |  20 |  0.033 |
516.23/86.15	c (60,0) c |  6 |     34 |      80273 |      63134 |   106377 |    23672 |     9998 |    73978 |     4484 |      427 |  20 |  0.029 |
516.23/86.15	c (60,0) c |  7 |     24 |      87210 |      69283 |   105779 |    15326 |    11580 |    73779 |     4888 |      434 |  20 |  0.029 |
516.23/86.15	c (60,0) c 
516.23/86.15	c (60,0) c synthesis      539405 conflicts  1337372583 propagations     1132 conflicts/sec  2806378 propagations/sec
516.23/86.15	c (60,0) c real: 60.1705 s, cpu: 476.548 s, memory: 761.93 Mb
691.71/108.89	c (83,0) c
691.71/108.89	c (83,0) c real time : 82.9115 s
691.71/108.89	c (83,0) c cpu time  : 651.838 s
691.71/108.89	c (83,0) c
691.71/108.89	c (83,0) c
691.71/108.89	c (83,0) c
691.71/108.89	c (83,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
691.71/108.89	c (83,0) c
691.71/108.89	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
691.71/108.89	c (83,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
691.71/108.89	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
691.71/108.89	c (83,0) c | Conflicts     |          709111 |      87008 |      90697 |      95419 |      88389 |      83550 |      88260 |      85053 |      90735 |
691.71/108.89	c (83,0) c | Decisions     |          879813 |     108462 |     110860 |     117553 |     110060 |     103340 |     111159 |     106199 |     112180 |
691.71/108.89	c (83,0) c | Propagations  |      1777164834 |  220986073 |  225501791 |  221256437 |  218603000 |  224256753 |  219575332 |  222278373 |  224707075 |
691.71/108.89	c (83,0) c | ReduceDBs     |              59 |          7 |          8 |          8 |          7 |          7 |          7 |          7 |          8 |
691.71/108.89	c (83,0) c | SimpDBs       |              55 |          6 |          8 |          6 |          8 |          6 |          8 |          8 |          5 |
691.71/108.89	c (83,0) c | Restarts      |             329 |         52 |         23 |         21 |         61 |         35 |         69 |         43 |         25 |
691.71/108.89	c (83,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
691.71/108.89	c (83,0) c | PropBinClauses|      2061722180 |  258537581 |  262618613 |  252064824 |  254534900 |  263229237 |  253994098 |  258992500 |  257750427 |
691.71/108.89	c (83,0) c | PropPreBlocker|     15666179608 | 1952848922 | 1965196326 | 1972544573 | 1958255171 | 1950995415 | 1950304368 | 1953807702 | 1962227131 |
691.71/108.89	c (83,0) c | PropNotBlocker|      7319985138 |  918166045 |  905961878 |  905845126 |  931010242 |  914805086 |  921509046 |  926420422 |  896267293 |
691.71/108.89	c (83,0) c | LitFullScans  |     27938973455 | 3484626162 | 3493620166 | 3498644657 | 3503426589 | 3492527315 | 3487016088 | 3492540016 | 3486572462 |
691.71/108.89	c (83,0) c | LitScanFracts |         4216703 |     508713 |     542021 |     629252 |     541163 |     509664 |     534242 |     487467 |     464181 |
691.71/108.89	c (83,0) c | DecisionLevel0|             381 |         62 |         35 |         23 |         75 |         37 |         78 |         45 |         26 |
691.71/108.89	c (83,0) c | Periods       |            4654 |        580 |        582 |        583 |        583 |        582 |        581 |        582 |        581 |
691.71/108.89	c (83,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
691.71/108.89	c (83,0) c | Avg_Trail     |                 |       6636 |       6506 |       6902 |       6555 |       6711 |       6490 |       6624 |       6832 |
691.71/108.89	c (83,0) c | Avg_DL        |                 |         11 |         12 |         12 |         12 |         11 |         11 |         12 |         12 |
691.71/108.89	c (83,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
691.71/108.89	c (83,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
691.71/108.89	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
691.71/108.89	c (83,0) c | Exported      |          109648 |      12651 |      13636 |      14082 |      14079 |      13589 |      14623 |      12487 |      14501 |
691.71/108.89	c (83,0) c | Imported      |          735898 |      94191 |      93527 |      92534 |      93203 |      93352 |      92532 |      94229 |      82330 |
691.71/108.89	c (83,0) c | Good          |           29467 |       3665 |       3760 |       3725 |       3682 |       3760 |       3702 |       3702 |       3471 |
691.71/108.89	c (83,0) c | Purge         |          706431 |      90526 |      89767 |      88809 |      89521 |      89592 |      88830 |      90527 |      78859 |
691.71/108.89	c (83,0) c | Promoted      |           54463 |       7208 |       6148 |       5530 |       6925 |       7365 |       7587 |       6747 |       6953 |
691.71/108.89	c (83,0) c | Remove_Imp    |          385996 |      47721 |      54460 |      52037 |      43472 |      49321 |      42582 |      47769 |      48634 |
691.71/108.89	c (83,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
691.71/108.89	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
691.71/108.89	c (83,0) c | Unaries       |                 |         10 |         12 |          2 |         14 |          2 |          9 |          2 |          1 |
691.71/108.89	c (83,0) c | Binaries      |                 |        619 |        541 |        537 |        630 |        516 |        596 |        567 |        441 |
691.71/108.89	c (83,0) c | Glues         |                 |       2829 |       2501 |       2748 |       2928 |       2593 |       2797 |       2985 |       2619 |
691.71/108.90	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
691.71/108.90	c (83,0) c | Orig_Seen     |            46 % |     117206 |     113492 |     118067 |     116904 |     115201 |     118333 |     116276 |     116320 |
691.71/108.90	c (83,0) c | Diff Orig seen|                 |      X     | -     3714 |        861 | -      302 | -     2005 |       1127 | -      930 | -      886 |
691.71/108.90	c (83,0) c | Hamming       |            41 % |      X     |      10510 |       8857 |      10514 |      10318 |       8943 |      10401 |       9970 |
691.71/108.90	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
691.71/108.90	c (83,0) c | RunningTime   |                 |   82.6 100%|   81.2 100%|   80.8  99%|   80.9 100%|   81.8 100%|   82.1 100%|   82.1 100%|   82.5 100%|
691.71/108.90	c (83,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.5   1%|    0.1   0%|    0.0   0%|    0.1   0%|    0.0   0%|    0.0   0%|
691.71/108.90	c (83,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|
691.71/108.90	c (83,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%|
691.71/108.90	c (83,0) c | SolvingTime   |                 |   82.6     |   81.2     |   81.3     |   81.0     |   81.8     |   82.2     |   82.2     |   82.6     |
691.71/108.90	c (83,0) c | PropagationTim|                 |   78.7  95%|   77.0  95%|   77.1  95%|   76.8  95%|   77.7  95%|   78.2  95%|   78.2  95%|   78.3  95%|
691.71/108.90	c (83,0) c | AnalysisTime  |                 |    1.8   2%|    1.9   2%|    2.0   2%|    1.9   2%|    1.8   2%|    1.8   2%|    1.7   2%|    2.0   2%|
691.71/108.90	c (83,0) c | ReductionTime |                 |    0.1   0%|    0.2   0%|    0.2   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|
691.71/108.90	c (83,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
691.71/108.90	c (83,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%|
691.71/108.90	c (83,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%|
691.71/108.90	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
691.71/108.90	c (83,0) c
691.71/108.90	c (83,0) c
691.71/108.90	c (83,0) c Threads : 8
691.71/108.90	c (83,0) c Winner : 0
691.71/108.90	c (83,0) c Conflicts_0 : 87008
691.71/108.90	c (83,0) c Conflicts_1 : 90697
691.71/108.90	c (83,0) c Conflicts_2 : 95419
691.71/108.90	c (83,0) c Conflicts_3 : 88389
691.71/108.90	c (83,0) c Conflicts_4 : 83550
691.71/108.90	c (83,0) c Conflicts_5 : 88260
691.71/108.90	c (83,0) c Conflicts_6 : 85053
691.71/108.90	c (83,0) c Conflicts_7 : 90735
691.71/108.90	c (83,0) c Conflicts_total : 709111
691.71/108.90	c (83,0) c Conflicts_winner : 87008
691.71/108.90	c (83,0) c Decisions_0 : 108462
691.71/108.90	c (83,0) c Decisions_1 : 110860
691.71/108.90	c (83,0) c Decisions_2 : 117553
691.71/108.90	c (83,0) c Decisions_3 : 110060
691.71/108.90	c (83,0) c Decisions_4 : 103340
691.71/108.90	c (83,0) c Decisions_5 : 111159
691.71/108.90	c (83,0) c Decisions_6 : 106199
691.71/108.90	c (83,0) c Decisions_7 : 112180
691.71/108.90	c (83,0) c Decisions_total : 879813
691.71/108.90	c (83,0) c Decisions_winner : 108462
691.71/108.90	c (83,0) c Propagations_0 : 220986073
691.71/108.90	c (83,0) c Propagations_1 : 225501791
691.71/108.90	c (83,0) c Propagations_2 : 221256437
691.71/108.90	c (83,0) c Propagations_3 : 218603000
691.71/108.90	c (83,0) c Propagations_4 : 224256753
691.71/108.90	c (83,0) c Propagations_5 : 219575332
691.71/108.90	c (83,0) c Propagations_6 : 222278373
691.71/108.90	c (83,0) c Propagations_7 : 224707075
691.71/108.90	c (83,0) c Propagations_total : 1777164834
691.71/108.90	c (83,0) c Propagations_winner : 220986073
691.71/108.90	c (83,0) c ReduceDBs_0 : 7
691.71/108.90	c (83,0) c ReduceDBs_1 : 8
691.71/108.90	c (83,0) c ReduceDBs_2 : 8
691.71/108.90	c (83,0) c ReduceDBs_3 : 7
691.71/108.90	c (83,0) c ReduceDBs_4 : 7
691.71/108.90	c (83,0) c ReduceDBs_5 : 7
691.71/108.90	c (83,0) c ReduceDBs_6 : 7
691.71/108.90	c (83,0) c ReduceDBs_7 : 8
691.71/108.90	c (83,0) c ReduceDBs_total : 59
691.71/108.90	c (83,0) c ReduceDBs_winner : 7
691.71/108.90	c (83,0) c SimpDBs_0 : 6
691.71/108.90	c (83,0) c SimpDBs_1 : 8
691.71/108.90	c (83,0) c SimpDBs_2 : 6
691.71/108.90	c (83,0) c SimpDBs_3 : 8
691.71/108.90	c (83,0) c SimpDBs_4 : 6
691.71/108.90	c (83,0) c SimpDBs_5 : 8
691.71/108.90	c (83,0) c SimpDBs_6 : 8
691.71/108.90	c (83,0) c SimpDBs_7 : 5
691.71/108.90	c (83,0) c SimpDBs_total : 55
691.71/108.90	c (83,0) c SimpDBs_winner : 6
691.71/108.90	c (83,0) c Restarts_0 : 52
691.71/108.90	c (83,0) c Restarts_1 : 23
691.71/108.90	c (83,0) c Restarts_2 : 21
691.71/108.90	c (83,0) c Restarts_3 : 61
691.71/108.90	c (83,0) c Restarts_4 : 35
691.71/108.90	c (83,0) c Restarts_5 : 69
691.71/108.90	c (83,0) c Restarts_6 : 43
691.71/108.90	c (83,0) c Restarts_7 : 25
691.71/108.90	c (83,0) c Restarts_total : 329
691.71/108.90	c (83,0) c Restarts_winner : 52
691.71/108.90	c (83,0) c ForcedImports_0 : 0
691.71/108.90	c (83,0) c ForcedImports_1 : 0
691.71/108.90	c (83,0) c ForcedImports_2 : 0
691.71/108.90	c (83,0) c ForcedImports_3 : 0
691.71/108.90	c (83,0) c ForcedImports_4 : 0
691.71/108.90	c (83,0) c ForcedImports_5 : 0
691.71/108.90	c (83,0) c ForcedImports_6 : 0
691.71/108.90	c (83,0) c ForcedImports_7 : 0
691.71/108.90	c (83,0) c ForcedImports_total : 0
691.71/108.90	c (83,0) c ForcedImports_winner : 0
691.71/108.90	c (83,0) c PropsBinClauses_0 : 258537581
691.71/108.90	c (83,0) c PropsBinClauses_1 : 262618613
691.71/108.90	c (83,0) c PropsBinClauses_2 : 252064824
691.71/108.90	c (83,0) c PropsBinClauses_3 : 254534900
691.71/108.90	c (83,0) c PropsBinClauses_4 : 263229237
691.71/108.90	c (83,0) c PropsBinClauses_5 : 253994098
691.71/108.90	c (83,0) c PropsBinClauses_6 : 258992500
691.71/108.90	c (83,0) c PropsBinClauses_7 : 257750427
691.71/108.90	c (83,0) c PropsBinClauses_total : 2061722180
39.27/108.90	c (83,0) c PropsBinClauses_winner : 258537581
39.27/108.90	c (83,0) c PropsPreBlocker_0 : 1952848922
39.27/108.90	c (83,0) c PropsPreBlocker_1 : 1965196326
39.27/108.90	c (83,0) c PropsPreBlocker_2 : 1972544573
39.27/108.90	c (83,0) c PropsPreBlocker_3 : 1958255171
39.27/108.90	c (83,0) c PropsPreBlocker_4 : 1950995415
39.27/108.90	c (83,0) c PropsPreBlocker_5 : 1950304368
39.27/108.90	c (83,0) c PropsPreBlocker_6 : 1953807702
39.27/108.90	c (83,0) c PropsPreBlocker_7 : 1962227131
39.27/108.90	c (83,0) c PropsPreBlocker_total : 15666179608
39.27/108.90	c (83,0) c PropsPreBlocker_winner : 1952848922
39.27/108.90	c (83,0) c PropsNotBlocker_0 : 918166045
39.27/108.90	c (83,0) c PropsNotBlocker_1 : 905961878
39.27/108.90	c (83,0) c PropsNotBlocker_2 : 905845126
39.27/108.90	c (83,0) c PropsNotBlocker_3 : 931010242
39.27/108.90	c (83,0) c PropsNotBlocker_4 : 914805086
39.27/108.90	c (83,0) c PropsNotBlocker_5 : 921509046
39.27/108.90	c (83,0) c PropsNotBlocker_6 : 926420422
39.27/108.90	c (83,0) c PropsNotBlocker_7 : 896267293
39.27/108.90	c (83,0) c PropsNotBlocker_total : 7319985138
39.27/108.90	c (83,0) c PropsNotBlocker_winner : 918166045
39.27/108.90	c (83,0) c PropsLitFullScans_0 : 3484626162
39.27/108.90	c (83,0) c PropsLitFullScans_1 : 3493620166
39.27/108.90	c (83,0) c PropsLitFullScans_2 : 3498644657
39.27/108.90	c (83,0) c PropsLitFullScans_3 : 3503426589
39.27/108.90	c (83,0) c PropsLitFullScans_4 : 3492527315
39.27/108.90	c (83,0) c PropsLitFullScans_5 : 3487016088
39.27/108.90	c (83,0) c PropsLitFullScans_6 : 3492540016
39.27/108.90	c (83,0) c PropsLitFullScans_7 : 3486572462
39.27/108.90	c (83,0) c PropsLitFullScans_total : 27938973455
39.27/108.90	c (83,0) c PropsLitFullScans_winner : 3484626162
39.27/108.90	c (83,0) c LitScanFractions_0 : 508713
39.27/108.90	c (83,0) c LitScanFractions_1 : 542021
39.27/108.90	c (83,0) c LitScanFractions_2 : 629252
39.27/108.90	c (83,0) c LitScanFractions_3 : 541163
39.27/108.90	c (83,0) c LitScanFractions_4 : 509664
39.27/108.90	c (83,0) c LitScanFractions_5 : 534242
39.27/108.90	c (83,0) c LitScanFractions_6 : 487467
39.27/108.90	c (83,0) c LitScanFractions_7 : 464181
39.27/108.90	c (83,0) c LitScanFractions_total : 4216703
39.27/108.90	c (83,0) c LitScanFractions_winner : 508713
39.27/108.90	c (83,0) c DecisionLevel0_0 : 62
39.27/108.90	c (83,0) c DecisionLevel0_1 : 35
39.27/108.90	c (83,0) c DecisionLevel0_2 : 23
39.27/108.90	c (83,0) c DecisionLevel0_3 : 75
39.27/108.90	c (83,0) c DecisionLevel0_4 : 37
39.27/108.90	c (83,0) c DecisionLevel0_5 : 78
39.27/108.90	c (83,0) c DecisionLevel0_6 : 45
39.27/108.90	c (83,0) c DecisionLevel0_7 : 26
39.27/108.90	c (83,0) c DecisionLevel0_total : 381
39.27/108.90	c (83,0) c DecisionLevel0_winner : 62
39.27/108.90	c (83,0) c Periods_0 : 580
39.27/108.90	c (83,0) c Periods_1 : 582
39.27/108.90	c (83,0) c Periods_2 : 583
39.27/108.90	c (83,0) c Periods_3 : 583
39.27/108.90	c (83,0) c Periods_4 : 582
39.27/108.90	c (83,0) c Periods_5 : 581
39.27/108.90	c (83,0) c Periods_6 : 582
39.27/108.90	c (83,0) c Periods_7 : 581
39.27/108.90	c (83,0) c Periods_total : 4654
39.27/108.90	c (83,0) c Periods_winner : 580
39.27/108.90	c (83,0) c Margin_0 : 20
39.27/108.90	c (83,0) c Margin_1 : 20
39.27/108.90	c (83,0) c Margin_2 : 20
39.27/108.90	c (83,0) c Margin_3 : 20
39.27/108.90	c (83,0) c Margin_4 : 20
39.27/108.90	c (83,0) c Margin_5 : 20
39.27/108.90	c (83,0) c Margin_6 : 20
39.27/108.90	c (83,0) c Margin_7 : 20
39.27/108.90	c (83,0) c Margin_total : 160
39.27/108.90	c (83,0) c Margin_winner : 20
39.27/108.90	c (83,0) c Exported_0 : 12651
39.27/108.90	c (83,0) c Exported_1 : 13636
39.27/108.90	c (83,0) c Exported_2 : 14082
39.27/108.90	c (83,0) c Exported_3 : 14079
39.27/108.90	c (83,0) c Exported_4 : 13589
39.27/108.90	c (83,0) c Exported_5 : 14623
39.27/108.90	c (83,0) c Exported_6 : 12487
39.27/108.90	c (83,0) c Exported_7 : 14501
39.27/108.90	c (83,0) c Exported_total : 109648
39.27/108.90	c (83,0) c Exported_winner : 12651
39.27/108.90	c (83,0) c Imported_0 : 94191
39.27/108.90	c (83,0) c Imported_1 : 93527
39.27/108.90	c (83,0) c Imported_2 : 92534
39.27/108.90	c (83,0) c Imported_3 : 93203
39.27/108.90	c (83,0) c Imported_4 : 93352
39.27/108.90	c (83,0) c Imported_5 : 92532
39.27/108.90	c (83,0) c Imported_6 : 94229
39.27/108.90	c (83,0) c Imported_7 : 82330
39.27/108.90	c (83,0) c Imported_total : 735898
39.27/108.90	c (83,0) c Imported_winner : 94191
39.27/108.90	c (83,0) c Good_0 : 3665
39.27/108.90	c (83,0) c Good_1 : 3760
39.27/108.90	c (83,0) c Good_2 : 3725
39.27/108.90	c (83,0) c Good_3 : 3682
39.27/108.90	c (83,0) c Good_4 : 3760
39.27/108.90	c (83,0) c Good_5 : 3702
39.27/108.90	c (83,0) c Good_6 : 3702
39.27/108.90	c (83,0) c Good_7 : 3471
39.27/108.90	c (83,0) c Good_total : 29467
39.27/108.90	c (83,0) c Good_winner : 3665
39.27/108.90	c (83,0) c Purge_0 : 90526
39.27/108.90	c (83,0) c Purge_1 : 89767
39.27/108.90	c (83,0) c Purge_2 : 88809
39.27/108.90	c (83,0) c Purge_3 : 89521
39.27/108.90	c (83,0) c Purge_4 : 89592
39.27/108.90	c (83,0) c Purge_5 : 88830
39.27/108.90	c (83,0) c Purge_6 : 90527
39.27/108.90	c (83,0) c Purge_7 : 78859
39.27/108.90	c (83,0) c Purge_total : 706431
39.27/108.90	c (83,0) c Purge_winner : 90526
39.27/108.90	c (83,0) c Promoted_0 : 7208
39.27/108.90	c (83,0) c Promoted_1 : 6148
39.27/108.90	c (83,0) c Promoted_2 : 5530
39.27/108.90	c (83,0) c Promoted_3 : 6925
39.27/108.90	c (83,0) c Promoted_4 : 7365
39.27/108.90	c (83,0) c Promoted_5 : 7587
39.27/108.90	c (83,0) c Promoted_6 : 6747
39.27/108.90	c (83,0) c Promoted_7 : 6953
39.27/108.90	c (83,0) c Promoted_total : 54463
39.27/108.90	c (83,0) c Promoted_winner : 7208
39.27/108.90	c (83,0) c Remove_Imp_0 : 47721
39.27/108.90	c (83,0) c Remove_Imp_1 : 54460
39.27/108.90	c (83,0) c Remove_Imp_2 : 52037
39.27/108.90	c (83,0) c Remove_Imp_3 : 43472
39.27/108.90	c (83,0) c Remove_Imp_4 : 49321
39.27/108.90	c (83,0) c Remove_Imp_5 : 42582
39.27/108.90	c (83,0) c Remove_Imp_6 : 47769
39.27/108.90	c (83,0) c Remove_Imp_7 : 48634
39.27/108.90	c (83,0) c Remove_Imp_total : 385996
39.27/108.90	c (83,0) c Remove_Imp_winner : 47721
39.27/108.90	c (83,0) c Blocked_Reuse_0 : 0
39.27/108.90	c (83,0) c Blocked_Reuse_1 : 0
39.27/108.90	c (83,0) c Blocked_Reuse_2 : 0
39.27/108.90	c (83,0) c Blocked_Reuse_3 : 0
39.27/108.90	c (83,0) c Blocked_Reuse_4 : 0
39.27/108.91	c (83,0) c Blocked_Reuse_5 : 0
39.27/108.91	c (83,0) c Blocked_Reuse_6 : 0
39.27/108.91	c (83,0) c Blocked_Reuse_7 : 0
39.27/108.91	c (83,0) c Blocked_Reuse_total : 0
39.27/108.91	c (83,0) c Blocked_Reuse_winner : 0
39.27/108.91	c (83,0) c Unaries_0 : 10
39.27/108.91	c (83,0) c Unaries_1 : 12
39.27/108.91	c (83,0) c Unaries_2 : 2
39.27/108.91	c (83,0) c Unaries_3 : 14
39.27/108.91	c (83,0) c Unaries_4 : 2
39.27/108.91	c (83,0) c Unaries_5 : 9
39.27/108.91	c (83,0) c Unaries_6 : 2
39.27/108.91	c (83,0) c Unaries_7 : 1
39.27/108.91	c (83,0) c Unaries_total : 52
39.27/108.91	c (83,0) c Unaries_winner : 10
39.27/108.91	c (83,0) c Binaries_0 : 619
39.27/108.91	c (83,0) c Binaries_1 : 541
39.27/108.91	c (83,0) c Binaries_2 : 537
39.27/108.91	c (83,0) c Binaries_3 : 630
39.27/108.91	c (83,0) c Binaries_4 : 516
39.27/108.91	c (83,0) c Binaries_5 : 596
39.27/108.91	c (83,0) c Binaries_6 : 567
39.27/108.91	c (83,0) c Binaries_7 : 441
39.27/108.91	c (83,0) c Binaries_total : 4447
39.27/108.91	c (83,0) c Binaries_winner : 619
39.27/108.91	c (83,0) c Glues_0 : 2829
39.27/108.91	c (83,0) c Glues_1 : 2501
39.27/108.91	c (83,0) c Glues_2 : 2748
39.27/108.91	c (83,0) c Glues_3 : 2928
39.27/108.91	c (83,0) c Glues_4 : 2593
39.27/108.91	c (83,0) c Glues_5 : 2797
39.27/108.91	c (83,0) c Glues_6 : 2985
39.27/108.91	c (83,0) c Glues_7 : 2619
39.27/108.91	c (83,0) c Glues_total : 22000
39.27/108.91	c (83,0) c Glues_winner : 2829
39.27/108.91	c (83,0) c RunningTime_0 : 82.559048
39.27/108.91	c (83,0) c RunningTime_1 : 81.174598
39.27/108.91	c (83,0) c RunningTime_2 : 80.766695
39.27/108.91	c (83,0) c RunningTime_3 : 80.897074
39.27/108.91	c (83,0) c RunningTime_4 : 81.753773
39.27/108.91	c (83,0) c RunningTime_5 : 82.128664
39.27/108.91	c (83,0) c RunningTime_6 : 82.121101
39.27/108.91	c (83,0) c RunningTime_7 : 82.521843
39.27/108.91	c (83,0) c RunningTime_total : 653.922797
39.27/108.91	c (83,0) c RunningTime_winner : 82.559048
39.27/108.91	c (83,0) c WaitingTime_0 : 0.000749
39.27/108.91	c (83,0) c WaitingTime_1 : 0.000930
39.27/108.91	c (83,0) c WaitingTime_2 : 0.511808
39.27/108.91	c (83,0) c WaitingTime_3 : 0.063585
39.27/108.91	c (83,0) c WaitingTime_4 : 0.000901
39.27/108.91	c (83,0) c WaitingTime_5 : 0.061035
39.27/108.91	c (83,0) c WaitingTime_6 : 0.000891
39.27/108.91	c (83,0) c WaitingTime_7 : 0.000898
39.27/108.91	c (83,0) c WaitingTime_total : 0.640797
39.27/108.91	c (83,0) c WaitingTime_winner : 0.000749
39.27/108.91	c (83,0) c ExchangingTime_0 : 0.044287
39.27/108.91	c (83,0) c ExchangingTime_1 : 0.044858
39.27/108.91	c (83,0) c ExchangingTime_2 : 0.058101
39.27/108.91	c (83,0) c ExchangingTime_3 : 0.055855
39.27/108.91	c (83,0) c ExchangingTime_4 : 0.043366
39.27/108.91	c (83,0) c ExchangingTime_5 : 0.050906
39.27/108.91	c (83,0) c ExchangingTime_6 : 0.050848
39.27/108.91	c (83,0) c ExchangingTime_7 : 0.042660
39.27/108.91	c (83,0) c ExchangingTime_total : 0.390882
39.27/108.91	c (83,0) c ExchangingTime_winner : 0.044287
39.27/108.91	c (83,0) c PeriodProcTime_0 : 0.004804
39.27/108.91	c (83,0) c PeriodProcTime_1 : 0.005805
39.27/108.91	c (83,0) c PeriodProcTime_2 : 0.007011
39.27/108.91	c (83,0) c PeriodProcTime_3 : 0.004522
39.27/108.91	c (83,0) c PeriodProcTime_4 : 0.006116
39.27/108.91	c (83,0) c PeriodProcTime_5 : 0.004607
39.27/108.91	c (83,0) c PeriodProcTime_6 : 0.004610
39.27/108.91	c (83,0) c PeriodProcTime_7 : 0.006059
39.27/108.91	c (83,0) c PeriodProcTime_total : 0.043534
39.27/108.91	c (83,0) c PeriodProcTime_winner : 0.004804
39.27/108.91	c (83,0) c SolvingTime_0 : 82.608889
39.27/108.91	c (83,0) c SolvingTime_1 : 81.226192
39.27/108.91	c (83,0) c SolvingTime_2 : 81.343615
39.27/108.91	c (83,0) c SolvingTime_3 : 81.021036
39.27/108.91	c (83,0) c SolvingTime_4 : 81.804156
39.27/108.91	c (83,0) c SolvingTime_5 : 82.245212
39.27/108.91	c (83,0) c SolvingTime_6 : 82.177449
39.27/108.91	c (83,0) c SolvingTime_7 : 82.571460
39.27/108.91	c (83,0) c SolvingTime_total : 654.998010
39.27/108.91	c (83,0) c SolvingTime_winner : 82.608889
39.27/108.91	c (83,0) c PropagationTime_0 : 78.657936
39.27/108.91	c (83,0) c PropagationTime_1 : 77.009971
39.27/108.91	c (83,0) c PropagationTime_2 : 77.052265
39.27/108.91	c (83,0) c PropagationTime_3 : 76.839051
39.27/108.91	c (83,0) c PropagationTime_4 : 77.705863
39.27/108.91	c (83,0) c PropagationTime_5 : 78.192064
39.27/108.91	c (83,0) c PropagationTime_6 : 78.226354
39.27/108.91	c (83,0) c PropagationTime_7 : 78.295806
39.27/108.91	c (83,0) c PropagationTime_total : 621.979311
39.27/108.91	c (83,0) c PropagationTime_winner : 78.657936
39.27/108.91	c (83,0) c AnalysisTime_0 : 1.751963
39.27/108.91	c (83,0) c AnalysisTime_1 : 1.930456
39.27/108.91	c (83,0) c AnalysisTime_2 : 2.004690
39.27/108.91	c (83,0) c AnalysisTime_3 : 1.878628
39.27/108.91	c (83,0) c AnalysisTime_4 : 1.821203
39.27/108.91	c (83,0) c AnalysisTime_5 : 1.760881
39.27/108.91	c (83,0) c AnalysisTime_6 : 1.700644
39.27/108.91	c (83,0) c AnalysisTime_7 : 1.971182
39.27/108.92	c (83,0) c AnalysisTime_total : 14.819648
39.27/108.92	c (83,0) c AnalysisTime_winner : 1.751963
39.27/108.92	c (83,0) c ReductionTime_0 : 0.117764
39.27/108.92	c (83,0) c ReductionTime_1 : 0.175465
39.27/108.92	c (83,0) c ReductionTime_2 : 0.170748
39.27/108.92	c (83,0) c ReductionTime_3 : 0.121865
39.27/108.92	c (83,0) c ReductionTime_4 : 0.167628
39.27/108.92	c (83,0) c ReductionTime_5 : 0.127101
39.27/108.92	c (83,0) c ReductionTime_6 : 0.121863
39.27/108.92	c (83,0) c ReductionTime_7 : 0.133801
39.27/108.92	c (83,0) c ReductionTime_total : 1.136235
39.27/108.92	c (83,0) c ReductionTime_winner : 0.117764
39.27/108.92	c (83,0) c SimplifyTime_0 : 0.100207
39.27/108.92	c (83,0) c SimplifyTime_1 : 0.092343
39.27/108.92	c (83,0) c SimplifyTime_2 : 0.068023
39.27/108.92	c (83,0) c SimplifyTime_3 : 0.172877
39.27/108.92	c (83,0) c SimplifyTime_4 : 0.064163
39.27/108.92	c (83,0) c SimplifyTime_5 : 0.132847
39.27/108.92	c (83,0) c SimplifyTime_6 : 0.132773
39.27/108.92	c (83,0) c SimplifyTime_7 : 0.104573
39.27/108.92	c (83,0) c SimplifyTime_total : 0.867806
39.27/108.92	c (83,0) c SimplifyTime_winner : 0.100207
39.27/108.92	c (83,0) c UsedRateTime_0 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_1 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_2 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_3 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_4 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_5 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_6 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_7 : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_total : 0.000000
39.27/108.92	c (83,0) c UsedRateTime_winner : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_0 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_1 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_2 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_3 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_4 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_5 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_6 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_7 : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_total : 0.000000
39.27/108.92	c (83,0) c OverlapRateTime_winner : 0.000000
39.27/108.92	c (83,0) c
39.27/108.92	c (83,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.27/108.92	c (83,0) c
39.27/108.92	c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.27/108.92	c (83,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.27/108.92	c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.27/108.92	c (83,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.27/108.92	c (83,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.27/108.92	c (83,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.27/108.92	c (83,0) c | Initial random_seed   |  168646797 |  788338572 |   98665699 | 1124625804 | 1473571353 | 1977267067 | 1857415117 |   97630128 |
39.27/108.92	c (83,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.27/108.92	c (83,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.27/108.92	c (83,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.27/108.92	c (83,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.27/108.92	c (83,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.27/108.92	c (83,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.27/108.92	c (83,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.27/108.92	c (83,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.27/108.92	c (83,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.27/108.92	c (83,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.27/108.92	c (83,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.27/108.92	c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.27/108.92	c (83,0) 
39.27/108.92	c (83,0) s UNSATISFIABLE
39.27/108.92	c (83,0) SatSolver.solve End
39.27/108.92	c (83,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.27/108.92	c (83,0) Show results Begin
39.27/108.92	s UNSATISFIABLE
39.27/108.92	c (83,0) Show results End
39.27/108.92	c (83,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.27/108.93	c (83,0) 83,83,STOP-AFTER(ALL)
39.27/108.93	c END-Prog: Mon Sep 23 13:38:46 CEST 2019

Verifier Data


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 (11873 MiB free)
  memory of node 1: 16384 MiB (9784 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100089 s]*
/proc/loadavg: 0.39 0.11 0.08 2/211 9502
/proc/meminfo: memFree=22081856/32770624 swapFree=67002260/67108860
[pid=9480] ppid=9477 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9480/stat : 9480 (scop.sh) S 9477 9480 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779800 115843072 350 33554432000 4194304 5098028 140735022073456 140735022070712 140628781195900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12460032 140735022080764 140735022081112 140735022081112 140735022084041 0
/proc/9480/statm: 28282 350 297 221 0 87 0
[pid=9483] ppid=9480 vsize=27314120 memory=107200 CPUtime=0.1 cores=0-7
/proc/9483/stat : 9483 (java) S 9480 9480 9228 0 -1 1077944320 6398 0 0 0 8 2 0 0 20 0 20 0 499779800 27969658880 26800 33554432000 4194304 4196468 140722430962480 140722430945024 140010543693559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
/proc/9483/statm: 6828530 26800 2775 1 0 6790935 0
[pid=9483/tid=9484] ppid=9480 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/9483/task/9484/stat : 9484 (java) R 9480 9480 9228 0 -1 4202560 4510 0 0 0 7 1 0 0 20 0 20 0 499779800 27969658880 26865 33554432000 4194304 4196468 140722430962480 140010515516848 140010543715485 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9485] ppid=9480 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9483/task/9485/stat : 9485 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26865 33554432000 4194304 4196468 140722430962480 140010547936016 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9486] ppid=9480 vsize=27314120 memory=139983881582208 CPUtime=0 cores=0-7
/proc/9483/task/9486/stat : 9486 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26865 33554432000 4194304 4196468 140722430962480 140010366024592 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9487] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9487/stat : 9487 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26865 33554432000 4194304 4196468 140722430962480 140010364972048 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9488] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9488/stat : 9488 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26865 33554432000 4194304 4196468 140722430962480 140009964207248 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9489] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9489/stat : 9489 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26930 33554432000 4194304 4196468 140722430962480 140009963153680 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9490] ppid=9480 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9483/task/9490/stat : 9490 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26930 33554432000 4194304 4196468 140722430962480 140009962101136 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9491] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9491/stat : 9491 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26930 33554432000 4194304 4196468 140722430962480 140009961048592 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9492] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9492/stat : 9492 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 26930 33554432000 4194304 4196468 140722430962480 140009959996048 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9493] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9493/stat : 9493 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779804 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008662522352 140010543704706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9494] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9494/stat : 9494 (java) S 9480 9480 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499779805 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008484758944 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9495] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9495/stat : 9495 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779805 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008216323568 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9496] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9496/stat : 9496 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 26930 33554432000 4194304 4196468 140722430962480 140007841815248 140010543712155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9497] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9497/stat : 9497 (java) S 9480 9480 9228 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008661469168 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9498] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9498/stat : 9498 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008660416624 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9499] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9499/stat : 9499 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008659364080 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9500] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9500/stat : 9500 (java) R 9480 9480 9228 0 -1 4202560 270 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008658311536 140010543705494 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9501] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9501/stat : 9501 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 26930 33554432000 4194304 4196468 140722430962480 140007343909600 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9502] ppid=9480 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9483/task/9502/stat : 9502 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 26930 33554432000 4194304 4196468 140722430962480 140008657259440 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108600 KiB

[startup+0.21005 s]*
/proc/loadavg: 0.39 0.11 0.08 2/211 9502
/proc/meminfo: memFree=22061152/32770624 swapFree=67002260/67108860
[pid=9480] ppid=9477 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9480/stat : 9480 (scop.sh) S 9477 9480 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779800 115843072 350 33554432000 4194304 5098028 140735022073456 140735022070712 140628781195900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12460032 140735022080764 140735022081112 140735022081112 140735022084041 0
/proc/9480/statm: 28282 350 297 221 0 87 0
[pid=9483] ppid=9480 vsize=27314120 memory=126456 CPUtime=0.25 cores=0-7
/proc/9483/stat : 9483 (java) S 9480 9480 9228 0 -1 1077944320 11918 0 0 0 21 4 0 0 20 0 20 0 499779800 27969658880 31614 33554432000 4194304 4196468 140722430962480 140722430945024 140010543693559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
/proc/9483/statm: 6828530 31614 2931 1 0 6790935 0
[pid=9483/tid=9484] ppid=9480 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9483/task/9484/stat : 9484 (java) R 9480 9480 9228 0 -1 4202560 9629 0 0 0 16 3 0 0 20 0 20 0 499779800 27969658880 31614 33554432000 4194304 4196468 140722430962480 140010515522384 140010525257119 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9485] ppid=9480 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/9483/task/9485/stat : 9485 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140010547936016 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9486] ppid=9480 vsize=27314120 memory=139983881595079 CPUtime=0 cores=0-7
/proc/9483/task/9486/stat : 9486 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140010366024592 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9487] ppid=9480 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9483/task/9487/stat : 9487 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140010364972048 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9488] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9488/stat : 9488 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140009964207248 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9489] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9489/stat : 9489 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140009963153680 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9490] ppid=9480 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9483/task/9490/stat : 9490 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140009962101136 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9491] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9491/stat : 9491 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140009961048592 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9492] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9492/stat : 9492 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 31614 33554432000 4194304 4196468 140722430962480 140009959996048 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9493] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9493/stat : 9493 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779804 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008662522352 140010543704706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9494] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9494/stat : 9494 (java) S 9480 9480 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499779805 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008484758944 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9495] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9495/stat : 9495 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779805 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008216323568 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9496] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9496/stat : 9496 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 31614 33554432000 4194304 4196468 140722430962480 140007841815248 140010543712155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9497] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9497/stat : 9497 (java) S 9480 9480 9228 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008661469168 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9498] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9498/stat : 9498 (java) S 9480 9480 9228 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008660416624 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9499] ppid=9480 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9483/task/9499/stat : 9499 (java) S 9480 9480 9228 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008659364080 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9500] ppid=9480 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9483/task/9500/stat : 9500 (java) S 9480 9480 9228 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 499779808 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008658311536 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9501] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9501/stat : 9501 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 31614 33554432000 4194304 4196468 140722430962480 140007343909600 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9502] ppid=9480 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9483/task/9502/stat : 9502 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 31614 33554432000 4194304 4196468 140722430962480 140008657259440 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127856 KiB

[startup+0.309407 s]*
/proc/loadavg: 0.39 0.11 0.08 2/211 9502
/proc/meminfo: memFree=22048520/32770624 swapFree=67002260/67108860
[pid=9480] ppid=9477 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9480/stat : 9480 (scop.sh) S 9477 9480 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779800 115843072 350 33554432000 4194304 5098028 140735022073456 140735022070712 140628781195900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12460032 140735022080764 140735022081112 140735022081112 140735022084041 0
/proc/9480/statm: 28282 350 297 221 0 87 0
[pid=9483] ppid=9480 vsize=27314120 memory=130136 CPUtime=0.42 cores=0-7
/proc/9483/stat : 9483 (java) S 9480 9480 9228 0 -1 1077944320 12896 0 0 0 37 5 0 0 20 0 20 0 499779800 27969658880 32534 33554432000 4194304 4196468 140722430962480 140722430945024 140010543693559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
/proc/9483/statm: 6828530 32534 3032 1 0 6790935 0
[pid=9483/tid=9484] ppid=9480 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/9483/task/9484/stat : 9484 (java) R 9480 9480 9228 0 -1 4202560 10428 0 0 0 26 3 0 0 20 0 20 0 499779800 27969658880 32534 33554432000 4194304 4196468 140722430962480 140010515523632 140010528859152 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9485] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9485/stat : 9485 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140010547936016 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9486] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9486/stat : 9486 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140010366024592 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9487] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9487/stat : 9487 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140010364972048 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9488] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9488/stat : 9488 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140009964207248 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9489] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9489/stat : 9489 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140009963153680 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9490] ppid=9480 vsize=27314120 memory=139983721687727 CPUtime=0 cores=0-7
/proc/9483/task/9490/stat : 9490 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140009962101136 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9491] ppid=9480 vsize=27314120 memory=139983721690032 CPUtime=0 cores=0-7
/proc/9483/task/9491/stat : 9491 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140009961048592 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9492] ppid=9480 vsize=27314120 memory=139983721692336 CPUtime=0 cores=0-7
/proc/9483/task/9492/stat : 9492 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779803 27969658880 32534 33554432000 4194304 4196468 140722430962480 140009959996048 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9493] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9493/stat : 9493 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779804 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008662522352 140010543704706 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9494] ppid=9480 vsize=27314120 memory=279967443398544 CPUtime=0 cores=0-7
/proc/9483/task/9494/stat : 9494 (java) S 9480 9480 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499779805 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008484758944 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9495] ppid=9480 vsize=27314120 memory=279967443396240 CPUtime=0 cores=0-7
/proc/9483/task/9495/stat : 9495 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499779805 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008216323568 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9496] ppid=9480 vsize=27314120 memory=279967443403152 CPUtime=0 cores=0-7
/proc/9483/task/9496/stat : 9496 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 32534 33554432000 4194304 4196468 140722430962480 140007841815248 140010543712155 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9497] ppid=9480 vsize=27314120 memory=279967443344432 CPUtime=0.01 cores=0-7
/proc/9483/task/9497/stat : 9497 (java) S 9480 9480 9228 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 499779808 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008661469168 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9498] ppid=9480 vsize=27314120 memory=279967443416976 CPUtime=0.01 cores=0-7
/proc/9483/task/9498/stat : 9498 (java) S 9480 9480 9228 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 20 0 499779808 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008660416624 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9499] ppid=9480 vsize=27314120 memory=279967443423888 CPUtime=0.01 cores=0-7
/proc/9483/task/9499/stat : 9499 (java) S 9480 9480 9228 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 499779808 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008659364080 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9500] ppid=9480 vsize=27314120 memory=279967443421584 CPUtime=0.07 cores=0-7
/proc/9483/task/9500/stat : 9500 (java) S 9480 9480 9228 0 -1 1077944384 480 0 0 0 7 0 0 0 20 0 20 0 499779808 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008658311536 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9501] ppid=9480 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9501/stat : 9501 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 32534 33554432000 4194304 4196468 140722430962480 140007343909600 140010543703765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9502] ppid=9480 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9483/task/9502/stat : 9502 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779808 27969658880 32534 33554432000 4194304 4196468 140722430962480 140008657259440 140010543704706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131536 KiB

[startup+0.700861 s]
/proc/loadavg: 0.39 0.11 0.08 3/211 9502
/proc/meminfo: memFree=22034936/32770624 swapFree=67002260/67108860
[pid=9480] ppid=9477 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9480/stat : 9480 (scop.sh) S 9477 9480 9228 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499779800 115843072 350 33554432000 4194304 5098028 140735022073456 140735022070712 140628781195900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12460032 140735022080764 140735022081112 140735022081112 140735022084041 0
/proc/9480/statm: 28282 350 297 221 0 87 0
[pid=9483] ppid=9480 vsize=27320392 memory=167348 CPUtime=0.99 cores=0-7
/proc/9483/stat : 9483 (java) S 9480 9480 9228 0 -1 1077944320 19900 0 0 0 92 7 0 0 20 0 20 0 499779800 27976081408 41837 33554432000 4194304 4196468 140722430962480 140722430945024 140010543693559 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
/proc/9483/statm: 6830098 41837 3182 1 0 6791447 0
[pid=9483/tid=9484] ppid=9480 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/9483/task/9484/stat : 9484 (java) R 9480 9480 9228 0 -1 4202560 16853 0 0 0 62 5 0 0 20 0 20 0 499779800 27976081408 41837 33554432000 4194304 4196468 140722430962480 140010515524144 140010543715485 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9485] ppid=9480 vsize=27320392 memory=139983721898864 CPUtime=0 cores=0-7
/proc/9483/task/9485/stat : 9485 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27976081408 41837 33554432000 4194304 4196468 140722430962480 140010547936016 140010543703765 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9486] ppid=9480 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9483/task/9486/stat : 9486 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499779803 27976081408 41837 33554432000 4194304 4196468 140722430962480 140010366024592 140010543703765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0
[pid=9483/tid=9487] ppid=9480 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/9483/task/9487/stat : 9487 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499779803 27976081408 41837 33554432000 4194304 4196468 140722430962480 140010364972048 140010543703765 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19349504 140722430964423 140722430964870 140722430964870 140722430967759 0

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

/proc/9505/task/9513/stat : 9513 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374443120912 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9514] ppid=9480 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/9505/task/9514/stat : 9514 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374442068368 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9515] ppid=9480 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/9505/task/9515/stat : 9515 (java) S 9480 9480 9228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499782328 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373603035888 140374643985026 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9516] ppid=9480 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/9505/task/9516/stat : 9516 (java) S 9480 9480 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499782329 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373221435040 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9517] ppid=9480 vsize=8414124 memory=15816698942983994 CPUtime=0 cores=0-7
/proc/9505/task/9517/stat : 9517 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782329 8616062976 30234 33554432000 4194304 4196468 140723308747920 140372952999152 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9518] ppid=9480 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/9505/task/9518/stat : 9518 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140372578490832 140374643992475 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9519] ppid=9480 vsize=8414124 memory=928 CPUtime=0.07 cores=0-7
/proc/9505/task/9519/stat : 9519 (java) S 9480 9480 9228 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373601982704 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9520] ppid=9480 vsize=8414124 memory=1980 CPUtime=0.05 cores=0-7
/proc/9505/task/9520/stat : 9520 (java) S 9480 9480 9228 0 -1 1077944384 177 0 0 0 5 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373600930160 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9521] ppid=9480 vsize=8414124 memory=1560 CPUtime=0.05 cores=0-7
/proc/9505/task/9521/stat : 9521 (java) S 9480 9480 9228 0 -1 1077944384 393 0 0 0 5 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373599877104 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9522] ppid=9480 vsize=8414124 memory=2648 CPUtime=0.2 cores=0-7
/proc/9505/task/9522/stat : 9522 (java) S 9480 9480 9228 0 -1 1077944384 730 0 0 0 20 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373598824560 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9523] ppid=9480 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9505/task/9523/stat : 9523 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499782332 8616062976 30234 33554432000 4194304 4196468 140723308747920 140372080585696 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9524] ppid=9480 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/9505/task/9524/stat : 9524 (java) S 9480 9480 9228 0 -1 1077944384 7 0 0 0 0 5 0 0 20 0 24 0 499782332 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373597772976 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9526] ppid=9480 vsize=8414124 memory=3184237903798725728 CPUtime=0 cores=0-7
/proc/9505/task/9526/stat : 9526 (java) S 9480 9480 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499782398 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373589738944 140374643998489 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9528] ppid=9480 vsize=8414124 memory=482432 CPUtime=0 cores=0-7
/proc/9505/task/9528/stat : 9528 (java) S 9480 9480 9228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 499782398 8616062976 30234 33554432000 4194304 4196468 140723308747920 140371409485328 140374643995805 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9529] ppid=9480 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/9505/task/9529/stat : 9529 (java) S 9480 9480 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499782399 8616062976 30234 33554432000 4194304 4196468 140723308747920 140371677920912 140374643995805 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9530] ppid=9480 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/9505/task/9530/stat : 9530 (java) S 9480 9480 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499782400 8616062976 30234 33554432000 4194304 4196468 140723308747920 140371141057456 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
Current children cumulated CPU time: 690.72 s
Current children cumulated vsize: 9307464 KiB
Current children cumulated memory: 622848 KiB

[startup+108.801 s]
/proc/loadavg: 6.09 2.05 0.77 6/222 9544
/proc/meminfo: memFree=21568064/32770624 swapFree=67002260/67108860
[pid=9480] ppid=9477 vsize=113128 memory=1476 CPUtime=38.03 cores=0-7
/proc/9480/stat : 9480 (scop.sh) S 9477 9480 9228 0 -1 4202496 583 55310 0 0 0 0 3636 167 20 0 1 0 499779800 115843072 369 33554432000 4194304 5098028 140735022073456 140735022070200 140628781195900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12460032 140735022080764 140735022081112 140735022081112 140735022084041 0
/proc/9480/statm: 28282 369 311 221 0 87 0
[pid=9505] ppid=9480 vsize=8414124 memory=120936 CPUtime=1.23 cores=0-7
/proc/9505/stat : 9505 (java) S 9480 9480 9228 0 -1 1077944320 20747 0 0 0 115 8 0 0 20 0 24 0 499782325 8616062976 30234 33554432000 4194304 4196468 140723308747920 140723308730464 140374643973879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
/proc/9505/statm: 2103531 30234 3205 1 0 2064875 0
[pid=9525] ppid=9505 vsize=780212 memory=500436 CPUtime=652.45 cores=0-7
/proc/9525/stat : 9525 (manyglucose-4.1) S 9505 9480 9228 0 -1 1077944320 278661 0 0 0 65168 77 0 0 20 0 3 0 499782398 798937088 125109 33554432000 4194304 4454172 140720587399344 140720587397728 140267763576567 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 26755072 140720587404110 140720587404316 140720587404316 140720587407286 0
/proc/9525/statm: 195053 125109 417 64 0 190721 0
[pid=9525/tid=9531] ppid=9505 vsize=780212 memory=1768 CPUtime=82.5 cores=0-7
/proc/9525/task/9531/stat : 9531 (manyglucose-4.1) R 9505 9480 9228 0 -1 4202560 33351 0 0 0 8239 11 0 0 20 0 3 0 499782427 798937088 125109 33554432000 4194304 4454172 140720587399344 140267741838264 4351209 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26755072 140720587404110 140720587404316 140720587404316 140720587407286 0
[pid=9525/tid=9538] ppid=9505 vsize=780212 memory=60068 CPUtime=82.44 cores=0-7
/proc/9525/task/9538/stat : 9538 (manyglucose-4.1) R 9505 9480 9228 0 -1 4202560 31608 0 0 0 8239 5 0 0 20 0 3 0 499782427 798937088 125109 33554432000 4194304 4454172 140720587399344 140267668499320 4350902 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26755072 140720587404110 140720587404316 140720587404316 140720587407286 0
[pid=9505/tid=9506] ppid=9480 vsize=8414124 memory=988 CPUtime=0.75 cores=0-7
/proc/9505/task/9506/stat : 9506 (java) S 9480 9480 9228 0 -1 1077944384 17442 0 0 0 70 5 0 0 20 0 24 0 499782326 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374615814048 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9507] ppid=9480 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/9505/task/9507/stat : 9507 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374648216592 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9508] ppid=9480 vsize=8414124 memory=1424 CPUtime=0 cores=0-7
/proc/9505/task/9508/stat : 9508 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374448385168 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9509] ppid=9480 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/9505/task/9509/stat : 9509 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374447332112 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9510] ppid=9480 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/9505/task/9510/stat : 9510 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374446279568 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9511] ppid=9480 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/9505/task/9511/stat : 9511 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374445226512 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9512] ppid=9480 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/9505/task/9512/stat : 9512 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374444173968 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9513] ppid=9480 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/9505/task/9513/stat : 9513 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374443120912 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9514] ppid=9480 vsize=8414124 memory=32852 CPUtime=0 cores=0-7
/proc/9505/task/9514/stat : 9514 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30234 33554432000 4194304 4196468 140723308747920 140374442068368 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9515] ppid=9480 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/9505/task/9515/stat : 9515 (java) S 9480 9480 9228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499782328 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373603035888 140374643985026 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9516] ppid=9480 vsize=8414124 memory=500436 CPUtime=0 cores=0-7
/proc/9505/task/9516/stat : 9516 (java) S 9480 9480 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499782329 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373221435040 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9517] ppid=9480 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9505/task/9517/stat : 9517 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782329 8616062976 30234 33554432000 4194304 4196468 140723308747920 140372952999152 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9518] ppid=9480 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/9505/task/9518/stat : 9518 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140372578490832 140374643992475 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9519] ppid=9480 vsize=8414124 memory=2012 CPUtime=0.07 cores=0-7
/proc/9505/task/9519/stat : 9519 (java) S 9480 9480 9228 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373601982704 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9520] ppid=9480 vsize=8414124 memory=1424 CPUtime=0.05 cores=0-7
/proc/9505/task/9520/stat : 9520 (java) S 9480 9480 9228 0 -1 1077944384 177 0 0 0 5 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373600930160 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9521] ppid=9480 vsize=8414124 memory=580 CPUtime=0.05 cores=0-7
/proc/9505/task/9521/stat : 9521 (java) S 9480 9480 9228 0 -1 1077944384 393 0 0 0 5 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373599877104 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9522] ppid=9480 vsize=8414124 memory=1476 CPUtime=0.2 cores=0-7
/proc/9505/task/9522/stat : 9522 (java) S 9480 9480 9228 0 -1 1077944384 730 0 0 0 20 0 0 0 20 0 24 0 499782331 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373598824560 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9523] ppid=9480 vsize=8414124 memory=120936 CPUtime=0 cores=0-7
/proc/9505/task/9523/stat : 9523 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499782332 8616062976 30234 33554432000 4194304 4196468 140723308747920 140372080585696 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9524] ppid=9480 vsize=8414124 memory=483840 CPUtime=0.05 cores=0-7
/proc/9505/task/9524/stat : 9524 (java) S 9480 9480 9228 0 -1 1077944384 7 0 0 0 0 5 0 0 20 0 24 0 499782332 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373597772976 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9526] ppid=9480 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/9505/task/9526/stat : 9526 (java) S 9480 9480 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499782398 8616062976 30234 33554432000 4194304 4196468 140723308747920 140373589738944 140374643998489 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9528] ppid=9480 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/9505/task/9528/stat : 9528 (java) S 9480 9480 9228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 499782398 8616062976 30234 33554432000 4194304 4196468 140723308747920 140371409485328 140374643995805 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9529] ppid=9480 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9505/task/9529/stat : 9529 (java) S 9480 9480 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499782399 8616062976 30234 33554432000 4194304 4196468 140723308747920 140371677920912 140374643995805 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9530] ppid=9480 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9505/task/9530/stat : 9530 (java) S 9480 9480 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499782400 8616062976 30234 33554432000 4194304 4196468 140723308747920 140371141057456 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
Current children cumulated CPU time: 691.71 s
Current children cumulated vsize: 9307464 KiB
Current children cumulated memory: 622848 KiB

[startup+108.901 s]
/proc/loadavg: 6.09 2.05 0.77 6/222 9544
/proc/meminfo: memFree=21568064/32770624 swapFree=67002260/67108860
[pid=9480] ppid=9477 vsize=113128 memory=1476 CPUtime=38.03 cores=0-7
/proc/9480/stat : 9480 (scop.sh) S 9477 9480 9228 0 -1 4202496 583 55310 0 0 0 0 3636 167 20 0 1 0 499779800 115843072 369 33554432000 4194304 5098028 140735022073456 140735022070200 140628781195900 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12460032 140735022080764 140735022081112 140735022081112 140735022084041 0
/proc/9480/statm: 28282 369 311 221 0 87 0
[pid=9505] ppid=9480 vsize=8414124 memory=121188 CPUtime=1.24 cores=0-7
/proc/9505/stat : 9505 (java) S 9480 9480 9228 0 -1 1077944320 20765 0 0 0 116 8 0 0 20 0 24 0 499782325 8616062976 30297 33554432000 4194304 4196468 140723308747920 140723308730464 140374643973879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
/proc/9505/statm: 2103531 30297 3205 1 0 2064875 0
[pid=9505/tid=9506] ppid=9480 vsize=8414124 memory=1476 CPUtime=0.75 cores=0-7
/proc/9505/task/9506/stat : 9506 (java) S 9480 9480 9228 0 -1 1077944384 17442 0 0 0 70 5 0 0 20 0 24 0 499782326 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374615814048 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9507] ppid=9480 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9505/task/9507/stat : 9507 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374648216592 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9508] ppid=9480 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9505/task/9508/stat : 9508 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374448385168 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9509] ppid=9480 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/9505/task/9509/stat : 9509 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374447332112 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9510] ppid=9480 vsize=8414124 memory=60068 CPUtime=0 cores=0-7
/proc/9505/task/9510/stat : 9510 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374446279568 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9511] ppid=9480 vsize=8414124 memory=495272 CPUtime=0 cores=0-7
/proc/9505/task/9511/stat : 9511 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374445226512 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9512] ppid=9480 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9505/task/9512/stat : 9512 (java) S 9480 9480 9228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374444173968 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9513] ppid=9480 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9505/task/9513/stat : 9513 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374443120912 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9514] ppid=9480 vsize=8414124 memory=120936 CPUtime=0 cores=0-7
/proc/9505/task/9514/stat : 9514 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782327 8616062976 30297 33554432000 4194304 4196468 140723308747920 140374442068368 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9515] ppid=9480 vsize=8414124 memory=32852 CPUtime=0 cores=0-7
/proc/9505/task/9515/stat : 9515 (java) S 9480 9480 9228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499782328 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373603035888 140374643985026 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9516] ppid=9480 vsize=8414124 memory=12028 CPUtime=0 cores=0-7
/proc/9505/task/9516/stat : 9516 (java) S 9480 9480 9228 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499782329 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373221435040 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9517] ppid=9480 vsize=8414124 memory=120936 CPUtime=0 cores=0-7
/proc/9505/task/9517/stat : 9517 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782329 8616062976 30297 33554432000 4194304 4196468 140723308747920 140372952999152 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9518] ppid=9480 vsize=8414124 memory=500436 CPUtime=0 cores=0-7
/proc/9505/task/9518/stat : 9518 (java) S 9480 9480 9228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499782331 8616062976 30297 33554432000 4194304 4196468 140723308747920 140372578490832 140374643992475 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9519] ppid=9480 vsize=8414124 memory=495272 CPUtime=0.07 cores=0-7
/proc/9505/task/9519/stat : 9519 (java) S 9480 9480 9228 0 -1 1077944384 601 0 0 0 7 0 0 0 20 0 24 0 499782331 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373601982704 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9520] ppid=9480 vsize=8414124 memory=279967443565360 CPUtime=0.05 cores=0-7
/proc/9505/task/9520/stat : 9520 (java) S 9480 9480 9228 0 -1 1077944384 177 0 0 0 5 0 0 0 20 0 24 0 499782331 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373600930160 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9521] ppid=9480 vsize=8414124 memory=279967444340696 CPUtime=0.05 cores=0-7
/proc/9505/task/9521/stat : 9521 (java) S 9480 9480 9228 0 -1 1077944384 393 0 0 0 5 0 0 0 20 0 24 0 499782331 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373599877104 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9522] ppid=9480 vsize=8414124 memory=6153395252576735824 CPUtime=0.2 cores=0-7
/proc/9505/task/9522/stat : 9522 (java) R 9480 9480 9228 0 -1 4202560 748 0 0 0 20 0 0 0 20 0 24 0 499782331 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373598824560 140374643985814 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9523] ppid=9480 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9505/task/9523/stat : 9523 (java) S 9480 9480 9228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499782332 8616062976 30297 33554432000 4194304 4196468 140723308747920 140372080585696 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9524] ppid=9480 vsize=8414124 memory=120164 CPUtime=0.05 cores=0-7
/proc/9505/task/9524/stat : 9524 (java) S 9480 9480 9228 0 -1 1077944384 7 0 0 0 0 5 0 0 20 0 24 0 499782332 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373597772976 140374643985026 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9526] ppid=9480 vsize=8414124 memory=413300 CPUtime=0 cores=0-7
/proc/9505/task/9526/stat : 9526 (java) S 9480 9480 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499782398 8616062976 30297 33554432000 4194304 4196468 140723308747920 140373589738944 140374643998489 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9528] ppid=9480 vsize=8414124 memory=81853486746223 CPUtime=0.01 cores=0-7
/proc/9505/task/9528/stat : 9528 (java) R 9480 9480 9228 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 499782398 8616062976 30297 33554432000 4194304 4196468 140723308747920 140371409492960 140723309381570 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9529] ppid=9480 vsize=8414124 memory=7014751519717413482 CPUtime=0 cores=0-7
/proc/9505/task/9529/stat : 9529 (java) S 9480 9480 9228 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499782399 8616062976 30297 33554432000 4194304 4196468 140723308747920 140371677920912 140374643995805 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
[pid=9505/tid=9530] ppid=9480 vsize=8414124 memory=7014751519717413482 CPUtime=0 cores=0-7
/proc/9505/task/9530/stat : 9530 (java) S 9480 9480 9228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 499782400 8616062976 30297 33554432000 4194304 4196468 140723308747920 140371141057456 140374643984085 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140723308749792 140723308749958 140723308749958 140723308752847 0
Current children cumulated CPU time: 39.27 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 122664 KiB

Child status: 0
Real time (s): 108.939
CPU time (s): 692.003
CPU user time (s): 689.421
CPU system time (s): 2.58228
CPU usage (%): 635.221
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6139824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 689.421
system time used= 2.58228
maximum resident set size= 6138696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33195
involuntary context switches= 7163


# summary of solver processes directly reported to runsolver:
#   pid: 9480
#   total CPU time (s): 692.003
#   total CPU user time (s): 689.421
#   total CPU system time (s): 2.58228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00266 second user time and 1.39955 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-23 13:36:57
IDJOB=4405453
IDBENCH=121393
IDSOLVER=2868
FILE ID=node146/4405453-1569238659
RUNJOBID= node146-1569238586-9255
PBS_JOBID= 21704896
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-45.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405453-1569238659/watcher-4405453-1569238659 -o /var/tmp/evaluation-result-4405453-1569238659/solver-4405453-1569238659 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569238586-9255 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405453-1569238659.xml

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

MD5SUM BENCH= 9875f5c0ec8fbb2d8215ec13f3e1e37d
RANDOM SEED=600633216

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22178980 kB
MemAvailable:   31843532 kB
Buffers:          129008 kB
Cached:          9573600 kB
SwapCached:         3596 kB
Active:          4819472 kB
Inactive:        4887264 kB
Active(anon):       3768 kB
Inactive(anon):    56392 kB
Active(file):    4815704 kB
Inactive(file):  4830872 kB
Unevictable:      110936 kB
Mlocked:          110936 kB
SwapTotal:      67108860 kB
SwapFree:       67002260 kB
Dirty:             22084 kB
Writeback:             0 kB
AnonPages:        113040 kB
Mapped:            55396 kB
Shmem:             47520 kB
Slab:             475120 kB
SReclaimable:     446436 kB
SUnreclaim:        28684 kB
KernelStack:        3568 kB
PageTables:         6500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node146 at 2019-09-23 13:38:46