Trace number 4405309

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-17.xml
MD5SUM9efca6d5489e39e5f473d5ee8bd54dad
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark22.8714
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree25
Distribution of variable degrees[{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":3},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":2},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":25,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
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-28310-serial-file.bin HOME/instance-4405309-1569335979.xml
0.64/0.55	
0.64/0.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.64/0.55	
0.64/0.58	c BEGIN-Prog: Tue Sep 24 16:38:57 CEST 2019
0.64/0.58	c PID: 28313
0.64/0.58	c IP: 172.20.3.117
0.64/0.58	c HOST: node117.alineos.net
0.64/0.58	c (0,0) Parsing Begin
6.61/4.96	c (4,4) Parsing End
6.61/4.96	c (4,4) CSP: 25 int (0 aux), 0 bool (0 aux), 56 ctr, max domain size 5
6.61/4.96	c (4,4) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.61/4.96	c (4,4) Constraint Name Generate Begin
6.61/4.97	c (4,4) Ctr:HOME/instance-4405309-1569335979.xml,ExtensionSupport:Var
6.61/4.97	c (4,4) Constraint Name Generate End
6.61/4.97	c (4,4) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
6.61/4.97	c (4,4) CSP to CSPinCNF Begin
18.82/10.23	c (9,9) translated 6 (10%) constraints
26.48/14.82	c (14,14) translated 12 (20%) constraints
30.35/18.50	c (17,17) translated 17 (30%) constraints
36.13/23.09	c (22,22) translated 23 (40%) constraints
39.74/26.54	c (25,25) translated 28 (50%) constraints
44.62/30.67	c (30,29) translated 34 (60%) constraints
49.23/35.21	c (34,34) translated 40 (70%) constraints
52.93/38.84	c (38,37) translated 45 (80%) constraints
58.13/43.29	c (42,42) translated 51 (90%) constraints
62.06/47.19	c (46,46) translated 56 (100%) constraints
62.85/47.96	c (47,46) ===========================================
62.85/47.96	c (47,46) Order
62.85/47.96	c (47,46) ===========================================
63.81/48.36	c (47,47) translated 14296 (10%) constraints
64.21/48.69	c (48,47) translated 28592 (20%) constraints
64.83/49.04	c (48,47) translated 42888 (30%) constraints
65.12/49.35	c (48,48) translated 57184 (40%) constraints
65.42/49.65	c (49,48) translated 71480 (50%) constraints
65.72/49.95	c (49,48) translated 85776 (60%) constraints
66.02/50.25	c (49,49) translated 100072 (70%) constraints
66.32/50.57	c (50,49) translated 114368 (80%) constraints
66.72/50.93	c (50,49) translated 128664 (90%) constraints
67.09/51.26	c (50,50) translated 142959 (100%) constraints
67.09/51.26	c (50,50) CSP to CSPinCNF End
67.09/51.28	c (50,50) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142959 ctr, max domain size 5
67.09/51.28	c (50,50) Heap : 5736 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
67.09/51.28	c (50,50) CSPinCNF Propagation Begin
69.94/52.36	c (51,51) 0 values, 71 unsatisfiable literals, and 21 valid clauses are removed
69.94/52.36	c (51,51) CSPinCNF Propagation End
69.94/52.36	c (51,51) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
69.94/52.36	c (51,51) Heap : 1002 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
69.94/52.37	c (51,51) Simplify CSPinCNF Begin
70.49/52.70	c (52,51) Simplify CSPinCNF End
70.49/52.70	c (52,51) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
70.49/52.70	c (52,51) Heap : 1225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.49/52.71	c (52,51) Calculate Precise Domain Begin
70.49/52.71	c (52,51) 0 values are removed by re-calculation
70.49/52.71	c (52,51) Calculate Precise Domain End
70.49/52.71	c (52,51) CSP: 25 int (0 aux), 13715 bool (13715 aux), 142938 ctr, max domain size 5
70.49/52.71	c (52,51) Heap : 1225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
70.49/52.71	c (52,51) CSPinCNF to SatSolver Begin
72.06/53.14	c (52,51) 14294 (10 %) CSP clauses are encoded (0 SAT variables, 14368 SAT clauses)
72.26/53.29	c (52,51) 28588 (20 %) CSP clauses are encoded (0 SAT variables, 28662 SAT clauses)
72.50/53.43	c (52,52) 42882 (30 %) CSP clauses are encoded (0 SAT variables, 42956 SAT clauses)
72.60/53.57	c (53,52) 57176 (40 %) CSP clauses are encoded (0 SAT variables, 57250 SAT clauses)
72.80/53.71	c (53,52) 71469 (50 %) CSP clauses are encoded (0 SAT variables, 71543 SAT clauses)
72.90/53.85	c (53,52) 85763 (60 %) CSP clauses are encoded (0 SAT variables, 85837 SAT clauses)
73.00/53.99	c (53,52) 100057 (70 %) CSP clauses are encoded (0 SAT variables, 100131 SAT clauses)
73.21/54.13	c (53,52) 114351 (80 %) CSP clauses are encoded (0 SAT variables, 114425 SAT clauses)
73.30/54.27	c (53,52) 128645 (90 %) CSP clauses are encoded (0 SAT variables, 128719 SAT clauses)
73.50/54.41	c (53,53) 142938 (100 %) CSP clauses are encoded (0 SAT variables, 143012 SAT clauses)
73.50/54.41	c (53,53) CSPinCNF to SatSolver End
73.50/54.41	c (53,53) Heap : 2563 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
73.50/54.41	c (53,53) 13812 bool, 143013 clause
73.50/54.41	c (53,53) Export Begin
73.50/54.49	c (53,53) Export to HOME/scop-28310-serial-file.bin
73.50/54.49	c (53,53) Export End
73.50/54.50	c (53,53) Export File Size: 0.01 MB
73.50/54.50	c (53,53) 4,4,50,51,52,52,53,STOP-AFTER(DIMACS)
73.50/54.50	c END-Prog: Tue Sep 24 16:39:51 CEST 2019
73.68/54.54	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28310-serial-file.bin
73.72/55.00	c (0,0) Read Serial File Begin
73.72/55.00	c (0,0) HOME/scop-28310-serial-file.bin
74.62/55.21	c (0,0) Read Serial File End
74.62/55.22	
74.62/55.22	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
74.62/55.22	(Solving Process)
74.62/55.22	
74.62/55.24	c BEGIN-Prog: Tue Sep 24 16:39:51 CEST 2019
74.62/55.24	c PID: 28336
74.62/55.24	c IP: 172.20.3.117
74.62/55.24	c HOST: node117.alineos.net
74.62/55.25	c (0,0) SatSolver.solve Begin
74.62/55.25	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405309-1569335979.xml-scop-28313.cnf
74.62/55.28	c (0,0) c
74.62/55.28	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)
74.62/55.28	c (0,0) c
74.62/55.28	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
74.62/55.28	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
74.62/55.28	c (0,0) c ========================================[ Problem Statistics ]===========================================
74.62/55.28	c (0,0) c |                                                                                                       |
74.86/55.33	c (0,0) c |  Number of variables:         13812                                                                   |
74.86/55.33	c (0,0) c |  Number of clauses:          143013                                                                   |
74.86/55.33	c (0,0) c |  Parse time:                   0.05 s                                                                 |
74.86/55.33	c (0,0) c |                                                                                                       |
74.90/55.42	c (0,0) c |  Simplification time:          0.08 s                                                                 |
74.90/55.42	c (0,0) c |                                                                                                       |
74.90/55.42	c (0,0) c |  Generating clones                                                                                    |
74.90/55.46	c (0,0) c |  all clones generated. Memory =   120.53Mb.                                                           |
74.90/55.46	c (0,0) c ========================================================================================================|
74.90/55.46	c (0,0) c
74.90/55.46	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
74.90/55.46	c (0,0) c
74.90/55.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.90/55.46	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
74.90/55.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
74.90/55.46	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
74.90/55.46	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
74.90/55.46	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
74.90/55.46	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
74.90/55.46	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
74.90/55.46	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
74.90/55.46	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
74.90/55.46	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
74.90/55.46	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
74.90/55.46	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
74.90/55.46	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
74.90/55.46	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
74.90/55.46	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
74.90/55.46	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
74.90/55.46	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
74.90/55.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
305.44/84.49	c (29,0) c
305.44/84.49	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
305.44/84.49	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
305.44/84.49	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
305.44/84.49	c (29,0) c |  0 |     50 |      57869 |      45504 |    42438 |    19419 |     8375 |    50605 |     3285 |      197 |  20 |  0.000 |
305.44/84.49	c (29,0) c |  1 |     42 |      58754 |      46539 |    41950 |    20447 |     8409 |    49315 |     3169 |      200 |  20 |  0.000 |
305.44/84.49	c (29,0) c |  2 |     40 |      58086 |      46060 |    41238 |    19972 |     8456 |    52896 |     3220 |      202 |  20 |  0.000 |
305.44/84.49	c (29,0) c |  3 |     38 |      57919 |      46238 |    40885 |    20147 |     8393 |    51990 |     2868 |      204 |  20 |  0.000 |
305.44/84.49	c (29,0) c |  4 |     18 |      55275 |      44522 |    41521 |    18431 |     8334 |    30591 |     2560 |      205 |  20 |  0.000 |
305.44/84.49	c (29,0) c |  5 |     36 |      57910 |      45475 |    43350 |    19381 |     8065 |    51627 |     3345 |      199 |  20 |  0.000 |
305.44/84.49	c (29,0) c |  6 |     40 |      56892 |      44986 |    41786 |    18894 |     8194 |    49770 |     3293 |      199 |  20 |  0.000 |
305.44/84.49	c (29,0) c |  7 |     41 |      58004 |      46134 |    40773 |    20042 |     8101 |    34865 |     2598 |      200 |  20 |  0.000 |
305.44/84.49	c (29,0) c 
305.44/84.49	c (29,0) c synthesis      365458 conflicts   623848501 propagations     1590 conflicts/sec  2715024 propagations/sec
305.44/84.49	c (29,0) c real: 29.2179 s, cpu: 229.776 s, memory: 719.16 Mb
536.48/113.49	c (58,0) c
536.48/113.49	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
536.48/113.49	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
536.48/113.49	c (58,0) c |------------------------------------------------------------------------------------------------------------------------|
536.48/113.49	c (58,0) c |  0 |     74 |     101560 |      82512 |    49780 |    28949 |    13396 |    90464 |     6236 |      390 |  20 |  0.000 |
536.48/113.49	c (58,0) c |  1 |     49 |     103316 |      85172 |    48556 |    31612 |    14066 |    61014 |     5742 |      401 |  20 |  0.000 |
536.48/113.49	c (58,0) c |  2 |     45 |     102282 |      84337 |    48076 |    30775 |    13980 |    77602 |     5994 |      395 |  20 |  0.000 |
536.48/113.49	c (58,0) c |  3 |     46 |     101625 |      83916 |    48087 |    30348 |    14082 |    89523 |     5672 |      401 |  20 |  0.000 |
536.48/113.49	c (58,0) c |  4 |     18 |      94075 |      78931 |    46551 |    25369 |    13437 |    30591 |     3594 |      405 |  20 |  0.000 |
536.48/113.49	c (58,0) c |  5 |     43 |     100147 |      81827 |    49635 |    28262 |    13311 |    86849 |     6337 |      393 |  20 |  0.000 |
536.48/113.49	c (58,0) c |  6 |     48 |      95743 |      78852 |    48112 |    25287 |    13009 |    89463 |     5192 |      385 |  20 |  0.000 |
536.48/113.49	c (58,0) c |  7 |     59 |     103105 |      84632 |    49171 |    31067 |    14059 |    81687 |     5859 |      394 |  20 |  0.000 |
536.48/113.49	c (58,0) c 
536.48/113.49	c (58,0) c synthesis      660179 conflicts  1165574124 propagations     1433 conflicts/sec  2530169 propagations/sec
536.48/113.49	c (58,0) c real: 58.2179 s, cpu: 460.67 s, memory: 719.16 Mb
767.95/142.50	c (87,0) c
767.95/142.50	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
767.95/142.50	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
767.95/142.50	c (87,0) c |------------------------------------------------------------------------------------------------------------------------|
767.95/142.50	c (87,0) c |  0 |     82 |     140867 |     116798 |    54285 |    25414 |    18266 |   112305 |     8660 |      580 |  20 |  0.000 |
767.95/142.50	c (87,0) c |  1 |     74 |     146489 |     122704 |    54067 |    31323 |    18734 |   115765 |     8665 |      596 |  20 |  0.000 |
767.95/142.50	c (87,0) c |  2 |     49 |     143352 |     120530 |    53248 |     2374 |    19793 |   120221 |     7015 |      583 |  20 |  0.000 |
767.95/142.50	c (87,0) c |  3 |     57 |     140847 |     118187 |    52708 |    26806 |    18562 |   112593 |     8206 |      588 |  20 |  0.000 |
767.95/142.50	c (87,0) c |  4 |     47 |     135635 |     114785 |    54928 |     2558 |    18901 |   126668 |     6095 |      596 |  20 |  0.000 |
767.95/142.50	c (87,0) c |  5 |     52 |     139794 |     116653 |    54015 |    25272 |    17693 |   126856 |     9086 |      591 |  20 |  0.000 |
767.95/142.50	c (87,0) c |  6 |     64 |     137455 |     114960 |    54003 |    23580 |    17581 |   123027 |     8182 |      576 |  20 |  0.000 |
767.95/142.50	c (87,0) c |  7 |     65 |     140615 |     118081 |    52763 |    26700 |    18196 |   124144 |     7772 |      580 |  20 |  0.000 |
767.95/142.50	c (87,0) c 
767.95/142.50	c (87,0) c synthesis      942698 conflicts  1677887950 propagations     1364 conflicts/sec  2427001 propagations/sec
767.95/142.50	c (87,0) c real: 87.2259 s, cpu: 691.342 s, memory: 719.16 Mb
999.48/172.49	c (117,0) c
999.48/172.49	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
999.48/172.49	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
999.48/172.49	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
999.48/172.49	c (117,0) c |  0 |     88 |     176993 |     148731 |    57045 |    34547 |    21474 |   154837 |    10668 |      773 |  20 |  0.000 |
999.48/172.49	c (117,0) c |  1 |     83 |     182699 |     154728 |    57022 |    40547 |    22248 |   149572 |    10795 |      777 |  20 |  0.000 |
999.48/172.49	c (117,0) c |  2 |     64 |     190152 |     160920 |    61345 |     2754 |    25581 |   151251 |     7489 |      780 |  20 |  0.000 |
999.48/172.49	c (117,0) c |  3 |     57 |     178002 |     151479 |    55039 |    37295 |    22421 |   112593 |     9408 |      780 |  20 |  0.000 |
999.48/172.49	c (117,0) c |  4 |     72 |     178086 |     151380 |    61701 |     3197 |    24023 |   151193 |     6499 |      780 |  20 |  0.000 |
999.48/172.49	c (117,0) c |  5 |     60 |     176395 |     149111 |    57494 |    34926 |    21504 |   144867 |    11425 |      780 |  20 |  0.000 |
999.48/172.49	c (117,0) c |  6 |     85 |     175004 |     147691 |    57487 |    33505 |    21423 |   152803 |    10360 |      760 |  20 |  0.000 |
999.48/172.49	c (117,0) c |  7 |     65 |     178648 |     152019 |    55281 |    37837 |    21719 |   124144 |     9847 |      775 |  20 |  0.000 |
999.48/172.49	c (117,0) c 
999.48/172.49	c (117,0) c synthesis     1216059 conflicts  2178944439 propagations     1317 conflicts/sec  2359286 propagations/sec
999.48/172.49	c (117,0) c real: 117.218 s, cpu: 923.561 s, memory: 719.16 Mb
1228.36/201.49	c (146,0) c
1228.36/201.49	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1228.36/201.49	c (146,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1228.36/201.49	c (146,0) c |------------------------------------------------------------------------------------------------------------------------|
1228.36/201.49	c (146,0) c |  0 |     90 |     209717 |     178152 |    58711 |    38564 |    24284 |   173459 |    12234 |      959 |  20 |  0.000 |
1228.36/201.49	c (146,0) c |  1 |    101 |     220046 |     187513 |    60043 |    47931 |    25414 |   177261 |    13251 |      964 |  20 |  0.000 |
1228.36/201.49	c (146,0) c |  2 |     70 |     231598 |     196853 |    67140 |     2712 |    30671 |   170890 |     7786 |      971 |  20 |  0.000 |
1228.36/201.49	c (146,0) c |  3 |     57 |     210803 |     181209 |    56776 |    41623 |    25635 |   112593 |    10280 |      957 |  20 |  0.000 |
1228.36/201.49	c (146,0) c |  4 |     89 |     220069 |     187838 |    66971 |     3619 |    28269 |   174959 |     6842 |      958 |  20 |  0.000 |
1228.36/201.49	c (146,0) c |  5 |     85 |     213099 |     181137 |    60227 |    41551 |    25050 |   179405 |    13576 |      971 |  20 |  0.000 |
1228.36/201.49	c (146,0) c |  6 |    132 |     213820 |     180975 |    60468 |    41387 |    24800 |   176299 |    12764 |      951 |  20 |  0.000 |
1228.36/201.49	c (146,0) c |  7 |     66 |     214074 |     183866 |    57196 |    44283 |    24879 |   156874 |    11965 |      966 |  20 |  0.000 |
1228.36/201.49	c (146,0) c 
1228.36/201.49	c (146,0) c synthesis     1477543 conflicts  2653460983 propagations     1282 conflicts/sec  2302571 propagations/sec
1228.36/201.49	c (146,0) c real: 146.218 s, cpu: 1152.39 s, memory: 719.16 Mb
1449.63/230.49	c (175,0) c
1449.63/230.49	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1449.63/230.49	c (175,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1449.63/230.49	c (175,0) c |------------------------------------------------------------------------------------------------------------------------|
1449.63/230.49	c (175,0) c |  0 |     91 |     243872 |     208920 |    60817 |    41328 |    27604 |   188025 |    13930 |     1148 |  20 |  0.000 |
1449.63/230.49	c (175,0) c |  1 |    101 |     253684 |     217926 |    61728 |    50341 |    28880 |   177261 |    14760 |     1148 |  20 |  0.000 |
1449.63/230.49	c (175,0) c |  2 |     74 |     270186 |     230908 |    70748 |     2768 |    35083 |   180441 |     7973 |     1148 |  20 |  0.000 |
1449.63/230.49	c (175,0) c |  3 |     58 |     241130 |     208755 |    58066 |    41167 |    28100 |   200522 |    11388 |     1128 |  20 |  0.000 |
1449.63/230.49	c (175,0) c |  4 |     98 |     258174 |     221221 |    71569 |     3030 |    32622 |   199408 |     7162 |     1135 |  20 |  0.000 |
1449.63/230.49	c (175,0) c |  5 |     99 |     246483 |     210754 |    62321 |    43169 |    27943 |   196849 |    15410 |     1148 |  20 |  0.000 |
1449.63/230.49	c (175,0) c |  6 |    132 |     249172 |     213313 |    62250 |    45730 |    28114 |   176299 |    14058 |     1148 |  20 |  0.000 |
1449.63/230.49	c (175,0) c |  7 |     79 |     247884 |     213757 |    60185 |    46174 |    27795 |   204133 |    14281 |     1148 |  20 |  0.000 |
1449.63/230.49	c (175,0) c 
1449.63/230.49	c (175,0) c synthesis     1725554 conflicts  3108403245 propagations     1256 conflicts/sec  2262979 propagations/sec
1449.63/230.49	c (175,0) c real: 175.218 s, cpu: 1373.59 s, memory: 719.16 Mb
1680.39/260.49	c (205,0) c
1680.39/260.49	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1680.39/260.49	c (205,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1680.39/260.49	c (205,0) c |------------------------------------------------------------------------------------------------------------------------|
1680.39/260.49	c (205,0) c |  0 |     93 |     275562 |     237601 |    62255 |    39417 |    30228 |   221048 |    15166 |     1338 |  20 |  0.000 |
1680.39/260.49	c (205,0) c |  1 |    120 |     286724 |     247372 |    63157 |    49188 |    31723 |   223150 |    16510 |     1331 |  20 |  0.000 |
1680.39/260.49	c (205,0) c |  2 |     74 |     308121 |     264906 |    73685 |     2791 |    39124 |   180441 |     8066 |     1339 |  20 |  0.000 |
1680.39/260.49	c (205,0) c |  3 |     62 |     273939 |     238202 |    59835 |    40012 |    30356 |   217682 |    14602 |     1319 |  20 |  0.000 |
1680.39/260.49	c (205,0) c |  4 |    100 |     301749 |     259739 |    76086 |     3526 |    37486 |   218054 |     7355 |     1339 |  20 |  0.000 |
1680.39/260.49	c (205,0) c |  5 |    118 |     281029 |     241238 |    64147 |    43054 |    31080 |   228005 |    17190 |     1339 |  20 |  0.000 |
1680.39/260.49	c (205,0) c |  6 |    138 |     282642 |     243361 |    64016 |    45179 |    31128 |   219299 |    15793 |     1338 |  20 |  0.000 |
1680.39/260.49	c (205,0) c |  7 |    106 |     282452 |     244057 |    62638 |    45876 |    30226 |   226312 |    16542 |     1339 |  20 |  0.000 |
1680.39/260.49	c (205,0) c 
1680.39/260.49	c (205,0) c synthesis     1976476 conflicts  3574757129 propagations     1232 conflicts/sec  2228432 propagations/sec
1680.39/260.49	c (205,0) c real: 205.218 s, cpu: 1604.16 s, memory: 719.16 Mb
1910.62/289.49	c (234,0) c
1910.62/289.49	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1910.62/289.49	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1910.62/289.49	c (234,0) c |------------------------------------------------------------------------------------------------------------------------|
1910.62/289.49	c (234,0) c |  0 |     99 |     308923 |     267316 |    63873 |    35938 |    33018 |   243843 |    17144 |     1531 |  20 |  0.000 |
1910.62/289.49	c (234,0) c |  1 |    146 |     320164 |     276836 |    64848 |    45455 |    34465 |   246032 |    18595 |     1517 |  20 |  0.000 |
1910.62/289.49	c (234,0) c |  2 |     74 |     344497 |     297775 |    76102 |     3673 |    42698 |   180441 |     8136 |     1532 |  20 |  0.000 |
1910.62/289.49	c (234,0) c |  3 |     83 |     308154 |     268475 |    61497 |    37082 |    32489 |   245741 |    16505 |     1512 |  20 |  0.000 |
1910.62/289.49	c (234,0) c |  4 |    103 |     341984 |     295377 |    79913 |     3204 |    42262 |   237321 |     7547 |     1525 |  20 |  0.000 |
1910.62/289.49	c (234,0) c |  5 |    136 |     315671 |     271739 |    65723 |    40351 |    34002 |   249366 |    19248 |     1532 |  20 |  0.000 |
1910.62/289.49	c (234,0) c |  6 |    148 |     315481 |     272818 |    65602 |    41433 |    33788 |   237814 |    17378 |     1532 |  20 |  0.000 |
1910.62/289.49	c (234,0) c |  7 |    123 |     313720 |     271846 |    64455 |    40462 |    32481 |   238392 |    18597 |     1519 |  20 |  0.000 |
1910.62/289.49	c (234,0) c 
1910.62/289.49	c (234,0) c synthesis     2222182 conflicts  4027920609 propagations     1212 conflicts/sec  2196015 propagations/sec
1910.62/289.49	c (234,0) c real: 234.218 s, cpu: 1834.2 s, memory: 719.16 Mb
2143.37/319.49	c (264,0) c
2143.37/319.49	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2143.37/319.49	c (264,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2143.37/319.49	c (264,0) c |------------------------------------------------------------------------------------------------------------------------|
2143.37/319.49	c (264,0) c |  0 |    104 |     341627 |     296735 |    65035 |    65357 |    35683 |   261728 |    18801 |     1723 |  20 |  0.000 |
2143.37/319.49	c (264,0) c |  1 |    176 |     355069 |     307441 |    66245 |    40259 |    37383 |   262623 |    20570 |     1716 |  20 |  0.000 |
2143.37/319.49	c (264,0) c |  2 |     74 |     381515 |     331174 |    78543 |     3080 |    46337 |   180441 |     8200 |     1723 |  20 |  0.000 |
2143.37/319.49	c (264,0) c |  3 |     95 |     340025 |     297148 |    62762 |    65755 |    35302 |   267451 |    18028 |     1703 |  20 |  0.000 |
2143.37/319.49	c (264,0) c |  4 |    103 |     383313 |     332089 |    83472 |     2004 |    46424 |   237321 |     7661 |     1723 |  20 |  0.000 |
2143.37/319.49	c (264,0) c |  5 |    155 |     347698 |     300002 |    67239 |    68614 |    36519 |   269205 |    20896 |     1723 |  20 |  0.000 |
2143.37/319.49	c (264,0) c |  6 |    149 |     347490 |     301524 |    66740 |    70139 |    36303 |   250764 |    18787 |     1723 |  20 |  0.000 |
2143.37/319.49	c (264,0) c |  7 |    123 |     346626 |     302024 |    65682 |    70640 |    35535 |   238392 |    19585 |     1723 |  20 |  0.000 |
2143.37/319.49	c (264,0) c 
2143.37/319.49	c (264,0) c synthesis     2468137 conflicts  4481863132 propagations     1194 conflicts/sec  2168531 propagations/sec
2143.37/319.49	c (264,0) c real: 264.218 s, cpu: 2066.77 s, memory: 719.16 Mb
2364.73/348.49	c (293,0) c
2364.73/348.49	c (293,0) c |------------------------------------------------------------------------------------------------------------------------|
2364.73/348.49	c (293,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2364.73/348.49	c (293,0) c |------------------------------------------------------------------------------------------------------------------------|
2364.73/348.49	c (293,0) c |  0 |    106 |     371914 |     324153 |    66283 |    56973 |    37903 |   280536 |    20633 |     1906 |  20 |  0.000 |
2364.73/348.49	c (293,0) c |  1 |    191 |     386971 |     335890 |    67595 |    68708 |    40119 |   285089 |    22344 |     1906 |  20 |  0.000 |
2364.73/348.49	c (293,0) c |  2 |     78 |     419118 |     364437 |    81577 |     2347 |    50993 |   266464 |     8413 |     1906 |  20 |  0.000 |
2364.73/348.49	c (293,0) c |  3 |    117 |     372149 |     325604 |    64567 |    58414 |    37778 |   289751 |    20153 |     1886 |  20 |  0.000 |
2364.73/348.49	c (293,0) c |  4 |    103 |     420574 |     365641 |    86178 |     3493 |    50868 |   237321 |     7720 |     1906 |  20 |  0.000 |
2364.73/348.49	c (293,0) c |  5 |    162 |     379624 |     328571 |    68241 |    61387 |    39335 |   277984 |    22504 |     1906 |  20 |  0.000 |
2364.73/348.49	c (293,0) c |  6 |    167 |     378987 |     329447 |    68101 |    62263 |    38535 |   291372 |    21104 |     1906 |  20 |  0.000 |
2364.73/348.49	c (293,0) c |  7 |    123 |     375738 |     328943 |    66538 |    61761 |    37261 |   238392 |    20206 |     1906 |  20 |  0.000 |
2364.73/348.49	c (293,0) c 
2364.73/348.49	c (293,0) c synthesis     2702686 conflicts  4909849500 propagations     1181 conflicts/sec  2145869 propagations/sec
2364.73/348.49	c (293,0) c real: 293.218 s, cpu: 2288.05 s, memory: 719.16 Mb
2593.71/378.49	c (323,0) c
2593.71/378.49	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
2593.71/378.49	c (323,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2593.71/378.49	c (323,0) c |------------------------------------------------------------------------------------------------------------------------|
2593.71/378.49	c (323,0) c |  0 |    116 |     403960 |     352591 |    67609 |    47007 |    40272 |   311972 |    22763 |     2095 |  20 |  0.000 |
2594.51/378.54	c (323,0) c |  1 |    205 |     417502 |     363377 |    68607 |    57800 |    42541 |   302979 |    23985 |     2095 |  20 |  0.000 |
2594.51/378.54	c (323,0) c |  2 |     78 |     456159 |     397532 |    84194 |     3415 |    55011 |   266464 |     8507 |     2095 |  20 |  0.000 |
2594.51/378.54	c (323,0) c |  3 |    152 |     404280 |     353592 |    66340 |    48000 |    40279 |   306012 |    22126 |     2075 |  20 |  0.000 |
2594.51/378.54	c (323,0) c |  4 |    107 |     458292 |     399443 |    89014 |     3300 |    54515 |   288642 |     7876 |     2095 |  20 |  0.000 |
2594.51/378.54	c (323,0) c |  5 |    167 |     409711 |     355832 |    69153 |    50248 |    41435 |   308711 |    24122 |     2095 |  20 |  0.000 |
2594.51/378.54	c (323,0) c |  6 |    180 |     411462 |     358432 |    69147 |    52846 |    40800 |   306920 |    22974 |     2095 |  20 |  0.000 |
2594.51/378.54	c (323,0) c |  7 |    134 |     407079 |     357135 |    67687 |    51546 |    39279 |   304341 |    22094 |     2095 |  20 |  0.000 |
2594.51/378.54	c (323,0) c 
2594.51/378.54	c (323,0) c synthesis     2937934 conflicts  5343590717 propagations     1167 conflicts/sec  2122978 propagations/sec
2594.51/378.54	c (323,0) c real: 323.218 s, cpu: 2517.03 s, memory: 719.16 Mb
2818.75/407.49	c (352,0) c
2818.75/407.49	c (352,0) c |------------------------------------------------------------------------------------------------------------------------|
2818.75/407.49	c (352,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2818.75/407.49	c (352,0) c |------------------------------------------------------------------------------------------------------------------------|
2818.75/407.49	c (352,0) c |  0 |    118 |     432594 |     378621 |    68574 |    73036 |    42351 |   324869 |    24321 |     2282 |  20 |  0.000 |
2818.75/407.49	c (352,0) c |  1 |    208 |     446258 |     389495 |    69443 |    42916 |    44966 |   324546 |    25529 |     2282 |  20 |  0.000 |
2818.75/407.49	c (352,0) c |  2 |     85 |     492315 |     429525 |    86905 |     3369 |    58746 |   309565 |     8854 |     2282 |  20 |  0.000 |
2818.75/407.49	c (352,0) c |  3 |    155 |     434029 |     380305 |    67806 |    74713 |    42643 |   324672 |    23464 |     2262 |  20 |  0.000 |
2818.75/407.49	c (352,0) c |  4 |    112 |     495065 |     432149 |    91870 |     2066 |    58755 |   310982 |     8092 |     2282 |  20 |  0.000 |
2818.75/407.49	c (352,0) c |  5 |    181 |     439432 |     382364 |    69879 |    76780 |    43186 |   329875 |    25773 |     2282 |  20 |  0.000 |
2818.75/407.49	c (352,0) c |  6 |    183 |     440906 |     384891 |    70000 |    79305 |    43235 |   320394 |    24506 |     2273 |  20 |  0.000 |
2818.75/407.49	c (352,0) c |  7 |    166 |     436795 |     383398 |    68836 |    77809 |    41109 |   331095 |    23822 |     2275 |  20 |  0.000 |
2818.75/407.49	c (352,0) c 
2818.75/407.49	c (352,0) c synthesis     3160748 conflicts  5758945227 propagations     1153 conflicts/sec  2100345 propagations/sec
2818.75/407.49	c (352,0) c real: 352.218 s, cpu: 2741.9 s, memory: 719.16 Mb
2914.29/419.59	c (364,0) c
2914.29/419.59	c (364,0) c real time : 364.314 s
2914.29/419.59	c (364,0) c cpu time  : 2836.82 s
2914.29/419.59	c (364,0) c
2914.29/419.59	c (364,0) c
2914.29/419.59	c (364,0) c
2914.29/419.59	c (364,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2914.29/419.59	c (364,0) c
2914.29/419.59	c (364,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.59	c (364,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2914.29/419.59	c (364,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.59	c (364,0) c | Conflicts     |         3254842 |     389324 |     401306 |     443100 |     391226 |     445138 |     393164 |     396282 |     395302 |
2914.29/419.59	c (364,0) c | Decisions     |         3721928 |     444591 |     459085 |     507440 |     446050 |     509652 |     451347 |     453517 |     450246 |
2914.29/419.59	c (364,0) c | Propagations  |      5936359724 |  715788512 |  710237687 |  825832383 |  704869030 |  838317591 |  712364265 |  716125949 |  712824307 |
2914.29/419.59	c (364,0) c | ReduceDBs     |             461 |         17 |         17 |        179 |         17 |        180 |         17 |         17 |         17 |
2914.29/419.59	c (364,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2914.29/419.59	c (364,0) c | Restarts      |            1229 |        128 |        208 |         85 |        157 |        112 |        184 |        183 |        172 |
2914.29/419.59	c (364,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2914.29/419.59	c (364,0) c | PropBinClauses|      1666745517 |  202403762 |  201511161 |  235062591 |  199391704 |  229632900 |  199949153 |  200318098 |  198476148 |
2914.29/419.59	c (364,0) c | PropPreBlocker|     68292319545 | 8519948209 | 8550199771 | 8587092979 | 8447598883 | 8572561265 | 8526829544 | 8535656785 | 8552432109 |
2914.29/419.59	c (364,0) c | PropNotBlocker|     22101264383 | 2715692639 | 2721806282 | 2928925149 | 2695157058 | 2917611252 | 2722324815 | 2699742064 | 2700005124 |
2914.29/419.59	c (364,0) c | LitFullScans  |    113126673264 |14167251580 |14167042951 |14166836864 |14047520908 |14166839424 |14155036604 |14131158003 |14124986930 |
2914.29/419.59	c (364,0) c | LitScanFracts |         8040493 |    1211074 |    1040242 |     835138 |     982099 |     837162 |    1032164 |    1136437 |     966177 |
2914.29/419.59	c (364,0) c | DecisionLevel0|            1229 |        128 |        208 |         85 |        157 |        112 |        184 |        183 |        172 |
2914.29/419.59	c (364,0) c | Periods       |           18853 |       2361 |       2361 |       2361 |       2341 |       2361 |       2359 |       2355 |       2354 |
2914.29/419.59	c (364,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2914.29/419.59	c (364,0) c | Avg_Trail     |                 |       5735 |       5737 |       5685 |       5734 |       5903 |       5756 |       5824 |       5731 |
2914.29/419.59	c (364,0) c | Avg_DL        |                 |         16 |         15 |         15 |         16 |         16 |         16 |         16 |         15 |
2914.29/419.59	c (364,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2914.29/419.59	c (364,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2914.29/419.59	c (364,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.59	c (364,0) c | Exported      |          382773 |      43166 |      45722 |      60216 |      43564 |      60029 |      43873 |      44249 |      41954 |
2914.29/419.59	c (364,0) c | Imported      |         2602121 |     335462 |     324546 |     309565 |     331345 |     310982 |     335569 |     320394 |     334258 |
2914.29/419.59	c (364,0) c | Good          |            3606 |        460 |        441 |        441 |        467 |        432 |        460 |        447 |        458 |
2914.29/419.59	c (364,0) c | Purge         |         2598515 |     335002 |     324105 |     309124 |     330878 |     310550 |     335109 |     319947 |     333800 |
2914.29/419.59	c (364,0) c | Promoted      |          168100 |      25105 |      25930 |       8884 |      24087 |       8127 |      26344 |      25059 |      24564 |
2914.29/419.59	c (364,0) c | Remove_Imp    |         2082316 |     252851 |     242029 |     298614 |     248719 |     300201 |     250074 |     238110 |     251718 |
2914.29/419.59	c (364,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2914.29/419.59	c (364,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.59	c (364,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2914.29/419.59	c (364,0) c | Binaries      |                 |         59 |         73 |         71 |         50 |         86 |         59 |         63 |         60 |
2914.29/419.59	c (364,0) c | Glues         |                 |       1101 |       1140 |       1396 |       1065 |       1599 |       1174 |       1177 |       1158 |
2914.29/419.59	c (364,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.59	c (364,0) c | Orig_Seen     |            52 % |      68984 |      69705 |      87825 |      68225 |      92886 |      70176 |      70374 |      69302 |
2914.29/419.59	c (364,0) c | Diff Orig seen|                 |        759 |       1480 |      19600 |      X     |      24661 |       1951 |       2149 |       1077 |
2914.29/419.59	c (364,0) c | Hamming       |            47 % |       6498 |       6656 |       6180 |      X     |       6911 |       6743 |       6739 |       6090 |
2914.29/419.59	c (364,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.59	c (364,0) c | RunningTime   |                 |  358.5  98%|  359.7  99%|  349.6  96%|  362.0  99%|  352.2  97%|  351.3  97%|  356.9  98%|  356.3  98%|
2914.29/419.59	c (364,0) c | WaitingTime   |                 |    5.4   1%|    4.2   1%|   14.1   4%|    1.7   0%|   11.5   3%|   12.5   3%|    6.9   2%|    7.5   2%|
2914.29/419.59	c (364,0) c | ExchangingTime|                 |    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.2   0%|    0.1   0%|    0.2   0%|
2914.29/419.59	c (364,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%|
2914.29/419.59	c (364,0) c | SolvingTime   |                 |  364.1     |  364.1     |  364.0     |  364.0     |  363.9     |  364.0     |  364.0     |  364.0     |
2914.29/419.59	c (364,0) c | PropagationTim|                 |  346.1  95%|  342.5  94%|  345.0  95%|  347.6  96%|  344.9  95%|  346.3  95%|  347.3  95%|  345.8  95%|
2914.29/419.59	c (364,0) c | AnalysisTime  |                 |   10.0   3%|   13.1   4%|    9.7   3%|    8.4   2%|    9.9   3%|    9.7   3%|    8.6   2%|   10.2   3%|
2914.29/419.59	c (364,0) c | ReductionTime |                 |    0.8   0%|    0.8   0%|    1.2   0%|    0.8   0%|    1.2   0%|    0.8   0%|    0.8   0%|    0.8   0%|
2914.29/419.59	c (364,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2914.29/419.59	c (364,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%|
2914.29/419.59	c (364,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%|
2914.29/419.59	c (364,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.59	c (364,0) c
2914.29/419.59	c (364,0) c
2914.29/419.59	c (364,0) c Threads : 8
2914.29/419.59	c (364,0) c Winner : 3
2914.29/419.59	c (364,0) c Conflicts_0 : 389324
2914.29/419.59	c (364,0) c Conflicts_1 : 401306
2914.29/419.59	c (364,0) c Conflicts_2 : 443100
2914.29/419.59	c (364,0) c Conflicts_3 : 391226
2914.29/419.59	c (364,0) c Conflicts_4 : 445138
2914.29/419.59	c (364,0) c Conflicts_5 : 393164
2914.29/419.59	c (364,0) c Conflicts_6 : 396282
2914.29/419.59	c (364,0) c Conflicts_7 : 395302
2914.29/419.59	c (364,0) c Conflicts_total : 3254842
2914.29/419.59	c (364,0) c Conflicts_winner : 391226
2914.29/419.59	c (364,0) c Decisions_0 : 444591
2914.29/419.59	c (364,0) c Decisions_1 : 459085
2914.29/419.59	c (364,0) c Decisions_2 : 507440
2914.29/419.59	c (364,0) c Decisions_3 : 446050
2914.29/419.59	c (364,0) c Decisions_4 : 509652
2914.29/419.59	c (364,0) c Decisions_5 : 451347
2914.29/419.59	c (364,0) c Decisions_6 : 453517
2914.29/419.59	c (364,0) c Decisions_7 : 450246
2914.29/419.59	c (364,0) c Decisions_total : 3721928
2914.29/419.59	c (364,0) c Decisions_winner : 446050
2914.29/419.59	c (364,0) c Propagations_0 : 715788512
2914.29/419.59	c (364,0) c Propagations_1 : 710237687
2914.29/419.59	c (364,0) c Propagations_2 : 825832383
2914.29/419.59	c (364,0) c Propagations_3 : 704869030
2914.29/419.59	c (364,0) c Propagations_4 : 838317591
2914.29/419.59	c (364,0) c Propagations_5 : 712364265
2914.29/419.59	c (364,0) c Propagations_6 : 716125949
2914.29/419.59	c (364,0) c Propagations_7 : 712824307
2914.29/419.59	c (364,0) c Propagations_total : 5936359724
2914.29/419.59	c (364,0) c Propagations_winner : 704869030
2914.29/419.59	c (364,0) c ReduceDBs_0 : 17
2914.29/419.59	c (364,0) c ReduceDBs_1 : 17
2914.29/419.59	c (364,0) c ReduceDBs_2 : 179
2914.29/419.59	c (364,0) c ReduceDBs_3 : 17
2914.29/419.59	c (364,0) c ReduceDBs_4 : 180
2914.29/419.59	c (364,0) c ReduceDBs_5 : 17
2914.29/419.59	c (364,0) c ReduceDBs_6 : 17
2914.29/419.59	c (364,0) c ReduceDBs_7 : 17
2914.29/419.59	c (364,0) c ReduceDBs_total : 461
2914.29/419.59	c (364,0) c ReduceDBs_winner : 17
2914.29/419.59	c (364,0) c SimpDBs_0 : 1
2914.29/419.59	c (364,0) c SimpDBs_1 : 1
2914.29/419.59	c (364,0) c SimpDBs_2 : 1
2914.29/419.59	c (364,0) c SimpDBs_3 : 1
2914.29/419.59	c (364,0) c SimpDBs_4 : 1
2914.29/419.59	c (364,0) c SimpDBs_5 : 1
2914.29/419.59	c (364,0) c SimpDBs_6 : 1
2914.29/419.59	c (364,0) c SimpDBs_7 : 1
2914.29/419.59	c (364,0) c SimpDBs_total : 8
2914.29/419.59	c (364,0) c SimpDBs_winner : 1
2914.29/419.59	c (364,0) c Restarts_0 : 128
2914.29/419.59	c (364,0) c Restarts_1 : 208
2914.29/419.59	c (364,0) c Restarts_2 : 85
2914.29/419.59	c (364,0) c Restarts_3 : 157
2914.29/419.59	c (364,0) c Restarts_4 : 112
2914.29/419.59	c (364,0) c Restarts_5 : 184
2914.29/419.59	c (364,0) c Restarts_6 : 183
2914.29/419.59	c (364,0) c Restarts_7 : 172
2914.29/419.59	c (364,0) c Restarts_total : 1229
2914.29/419.59	c (364,0) c Restarts_winner : 157
2914.29/419.59	c (364,0) c ForcedImports_0 : 0
2914.29/419.59	c (364,0) c ForcedImports_1 : 0
2914.29/419.59	c (364,0) c ForcedImports_2 : 0
2914.29/419.59	c (364,0) c ForcedImports_3 : 0
2914.29/419.59	c (364,0) c ForcedImports_4 : 0
2914.29/419.59	c (364,0) c ForcedImports_5 : 0
2914.29/419.59	c (364,0) c ForcedImports_6 : 0
2914.29/419.59	c (364,0) c ForcedImports_7 : 0
2914.29/419.59	c (364,0) c ForcedImports_total : 0
2914.29/419.59	c (364,0) c ForcedImports_winner : 0
2914.29/419.59	c (364,0) c PropsBinClauses_0 : 202403762
2914.29/419.59	c (364,0) c PropsBinClauses_1 : 201511161
2914.29/419.59	c (364,0) c PropsBinClauses_2 : 235062591
2914.29/419.59	c (364,0) c PropsBinClauses_3 : 199391704
2914.29/419.59	c (364,0) c PropsBinClauses_4 : 229632900
2914.29/419.59	c (364,0) c PropsBinClauses_5 : 199949153
2914.29/419.59	c (364,0) c PropsBinClauses_6 : 200318098
2914.29/419.59	c (364,0) c PropsBinClauses_7 : 198476148
2914.29/419.59	c (364,0) c PropsBinClauses_total : 1666745517
2914.29/419.59	c (364,0) c PropsBinClauses_winner : 199391704
2914.29/419.59	c (364,0) c PropsPreBlocker_0 : 8519948209
2914.29/419.59	c (364,0) c PropsPreBlocker_1 : 8550199771
2914.29/419.59	c (364,0) c PropsPreBlocker_2 : 8587092979
2914.29/419.59	c (364,0) c PropsPreBlocker_3 : 8447598883
2914.29/419.59	c (364,0) c PropsPreBlocker_4 : 8572561265
2914.29/419.59	c (364,0) c PropsPreBlocker_5 : 8526829544
2914.29/419.59	c (364,0) c PropsPreBlocker_6 : 8535656785
2914.29/419.59	c (364,0) c PropsPreBlocker_7 : 8552432109
2914.29/419.59	c (364,0) c PropsPreBlocker_total : 68292319545
2914.29/419.59	c (364,0) c PropsPreBlocker_winner : 8447598883
2914.29/419.59	c (364,0) c PropsNotBlocker_0 : 2715692639
2914.29/419.59	c (364,0) c PropsNotBlocker_1 : 2721806282
2914.29/419.59	c (364,0) c PropsNotBlocker_2 : 2928925149
2914.29/419.59	c (364,0) c PropsNotBlocker_3 : 2695157058
2914.29/419.59	c (364,0) c PropsNotBlocker_4 : 2917611252
2914.29/419.59	c (364,0) c PropsNotBlocker_5 : 2722324815
2914.29/419.59	c (364,0) c PropsNotBlocker_6 : 2699742064
2914.29/419.59	c (364,0) c PropsNotBlocker_7 : 2700005124
2914.29/419.59	c (364,0) c PropsNotBlocker_total : 22101264383
2914.29/419.59	c (364,0) c PropsNotBlocker_winner : 2695157058
2914.29/419.59	c (364,0) c PropsLitFullScans_0 : 14167251580
2914.29/419.59	c (364,0) c PropsLitFullScans_1 : 14167042951
2914.29/419.59	c (364,0) c PropsLitFullScans_2 : 14166836864
2914.29/419.59	c (364,0) c PropsLitFullScans_3 : 14047520908
2914.29/419.59	c (364,0) c PropsLitFullScans_4 : 14166839424
2914.29/419.59	c (364,0) c PropsLitFullScans_5 : 14155036604
2914.29/419.59	c (364,0) c PropsLitFullScans_6 : 14131158003
2914.29/419.59	c (364,0) c PropsLitFullScans_7 : 14124986930
2914.29/419.59	c (364,0) c PropsLitFullScans_total : 113126673264
2914.29/419.59	c (364,0) c PropsLitFullScans_winner : 14047520908
2914.29/419.59	c (364,0) c LitScanFractions_0 : 1211074
2914.29/419.59	c (364,0) c LitScanFractions_1 : 1040242
2914.29/419.59	c (364,0) c LitScanFractions_2 : 835138
2914.29/419.59	c (364,0) c LitScanFractions_3 : 982099
2914.29/419.59	c (364,0) c LitScanFractions_4 : 837162
2914.29/419.59	c (364,0) c LitScanFractions_5 : 1032164
2914.29/419.59	c (364,0) c LitScanFractions_6 : 1136437
2914.29/419.59	c (364,0) c LitScanFractions_7 : 966177
2914.29/419.59	c (364,0) c LitScanFractions_total : 8040493
2914.29/419.59	c (364,0) c LitScanFractions_winner : 982099
2914.29/419.59	c (364,0) c DecisionLevel0_0 : 128
2914.29/419.59	c (364,0) c DecisionLevel0_1 : 208
2914.29/419.59	c (364,0) c DecisionLevel0_2 : 85
2914.29/419.59	c (364,0) c DecisionLevel0_3 : 157
2914.29/419.59	c (364,0) c DecisionLevel0_4 : 112
2914.29/419.59	c (364,0) c DecisionLevel0_5 : 184
2914.29/419.59	c (364,0) c DecisionLevel0_6 : 183
2914.29/419.59	c (364,0) c DecisionLevel0_7 : 172
2914.29/419.59	c (364,0) c DecisionLevel0_total : 1229
2914.29/419.59	c (364,0) c DecisionLevel0_winner : 157
2914.29/419.59	c (364,0) c Periods_0 : 2361
2914.29/419.59	c (364,0) c Periods_1 : 2361
2914.29/419.59	c (364,0) c Periods_2 : 2361
2914.29/419.59	c (364,0) c Periods_3 : 2341
2914.29/419.59	c (364,0) c Periods_4 : 2361
2914.29/419.59	c (364,0) c Periods_5 : 2359
2914.29/419.59	c (364,0) c Periods_6 : 2355
2914.29/419.59	c (364,0) c Periods_7 : 2354
2914.29/419.59	c (364,0) c Periods_total : 18853
2914.29/419.59	c (364,0) c Periods_winner : 2341
2914.29/419.59	c (364,0) c Margin_0 : 20
2914.29/419.59	c (364,0) c Margin_1 : 20
2914.29/419.59	c (364,0) c Margin_2 : 20
2914.29/419.59	c (364,0) c Margin_3 : 20
2914.29/419.59	c (364,0) c Margin_4 : 20
2914.29/419.59	c (364,0) c Margin_5 : 20
2914.29/419.59	c (364,0) c Margin_6 : 20
2914.29/419.59	c (364,0) c Margin_7 : 20
2914.29/419.59	c (364,0) c Margin_total : 160
2914.29/419.59	c (364,0) c Margin_winner : 20
2914.29/419.59	c (364,0) c Exported_0 : 43166
2914.29/419.59	c (364,0) c Exported_1 : 45722
2914.29/419.59	c (364,0) c Exported_2 : 60216
2914.29/419.59	c (364,0) c Exported_3 : 43564
2914.29/419.59	c (364,0) c Exported_4 : 60029
2914.29/419.59	c (364,0) c Exported_5 : 43873
2914.29/419.59	c (364,0) c Exported_6 : 44249
2914.29/419.59	c (364,0) c Exported_7 : 41954
2914.29/419.59	c (364,0) c Exported_total : 382773
2914.29/419.59	c (364,0) c Exported_winner : 43564
2914.29/419.59	c (364,0) c Imported_0 : 335462
2914.29/419.59	c (364,0) c Imported_1 : 324546
2914.29/419.59	c (364,0) c Imported_2 : 309565
2914.29/419.59	c (364,0) c Imported_3 : 331345
2914.29/419.59	c (364,0) c Imported_4 : 310982
2914.29/419.59	c (364,0) c Imported_5 : 335569
2914.29/419.59	c (364,0) c Imported_6 : 320394
2914.29/419.59	c (364,0) c Imported_7 : 334258
2914.29/419.59	c (364,0) c Imported_total : 2602121
2914.29/419.59	c (364,0) c Imported_winner : 331345
2914.29/419.59	c (364,0) c Good_0 : 460
2914.29/419.59	c (364,0) c Good_1 : 441
2914.29/419.59	c (364,0) c Good_2 : 441
2914.29/419.59	c (364,0) c Good_3 : 467
2914.29/419.59	c (364,0) c Good_4 : 432
2914.29/419.59	c (364,0) c Good_5 : 460
2914.29/419.59	c (364,0) c Good_6 : 447
2914.29/419.59	c (364,0) c Good_7 : 458
2914.29/419.59	c (364,0) c Good_total : 3606
2914.29/419.59	c (364,0) c Good_winner : 467
2914.29/419.59	c (364,0) c Purge_0 : 335002
2914.29/419.59	c (364,0) c Purge_1 : 324105
2914.29/419.59	c (364,0) c Purge_2 : 309124
2914.29/419.59	c (364,0) c Purge_3 : 330878
2914.29/419.59	c (364,0) c Purge_4 : 310550
2914.29/419.59	c (364,0) c Purge_5 : 335109
2914.29/419.59	c (364,0) c Purge_6 : 319947
2914.29/419.59	c (364,0) c Purge_7 : 333800
2914.29/419.59	c (364,0) c Purge_total : 2598515
2914.29/419.59	c (364,0) c Purge_winner : 330878
2914.29/419.59	c (364,0) c Promoted_0 : 25105
2914.29/419.59	c (364,0) c Promoted_1 : 25930
2914.29/419.59	c (364,0) c Promoted_2 : 8884
2914.29/419.59	c (364,0) c Promoted_3 : 24087
2914.29/419.59	c (364,0) c Promoted_4 : 8127
2914.29/419.59	c (364,0) c Promoted_5 : 26344
2914.29/419.59	c (364,0) c Promoted_6 : 25059
2914.29/419.59	c (364,0) c Promoted_7 : 24564
2914.29/419.59	c (364,0) c Promoted_total : 168100
2914.29/419.59	c (364,0) c Promoted_winner : 24087
2914.29/419.59	c (364,0) c Remove_Imp_0 : 252851
2914.29/419.59	c (364,0) c Remove_Imp_1 : 242029
2914.29/419.59	c (364,0) c Remove_Imp_2 : 298614
2914.29/419.59	c (364,0) c Remove_Imp_3 : 248719
2914.29/419.59	c (364,0) c Remove_Imp_4 : 300201
2914.29/419.59	c (364,0) c Remove_Imp_5 : 250074
2914.29/419.59	c (364,0) c Remove_Imp_6 : 238110
2914.29/419.59	c (364,0) c Remove_Imp_7 : 251718
2914.29/419.59	c (364,0) c Remove_Imp_total : 2082316
2914.29/419.59	c (364,0) c Remove_Imp_winner : 248719
2914.29/419.59	c (364,0) c Blocked_Reuse_0 : 0
2914.29/419.59	c (364,0) c Blocked_Reuse_1 : 0
2914.29/419.59	c (364,0) c Blocked_Reuse_2 : 0
2914.29/419.59	c (364,0) c Blocked_Reuse_3 : 0
2914.29/419.59	c (364,0) c Blocked_Reuse_4 : 0
2914.29/419.59	c (364,0) c Blocked_Reuse_5 : 0
2914.29/419.59	c (364,0) c Blocked_Reuse_6 : 0
2914.29/419.60	c (364,0) c Blocked_Reuse_7 : 0
2914.29/419.60	c (364,0) c Blocked_Reuse_total : 0
2914.29/419.60	c (364,0) c Blocked_Reuse_winner : 0
2914.29/419.60	c (364,0) c Unaries_0 : 0
2914.29/419.60	c (364,0) c Unaries_1 : 0
2914.29/419.60	c (364,0) c Unaries_2 : 0
2914.29/419.60	c (364,0) c Unaries_3 : 0
2914.29/419.60	c (364,0) c Unaries_4 : 0
2914.29/419.60	c (364,0) c Unaries_5 : 0
2914.29/419.60	c (364,0) c Unaries_6 : 0
2914.29/419.60	c (364,0) c Unaries_7 : 0
2914.29/419.60	c (364,0) c Unaries_total : 0
2914.29/419.60	c (364,0) c Unaries_winner : 0
2914.29/419.60	c (364,0) c Binaries_0 : 59
2914.29/419.60	c (364,0) c Binaries_1 : 73
2914.29/419.60	c (364,0) c Binaries_2 : 71
2914.29/419.60	c (364,0) c Binaries_3 : 50
2914.29/419.60	c (364,0) c Binaries_4 : 86
2914.29/419.60	c (364,0) c Binaries_5 : 59
2914.29/419.60	c (364,0) c Binaries_6 : 63
2914.29/419.60	c (364,0) c Binaries_7 : 60
2914.29/419.60	c (364,0) c Binaries_total : 521
2914.29/419.60	c (364,0) c Binaries_winner : 50
2914.29/419.60	c (364,0) c Glues_0 : 1101
2914.29/419.60	c (364,0) c Glues_1 : 1140
2914.29/419.60	c (364,0) c Glues_2 : 1396
2914.29/419.60	c (364,0) c Glues_3 : 1065
2914.29/419.60	c (364,0) c Glues_4 : 1599
2914.29/419.60	c (364,0) c Glues_5 : 1174
2914.29/419.60	c (364,0) c Glues_6 : 1177
2914.29/419.60	c (364,0) c Glues_7 : 1158
2914.29/419.60	c (364,0) c Glues_total : 9810
2914.29/419.60	c (364,0) c Glues_winner : 1065
2914.29/419.60	c (364,0) c RunningTime_0 : 358.477864
2914.29/419.60	c (364,0) c RunningTime_1 : 359.658013
2914.29/419.60	c (364,0) c RunningTime_2 : 349.642636
2914.29/419.60	c (364,0) c RunningTime_3 : 362.032393
2914.29/419.60	c (364,0) c RunningTime_4 : 352.199161
2914.29/419.60	c (364,0) c RunningTime_5 : 351.288568
2914.29/419.60	c (364,0) c RunningTime_6 : 356.928776
2914.29/419.60	c (364,0) c RunningTime_7 : 356.300760
2914.29/419.60	c (364,0) c RunningTime_total : 2846.528171
2914.29/419.60	c (364,0) c RunningTime_winner : 362.032393
2914.29/419.60	c (364,0) c WaitingTime_0 : 5.395952
2914.29/419.60	c (364,0) c WaitingTime_1 : 4.241038
2914.29/419.60	c (364,0) c WaitingTime_2 : 14.100954
2914.29/419.60	c (364,0) c WaitingTime_3 : 1.732816
2914.29/419.60	c (364,0) c WaitingTime_4 : 11.546438
2914.29/419.60	c (364,0) c WaitingTime_5 : 12.538043
2914.29/419.60	c (364,0) c WaitingTime_6 : 6.868402
2914.29/419.60	c (364,0) c WaitingTime_7 : 7.544212
2914.29/419.60	c (364,0) c WaitingTime_total : 63.967856
2914.29/419.60	c (364,0) c WaitingTime_winner : 1.732816
2914.29/419.60	c (364,0) c ExchangingTime_0 : 0.168124
2914.29/419.60	c (364,0) c ExchangingTime_1 : 0.158849
2914.29/419.60	c (364,0) c ExchangingTime_2 : 0.186552
2914.29/419.60	c (364,0) c ExchangingTime_3 : 0.167034
2914.29/419.60	c (364,0) c ExchangingTime_4 : 0.177629
2914.29/419.60	c (364,0) c ExchangingTime_5 : 0.154143
2914.29/419.60	c (364,0) c ExchangingTime_6 : 0.149229
2914.29/419.60	c (364,0) c ExchangingTime_7 : 0.151985
2914.29/419.60	c (364,0) c ExchangingTime_total : 1.313544
2914.29/419.60	c (364,0) c ExchangingTime_winner : 0.167034
2914.29/419.60	c (364,0) c PeriodProcTime_0 : 0.017992
2914.29/419.60	c (364,0) c PeriodProcTime_1 : 0.018983
2914.29/419.60	c (364,0) c PeriodProcTime_2 : 0.022513
2914.29/419.60	c (364,0) c PeriodProcTime_3 : 0.026776
2914.29/419.60	c (364,0) c PeriodProcTime_4 : 0.023946
2914.29/419.60	c (364,0) c PeriodProcTime_5 : 0.021761
2914.29/419.60	c (364,0) c PeriodProcTime_6 : 0.027167
2914.29/419.60	c (364,0) c PeriodProcTime_7 : 0.019096
2914.29/419.60	c (364,0) c PeriodProcTime_total : 0.178234
2914.29/419.60	c (364,0) c PeriodProcTime_winner : 0.026776
2914.29/419.60	c (364,0) c SolvingTime_0 : 364.059932
2914.29/419.60	c (364,0) c SolvingTime_1 : 364.076883
2914.29/419.60	c (364,0) c SolvingTime_2 : 363.952655
2914.29/419.60	c (364,0) c SolvingTime_3 : 363.959020
2914.29/419.60	c (364,0) c SolvingTime_4 : 363.947173
2914.29/419.60	c (364,0) c SolvingTime_5 : 364.002515
2914.29/419.60	c (364,0) c SolvingTime_6 : 363.973575
2914.29/419.60	c (364,0) c SolvingTime_7 : 364.016053
2914.29/419.60	c (364,0) c SolvingTime_total : 2911.987805
2914.29/419.60	c (364,0) c SolvingTime_winner : 363.959020
2914.29/419.60	c (364,0) c PropagationTime_0 : 346.072658
2914.29/419.60	c (364,0) c PropagationTime_1 : 342.511779
2914.29/419.60	c (364,0) c PropagationTime_2 : 344.997038
2914.29/419.60	c (364,0) c PropagationTime_3 : 347.644135
2914.29/419.60	c (364,0) c PropagationTime_4 : 344.875178
2914.29/419.60	c (364,0) c PropagationTime_5 : 346.260363
2914.29/419.60	c (364,0) c PropagationTime_6 : 347.322872
2914.29/419.60	c (364,0) c PropagationTime_7 : 345.836457
2914.29/419.60	c (364,0) c PropagationTime_total : 2765.520480
2914.29/419.60	c (364,0) c PropagationTime_winner : 347.644135
2914.29/419.60	c (364,0) c AnalysisTime_0 : 9.953901
2914.29/419.60	c (364,0) c AnalysisTime_1 : 13.092843
2914.29/419.60	c (364,0) c AnalysisTime_2 : 9.726542
2914.29/419.60	c (364,0) c AnalysisTime_3 : 8.390071
2914.29/419.60	c (364,0) c AnalysisTime_4 : 9.922257
2914.29/419.60	c (364,0) c AnalysisTime_5 : 9.741724
2914.29/419.60	c (364,0) c AnalysisTime_6 : 8.634223
2914.29/419.60	c (364,0) c AnalysisTime_7 : 10.209996
2914.29/419.60	c (364,0) c AnalysisTime_total : 79.671558
2914.29/419.60	c (364,0) c AnalysisTime_winner : 8.390071
2914.29/419.60	c (364,0) c ReductionTime_0 : 0.802293
2914.29/419.60	c (364,0) c ReductionTime_1 : 0.820636
2914.29/419.60	c (364,0) c ReductionTime_2 : 1.177498
2914.29/419.60	c (364,0) c ReductionTime_3 : 0.812581
2914.29/419.60	c (364,0) c ReductionTime_4 : 1.197809
2914.29/419.60	c (364,0) c ReductionTime_5 : 0.837594
2914.29/419.60	c (364,0) c ReductionTime_6 : 0.820462
2914.29/419.60	c (364,0) c ReductionTime_7 : 0.840277
2914.29/419.60	c (364,0) c ReductionTime_total : 7.309152
2914.29/419.60	c (364,0) c ReductionTime_winner : 0.812581
2914.29/419.60	c (364,0) c SimplifyTime_0 : 0.000009
2914.29/419.60	c (364,0) c SimplifyTime_1 : 0.000019
2914.29/419.60	c (364,0) c SimplifyTime_2 : 0.000014
2914.29/419.60	c (364,0) c SimplifyTime_3 : 0.000018
2914.29/419.60	c (364,0) c SimplifyTime_4 : 0.000007
2914.29/419.60	c (364,0) c SimplifyTime_5 : 0.000024
2914.29/419.60	c (364,0) c SimplifyTime_6 : 0.000027
2914.29/419.60	c (364,0) c SimplifyTime_7 : 0.000019
2914.29/419.60	c (364,0) c SimplifyTime_total : 0.000136
2914.29/419.60	c (364,0) c SimplifyTime_winner : 0.000018
2914.29/419.60	c (364,0) c UsedRateTime_0 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_1 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_2 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_3 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_4 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_5 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_6 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_7 : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_total : 0.000000
2914.29/419.60	c (364,0) c UsedRateTime_winner : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_0 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_1 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_2 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_3 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_4 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_5 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_6 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_7 : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_total : 0.000000
2914.29/419.60	c (364,0) c OverlapRateTime_winner : 0.000000
2914.29/419.60	c (364,0) c
2914.29/419.60	c (364,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2914.29/419.60	c (364,0) c
2914.29/419.60	c (364,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.60	c (364,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2914.29/419.60	c (364,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.60	c (364,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2914.29/419.60	c (364,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2914.29/419.60	c (364,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2914.29/419.60	c (364,0) c | Initial random_seed   | 2027143724 | 2068821619 | 1575247571 |  776252974 | 1243261778 |  894194725 |   47443548 | 1393232878 |
2914.29/419.60	c (364,0) c | chanseokStrategy      |      False |      False |       True |      False |       True |      False |      False |      False |
2914.29/419.60	c (364,0) c | coLBDBound            |          5 |          5 |          4 |          5 |          4 |          5 |          5 |          5 |
2914.29/419.60	c (364,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2914.29/419.60	c (364,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2914.29/419.60	c (364,0) c | incReduceDB           |        300 |        300 |          0 |        300 |          0 |        300 |        300 |        300 |
2914.29/419.60	c (364,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2914.29/419.60	c (364,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2914.29/419.60	c (364,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2914.29/419.60	c (364,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2914.29/419.60	c (364,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2914.29/419.60	c (364,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2914.29/419.60	c (364,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2914.29/419.60	c (364,0) 
2914.29/419.60	c (364,0) s SATISFIABLE
2914.56/419.63	c (364,0) SatSolver.solve End
2914.56/419.64	c (364,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
2914.56/419.64	c (364,0) Show results Begin
2914.56/419.70	c (364,0) x[0] = 1
2914.56/419.70	c (364,0) x[1] = 1
2914.56/419.70	c (364,0) x[2] = 1
2914.56/419.70	c (364,0) x[3] = 4
2914.56/419.70	c (364,0) x[4] = 2
2914.56/419.70	c (364,0) x[5] = 2
2914.56/419.70	c (364,0) x[6] = 0
2914.56/419.70	c (364,0) x[7] = 1
2914.56/419.70	c (364,0) x[8] = 1
2914.56/419.70	c (364,0) x[9] = 4
2914.56/419.70	c (364,0) x[10] = 4
2914.56/419.70	c (364,0) x[11] = 4
2914.56/419.70	c (364,0) x[12] = 0
2914.56/419.70	c (364,0) x[13] = 4
2914.56/419.70	c (364,0) x[14] = 2
2914.56/419.70	c (364,0) x[15] = 4
2914.56/419.70	c (364,0) x[16] = 2
2914.56/419.70	c (364,0) x[17] = 4
2914.56/419.70	c (364,0) x[18] = 1
2914.56/419.70	c (364,0) x[19] = 0
2914.56/419.70	c (364,0) x[20] = 4
2914.56/419.70	c (364,0) x[21] = 3
2914.56/419.70	c (364,0) x[22] = 3
2914.56/419.70	c (364,0) x[23] = 4
2914.56/419.70	c (364,0) x[24] = 4
2914.56/419.70	s SATISFIABLE
2914.56/419.70	v <instantiation>
2914.56/419.70	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24]</list>
2914.56/419.70	v     <values>1 1 1 4 2 2 0 1 1 4 4 4 0 4 2 4 2 4 1 0 4 3 3 4 4</values>
2914.56/419.70	v </instantiation>
2914.56/419.70	c (364,0) Show results End
2914.56/419.70	c (364,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
2914.56/419.70	c (364,0) 364,364,STOP-AFTER(ALL)
2914.56/419.70	c END-Prog: Tue Sep 24 16:45:56 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405309-1569335979/watcher-4405309-1569335979 -o /var/tmp/evaluation-result-4405309-1569335979/solver-4405309-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --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-4405309-1569335979.xml 

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

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


[startup+0.100138 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 28332
/proc/meminfo: memFree=25170216/32770624 swapFree=66974368/67108860
[pid=28310] ppid=28307 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28310/stat : 28310 (scop.sh) S 28307 28310 28266 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509539765 115843072 348 33554432000 4194304 5098028 140729714891664 140729714888920 140437009961596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14278656 140729714893565 140729714893912 140729714893912 140729714896841 0
/proc/28310/statm: 28282 348 296 221 0 87 0
[pid=28313] ppid=28310 vsize=27314120 memory=106960 CPUtime=0.09 cores=0-7
/proc/28313/stat : 28313 (java) S 28310 28310 28266 0 -1 1077944320 6799 0 0 0 7 2 0 0 20 0 20 0 509539765 27969658880 26740 33554432000 4194304 4196468 140728078430560 140728078413104 140677627412215 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
/proc/28313/statm: 6828530 26740 2777 1 0 6790935 0
[pid=28313/tid=28314] ppid=28310 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/28313/task/28314/stat : 28314 (java) R 28310 28310 28266 0 -1 4202560 4915 0 0 0 6 2 0 0 20 0 20 0 509539766 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677599238544 140677107249374 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28315] ppid=28310 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28313/task/28315/stat : 28315 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677631654928 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28316] ppid=28310 vsize=27314120 memory=139716497393280 CPUtime=0 cores=0-7
/proc/28313/task/28316/stat : 28316 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677445811344 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28317] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28317/stat : 28317 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677444758288 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28318] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28318/stat : 28318 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677443705744 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28319] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28319/stat : 28319 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677442652688 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28320] ppid=28310 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28313/task/28320/stat : 28320 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677441600144 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28321] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28321/stat : 28321 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677440547088 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28322] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28322/stat : 28322 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 26740 33554432000 4194304 4196468 140728078430560 140677439494544 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28323] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28323/stat : 28323 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539770 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675812145904 140677627423362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28324] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28324/stat : 28324 (java) S 28310 28310 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509539771 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675546867360 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28325] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28325/stat : 28325 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539771 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675278431472 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28326] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28326/stat : 28326 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 26740 33554432000 4194304 4196468 140728078430560 140674903923152 140677627430811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28327] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28327/stat : 28327 (java) S 28310 28310 28266 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675811092720 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28328] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28328/stat : 28328 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675810040176 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28329] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28329/stat : 28329 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675808987120 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28330] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28330/stat : 28330 (java) S 28310 28310 28266 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675807934576 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28331] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28331/stat : 28331 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 26740 33554432000 4194304 4196468 140728078430560 140674406018016 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28332] ppid=28310 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28313/task/28332/stat : 28332 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 26740 33554432000 4194304 4196468 140728078430560 140675806882992 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108352 KiB

[startup+0.2102 s]*
/proc/loadavg: 0.00 0.01 0.05 2/211 28332
/proc/meminfo: memFree=25152140/32770624 swapFree=66974368/67108860
[pid=28310] ppid=28307 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28310/stat : 28310 (scop.sh) S 28307 28310 28266 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509539765 115843072 348 33554432000 4194304 5098028 140729714891664 140729714888920 140437009961596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14278656 140729714893565 140729714893912 140729714893912 140729714896841 0
/proc/28310/statm: 28282 348 296 221 0 87 0
[pid=28313] ppid=28310 vsize=27314120 memory=124000 CPUtime=0.22 cores=0-7
/proc/28313/stat : 28313 (java) S 28310 28310 28266 0 -1 1077944320 11845 0 0 0 18 4 0 0 20 0 20 0 509539765 27969658880 31000 33554432000 4194304 4196468 140728078430560 140728078413104 140677627412215 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
/proc/28313/statm: 6828530 31000 2893 1 0 6790935 0
[pid=28313/tid=28314] ppid=28310 vsize=27314120 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/28313/task/28314/stat : 28314 (java) R 28310 28310 28266 0 -1 4202560 9611 0 0 0 15 3 0 0 20 0 20 0 509539766 27969658880 31000 33554432000 4194304 4196468 140728078430560 140677599211600 140677627434141 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28315] ppid=28310 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/28313/task/28315/stat : 28315 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31000 33554432000 4194304 4196468 140728078430560 140677631654928 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28316] ppid=28310 vsize=27314120 memory=139716501173029 CPUtime=0 cores=0-7
/proc/28313/task/28316/stat : 28316 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31066 33554432000 4194304 4196468 140728078430560 140677445811344 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28317] ppid=28310 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28313/task/28317/stat : 28317 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31066 33554432000 4194304 4196468 140728078430560 140677444758288 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28318] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28318/stat : 28318 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31066 33554432000 4194304 4196468 140728078430560 140677443705744 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28319] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28319/stat : 28319 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31066 33554432000 4194304 4196468 140728078430560 140677442652688 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28320] ppid=28310 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28313/task/28320/stat : 28320 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31066 33554432000 4194304 4196468 140728078430560 140677441600144 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28321] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28321/stat : 28321 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31066 33554432000 4194304 4196468 140728078430560 140677440547088 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28322] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28322/stat : 28322 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31066 33554432000 4194304 4196468 140728078430560 140677439494544 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28323] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28323/stat : 28323 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539770 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675812145904 140677627423362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28324] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28324/stat : 28324 (java) S 28310 28310 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509539771 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675546867360 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28325] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28325/stat : 28325 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539771 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675278431472 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28326] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28326/stat : 28326 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31066 33554432000 4194304 4196468 140728078430560 140674903923152 140677627430811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28327] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28327/stat : 28327 (java) S 28310 28310 28266 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675811092720 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28328] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28328/stat : 28328 (java) R 28310 28310 28266 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675810040176 140677610841856 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28329] ppid=28310 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28313/task/28329/stat : 28329 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675808987120 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28330] ppid=28310 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28313/task/28330/stat : 28330 (java) R 28310 28310 28266 0 -1 4202560 465 0 0 0 2 0 0 0 20 0 20 0 509539774 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675807934576 140677627433562 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28331] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28331/stat : 28331 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31066 33554432000 4194304 4196468 140728078430560 140674406018016 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28332] ppid=28310 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28313/task/28332/stat : 28332 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31066 33554432000 4194304 4196468 140728078430560 140675806882992 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125392 KiB

[startup+0.310428 s]*
/proc/loadavg: 0.00 0.01 0.05 3/211 28332
/proc/meminfo: memFree=25150092/32770624 swapFree=66974368/67108860
[pid=28310] ppid=28307 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28310/stat : 28310 (scop.sh) S 28307 28310 28266 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509539765 115843072 348 33554432000 4194304 5098028 140729714891664 140729714888920 140437009961596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14278656 140729714893565 140729714893912 140729714893912 140729714896841 0
/proc/28310/statm: 28282 348 296 221 0 87 0
[pid=28313] ppid=28310 vsize=27314120 memory=127680 CPUtime=0.41 cores=0-7
/proc/28313/stat : 28313 (java) S 28310 28310 28266 0 -1 1077944320 12343 0 0 0 36 5 0 0 20 0 20 0 509539765 27969658880 31920 33554432000 4194304 4196468 140728078430560 140728078413104 140677627412215 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
/proc/28313/statm: 6828530 31920 3015 1 0 6790935 0
[pid=28313/tid=28314] ppid=28310 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/28313/task/28314/stat : 28314 (java) R 28310 28310 28266 0 -1 4202560 9894 0 0 0 25 4 0 0 20 0 20 0 509539766 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677599226080 140677619649342 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28315] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28315/stat : 28315 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677631654928 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28316] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28316/stat : 28316 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677445811344 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28317] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28317/stat : 28317 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677444758288 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28318] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28318/stat : 28318 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677443705744 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28319] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28319/stat : 28319 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677442652688 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28320] ppid=28310 vsize=27314120 memory=139716359973551 CPUtime=0 cores=0-7
/proc/28313/task/28320/stat : 28320 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677441600144 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28321] ppid=28310 vsize=27314120 memory=139716359975856 CPUtime=0 cores=0-7
/proc/28313/task/28321/stat : 28321 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677440547088 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28322] ppid=28310 vsize=27314120 memory=139716359978160 CPUtime=0 cores=0-7
/proc/28313/task/28322/stat : 28322 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27969658880 31920 33554432000 4194304 4196468 140728078430560 140677439494544 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28323] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28323/stat : 28323 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539770 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675812145904 140677627423362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28324] ppid=28310 vsize=27314120 memory=279432719970192 CPUtime=0 cores=0-7
/proc/28313/task/28324/stat : 28324 (java) S 28310 28310 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509539771 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675546867360 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28325] ppid=28310 vsize=27314120 memory=279432719967888 CPUtime=0 cores=0-7
/proc/28313/task/28325/stat : 28325 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539771 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675278431472 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28326] ppid=28310 vsize=27314120 memory=279432719974800 CPUtime=0 cores=0-7
/proc/28313/task/28326/stat : 28326 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31920 33554432000 4194304 4196468 140728078430560 140674903923152 140677627430811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28327] ppid=28310 vsize=27314120 memory=279432719916080 CPUtime=0 cores=0-7
/proc/28313/task/28327/stat : 28327 (java) S 28310 28310 28266 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675811092720 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28328] ppid=28310 vsize=27314120 memory=279432719988624 CPUtime=0.02 cores=0-7
/proc/28313/task/28328/stat : 28328 (java) S 28310 28310 28266 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 509539774 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675810040176 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28329] ppid=28310 vsize=27314120 memory=279432719995536 CPUtime=0 cores=0-7
/proc/28313/task/28329/stat : 28329 (java) S 28310 28310 28266 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675808987120 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28330] ppid=28310 vsize=27314120 memory=279432719993232 CPUtime=0.07 cores=0-7
/proc/28313/task/28330/stat : 28330 (java) S 28310 28310 28266 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 20 0 509539774 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675807934576 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28331] ppid=28310 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28331/stat : 28331 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31920 33554432000 4194304 4196468 140728078430560 140674406018016 140677627422421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28332] ppid=28310 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28313/task/28332/stat : 28332 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539774 27969658880 31920 33554432000 4194304 4196468 140728078430560 140675806882992 140677627423362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129072 KiB

[startup+0.700998 s]
/proc/loadavg: 0.00 0.01 0.05 2/211 28332
/proc/meminfo: memFree=25126032/32770624 swapFree=66974368/67108860
[pid=28310] ppid=28307 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/28310/stat : 28310 (scop.sh) S 28307 28310 28266 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509539765 115843072 348 33554432000 4194304 5098028 140729714891664 140729714888920 140437009961596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14278656 140729714893565 140729714893912 140729714893912 140729714896841 0
/proc/28310/statm: 28282 348 296 221 0 87 0
[pid=28313] ppid=28310 vsize=27320392 memory=165188 CPUtime=0.96 cores=0-7
/proc/28313/stat : 28313 (java) S 28310 28310 28266 0 -1 1077944320 20369 0 0 0 88 8 0 0 20 0 20 0 509539765 27976081408 41297 33554432000 4194304 4196468 140728078430560 140728078413104 140677627412215 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
/proc/28313/statm: 6830098 41297 3185 1 0 6791447 0
[pid=28313/tid=28314] ppid=28310 vsize=27320392 memory=0 CPUtime=0.66 cores=0-7
/proc/28313/task/28314/stat : 28314 (java) R 28310 28310 28266 0 -1 4202560 17400 0 0 0 60 6 0 0 20 0 20 0 509539766 27976081408 41297 33554432000 4194304 4196468 140728078430560 140677599247392 140677627434141 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28315] ppid=28310 vsize=27320392 memory=139716360184688 CPUtime=0 cores=0-7
/proc/28313/task/28315/stat : 28315 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27976081408 41297 33554432000 4194304 4196468 140728078430560 140677631654928 140677627422421 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28316] ppid=28310 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/28313/task/28316/stat : 28316 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509539769 27976081408 41297 33554432000 4194304 4196468 140728078430560 140677445811344 140677627422421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0
[pid=28313/tid=28317] ppid=28310 vsize=27320392 memory=1200 CPUtime=0 cores=0-7
/proc/28313/task/28317/stat : 28317 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509539769 27976081408 41297 33554432000 4194304 4196468 140728078430560 140677444758288 140677627422421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30162944 140728078435015 140728078435462 140728078435462 140728078438351 0

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

[pid=28356] ppid=28336 vsize=736412 memory=478076 CPUtime=2836.84 cores=0-7
/proc/28356/stat : 28356 (manyglucose-4.1) S 28336 28310 28266 0 -1 1077944320 680862 0 0 0 283432 252 0 0 20 0 9 0 509545292 754085888 119519 33554432000 4194304 4454172 140730404887232 140730404885632 140555088198274 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
/proc/28356/statm: 184103 119519 405 64 0 179771 0
[pid=28356/tid=28362] ppid=28336 vsize=736412 memory=2044 CPUtime=358.12 cores=0-7
/proc/28356/task/28362/stat : 28362 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 97936 0 0 0 35778 34 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140555051281440 4349826 0 4 0 8388610 0 0 0 -1 4 0 0 1 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28356/tid=28363] ppid=28336 vsize=736412 memory=478076 CPUtime=359.23 cores=0-7
/proc/28356/task/28363/stat : 28363 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 82820 0 0 0 35891 32 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140555042888736 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28356/tid=28364] ppid=28336 vsize=736412 memory=1472 CPUtime=347.21 cores=0-7
/proc/28356/task/28364/stat : 28364 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 71808 0 0 0 34693 28 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140555034496032 4351129 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28356/tid=28365] ppid=28336 vsize=736412 memory=122860 CPUtime=361.69 cores=0-7
/proc/28356/task/28365/stat : 28365 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 87102 0 0 0 36137 32 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140555026103432 4351209 0 4 0 8388610 0 0 0 -1 6 0 0 1 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28356/tid=28366] ppid=28336 vsize=736412 memory=2424 CPUtime=349.73 cores=0-7
/proc/28356/task/28366/stat : 28366 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 75777 0 0 0 34944 29 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140555017710624 4351209 0 4 0 8388610 0 0 0 -1 7 0 0 1 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28356/tid=28367] ppid=28336 vsize=736412 memory=1764 CPUtime=349.06 cores=0-7
/proc/28356/task/28367/stat : 28367 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 88204 0 0 0 34876 30 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140555009317920 4351209 0 4 0 8388610 0 0 0 -1 1 0 0 1 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28356/tid=28368] ppid=28336 vsize=736412 memory=1472 CPUtime=355.77 cores=0-7
/proc/28356/task/28368/stat : 28368 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 78525 0 0 0 35545 32 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140555000925288 4349922 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28356/tid=28369] ppid=28336 vsize=736412 memory=1424 CPUtime=355.78 cores=0-7
/proc/28356/task/28369/stat : 28369 (manyglucose-4.1) R 28336 28310 28266 0 -1 4202560 84908 0 0 0 35547 31 0 0 20 0 9 0 509545312 754085888 119519 33554432000 4194304 4454172 140730404887232 140554992532512 4351289 0 4 0 8388610 0 0 0 -1 0 0 0 1 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
[pid=28336/tid=28337] ppid=28310 vsize=8414124 memory=11624 CPUtime=0.76 cores=0-7
/proc/28336/task/28337/stat : 28337 (java) S 28310 28310 28266 0 -1 1077944384 17989 0 0 0 70 6 0 0 20 0 24 0 509545220 8616062976 30715 33554432000 4194304 4196468 140725065035376 139709251321760 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28338] ppid=28310 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/28336/task/28338/stat : 28338 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139709283724432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28339] ppid=28310 vsize=8414124 memory=-8744415307508248978 CPUtime=0 cores=0-7
/proc/28336/task/28339/stat : 28339 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708764425232 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28340] ppid=28310 vsize=8414124 memory=122860 CPUtime=0 cores=0-7
/proc/28336/task/28340/stat : 28340 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708763372432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28341] ppid=28310 vsize=8414124 memory=478076 CPUtime=0 cores=0-7
/proc/28336/task/28341/stat : 28341 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708762319632 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28342] ppid=28310 vsize=8414124 memory=122860 CPUtime=0 cores=0-7
/proc/28336/task/28342/stat : 28342 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708761266832 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28343] ppid=28310 vsize=8414124 memory=-8744415307508248978 CPUtime=0 cores=0-7
/proc/28336/task/28343/stat : 28343 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708760214032 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28344] ppid=28310 vsize=8414124 memory=122860 CPUtime=0 cores=0-7
/proc/28336/task/28344/stat : 28344 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708759161232 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28345] ppid=28310 vsize=8414124 memory=478076 CPUtime=0 cores=0-7
/proc/28336/task/28345/stat : 28345 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708758108432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28346] ppid=28310 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/28336/task/28346/stat : 28346 (java) S 28310 28310 28266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509545222 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708104432496 139709279492738 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28347] ppid=28310 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/28336/task/28347/stat : 28347 (java) S 28310 28310 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509545223 8616062976 30715 33554432000 4194304 4196468 140725065035376 139707904157216 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28348] ppid=28310 vsize=8414124 memory=24868 CPUtime=0 cores=0-7
/proc/28336/task/28348/stat : 28348 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545223 8616062976 30715 33554432000 4194304 4196468 140725065035376 139707635721584 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28349] ppid=28310 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/28336/task/28349/stat : 28349 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545225 8616062976 30715 33554432000 4194304 4196468 140725065035376 139707261213008 139709279500187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28350] ppid=28310 vsize=8414124 memory=2120 CPUtime=0.07 cores=0-7
/proc/28336/task/28350/stat : 28350 (java) S 28310 28310 28266 0 -1 1077944384 678 0 0 0 7 0 0 0 20 0 24 0 509545225 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708103379312 139709279492738 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28351] ppid=28310 vsize=8414124 memory=500 CPUtime=0.04 cores=0-7
/proc/28336/task/28351/stat : 28351 (java) S 28310 28310 28266 0 -1 1077944384 256 0 0 0 4 0 0 0 20 0 24 0 509545225 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708102326512 139709279492738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28352] ppid=28310 vsize=8414124 memory=1556 CPUtime=0.06 cores=0-7
/proc/28336/task/28352/stat : 28352 (java) S 28310 28310 28266 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 509545225 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708101273712 139709279492738 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28353] ppid=28310 vsize=8414124 memory=924 CPUtime=0.21 cores=0-7
/proc/28336/task/28353/stat : 28353 (java) S 28310 28310 28266 0 -1 1077944384 996 0 0 0 21 0 0 0 20 0 24 0 509545225 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708100220912 139709279492738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28354] ppid=28310 vsize=8414124 memory=1672 CPUtime=0 cores=0-7
/proc/28336/task/28354/stat : 28354 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545226 8616062976 30715 33554432000 4194304 4196468 140725065035376 139706763308128 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28355] ppid=28310 vsize=8414124 memory=780 CPUtime=0.24 cores=0-7
/proc/28336/task/28355/stat : 28355 (java) S 28310 28310 28266 0 -1 1077944384 67 0 0 0 6 18 0 0 20 0 24 0 509545226 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708099169328 139709279492738 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28357] ppid=28310 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/28336/task/28357/stat : 28357 (java) S 28310 28310 28266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509545293 8616062976 30715 33554432000 4194304 4196468 140725065035376 139708091135552 139709279506201 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28359] ppid=28310 vsize=8414124 memory=24868 CPUtime=0.02 cores=0-7
/proc/28336/task/28359/stat : 28359 (java) S 28310 28310 28266 0 -1 4202560 1682 0 0 0 1 1 0 0 20 0 24 0 509545293 8616062976 30715 33554432000 4194304 4196468 140725065035376 139706092207760 139709279503517 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28360] ppid=28310 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/28336/task/28360/stat : 28360 (java) S 28310 28310 28266 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509545293 8616062976 30715 33554432000 4194304 4196468 140725065035376 139706360643088 139709279503517 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28361] ppid=28310 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/28336/task/28361/stat : 28361 (java) S 28310 28310 28266 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509545295 8616062976 30715 33554432000 4194304 4196468 140725065035376 139705823779888 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
Current children cumulated CPU time: 2912.01 s
Current children cumulated vsize: 9263664 KiB
Current children cumulated memory: 602408 KiB

[startup+419.604 s]
/proc/loadavg: 7.99 5.67 2.67 9/225 28401
/proc/meminfo: memFree=24670208/32770624 swapFree=66974372/67108860
[pid=28310] ppid=28307 vsize=113128 memory=1472 CPUtime=73.72 cores=0-7
/proc/28310/stat : 28310 (scop.sh) S 28307 28310 28266 0 -1 4202496 582 87622 0 0 0 0 6900 472 20 0 1 0 509539765 115843072 368 33554432000 4194304 5098028 140729714891664 140729714888408 140437009961596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14278656 140729714893565 140729714893912 140729714893912 140729714896841 0
/proc/28310/statm: 28282 368 311 221 0 87 0
[pid=28336] ppid=28310 vsize=8414124 memory=123024 CPUtime=1.5 cores=0-7
/proc/28336/stat : 28336 (java) S 28310 28310 28266 0 -1 1077944320 23383 0 0 0 138 12 0 0 20 0 24 0 509545219 8616062976 30756 33554432000 4194304 4196468 140725065035376 140725065017920 139709279481591 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
/proc/28336/statm: 2103531 30756 3200 1 0 2064875 0
[pid=28356] ppid=28336 vsize=703628 memory=478092 CPUtime=2839.34 cores=0-7
/proc/28356/stat : 28356 (manyglucose-4.1) S 28336 28310 28266 0 -1 4202496 681060 0 0 0 283682 252 0 0 20 0 1 0 509545292 720515072 119523 33554432000 4194304 4454172 140730404887232 140730404885552 140555073928317 0 4 0 8388610 18446744071580971376 0 0 17 3 0 0 0 0 0 6552832 6554400 35241984 140730404889421 140730404889628 140730404889628 140730404892598 0
/proc/28356/statm: 175907 119523 418 64 0 171575 0
[pid=28336/tid=28337] ppid=28310 vsize=8414124 memory=1056 CPUtime=0.76 cores=0-7
/proc/28336/task/28337/stat : 28337 (java) S 28310 28310 28266 0 -1 1077944384 17989 0 0 0 70 6 0 0 20 0 24 0 509545220 8616062976 30756 33554432000 4194304 4196468 140725065035376 139709251321760 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28338] ppid=28310 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/28336/task/28338/stat : 28338 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139709283724432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28339] ppid=28310 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/28336/task/28339/stat : 28339 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708764425232 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28340] ppid=28310 vsize=8414124 memory=122860 CPUtime=0 cores=0-7
/proc/28336/task/28340/stat : 28340 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708763372432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28341] ppid=28310 vsize=8414124 memory=478076 CPUtime=0 cores=0-7
/proc/28336/task/28341/stat : 28341 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708762319632 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28342] ppid=28310 vsize=8414124 memory=6140 CPUtime=0 cores=0-7
/proc/28336/task/28342/stat : 28342 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708761266832 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28343] ppid=28310 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/28336/task/28343/stat : 28343 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708760214032 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28344] ppid=28310 vsize=8414124 memory=24868 CPUtime=0 cores=0-7
/proc/28336/task/28344/stat : 28344 (java) S 28310 28310 28266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708759161232 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28345] ppid=28310 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/28336/task/28345/stat : 28345 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545221 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708758108432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28346] ppid=28310 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/28336/task/28346/stat : 28346 (java) S 28310 28310 28266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509545222 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708104432496 139709279492738 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28347] ppid=28310 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/28336/task/28347/stat : 28347 (java) S 28310 28310 28266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509545223 8616062976 30756 33554432000 4194304 4196468 140725065035376 139707904157216 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28348] ppid=28310 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/28336/task/28348/stat : 28348 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545223 8616062976 30756 33554432000 4194304 4196468 140725065035376 139707635721584 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28349] ppid=28310 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/28336/task/28349/stat : 28349 (java) S 28310 28310 28266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509545225 8616062976 30756 33554432000 4194304 4196468 140725065035376 139707261213008 139709279500187 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28350] ppid=28310 vsize=8414124 memory=122860 CPUtime=0.07 cores=0-7
/proc/28336/task/28350/stat : 28350 (java) S 28310 28310 28266 0 -1 1077944384 682 0 0 0 7 0 0 0 20 0 24 0 509545225 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708103379312 139709279492738 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28351] ppid=28310 vsize=8414124 memory=478076 CPUtime=0.05 cores=0-7
/proc/28336/task/28351/stat : 28351 (java) R 28310 28310 28266 0 -1 4202560 258 0 0 0 5 0 0 0 20 0 24 0 509545225 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708102326512 139709261002609 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28352] ppid=28310 vsize=8414124 memory=1804 CPUtime=0.07 cores=0-7
/proc/28336/task/28352/stat : 28352 (java) R 28310 28310 28266 0 -1 4202560 289 0 0 0 7 0 0 0 20 0 24 0 509545225 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708101264096 139709264936957 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28353] ppid=28310 vsize=8414124 memory=920 CPUtime=0.22 cores=0-7
/proc/28336/task/28353/stat : 28353 (java) R 28310 28310 28266 0 -1 4202560 1016 0 0 0 22 0 0 0 20 0 24 0 509545225 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708100220912 139709272578427 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28354] ppid=28310 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/28336/task/28354/stat : 28354 (java) S 28310 28310 28266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509545226 8616062976 30756 33554432000 4194304 4196468 140725065035376 139706763308128 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28355] ppid=28310 vsize=8414124 memory=1412 CPUtime=0.24 cores=0-7
/proc/28336/task/28355/stat : 28355 (java) S 28310 28310 28266 0 -1 1077944384 67 0 0 0 6 18 0 0 20 0 24 0 509545226 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708099169328 139709279492738 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28357] ppid=28310 vsize=8414124 memory=4036 CPUtime=0 cores=0-7
/proc/28336/task/28357/stat : 28357 (java) S 28310 28310 28266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509545293 8616062976 30756 33554432000 4194304 4196468 140725065035376 139708091135552 139709279506201 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28359] ppid=28310 vsize=8414124 memory=3612 CPUtime=0.03 cores=0-7
/proc/28336/task/28359/stat : 28359 (java) R 28310 28310 28266 0 -1 4202560 1693 0 0 0 2 1 0 0 20 0 24 0 509545293 8616062976 30756 33554432000 4194304 4196468 140725065035376 139706092207184 139708784733582 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28360] ppid=28310 vsize=8414124 memory=53212 CPUtime=0 cores=0-7
/proc/28336/task/28360/stat : 28360 (java) S 28310 28310 28266 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509545293 8616062976 30756 33554432000 4194304 4196468 140725065035376 139706360643088 139709279503517 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28361] ppid=28310 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/28336/task/28361/stat : 28361 (java) S 28310 28310 28266 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509545295 8616062976 30756 33554432000 4194304 4196468 140725065035376 139705823779888 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 9230880 KiB
Current children cumulated memory: 602588 KiB

[startup+419.709 s]
/proc/loadavg: 7.99 5.67 2.67 9/225 28401
/proc/meminfo: memFree=24670208/32770624 swapFree=66974372/67108860
[pid=28310] ppid=28307 vsize=113128 memory=1472 CPUtime=73.72 cores=0-7
/proc/28310/stat : 28310 (scop.sh) S 28307 28310 28266 0 -1 4202496 582 87622 0 0 0 0 6900 472 20 0 1 0 509539765 115843072 368 33554432000 4194304 5098028 140729714891664 140729714888408 140437009961596 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14278656 140729714893565 140729714893912 140729714893912 140729714896841 0
/proc/28310/statm: 28282 368 311 221 0 87 0
[pid=28336] ppid=28310 vsize=8151972 memory=134900 CPUtime=2841.11 cores=0-7
/proc/28336/stat : 28336 (java) S 28310 28310 28266 0 -1 1077944320 24289 681061 0 0 163 12 283682 254 20 0 20 0 509545219 8347619328 33759 33554432000 4194304 4196468 140725065035376 140725065017920 139709279481591 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
/proc/28336/statm: 2037993 33725 3228 1 0 1999337 0
[pid=28336/tid=28338] ppid=28310 vsize=8150944 memory=478128 CPUtime=2839.36 cores=0-7
/proc/28336/task/28338/stat : 28338 (java) S 28310 28310 28266 0 -1 1077944384 1 681061 0 0 0 0 283682 254 20 0 19 0 509545221 8346566656 33743 33554432000 4194304 4196468 140725065035376 139709283724432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28339] ppid=28310 vsize=8018840 memory=122860 CPUtime=2839.36 cores=0-7
/proc/28336/task/28339/stat : 28339 (java) S 28310 28310 28266 0 -1 1077944384 2 681061 0 0 0 0 283682 254 20 0 19 0 509545221 8211292160 33737 33554432000 4194304 4196468 140725065035376 139708764425232 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28340] ppid=28310 vsize=8018840 memory=1472 CPUtime=2839.36 cores=0-7
/proc/28336/task/28340/stat : 28340 (java) S 28310 28310 28266 0 -1 1077944384 3 681061 0 0 0 0 283682 254 20 0 19 0 509545221 8211292160 33737 33554432000 4194304 4196468 140725065035376 139708763372432 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28341] ppid=28310 vsize=8018840 memory=1472 CPUtime=2839.36 cores=0-7
/proc/28336/task/28341/stat : 28341 (java) S 28310 28310 28266 0 -1 1077944384 2 681061 0 0 0 0 283682 254 20 0 19 0 509545221 8211292160 33737 33554432000 4194304 4196468 140725065035376 139708762319632 139709279491797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28342] ppid=28310 vsize=8018840 memory=122860 CPUtime=2839.36 cores=0-7
/proc/28336/task/28342/stat : 28342 (java) R 28310 28310 28266 0 -1 1077944384 1 681061 0 0 0 0 283682 254 20 0 19 0 509545221 8211292160 33741 33554432000 4194304 4196468 140725065035376 139708761266832 139709279491797 256 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28343] ppid=28310 vsize=0 memory=1472 CPUtime=2839.36 cores=0-7
/proc/28336/task/28343/stat : 28343 (java) X 28310 28310 28266 0 -1 4195396 1 681061 0 0 0 0 283682 254 20 0 18 0 509545221 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=28336/tid=28345] ppid=28310 vsize=8018840 memory=1056 CPUtime=2839.36 cores=0-7
/proc/28336/task/28345/stat : 28345 (java) R 28310 28310 28266 0 -1 1077944384 3 681061 0 0 0 0 283682 254 20 0 9 0 509545221 8211292160 33817 33554432000 4194304 4196468 140725065035376 139708758108432 139709279491797 256 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19722240 140725065040863 140725065041030 140725065041030 140725065043919 0
[pid=28336/tid=28361] ppid=28310 vsize=0 memory=1040 CPUtime=2839.36 cores=0-7
/proc/28336/task/28361/stat : 28361 (java) R 28310 28310 28266 0 -1 4203588 12 681061 0 0 0 0 283682 254 20 0 2 0 509545295 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 136372 KiB

Child status: 0
Real time (s): 419.717
CPU time (s): 2914.86
CPU user time (s): 2907.46
CPU system time (s): 7.40099
CPU usage (%): 694.484
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6604356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2907.46
system time used= 7.40099
maximum resident set size= 6603068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793570
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99916
involuntary context switches= 29254


# summary of solver processes directly reported to runsolver:
#   pid: 28310
#   total CPU time (s): 2914.86
#   total CPU user time (s): 2907.46
#   total CPU system time (s): 7.40099

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98673 second user time and 5.44239 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-24 16:38:56
IDJOB=4405309
IDBENCH=126096
IDSOLVER=2867
FILE ID=node117/4405309-1569335979
RUNJOBID= node117-1569335935-28293
PBS_JOBID= 21705066
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-17.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 /var/tmp/evaluation-result-4405309-1569335979/watcher-4405309-1569335979 -o /var/tmp/evaluation-result-4405309-1569335979/solver-4405309-1569335979 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569335935-28293 --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-4405309-1569335979.xml

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

MD5SUM BENCH= 9efca6d5489e39e5f473d5ee8bd54dad
RANDOM SEED=2101077985

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25267968 kB
MemAvailable:   31827936 kB
Buffers:          110724 kB
Cached:          6499728 kB
SwapCached:        27888 kB
Active:          3281520 kB
Inactive:        3361200 kB
Active(anon):       3184 kB
Inactive(anon):    80312 kB
Active(file):    3278336 kB
Inactive(file):  3280888 kB
Unevictable:      107860 kB
Mlocked:          107860 kB
SwapTotal:      67108860 kB
SwapFree:       66974368 kB
Dirty:             52980 kB
Writeback:             0 kB
AnonPages:        112808 kB
Mapped:            54444 kB
Shmem:             42704 kB
Slab:             457052 kB
SReclaimable:     429204 kB
SUnreclaim:        27848 kB
KernelStack:        3296 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node117 at 2019-09-24 16:45:56