Trace number 4392293

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 686.154 109.459

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8284-serial-file.bin HOME/instance-4392293-1568417172.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 01:25:35 CEST 2019
0.65/0.57	c PID: 8287
0.65/0.57	c IP: 172.20.3.149
0.65/0.57	c HOST: node149.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.51/1.26	c (0,0) Parsing End
2.51/1.27	c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 57 ctr, max domain size 20
3.39/1.63	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
3.39/1.63	c (0,0) Constraint Name Generate Begin
3.39/1.63	c (0,0) Ctr:HOME/instance-4392293-1568417172.xml,ExtensionSupport:Var
3.39/1.63	c (0,0) Constraint Name Generate End
3.39/1.63	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
3.39/1.63	c (0,0) CSP to CSPinCNF Begin
9.95/3.49	c (2,2) translated 6 (10%) constraints
12.57/5.01	c (4,4) translated 12 (20%) constraints
14.34/6.50	c (5,5) translated 18 (30%) constraints
15.57/7.64	c (7,7) translated 23 (40%) constraints
17.13/9.12	c (8,8) translated 29 (50%) constraints
18.71/10.60	c (10,10) translated 35 (60%) constraints
19.92/11.82	c (11,11) translated 40 (70%) constraints
21.35/13.29	c (12,12) translated 46 (80%) constraints
22.75/14.66	c (14,14) translated 52 (90%) constraints
23.84/15.77	c (15,15) translated 57 (100%) constraints
24.14/16.01	c (15,15) ===========================================
24.14/16.01	c (15,15) Order
24.14/16.01	c (15,15) ===========================================
27.39/16.84	c (16,16) translated 26715 (10%) constraints
28.09/17.32	c (16,16) translated 53430 (20%) constraints
28.49/17.77	c (17,16) translated 80145 (30%) constraints
29.00/18.24	c (17,17) translated 106859 (40%) constraints
29.40/18.69	c (18,17) translated 133574 (50%) constraints
29.94/19.15	c (18,18) translated 160289 (60%) constraints
30.44/19.60	c (19,18) translated 187003 (70%) constraints
30.84/20.05	c (19,19) translated 213718 (80%) constraints
31.34/20.51	c (19,19) translated 240433 (90%) constraints
31.74/20.97	c (20,20) translated 267147 (100%) constraints
31.74/20.97	c (20,20) CSP to CSPinCNF End
31.74/20.98	c (20,20) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
31.74/20.98	c (20,20) Heap : 1600 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.74/20.98	c (20,20) CSPinCNF Propagation Begin
33.67/22.26	c (21,21) 0 values, 57 unsatisfiable literals, and 0 valid clauses are removed
33.67/22.26	c (21,21) CSPinCNF Propagation End
33.67/22.27	c (21,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
33.67/22.27	c (21,21) Heap : 2814 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.67/22.27	c (21,21) Simplify CSPinCNF Begin
34.29/22.73	c (22,21) Simplify CSPinCNF End
34.29/22.73	c (22,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
34.29/22.73	c (22,21) Heap : 3145 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
34.29/22.73	c (22,21) Calculate Precise Domain Begin
34.29/22.74	c (22,21) 0 values are removed by re-calculation
34.29/22.74	c (22,21) Calculate Precise Domain End
34.29/22.74	c (22,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
34.29/22.74	c (22,21) Heap : 3145 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
34.29/22.74	c (22,21) CSPinCNF to SatSolver Begin
36.25/23.34	c (22,22) 26715 (10 %) CSP clauses are encoded (0 SAT variables, 27074 SAT clauses)
36.51/23.57	c (23,22) 53430 (20 %) CSP clauses are encoded (0 SAT variables, 53789 SAT clauses)
36.71/23.79	c (23,22) 80145 (30 %) CSP clauses are encoded (0 SAT variables, 80504 SAT clauses)
37.01/24.01	c (23,23) 106859 (40 %) CSP clauses are encoded (0 SAT variables, 107218 SAT clauses)
37.22/24.23	c (23,23) 133574 (50 %) CSP clauses are encoded (0 SAT variables, 133933 SAT clauses)
37.41/24.45	c (23,23) 160289 (60 %) CSP clauses are encoded (0 SAT variables, 160648 SAT clauses)
37.61/24.67	c (24,23) 187003 (70 %) CSP clauses are encoded (0 SAT variables, 187362 SAT clauses)
37.81/24.90	c (24,24) 213718 (80 %) CSP clauses are encoded (0 SAT variables, 214077 SAT clauses)
38.12/25.12	c (24,24) 240433 (90 %) CSP clauses are encoded (0 SAT variables, 240792 SAT clauses)
38.31/25.34	c (24,24) 267147 (100 %) CSP clauses are encoded (0 SAT variables, 267506 SAT clauses)
38.31/25.34	c (24,24) CSPinCNF to SatSolver End
38.31/25.34	c (24,24) Heap : 5242 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
38.31/25.34	c (24,24) 24029 bool, 267507 clause
38.31/25.34	c (24,24) Export Begin
38.46/25.42	c (24,24) Export to HOME/scop-8284-serial-file.bin
38.46/25.42	c (24,24) Export End
38.46/25.43	c (24,24) Export File Size: 0.01 MB
38.46/25.43	c (24,24) 0,0,20,21,22,22,24,STOP-AFTER(DIMACS)
38.46/25.43	c END-Prog: Sat Sep 14 01:26:00 CEST 2019
38.46/25.46	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8284-serial-file.bin
38.55/25.93	c (0,0) Read Serial File Begin
38.55/25.93	c (0,0) HOME/scop-8284-serial-file.bin
39.41/26.13	c (0,0) Read Serial File End
39.41/26.15	
39.41/26.15	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
39.41/26.15	(Solving Process)
39.41/26.15	
39.41/26.17	c BEGIN-Prog: Sat Sep 14 01:26:01 CEST 2019
39.41/26.17	c PID: 8308
39.41/26.17	c IP: 172.20.3.149
39.41/26.17	c HOST: node149.alineos.net
39.41/26.17	c (0,0) SatSolver.solve Begin
39.41/26.17	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392293-1568417172.xml-scop-8287.cnf
39.41/26.20	c (0,0) c
39.41/26.20	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)
39.41/26.20	c (0,0) c
39.41/26.20	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
39.41/26.20	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
39.41/26.20	c (0,0) c ========================================[ Problem Statistics ]===========================================
39.41/26.20	c (0,0) c |                                                                                                       |
39.64/26.28	c (0,0) c |  Number of variables:         24029                                                                   |
39.64/26.28	c (0,0) c |  Number of clauses:          267507                                                                   |
39.64/26.28	c (0,0) c |  Parse time:                   0.08 s                                                                 |
39.64/26.28	c (0,0) c |                                                                                                       |
39.71/26.41	c (0,0) c |  Simplification time:          0.12 s                                                                 |
39.71/26.41	c (0,0) c |                                                                                                       |
39.71/26.41	c (0,0) c |  Generating clones                                                                                    |
39.71/26.49	c (0,0) c |  all clones generated. Memory =   189.93Mb.                                                           |
39.71/26.49	c (0,0) c ========================================================================================================|
39.71/26.49	c (0,0) c
39.71/26.49	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.71/26.49	c (0,0) c
39.71/26.49	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.71/26.49	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.71/26.49	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.71/26.49	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.71/26.49	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.71/26.49	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.71/26.49	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
39.71/26.49	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.71/26.49	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.71/26.49	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.71/26.49	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.71/26.49	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.71/26.49	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.71/26.49	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.71/26.49	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
39.71/26.49	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.71/26.49	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.71/26.49	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.71/26.49	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
276.05/56.15	c (30,0) c
276.05/56.15	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
276.05/56.15	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
276.05/56.15	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
276.05/56.15	c (30,0) c |  0 |     26 |      47146 |      36060 |    86546 |     9964 |     6131 |    39440 |     2711 |      222 |  20 |  0.000 |
276.05/56.15	c (30,0) c |  1 |     14 |      47034 |      36808 |    77609 |    10720 |     6719 |    36870 |     1645 |      222 |  20 |  0.000 |
276.05/56.15	c (30,0) c |  2 |     16 |      53993 |      41710 |    81751 |    15619 |     7305 |    15031 |     1852 |      222 |  20 |  0.000 |
276.05/56.15	c (30,0) c |  3 |     28 |      43384 |      32905 |    81361 |    16715 |     6149 |    38450 |     1934 |      209 |  20 |  0.000 |
276.05/56.15	c (30,0) c |  4 |     15 |      42291 |      32744 |    80247 |    16553 |     6512 |    33275 |     1848 |      212 |  20 |  0.000 |
276.05/56.15	c (30,0) c |  5 |     29 |      47873 |      36032 |    85868 |     9944 |     6478 |    39035 |     2540 |      222 |  20 |  0.000 |
276.05/56.15	c (30,0) c |  6 |     10 |      42906 |      33008 |    80154 |    16817 |     6160 |    38902 |     1704 |      213 |  20 |  0.000 |
276.05/56.15	c (30,0) c |  7 |     18 |      48797 |      37185 |    84252 |    11098 |     6727 |    39199 |     2530 |      220 |  20 |  0.000 |
276.05/56.15	c (30,0) c 
276.05/56.15	c (30,0) c synthesis      286452 conflicts   701715176 propagations     1214 conflicts/sec  2972817 propagations/sec
276.05/56.15	c (30,0) c real: 29.953 s, cpu: 236.044 s, memory: 761.85 Mb
504.71/85.15	c (59,0) c
504.71/85.15	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
504.71/85.15	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
504.71/85.15	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
504.71/85.15	c (59,0) c |  0 |     42 |      83379 |      65783 |   107659 |    22218 |    10289 |    73937 |     5292 |      428 |  20 |  0.033 |
504.71/85.15	c (59,0) c |  1 |     22 |      85789 |      69164 |   102675 |    13912 |    10502 |    72167 |     4523 |      428 |  20 |  0.029 |
504.71/85.15	c (59,0) c |  2 |     19 |      91924 |      73657 |   106304 |    18883 |    11211 |    52810 |     3475 |      428 |  20 |  0.017 |
504.71/85.15	c (59,0) c |  3 |     50 |      81146 |      63612 |   105572 |    23957 |    11161 |    70566 |     4655 |      408 |  20 |  0.029 |
504.71/85.15	c (59,0) c |  4 |     22 |      75546 |      60021 |   103117 |    17788 |    10761 |    71180 |     4910 |      412 |  20 |  0.029 |
504.71/85.15	c (59,0) c |  5 |     58 |      85663 |      66602 |   109464 |    27155 |    11204 |    73357 |     5549 |      428 |  20 |  0.029 |
504.71/85.15	c (59,0) c |  6 |     32 |      78626 |      61752 |   105447 |    22290 |     9857 |    72433 |     4317 |      416 |  20 |  0.029 |
504.71/85.15	c (59,0) c |  7 |     23 |      85998 |      68280 |   105339 |    28949 |    11458 |    69990 |     4811 |      428 |  20 |  0.029 |
504.71/85.15	c (59,0) c 
504.71/85.15	c (59,0) c synthesis      528871 conflicts  1309801655 propagations     1139 conflicts/sec  2820016 propagations/sec
504.71/85.15	c (59,0) c real: 58.953 s, cpu: 464.466 s, memory: 761.85 Mb
686.00/109.43	c (83,0) c
686.00/109.43	c (83,0) c real time : 83.2287 s
686.00/109.43	c (83,0) c cpu time  : 645.423 s
686.00/109.43	c (83,0) c
686.00/109.43	c (83,0) c
686.00/109.43	c (83,0) c
686.00/109.43	c (83,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
686.00/109.43	c (83,0) c
686.00/109.43	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.43	c (83,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
686.00/109.43	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.43	c (83,0) c | Conflicts     |          707247 |      87008 |      90514 |      94913 |      87810 |      83290 |      88246 |      84731 |      90735 |
686.00/109.43	c (83,0) c | Decisions     |          877677 |     108462 |     110653 |     116969 |     109384 |     103040 |     111147 |     105842 |     112180 |
686.00/109.43	c (83,0) c | Propagations  |      1772777399 |  220986073 |  225111240 |  220107834 |  217217947 |  223594045 |  219547459 |  221505726 |  224707075 |
686.00/109.43	c (83,0) c | ReduceDBs     |              59 |          7 |          8 |          8 |          7 |          7 |          7 |          7 |          8 |
686.00/109.43	c (83,0) c | SimpDBs       |              52 |          6 |          7 |          6 |          7 |          5 |          8 |          8 |          5 |
686.00/109.43	c (83,0) c | Restarts      |             329 |         52 |         23 |         21 |         61 |         35 |         69 |         43 |         25 |
686.00/109.43	c (83,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
686.00/109.43	c (83,0) c | PropBinClauses|      2057265854 |  258537581 |  262233493 |  250912788 |  253105370 |  262526180 |  253967048 |  258232967 |  257750427 |
686.00/109.43	c (83,0) c | PropPreBlocker|     15628205693 | 1952848922 | 1961859910 | 1962769480 | 1946316970 | 1945044153 | 1950057754 | 1947081373 | 1962227131 |
686.00/109.43	c (83,0) c | PropNotBlocker|      7301203852 |  918166045 |  904225834 |  900794871 |  925174931 |  911879025 |  921358164 |  923337689 |  896267293 |
686.00/109.43	c (83,0) c | LitFullScans  |     27866480489 | 3484626162 | 3486543402 | 3480644322 | 3480533647 | 3480522689 | 3486535050 | 3480502755 | 3486572462 |
686.00/109.43	c (83,0) c | LitScanFracts |         4196750 |     508713 |     541948 |     624620 |     530165 |     506237 |     534242 |     486644 |     464181 |
686.00/109.43	c (83,0) c | DecisionLevel0|             359 |         62 |         28 |         23 |         64 |         36 |         75 |         45 |         26 |
686.00/109.43	c (83,0) c | Periods       |            4643 |        580 |        581 |        580 |        580 |        580 |        581 |        580 |        581 |
686.00/109.43	c (83,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
686.00/109.43	c (83,0) c | Avg_Trail     |                 |       6636 |       6508 |       6910 |       6557 |       6714 |       6490 |       6627 |       6832 |
686.00/109.43	c (83,0) c | Avg_DL        |                 |         11 |         12 |         12 |         12 |         11 |         11 |         12 |         12 |
686.00/109.43	c (83,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
686.00/109.43	c (83,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
686.00/109.43	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.43	c (83,0) c | Exported      |          109300 |      12651 |      13575 |      14001 |      13977 |      13552 |      14614 |      12429 |      14501 |
686.00/109.43	c (83,0) c | Imported      |          732436 |      94191 |      93164 |      92534 |      92698 |      90873 |      92417 |      94229 |      82330 |
686.00/109.43	c (83,0) c | Good          |           29331 |       3665 |       3748 |       3725 |       3665 |       3658 |       3697 |       3702 |       3471 |
686.00/109.43	c (83,0) c | Purge         |          703105 |      90526 |      89416 |      88809 |      89033 |      87215 |      88720 |      90527 |      78859 |
686.00/109.43	c (83,0) c | Promoted      |           54184 |       7208 |       6128 |       5463 |       6806 |       7335 |       7584 |       6707 |       6953 |
686.00/109.43	c (83,0) c | Remove_Imp    |          385996 |      47721 |      54460 |      52037 |      43472 |      49321 |      42582 |      47769 |      48634 |
686.00/109.43	c (83,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
686.00/109.43	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.43	c (83,0) c | Unaries       |                 |         10 |          5 |          2 |          3 |          1 |          6 |          2 |          1 |
686.00/109.43	c (83,0) c | Binaries      |                 |        619 |        522 |        537 |        604 |        512 |        593 |        563 |        441 |
686.00/109.43	c (83,0) c | Glues         |                 |       2829 |       2463 |       2732 |       2882 |       2583 |       2792 |       2966 |       2619 |
686.00/109.43	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.43	c (83,0) c | Orig_Seen     |            46 % |     117206 |     113432 |     117860 |     116706 |     115101 |     118322 |     116176 |     116320 |
686.00/109.43	c (83,0) c | Diff Orig seen|                 |      X     | -     3774 |        654 | -      500 | -     2105 |       1116 | -     1030 | -      886 |
686.00/109.43	c (83,0) c | Hamming       |            39 % |      X     |      10144 |       9038 |       9877 |       8003 |       9734 |      10136 |       9970 |
686.00/109.43	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.43	c (83,0) c | RunningTime   |                 |   79.6  98%|   79.3  98%|   80.6  99%|   82.9 100%|   82.5 100%|   80.2  99%|   82.1 100%|   80.6  99%|
686.00/109.43	c (83,0) c | WaitingTime   |                 |    1.4   2%|    1.8   2%|    0.5   1%|    0.0   0%|    0.0   0%|    0.9   1%|    0.0   0%|    0.5   1%|
686.00/109.43	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%|
686.00/109.43	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%|
686.00/109.43	c (83,0) c | SolvingTime   |                 |   81.0     |   81.1     |   81.1     |   82.9     |   82.5     |   81.1     |   82.2     |   81.1     |
686.00/109.43	c (83,0) c | PropagationTim|                 |   77.0  95%|   76.9  95%|   76.9  95%|   78.8  95%|   78.4  95%|   77.1  95%|   78.2  95%|   76.9  95%|
686.00/109.43	c (83,0) c | AnalysisTime  |                 |    1.8   2%|    1.9   2%|    2.0   2%|    1.9   2%|    1.8   2%|    1.7   2%|    1.7   2%|    1.9   2%|
686.00/109.43	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%|
686.00/109.43	c (83,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|
686.00/109.43	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%|
686.00/109.43	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%|
686.00/109.43	c (83,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.43	c (83,0) c
686.00/109.43	c (83,0) c
686.00/109.43	c (83,0) c Threads : 8
686.00/109.43	c (83,0) c Winner : 0
686.00/109.43	c (83,0) c Conflicts_0 : 87008
686.00/109.43	c (83,0) c Conflicts_1 : 90514
686.00/109.43	c (83,0) c Conflicts_2 : 94913
686.00/109.43	c (83,0) c Conflicts_3 : 87810
686.00/109.43	c (83,0) c Conflicts_4 : 83290
686.00/109.43	c (83,0) c Conflicts_5 : 88246
686.00/109.43	c (83,0) c Conflicts_6 : 84731
686.00/109.43	c (83,0) c Conflicts_7 : 90735
686.00/109.43	c (83,0) c Conflicts_total : 707247
686.00/109.43	c (83,0) c Conflicts_winner : 87008
686.00/109.43	c (83,0) c Decisions_0 : 108462
686.00/109.43	c (83,0) c Decisions_1 : 110653
686.00/109.43	c (83,0) c Decisions_2 : 116969
686.00/109.43	c (83,0) c Decisions_3 : 109384
686.00/109.43	c (83,0) c Decisions_4 : 103040
686.00/109.43	c (83,0) c Decisions_5 : 111147
686.00/109.43	c (83,0) c Decisions_6 : 105842
686.00/109.43	c (83,0) c Decisions_7 : 112180
686.00/109.43	c (83,0) c Decisions_total : 877677
686.00/109.43	c (83,0) c Decisions_winner : 108462
686.00/109.43	c (83,0) c Propagations_0 : 220986073
686.00/109.43	c (83,0) c Propagations_1 : 225111240
686.00/109.43	c (83,0) c Propagations_2 : 220107834
686.00/109.43	c (83,0) c Propagations_3 : 217217947
686.00/109.43	c (83,0) c Propagations_4 : 223594045
686.00/109.43	c (83,0) c Propagations_5 : 219547459
686.00/109.43	c (83,0) c Propagations_6 : 221505726
686.00/109.43	c (83,0) c Propagations_7 : 224707075
686.00/109.43	c (83,0) c Propagations_total : 1772777399
686.00/109.43	c (83,0) c Propagations_winner : 220986073
686.00/109.43	c (83,0) c ReduceDBs_0 : 7
686.00/109.43	c (83,0) c ReduceDBs_1 : 8
686.00/109.43	c (83,0) c ReduceDBs_2 : 8
686.00/109.43	c (83,0) c ReduceDBs_3 : 7
686.00/109.43	c (83,0) c ReduceDBs_4 : 7
686.00/109.43	c (83,0) c ReduceDBs_5 : 7
686.00/109.43	c (83,0) c ReduceDBs_6 : 7
686.00/109.43	c (83,0) c ReduceDBs_7 : 8
686.00/109.43	c (83,0) c ReduceDBs_total : 59
686.00/109.43	c (83,0) c ReduceDBs_winner : 7
686.00/109.43	c (83,0) c SimpDBs_0 : 6
686.00/109.43	c (83,0) c SimpDBs_1 : 7
686.00/109.43	c (83,0) c SimpDBs_2 : 6
686.00/109.43	c (83,0) c SimpDBs_3 : 7
686.00/109.43	c (83,0) c SimpDBs_4 : 5
686.00/109.43	c (83,0) c SimpDBs_5 : 8
686.00/109.43	c (83,0) c SimpDBs_6 : 8
686.00/109.43	c (83,0) c SimpDBs_7 : 5
686.00/109.43	c (83,0) c SimpDBs_total : 52
686.00/109.43	c (83,0) c SimpDBs_winner : 6
686.00/109.43	c (83,0) c Restarts_0 : 52
686.00/109.43	c (83,0) c Restarts_1 : 23
686.00/109.43	c (83,0) c Restarts_2 : 21
686.00/109.43	c (83,0) c Restarts_3 : 61
686.00/109.43	c (83,0) c Restarts_4 : 35
686.00/109.43	c (83,0) c Restarts_5 : 69
686.00/109.43	c (83,0) c Restarts_6 : 43
686.00/109.43	c (83,0) c Restarts_7 : 25
686.00/109.43	c (83,0) c Restarts_total : 329
686.00/109.43	c (83,0) c Restarts_winner : 52
686.00/109.43	c (83,0) c ForcedImports_0 : 0
686.00/109.43	c (83,0) c ForcedImports_1 : 0
686.00/109.43	c (83,0) c ForcedImports_2 : 0
686.00/109.43	c (83,0) c ForcedImports_3 : 0
686.00/109.43	c (83,0) c ForcedImports_4 : 0
686.00/109.43	c (83,0) c ForcedImports_5 : 0
686.00/109.43	c (83,0) c ForcedImports_6 : 0
686.00/109.43	c (83,0) c ForcedImports_7 : 0
686.00/109.43	c (83,0) c ForcedImports_total : 0
686.00/109.43	c (83,0) c ForcedImports_winner : 0
686.00/109.43	c (83,0) c PropsBinClauses_0 : 258537581
686.00/109.43	c (83,0) c PropsBinClauses_1 : 262233493
686.00/109.43	c (83,0) c PropsBinClauses_2 : 250912788
686.00/109.43	c (83,0) c PropsBinClauses_3 : 253105370
686.00/109.43	c (83,0) c PropsBinClauses_4 : 262526180
686.00/109.43	c (83,0) c PropsBinClauses_5 : 253967048
686.00/109.43	c (83,0) c PropsBinClauses_6 : 258232967
686.00/109.43	c (83,0) c PropsBinClauses_7 : 257750427
686.00/109.43	c (83,0) c PropsBinClauses_total : 2057265854
686.00/109.43	c (83,0) c PropsBinClauses_winner : 258537581
686.00/109.43	c (83,0) c PropsPreBlocker_0 : 1952848922
686.00/109.43	c (83,0) c PropsPreBlocker_1 : 1961859910
686.00/109.43	c (83,0) c PropsPreBlocker_2 : 1962769480
686.00/109.43	c (83,0) c PropsPreBlocker_3 : 1946316970
686.00/109.43	c (83,0) c PropsPreBlocker_4 : 1945044153
686.00/109.43	c (83,0) c PropsPreBlocker_5 : 1950057754
686.00/109.43	c (83,0) c PropsPreBlocker_6 : 1947081373
686.00/109.43	c (83,0) c PropsPreBlocker_7 : 1962227131
686.00/109.43	c (83,0) c PropsPreBlocker_total : 15628205693
686.00/109.43	c (83,0) c PropsPreBlocker_winner : 1952848922
686.00/109.43	c (83,0) c PropsNotBlocker_0 : 918166045
686.00/109.43	c (83,0) c PropsNotBlocker_1 : 904225834
686.00/109.43	c (83,0) c PropsNotBlocker_2 : 900794871
686.00/109.43	c (83,0) c PropsNotBlocker_3 : 925174931
686.00/109.43	c (83,0) c PropsNotBlocker_4 : 911879025
686.00/109.43	c (83,0) c PropsNotBlocker_5 : 921358164
686.00/109.43	c (83,0) c PropsNotBlocker_6 : 923337689
686.00/109.43	c (83,0) c PropsNotBlocker_7 : 896267293
686.00/109.43	c (83,0) c PropsNotBlocker_total : 7301203852
686.00/109.43	c (83,0) c PropsNotBlocker_winner : 918166045
686.00/109.43	c (83,0) c PropsLitFullScans_0 : 3484626162
686.00/109.43	c (83,0) c PropsLitFullScans_1 : 3486543402
686.00/109.43	c (83,0) c PropsLitFullScans_2 : 3480644322
686.00/109.43	c (83,0) c PropsLitFullScans_3 : 3480533647
686.00/109.43	c (83,0) c PropsLitFullScans_4 : 3480522689
686.00/109.43	c (83,0) c PropsLitFullScans_5 : 3486535050
686.00/109.43	c (83,0) c PropsLitFullScans_6 : 3480502755
686.00/109.43	c (83,0) c PropsLitFullScans_7 : 3486572462
686.00/109.43	c (83,0) c PropsLitFullScans_total : 27866480489
686.00/109.43	c (83,0) c PropsLitFullScans_winner : 3484626162
686.00/109.43	c (83,0) c LitScanFractions_0 : 508713
686.00/109.43	c (83,0) c LitScanFractions_1 : 541948
686.00/109.43	c (83,0) c LitScanFractions_2 : 624620
686.00/109.43	c (83,0) c LitScanFractions_3 : 530165
686.00/109.43	c (83,0) c LitScanFractions_4 : 506237
686.00/109.43	c (83,0) c LitScanFractions_5 : 534242
686.00/109.43	c (83,0) c LitScanFractions_6 : 486644
686.00/109.43	c (83,0) c LitScanFractions_7 : 464181
686.00/109.43	c (83,0) c LitScanFractions_total : 4196750
686.00/109.43	c (83,0) c LitScanFractions_winner : 508713
686.00/109.43	c (83,0) c DecisionLevel0_0 : 62
686.00/109.43	c (83,0) c DecisionLevel0_1 : 28
686.00/109.43	c (83,0) c DecisionLevel0_2 : 23
686.00/109.43	c (83,0) c DecisionLevel0_3 : 64
686.00/109.43	c (83,0) c DecisionLevel0_4 : 36
686.00/109.43	c (83,0) c DecisionLevel0_5 : 75
686.00/109.43	c (83,0) c DecisionLevel0_6 : 45
686.00/109.43	c (83,0) c DecisionLevel0_7 : 26
686.00/109.43	c (83,0) c DecisionLevel0_total : 359
686.00/109.43	c (83,0) c DecisionLevel0_winner : 62
686.00/109.43	c (83,0) c Periods_0 : 580
686.00/109.43	c (83,0) c Periods_1 : 581
686.00/109.43	c (83,0) c Periods_2 : 580
686.00/109.43	c (83,0) c Periods_3 : 580
686.00/109.43	c (83,0) c Periods_4 : 580
686.00/109.43	c (83,0) c Periods_5 : 581
686.00/109.43	c (83,0) c Periods_6 : 580
686.00/109.43	c (83,0) c Periods_7 : 581
686.00/109.43	c (83,0) c Periods_total : 4643
686.00/109.43	c (83,0) c Periods_winner : 580
686.00/109.43	c (83,0) c Margin_0 : 20
686.00/109.43	c (83,0) c Margin_1 : 20
686.00/109.43	c (83,0) c Margin_2 : 20
686.00/109.43	c (83,0) c Margin_3 : 20
686.00/109.43	c (83,0) c Margin_4 : 20
686.00/109.43	c (83,0) c Margin_5 : 20
686.00/109.43	c (83,0) c Margin_6 : 20
686.00/109.43	c (83,0) c Margin_7 : 20
686.00/109.43	c (83,0) c Margin_total : 160
686.00/109.43	c (83,0) c Margin_winner : 20
686.00/109.43	c (83,0) c Exported_0 : 12651
686.00/109.43	c (83,0) c Exported_1 : 13575
686.00/109.43	c (83,0) c Exported_2 : 14001
686.00/109.43	c (83,0) c Exported_3 : 13977
686.00/109.43	c (83,0) c Exported_4 : 13552
686.00/109.43	c (83,0) c Exported_5 : 14614
686.00/109.43	c (83,0) c Exported_6 : 12429
686.00/109.43	c (83,0) c Exported_7 : 14501
686.00/109.43	c (83,0) c Exported_total : 109300
686.00/109.43	c (83,0) c Exported_winner : 12651
686.00/109.43	c (83,0) c Imported_0 : 94191
686.00/109.43	c (83,0) c Imported_1 : 93164
686.00/109.43	c (83,0) c Imported_2 : 92534
686.00/109.43	c (83,0) c Imported_3 : 92698
686.00/109.43	c (83,0) c Imported_4 : 90873
686.00/109.43	c (83,0) c Imported_5 : 92417
686.00/109.43	c (83,0) c Imported_6 : 94229
686.00/109.43	c (83,0) c Imported_7 : 82330
686.00/109.43	c (83,0) c Imported_total : 732436
686.00/109.43	c (83,0) c Imported_winner : 94191
686.00/109.43	c (83,0) c Good_0 : 3665
686.00/109.43	c (83,0) c Good_1 : 3748
686.00/109.43	c (83,0) c Good_2 : 3725
686.00/109.43	c (83,0) c Good_3 : 3665
686.00/109.43	c (83,0) c Good_4 : 3658
686.00/109.44	c (83,0) c Good_5 : 3697
686.00/109.44	c (83,0) c Good_6 : 3702
686.00/109.44	c (83,0) c Good_7 : 3471
686.00/109.44	c (83,0) c Good_total : 29331
686.00/109.44	c (83,0) c Good_winner : 3665
686.00/109.44	c (83,0) c Purge_0 : 90526
686.00/109.44	c (83,0) c Purge_1 : 89416
686.00/109.44	c (83,0) c Purge_2 : 88809
686.00/109.44	c (83,0) c Purge_3 : 89033
686.00/109.44	c (83,0) c Purge_4 : 87215
686.00/109.44	c (83,0) c Purge_5 : 88720
686.00/109.44	c (83,0) c Purge_6 : 90527
686.00/109.44	c (83,0) c Purge_7 : 78859
686.00/109.44	c (83,0) c Purge_total : 703105
686.00/109.44	c (83,0) c Purge_winner : 90526
686.00/109.44	c (83,0) c Promoted_0 : 7208
686.00/109.44	c (83,0) c Promoted_1 : 6128
686.00/109.44	c (83,0) c Promoted_2 : 5463
686.00/109.44	c (83,0) c Promoted_3 : 6806
686.00/109.44	c (83,0) c Promoted_4 : 7335
686.00/109.44	c (83,0) c Promoted_5 : 7584
686.00/109.44	c (83,0) c Promoted_6 : 6707
686.00/109.44	c (83,0) c Promoted_7 : 6953
686.00/109.44	c (83,0) c Promoted_total : 54184
686.00/109.44	c (83,0) c Promoted_winner : 7208
686.00/109.44	c (83,0) c Remove_Imp_0 : 47721
686.00/109.44	c (83,0) c Remove_Imp_1 : 54460
686.00/109.44	c (83,0) c Remove_Imp_2 : 52037
686.00/109.44	c (83,0) c Remove_Imp_3 : 43472
686.00/109.44	c (83,0) c Remove_Imp_4 : 49321
686.00/109.44	c (83,0) c Remove_Imp_5 : 42582
686.00/109.44	c (83,0) c Remove_Imp_6 : 47769
686.00/109.44	c (83,0) c Remove_Imp_7 : 48634
686.00/109.44	c (83,0) c Remove_Imp_total : 385996
686.00/109.44	c (83,0) c Remove_Imp_winner : 47721
686.00/109.44	c (83,0) c Blocked_Reuse_0 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_1 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_2 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_3 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_4 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_5 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_6 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_7 : 0
686.00/109.44	c (83,0) c Blocked_Reuse_total : 0
686.00/109.44	c (83,0) c Blocked_Reuse_winner : 0
686.00/109.44	c (83,0) c Unaries_0 : 10
686.00/109.44	c (83,0) c Unaries_1 : 5
686.00/109.44	c (83,0) c Unaries_2 : 2
686.00/109.44	c (83,0) c Unaries_3 : 3
686.00/109.44	c (83,0) c Unaries_4 : 1
686.00/109.44	c (83,0) c Unaries_5 : 6
686.00/109.44	c (83,0) c Unaries_6 : 2
686.00/109.44	c (83,0) c Unaries_7 : 1
686.00/109.44	c (83,0) c Unaries_total : 30
686.00/109.44	c (83,0) c Unaries_winner : 10
686.00/109.44	c (83,0) c Binaries_0 : 619
686.00/109.44	c (83,0) c Binaries_1 : 522
686.00/109.44	c (83,0) c Binaries_2 : 537
686.00/109.44	c (83,0) c Binaries_3 : 604
686.00/109.44	c (83,0) c Binaries_4 : 512
686.00/109.44	c (83,0) c Binaries_5 : 593
686.00/109.44	c (83,0) c Binaries_6 : 563
686.00/109.44	c (83,0) c Binaries_7 : 441
686.00/109.44	c (83,0) c Binaries_total : 4391
686.00/109.44	c (83,0) c Binaries_winner : 619
686.00/109.44	c (83,0) c Glues_0 : 2829
686.00/109.44	c (83,0) c Glues_1 : 2463
686.00/109.44	c (83,0) c Glues_2 : 2732
686.00/109.44	c (83,0) c Glues_3 : 2882
686.00/109.44	c (83,0) c Glues_4 : 2583
686.00/109.44	c (83,0) c Glues_5 : 2792
686.00/109.44	c (83,0) c Glues_6 : 2966
686.00/109.44	c (83,0) c Glues_7 : 2619
686.00/109.44	c (83,0) c Glues_total : 21866
686.00/109.44	c (83,0) c Glues_winner : 2829
686.00/109.44	c (83,0) c RunningTime_0 : 79.605772
686.00/109.44	c (83,0) c RunningTime_1 : 79.256736
686.00/109.44	c (83,0) c RunningTime_2 : 80.585298
686.00/109.44	c (83,0) c RunningTime_3 : 82.861417
686.00/109.44	c (83,0) c RunningTime_4 : 82.500891
686.00/109.44	c (83,0) c RunningTime_5 : 80.173531
686.00/109.44	c (83,0) c RunningTime_6 : 82.099058
686.00/109.44	c (83,0) c RunningTime_7 : 80.566426
686.00/109.44	c (83,0) c RunningTime_total : 647.649130
686.00/109.44	c (83,0) c RunningTime_winner : 79.605772
686.00/109.44	c (83,0) c WaitingTime_0 : 1.370020
686.00/109.44	c (83,0) c WaitingTime_1 : 1.764475
686.00/109.44	c (83,0) c WaitingTime_2 : 0.457269
686.00/109.44	c (83,0) c WaitingTime_3 : 0.000690
686.00/109.44	c (83,0) c WaitingTime_4 : 0.000828
686.00/109.44	c (83,0) c WaitingTime_5 : 0.889496
686.00/109.44	c (83,0) c WaitingTime_6 : 0.000905
686.00/109.44	c (83,0) c WaitingTime_7 : 0.472344
686.00/109.44	c (83,0) c WaitingTime_total : 4.956027
686.00/109.44	c (83,0) c WaitingTime_winner : 1.370020
686.00/109.44	c (83,0) c ExchangingTime_0 : 0.044895
686.00/109.44	c (83,0) c ExchangingTime_1 : 0.043922
686.00/109.44	c (83,0) c ExchangingTime_2 : 0.057998
686.00/109.44	c (83,0) c ExchangingTime_3 : 0.054594
686.00/109.44	c (83,0) c ExchangingTime_4 : 0.042928
686.00/109.44	c (83,0) c ExchangingTime_5 : 0.050865
686.00/109.44	c (83,0) c ExchangingTime_6 : 0.052137
686.00/109.44	c (83,0) c ExchangingTime_7 : 0.041444
686.00/109.44	c (83,0) c ExchangingTime_total : 0.388784
686.00/109.44	c (83,0) c ExchangingTime_winner : 0.044895
686.00/109.44	c (83,0) c PeriodProcTime_0 : 0.005686
686.00/109.44	c (83,0) c PeriodProcTime_1 : 0.006222
686.00/109.44	c (83,0) c PeriodProcTime_2 : 0.004719
686.00/109.44	c (83,0) c PeriodProcTime_3 : 0.008499
686.00/109.44	c (83,0) c PeriodProcTime_4 : 0.005055
686.00/109.44	c (83,0) c PeriodProcTime_5 : 0.004735
686.00/109.44	c (83,0) c PeriodProcTime_6 : 0.005938
686.00/109.44	c (83,0) c PeriodProcTime_7 : 0.004646
686.00/109.44	c (83,0) c PeriodProcTime_total : 0.045499
686.00/109.44	c (83,0) c PeriodProcTime_winner : 0.005686
686.00/109.44	c (83,0) c SolvingTime_0 : 81.026373
686.00/109.44	c (83,0) c SolvingTime_1 : 81.071354
686.00/109.44	c (83,0) c SolvingTime_2 : 81.105285
686.00/109.44	c (83,0) c SolvingTime_3 : 82.925201
686.00/109.44	c (83,0) c SolvingTime_4 : 82.549703
686.00/109.44	c (83,0) c SolvingTime_5 : 81.118627
686.00/109.44	c (83,0) c SolvingTime_6 : 82.158038
686.00/109.44	c (83,0) c SolvingTime_7 : 81.084859
686.00/109.44	c (83,0) c SolvingTime_total : 653.039441
686.00/109.44	c (83,0) c SolvingTime_winner : 81.026373
686.00/109.44	c (83,0) c PropagationTime_0 : 76.986300
686.00/109.44	c (83,0) c PropagationTime_1 : 76.906110
686.00/109.44	c (83,0) c PropagationTime_2 : 76.919925
686.00/109.44	c (83,0) c PropagationTime_3 : 78.817696
686.00/109.44	c (83,0) c PropagationTime_4 : 78.437880
686.00/109.44	c (83,0) c PropagationTime_5 : 77.058583
686.00/109.44	c (83,0) c PropagationTime_6 : 78.171641
686.00/109.44	c (83,0) c PropagationTime_7 : 76.899466
686.00/109.44	c (83,0) c PropagationTime_total : 620.197599
686.00/109.44	c (83,0) c PropagationTime_winner : 76.986300
686.00/109.44	c (83,0) c AnalysisTime_0 : 1.788614
686.00/109.44	c (83,0) c AnalysisTime_1 : 1.896426
686.00/109.44	c (83,0) c AnalysisTime_2 : 1.972820
686.00/109.44	c (83,0) c AnalysisTime_3 : 1.875966
686.00/109.44	c (83,0) c AnalysisTime_4 : 1.833640
686.00/109.44	c (83,0) c AnalysisTime_5 : 1.744432
686.00/109.44	c (83,0) c AnalysisTime_6 : 1.706775
686.00/109.44	c (83,0) c AnalysisTime_7 : 1.915673
686.00/109.44	c (83,0) c AnalysisTime_total : 14.734346
686.00/109.44	c (83,0) c AnalysisTime_winner : 1.788614
686.00/109.44	c (83,0) c ReductionTime_0 : 0.113890
686.00/109.44	c (83,0) c ReductionTime_1 : 0.165480
686.00/109.44	c (83,0) c ReductionTime_2 : 0.169348
686.00/109.44	c (83,0) c ReductionTime_3 : 0.122574
686.00/109.44	c (83,0) c ReductionTime_4 : 0.169514
686.00/109.44	c (83,0) c ReductionTime_5 : 0.126254
686.00/109.44	c (83,0) c ReductionTime_6 : 0.122259
686.00/109.44	c (83,0) c ReductionTime_7 : 0.133837
686.00/109.44	c (83,0) c ReductionTime_total : 1.123155
686.00/109.44	c (83,0) c ReductionTime_winner : 0.113890
686.00/109.44	c (83,0) c SimplifyTime_0 : 0.119921
686.00/109.44	c (83,0) c SimplifyTime_1 : 0.088974
686.00/109.44	c (83,0) c SimplifyTime_2 : 0.067941
686.00/109.44	c (83,0) c SimplifyTime_3 : 0.118673
686.00/109.44	c (83,0) c SimplifyTime_4 : 0.054948
686.00/109.44	c (83,0) c SimplifyTime_5 : 0.159857
686.00/109.44	c (83,0) c SimplifyTime_6 : 0.131429
686.00/109.44	c (83,0) c SimplifyTime_7 : 0.099634
686.00/109.44	c (83,0) c SimplifyTime_total : 0.841378
686.00/109.44	c (83,0) c SimplifyTime_winner : 0.119921
686.00/109.44	c (83,0) c UsedRateTime_0 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_1 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_2 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_3 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_4 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_5 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_6 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_7 : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_total : 0.000000
686.00/109.44	c (83,0) c UsedRateTime_winner : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_0 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_1 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_2 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_3 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_4 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_5 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_6 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_7 : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_total : 0.000000
686.00/109.44	c (83,0) c OverlapRateTime_winner : 0.000000
686.00/109.44	c (83,0) c
686.00/109.44	c (83,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
686.00/109.44	c (83,0) c
686.00/109.44	c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.44	c (83,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
686.00/109.44	c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.44	c (83,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
686.00/109.44	c (83,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
686.00/109.44	c (83,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
686.00/109.44	c (83,0) c | Initial random_seed   |  168646797 | 1567778968 | 2040216747 |  750816861 | 1387239290 | 1266990503 | 1087424205 |   97630128 |
686.00/109.44	c (83,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
686.00/109.44	c (83,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
686.00/109.44	c (83,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
686.00/109.44	c (83,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
686.00/109.44	c (83,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
686.00/109.44	c (83,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
686.00/109.44	c (83,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
686.00/109.44	c (83,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
686.00/109.44	c (83,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
686.00/109.44	c (83,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
686.00/109.44	c (83,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
686.00/109.44	c (83,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
686.00/109.44	c (83,0) 
686.00/109.44	c (83,0) s UNSATISFIABLE
686.00/109.44	c (83,0) SatSolver.solve End
686.00/109.44	c (83,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
686.00/109.44	c (83,0) Show results Begin
686.00/109.44	s UNSATISFIABLE
686.00/109.44	c (83,0) Show results End
686.00/109.44	c (83,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
686.00/109.45	c (83,0) 83,83,STOP-AFTER(ALL)
686.00/109.45	c END-Prog: Sat Sep 14 01:27:24 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 (14856 MiB free)
  memory of node 1: 16384 MiB (15324 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392293-1568417172/watcher-4392293-1568417172 -o /tmp/evaluation-result-4392293-1568417172/solver-4392293-1568417172 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392293-1568417172.xml 

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

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

solver pid=8284, runsolver pid=8281

[startup+0.100112 s]*
/proc/loadavg: 3.16 2.95 2.04 3/210 8306
/proc/meminfo: memFree=30808480/32770624 swapFree=66940928/67108860
[pid=8284] ppid=8281 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8284/stat : 8284 (scop.sh) S 8281 8284 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417955900 115843072 349 33554432000 4194304 5098028 140734812211488 140734812208744 139631013089916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38977536 140734812214053 140734812214380 140734812214380 140734812217293 0
/proc/8284/statm: 28282 349 296 221 0 87 0
[pid=8287] ppid=8284 vsize=27314120 memory=109036 CPUtime=0.1 cores=0-7
/proc/8287/stat : 8287 (java) S 8284 8284 6415 0 -1 1077944320 6758 0 0 0 8 2 0 0 20 0 20 0 417955900 27969658880 27259 33554432000 4194304 4196468 140730447022832 140730447005376 139783775833847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
/proc/8287/statm: 6828530 27259 2819 1 0 6790935 0
[pid=8287/tid=8288] ppid=8284 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8287/task/8288/stat : 8288 (java) R 8284 8284 6415 0 -1 4202560 4850 0 0 0 7 2 0 0 20 0 20 0 417955900 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783747647360 139783761901932 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8289] ppid=8284 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/8287/task/8289/stat : 8289 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783780075792 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8290] ppid=8284 vsize=27314120 memory=140647453107840 CPUtime=0 cores=0-7
/proc/8287/task/8290/stat : 8290 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783604717968 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8291] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8291/stat : 8291 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783196801552 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8292] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8292/stat : 8292 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783195749008 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8293] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8293/stat : 8293 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783194696464 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8294] ppid=8284 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8287/task/8294/stat : 8294 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783193643920 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8295] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8295/stat : 8295 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783192591376 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8296] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8296/stat : 8296 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 27259 33554432000 4194304 4196468 140730447022832 139783191538832 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8297] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8297/stat : 8297 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955904 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781894739952 139783775844994 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8298] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8298/stat : 8298 (java) S 8284 8284 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417955905 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781723906976 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8299] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8299/stat : 8299 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955905 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781455471600 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8300] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8300/stat : 8300 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781080963280 139783775852443 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8301] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8301/stat : 8301 (java) S 8284 8284 6415 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781893687792 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8302] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8302/stat : 8302 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781892635248 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8303] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8303/stat : 8303 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781891582704 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8304] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8304/stat : 8304 (java) S 8284 8284 6415 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781890530160 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8305] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8305/stat : 8305 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955908 27969658880 27259 33554432000 4194304 4196468 140730447022832 139780583057632 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8306] ppid=8284 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8287/task/8306/stat : 8306 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955908 27969658880 27259 33554432000 4194304 4196468 140730447022832 139781889477040 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110432 KiB

[startup+0.210049 s]*
/proc/loadavg: 3.16 2.95 2.04 3/210 8306
/proc/meminfo: memFree=30787352/32770624 swapFree=66940928/67108860
[pid=8284] ppid=8281 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8284/stat : 8284 (scop.sh) S 8281 8284 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417955900 115843072 349 33554432000 4194304 5098028 140734812211488 140734812208744 139631013089916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38977536 140734812214053 140734812214380 140734812214380 140734812217293 0
/proc/8284/statm: 28282 349 296 221 0 87 0
[pid=8287] ppid=8284 vsize=27314120 memory=128052 CPUtime=0.24 cores=0-7
/proc/8287/stat : 8287 (java) S 8284 8284 6415 0 -1 1077944320 12357 0 0 0 20 4 0 0 20 0 20 0 417955900 27969658880 32013 33554432000 4194304 4196468 140730447022832 140730447005376 139783775833847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
/proc/8287/statm: 6828530 32013 2942 1 0 6790935 0
[pid=8287/tid=8288] ppid=8284 vsize=27314120 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/8287/task/8288/stat : 8288 (java) R 8284 8284 6415 0 -1 4202560 10068 0 0 0 16 3 0 0 20 0 20 0 417955900 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783747654752 139783756109634 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8289] ppid=8284 vsize=27314120 memory=288230604674433361 CPUtime=0 cores=0-7
/proc/8287/task/8289/stat : 8289 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783780075792 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8290] ppid=8284 vsize=27314120 memory=14271795137816216 CPUtime=0 cores=0-7
/proc/8287/task/8290/stat : 8290 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783604717968 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8291] ppid=8284 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8287/task/8291/stat : 8291 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783196801552 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8292] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8292/stat : 8292 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783195749008 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8293] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8293/stat : 8293 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783194696464 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8294] ppid=8284 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8287/task/8294/stat : 8294 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783193643920 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8295] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8295/stat : 8295 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783192591376 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8296] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8296/stat : 8296 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32013 33554432000 4194304 4196468 140730447022832 139783191538832 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8297] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8297/stat : 8297 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955904 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781894739952 139783775844994 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8298] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8298/stat : 8298 (java) S 8284 8284 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417955905 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781723906976 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8299] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8299/stat : 8299 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955905 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781455471600 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8300] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8300/stat : 8300 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781080963280 139783775852443 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8301] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8301/stat : 8301 (java) S 8284 8284 6415 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781893687792 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8302] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8302/stat : 8302 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781892635248 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8303] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8303/stat : 8303 (java) S 8284 8284 6415 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781891582704 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8304] ppid=8284 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/8287/task/8304/stat : 8304 (java) S 8284 8284 6415 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 417955907 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781890530160 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8305] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8305/stat : 8305 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955908 27969658880 32013 33554432000 4194304 4196468 140730447022832 139780583057632 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8306] ppid=8284 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8287/task/8306/stat : 8306 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955908 27969658880 32013 33554432000 4194304 4196468 140730447022832 139781889477040 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129448 KiB

[startup+0.309471 s]*
/proc/loadavg: 3.16 2.95 2.04 3/210 8306
/proc/meminfo: memFree=30784064/32770624 swapFree=66940928/67108860
[pid=8284] ppid=8281 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8284/stat : 8284 (scop.sh) S 8281 8284 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417955900 115843072 349 33554432000 4194304 5098028 140734812211488 140734812208744 139631013089916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38977536 140734812214053 140734812214380 140734812214380 140734812217293 0
/proc/8284/statm: 28282 349 296 221 0 87 0
[pid=8287] ppid=8284 vsize=27314120 memory=131880 CPUtime=0.41 cores=0-7
/proc/8287/stat : 8287 (java) S 8284 8284 6415 0 -1 1077944320 13292 0 0 0 37 4 0 0 20 0 20 0 417955900 27969658880 32970 33554432000 4194304 4196468 140730447022832 140730447005376 139783775833847 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
/proc/8287/statm: 6828530 32970 3064 1 0 6790935 0
[pid=8287/tid=8288] ppid=8284 vsize=27314120 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/8287/task/8288/stat : 8288 (java) R 8284 8284 6415 0 -1 4202560 10797 0 0 0 26 4 0 0 20 0 20 0 417955900 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783747663920 139783757397424 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8289] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8289/stat : 8289 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783780075792 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8290] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8290/stat : 8290 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783604717968 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8291] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8291/stat : 8291 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783196801552 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8292] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8292/stat : 8292 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783195749008 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8293] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8293/stat : 8293 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783194696464 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8294] ppid=8284 vsize=27314120 memory=140647294134959 CPUtime=0 cores=0-7
/proc/8287/task/8294/stat : 8294 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783193643920 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8295] ppid=8284 vsize=27314120 memory=140647294137264 CPUtime=0 cores=0-7
/proc/8287/task/8295/stat : 8295 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783192591376 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8296] ppid=8284 vsize=27314120 memory=140647294139568 CPUtime=0 cores=0-7
/proc/8287/task/8296/stat : 8296 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955903 27969658880 32970 33554432000 4194304 4196468 140730447022832 139783191538832 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8297] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8297/stat : 8297 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955904 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781894739952 139783775844994 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8298] ppid=8284 vsize=27314120 memory=281294588293008 CPUtime=0 cores=0-7
/proc/8287/task/8298/stat : 8298 (java) S 8284 8284 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417955905 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781723906976 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8299] ppid=8284 vsize=27314120 memory=281294588290704 CPUtime=0 cores=0-7
/proc/8287/task/8299/stat : 8299 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955905 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781455471600 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8300] ppid=8284 vsize=27314120 memory=281294588297616 CPUtime=0 cores=0-7
/proc/8287/task/8300/stat : 8300 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955907 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781080963280 139783775852443 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8301] ppid=8284 vsize=27314120 memory=281294588238768 CPUtime=0.01 cores=0-7
/proc/8287/task/8301/stat : 8301 (java) S 8284 8284 6415 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 417955907 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781893687792 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8302] ppid=8284 vsize=27314120 memory=281294588311440 CPUtime=0.01 cores=0-7
/proc/8287/task/8302/stat : 8302 (java) S 8284 8284 6415 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 417955907 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781892635248 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8303] ppid=8284 vsize=27314120 memory=281294588318352 CPUtime=0.01 cores=0-7
/proc/8287/task/8303/stat : 8303 (java) S 8284 8284 6415 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 417955907 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781891582704 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8304] ppid=8284 vsize=27314120 memory=281294588316048 CPUtime=0.07 cores=0-7
/proc/8287/task/8304/stat : 8304 (java) S 8284 8284 6415 0 -1 1077944384 504 0 0 0 7 0 0 0 20 0 20 0 417955907 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781890530160 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8305] ppid=8284 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8305/stat : 8305 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417955908 27969658880 32970 33554432000 4194304 4196468 140730447022832 139780583057632 139783775844053 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8306] ppid=8284 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8287/task/8306/stat : 8306 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955908 27969658880 32970 33554432000 4194304 4196468 140730447022832 139781889477040 139783775844994 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133276 KiB

[startup+0.700904 s]
/proc/loadavg: 3.16 2.95 2.04 2/210 8306
/proc/meminfo: memFree=30762616/32770624 swapFree=66940928/67108860
[pid=8284] ppid=8281 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8284/stat : 8284 (scop.sh) S 8281 8284 6415 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 417955900 115843072 349 33554432000 4194304 5098028 140734812211488 140734812208744 139631013089916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38977536 140734812214053 140734812214380 140734812214380 140734812217293 0
/proc/8284/statm: 28282 349 296 221 0 87 0
[pid=8287] ppid=8284 vsize=27320392 memory=167612 CPUtime=1 cores=0-7
/proc/8287/stat : 8287 (java) S 8284 8284 6415 0 -1 1077944320 20416 0 0 0 93 7 0 0 20 0 20 0 417955900 27976081408 41903 33554432000 4194304 4196468 140730447022832 140730447005376 139783775833847 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
/proc/8287/statm: 6830098 41903 3187 1 0 6791447 0
[pid=8287/tid=8288] ppid=8284 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/8287/task/8288/stat : 8288 (java) R 8284 8284 6415 0 -1 4202560 17363 0 0 0 62 5 0 0 20 0 20 0 417955900 27976081408 41903 33554432000 4194304 4196468 140730447022832 139783747671616 139783277978398 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8289] ppid=8284 vsize=27320392 memory=2353 CPUtime=0 cores=0-7
/proc/8287/task/8289/stat : 8289 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417955903 27976081408 41903 33554432000 4194304 4196468 140730447022832 139783780075792 139783775844053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8290] ppid=8284 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/8287/task/8290/stat : 8290 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27976081408 41903 33554432000 4194304 4196468 140730447022832 139783604717968 139783775844053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0
[pid=8287/tid=8291] ppid=8284 vsize=27320392 memory=1428 CPUtime=0 cores=0-7
/proc/8287/task/8291/stat : 8291 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417955903 27976081408 41903 33554432000 4194304 4196468 140730447022832 139783196801552 139783775844053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34988032 140730447024876 140730447025302 140730447025302 140730447028175 0

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

[pid=8308/tid=8318] ppid=8284 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/8308/task/8318/stat : 8318 (java) S 8284 8284 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417958449 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518909516144 140519950527106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8319] ppid=8284 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/8308/task/8319/stat : 8319 (java) S 8284 8284 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417958450 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518579233824 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8320] ppid=8284 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/8308/task/8320/stat : 8320 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958450 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518310798192 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8321] ppid=8284 vsize=8414124 memory=120188 CPUtime=0 cores=0-7
/proc/8308/task/8321/stat : 8321 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517936289616 140519950534555 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8322] ppid=8284 vsize=8414124 memory=502500 CPUtime=0.05 cores=0-7
/proc/8308/task/8322/stat : 8322 (java) S 8284 8284 6415 0 -1 1077944384 583 0 0 0 5 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518908463984 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8323] ppid=8284 vsize=8414124 memory=120188 CPUtime=0.06 cores=0-7
/proc/8308/task/8323/stat : 8323 (java) S 8284 8284 6415 0 -1 1077944384 323 0 0 0 6 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518907411184 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8324] ppid=8284 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/8308/task/8324/stat : 8324 (java) S 8284 8284 6415 0 -1 1077944384 320 0 0 0 6 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518906358384 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8325] ppid=8284 vsize=8414124 memory=120188 CPUtime=0.2 cores=0-7
/proc/8308/task/8325/stat : 8325 (java) S 8284 8284 6415 0 -1 1077944384 960 0 0 0 20 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518905305584 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8326] ppid=8284 vsize=8414124 memory=476912 CPUtime=0 cores=0-7
/proc/8308/task/8326/stat : 8326 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958453 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517438384736 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8327] ppid=8284 vsize=8414124 memory=120188 CPUtime=0.04 cores=0-7
/proc/8308/task/8327/stat : 8327 (java) S 8284 8284 6415 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 417958453 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518904252976 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8329] ppid=8284 vsize=8414124 memory=476912 CPUtime=0 cores=0-7
/proc/8308/task/8329/stat : 8329 (java) S 8284 8284 6415 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519250674752 140519950540569 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8331] ppid=8284 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/8308/task/8331/stat : 8331 (java) S 8284 8284 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140516767285392 140519950537885 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8332] ppid=8284 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/8308/task/8332/stat : 8332 (java) S 8284 8284 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517035720720 140519950537885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8333] ppid=8284 vsize=8414124 memory=23880 CPUtime=0 cores=0-7
/proc/8308/task/8333/stat : 8333 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958522 8616062976 30047 33554432000 4194304 4196468 140729506815824 140516498857520 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
Current children cumulated CPU time: 685.35 s
Current children cumulated vsize: 9307384 KiB
Current children cumulated memory: 624416 KiB

[startup+109.301 s]
/proc/loadavg: 6.66 4.09 2.54 2/217 8347
/proc/meminfo: memFree=30292800/32770624 swapFree=66940928/67108860
[pid=8284] ppid=8281 vsize=113128 memory=1476 CPUtime=38.55 cores=0-7
/proc/8284/stat : 8284 (scop.sh) S 8281 8284 6415 0 -1 4202496 583 53686 0 0 0 0 3675 180 20 0 1 0 417955900 115843072 369 33554432000 4194304 5098028 140734812211488 140734812208232 139631013089916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38977536 140734812214053 140734812214380 140734812214380 140734812217293 0
/proc/8284/statm: 28282 369 311 221 0 87 0
[pid=8308] ppid=8284 vsize=8414124 memory=120188 CPUtime=1.23 cores=0-7
/proc/8308/stat : 8308 (java) S 8284 8284 6415 0 -1 1077944320 21591 0 0 0 114 9 0 0 20 0 24 0 417958446 8616062976 30047 33554432000 4194304 4196468 140729506815824 140729506798368 140519950515959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
/proc/8308/statm: 2103531 30047 3201 1 0 2064875 0
[pid=8328] ppid=8308 vsize=780132 memory=502752 CPUtime=646.12 cores=0-7
/proc/8328/stat : 8328 (manyglucose-4.1) S 8308 8284 6415 0 -1 1077944320 356558 0 0 0 64529 83 0 0 20 0 2 0 417958519 798855168 125688 33554432000 4194304 4454172 140721332174448 140721332172832 139643225460471 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 38719488 140721332179818 140721332180016 140721332180016 140721332182970 0
/proc/8328/statm: 195033 125688 417 64 0 190701 0
[pid=8328/tid=8337] ppid=8308 vsize=780132 memory=502500 CPUtime=81.74 cores=0-7
/proc/8328/task/8337/stat : 8337 (manyglucose-4.1) R 8308 8284 6415 0 -1 4202560 40626 0 0 0 8164 10 0 0 20 0 2 0 417958549 798855168 125688 33554432000 4194304 4454172 140721332174448 139643163954312 4350933 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38719488 140721332179818 140721332180016 140721332180016 140721332182970 0
[pid=8308/tid=8309] ppid=8284 vsize=8414124 memory=12040 CPUtime=0.76 cores=0-7
/proc/8308/task/8309/stat : 8309 (java) S 8284 8284 6415 0 -1 1077944384 17999 0 0 0 70 6 0 0 20 0 24 0 417958447 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519922356128 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8310] ppid=8284 vsize=8414124 memory=23880 CPUtime=0 cores=0-7
/proc/8308/task/8310/stat : 8310 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519954758288 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8311] ppid=8284 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/8308/task/8311/stat : 8311 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519435217424 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8312] ppid=8284 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/8308/task/8312/stat : 8312 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519434164624 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8313] ppid=8284 vsize=8414124 memory=2432 CPUtime=0 cores=0-7
/proc/8308/task/8313/stat : 8313 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519433111824 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8314] ppid=8284 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/8308/task/8314/stat : 8314 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519432060048 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8315] ppid=8284 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/8308/task/8315/stat : 8315 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519431007248 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8316] ppid=8284 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/8308/task/8316/stat : 8316 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519429954448 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8317] ppid=8284 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/8308/task/8317/stat : 8317 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519428901648 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8318] ppid=8284 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/8308/task/8318/stat : 8318 (java) S 8284 8284 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417958449 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518909516144 140519950527106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8319] ppid=8284 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/8308/task/8319/stat : 8319 (java) S 8284 8284 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417958450 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518579233824 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8320] ppid=8284 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/8308/task/8320/stat : 8320 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958450 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518310798192 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8321] ppid=8284 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/8308/task/8321/stat : 8321 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517936289616 140519950534555 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8322] ppid=8284 vsize=8414124 memory=624 CPUtime=0.05 cores=0-7
/proc/8308/task/8322/stat : 8322 (java) S 8284 8284 6415 0 -1 1077944384 583 0 0 0 5 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518908463984 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8323] ppid=8284 vsize=8414124 memory=3996 CPUtime=0.06 cores=0-7
/proc/8308/task/8323/stat : 8323 (java) S 8284 8284 6415 0 -1 1077944384 323 0 0 0 6 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518907411184 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8324] ppid=8284 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7
/proc/8308/task/8324/stat : 8324 (java) S 8284 8284 6415 0 -1 1077944384 320 0 0 0 6 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518906358384 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8325] ppid=8284 vsize=8414124 memory=14012 CPUtime=0.2 cores=0-7
/proc/8308/task/8325/stat : 8325 (java) S 8284 8284 6415 0 -1 1077944384 960 0 0 0 20 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518905305584 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8326] ppid=8284 vsize=8414124 memory=2112 CPUtime=0 cores=0-7
/proc/8308/task/8326/stat : 8326 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958453 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517438384736 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8327] ppid=8284 vsize=8414124 memory=12040 CPUtime=0.04 cores=0-7
/proc/8308/task/8327/stat : 8327 (java) S 8284 8284 6415 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 417958453 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518904252976 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8329] ppid=8284 vsize=8414124 memory=23880 CPUtime=0 cores=0-7
/proc/8308/task/8329/stat : 8329 (java) S 8284 8284 6415 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519250674752 140519950540569 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8331] ppid=8284 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/8308/task/8331/stat : 8331 (java) S 8284 8284 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140516767285392 140519950537885 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8332] ppid=8284 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/8308/task/8332/stat : 8332 (java) S 8284 8284 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517035720720 140519950537885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8333] ppid=8284 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/8308/task/8333/stat : 8333 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958522 8616062976 30047 33554432000 4194304 4196468 140729506815824 140516498857520 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
Current children cumulated CPU time: 685.9 s
Current children cumulated vsize: 9307384 KiB
Current children cumulated memory: 624416 KiB

[startup+109.401 s]
/proc/loadavg: 6.66 4.09 2.54 2/217 8347
/proc/meminfo: memFree=30292800/32770624 swapFree=66940928/67108860
[pid=8284] ppid=8281 vsize=113128 memory=1476 CPUtime=38.55 cores=0-7
/proc/8284/stat : 8284 (scop.sh) S 8281 8284 6415 0 -1 4202496 583 53686 0 0 0 0 3675 180 20 0 1 0 417955900 115843072 369 33554432000 4194304 5098028 140734812211488 140734812208232 139631013089916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38977536 140734812214053 140734812214380 140734812214380 140734812217293 0
/proc/8284/statm: 28282 369 311 221 0 87 0
[pid=8308] ppid=8284 vsize=8414124 memory=120188 CPUtime=1.23 cores=0-7
/proc/8308/stat : 8308 (java) S 8284 8284 6415 0 -1 1077944320 21591 0 0 0 114 9 0 0 20 0 24 0 417958446 8616062976 30047 33554432000 4194304 4196468 140729506815824 140729506798368 140519950515959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
/proc/8308/statm: 2103531 30047 3201 1 0 2064875 0
[pid=8328] ppid=8308 vsize=780132 memory=502752 CPUtime=646.22 cores=0-7
/proc/8328/stat : 8328 (manyglucose-4.1) S 8308 8284 6415 0 -1 1077944320 356566 0 0 0 64539 83 0 0 20 0 2 0 417958519 798855168 125688 33554432000 4194304 4454172 140721332174448 140721332172832 139643225460471 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 38719488 140721332179818 140721332180016 140721332180016 140721332182970 0
/proc/8328/statm: 195033 125688 417 64 0 190701 0
[pid=8328/tid=8337] ppid=8308 vsize=780132 memory=120188 CPUtime=81.84 cores=0-7
/proc/8328/task/8337/stat : 8337 (manyglucose-4.1) R 8308 8284 6415 0 -1 4202560 40634 0 0 0 8174 10 0 0 20 0 2 0 417958549 798855168 125688 33554432000 4194304 4454172 140721332174448 139643163954312 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38719488 140721332179818 140721332180016 140721332180016 140721332182970 0
[pid=8308/tid=8309] ppid=8284 vsize=8414124 memory=120188 CPUtime=0.76 cores=0-7
/proc/8308/task/8309/stat : 8309 (java) S 8284 8284 6415 0 -1 1077944384 17999 0 0 0 70 6 0 0 20 0 24 0 417958447 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519922356128 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8310] ppid=8284 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8308/task/8310/stat : 8310 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519954758288 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8311] ppid=8284 vsize=8414124 memory=502580 CPUtime=0 cores=0-7
/proc/8308/task/8311/stat : 8311 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519435217424 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8312] ppid=8284 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/8308/task/8312/stat : 8312 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519434164624 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8313] ppid=8284 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8308/task/8313/stat : 8313 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519433111824 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8314] ppid=8284 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8308/task/8314/stat : 8314 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519432060048 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8315] ppid=8284 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/8308/task/8315/stat : 8315 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519431007248 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8316] ppid=8284 vsize=8414124 memory=7520 CPUtime=0 cores=0-7
/proc/8308/task/8316/stat : 8316 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519429954448 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8317] ppid=8284 vsize=8414124 memory=7465 CPUtime=0 cores=0-7
/proc/8308/task/8317/stat : 8317 (java) S 8284 8284 6415 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417958448 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519428901648 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8318] ppid=8284 vsize=8414124 memory=502500 CPUtime=0 cores=0-7
/proc/8308/task/8318/stat : 8318 (java) S 8284 8284 6415 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 417958449 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518909516144 140519950527106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8319] ppid=8284 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/8308/task/8319/stat : 8319 (java) S 8284 8284 6415 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 417958450 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518579233824 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8320] ppid=8284 vsize=8414124 memory=1088 CPUtime=0 cores=0-7
/proc/8308/task/8320/stat : 8320 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958450 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518310798192 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8321] ppid=8284 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/8308/task/8321/stat : 8321 (java) S 8284 8284 6415 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517936289616 140519950534555 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8322] ppid=8284 vsize=8414124 memory=502500 CPUtime=0.05 cores=0-7
/proc/8308/task/8322/stat : 8322 (java) S 8284 8284 6415 0 -1 1077944384 583 0 0 0 5 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518908463984 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8323] ppid=8284 vsize=8414124 memory=3996 CPUtime=0.06 cores=0-7
/proc/8308/task/8323/stat : 8323 (java) S 8284 8284 6415 0 -1 1077944384 323 0 0 0 6 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518907411184 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8324] ppid=8284 vsize=8414124 memory=281294590776000 CPUtime=0.06 cores=0-7
/proc/8308/task/8324/stat : 8324 (java) S 8284 8284 6415 0 -1 1077944384 320 0 0 0 6 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518906358384 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8325] ppid=8284 vsize=8414124 memory=281294590784976 CPUtime=0.2 cores=0-7
/proc/8308/task/8325/stat : 8325 (java) S 8284 8284 6415 0 -1 1077944384 960 0 0 0 20 0 0 0 20 0 24 0 417958452 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518905305584 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8326] ppid=8284 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8308/task/8326/stat : 8326 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958453 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517438384736 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8327] ppid=8284 vsize=8414124 memory=120188 CPUtime=0.04 cores=0-7
/proc/8308/task/8327/stat : 8327 (java) S 8284 8284 6415 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 417958453 8616062976 30047 33554432000 4194304 4196468 140729506815824 140518904252976 140519950527106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8329] ppid=8284 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/8308/task/8329/stat : 8329 (java) S 8284 8284 6415 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140519250674752 140519950540569 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8331] ppid=8284 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/8308/task/8331/stat : 8331 (java) S 8284 8284 6415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140516767285392 140519950537885 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8332] ppid=8284 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/8308/task/8332/stat : 8332 (java) S 8284 8284 6415 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 417958520 8616062976 30047 33554432000 4194304 4196468 140729506815824 140517035720720 140519950537885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
[pid=8308/tid=8333] ppid=8284 vsize=8414124 memory=7911329761038 CPUtime=0 cores=0-7
/proc/8308/task/8333/stat : 8333 (java) S 8284 8284 6415 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417958522 8616062976 30047 33554432000 4194304 4196468 140729506815824 140516498857520 140519950526165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20369408 140729506821112 140729506821270 140729506821270 140729506824143 0
Current children cumulated CPU time: 686 s
Current children cumulated vsize: 9307384 KiB
Current children cumulated memory: 624416 KiB

Child status: 0
Real time (s): 109.459
CPU time (s): 686.154
CPU user time (s): 683.388
CPU system time (s): 2.76635
CPU usage (%): 626.86
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6139316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.388
system time used= 2.76635
maximum resident set size= 6138316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35382
involuntary context switches= 7183


# summary of solver processes directly reported to runsolver:
#   pid: 8284
#   total CPU time (s): 686.154
#   total CPU user time (s): 683.388
#   total CPU system time (s): 2.76635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01108 second user time and 1.40175 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-14 01:25:34
IDJOB=4392293
IDBENCH=121393
IDSOLVER=2838
FILE ID=node149/4392293-1568417172
RUNJOBID= node149-1568416730-6442
PBS_JOBID= 21702252
Free space on /tmp= 61420 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392293-1568417172/watcher-4392293-1568417172 -o /tmp/evaluation-result-4392293-1568417172/solver-4392293-1568417172 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568416730-6442 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392293-1568417172.xml

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

MD5SUM BENCH= 9875f5c0ec8fbb2d8215ec13f3e1e37d
RANDOM SEED=510169613

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
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:        30904124 kB
MemAvailable:   31858636 kB
Buffers:          174572 kB
Cached:          1079900 kB
SwapCached:        61320 kB
Active:           602704 kB
Inactive:         713496 kB
Active(anon):      28864 kB
Inactive(anon):    72460 kB
Active(file):     573840 kB
Inactive(file):   641036 kB
Unevictable:      111252 kB
Mlocked:          111252 kB
SwapTotal:      67108860 kB
SwapFree:       66940928 kB
Dirty:             21956 kB
Writeback:             0 kB
AnonPages:        120080 kB
Mapped:            42828 kB
Shmem:             31360 kB
Slab:             140412 kB
SReclaimable:     110940 kB
SUnreclaim:        29472 kB
KernelStack:        3696 kB
PageTables:         4996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     496492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61400 MiB
End job on node149 at 2019-09-14 01:27:24