Trace number 4405575

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 1947.63 255.351

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-08-int.xml
MD5SUM473b10c1a98fbd59115b24ad203b92fd
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 benchmark8.59086
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints66
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":62},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":65},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints64
Distribution of constraint types[{"type":"intension","count":64},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32306-serial-file.bin HOME/instance-4405575-1569343299.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 18:40:57 CEST 2019
0.66/0.56	c PID: 32309
0.66/0.56	c IP: 172.20.3.145
0.66/0.56	c HOST: node145.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.75/1.03	c (0,0) Parsing End
1.75/1.04	c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 66 ctr, max domain size 64
1.75/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.75/1.04	c (0,0) Constraint Name Generate Begin
1.75/1.04	c (0,0) Ctr:HOME/instance-4405575-1569343299.xml,AllDifferent:And:Dist:Div:Eq:Instantiation:Mod:Num:Or:Var
1.75/1.04	c (0,0) Constraint Name Generate End
1.75/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.75/1.04	c (0,0) CSP to CSPinCNF Begin
3.08/1.52	c (0,0) translated 7 (10%) constraints
3.08/1.55	c (1,0) translated 14 (20%) constraints
3.08/1.57	c (1,1) translated 20 (30%) constraints
3.08/1.59	c (1,1) translated 27 (40%) constraints
3.51/1.60	c (1,1) translated 33 (50%) constraints
3.51/1.62	c (1,1) translated 40 (60%) constraints
3.51/1.64	c (1,1) translated 47 (70%) constraints
3.51/1.65	c (1,1) translated 53 (80%) constraints
3.51/1.66	c (1,1) translated 60 (90%) constraints
3.51/1.68	c (1,1) translated 66 (100%) constraints
3.51/1.68	c (1,1) ===========================================
3.94/1.70	c (1,1) Hybrid: #OE=438, #LE=10
3.94/1.70	c (1,1) Hybrid
3.94/1.70	c (1,1) ===========================================
3.94/1.74	c (1,1) translated 330 (10%) constraints
3.94/1.77	c (1,1) translated 660 (20%) constraints
3.94/1.78	c (1,1) translated 990 (30%) constraints
4.35/1.80	c (1,1) translated 1320 (40%) constraints
4.35/1.82	c (1,1) translated 1650 (50%) constraints
4.35/1.84	c (1,1) translated 1980 (60%) constraints
5.60/2.14	c (1,1) translated 2310 (70%) constraints
5.60/2.16	c (1,1) translated 2640 (80%) constraints
5.60/2.17	c (1,1) translated 2970 (90%) constraints
5.60/2.18	c (1,1) translated 3300 (100%) constraints
5.60/2.19	c (1,1) CSP to CSPinCNF End
5.60/2.19	c (1,1) CSP: 313 int (250 aux), 4231 bool (4230 aux), 11622 ctr, max domain size 63
5.60/2.19	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.60/2.19	c (1,1) CSPinCNF Propagation Begin
6.38/2.38	c (1,1) 191 values, 524 unsatisfiable literals, and 857 valid clauses are removed
6.38/2.38	c (1,1) CSPinCNF Propagation End
6.38/2.38	c (1,1) CSP: 313 int (250 aux), 4231 bool (4230 aux), 10765 ctr, max domain size 63
6.38/2.38	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.81/2.40	c (1,1) Hybrid: #OE=4534, #LE=10
6.81/2.40	c (1,1) Simplify CSPinCNF Begin
7.22/2.55	c (2,1) Simplify CSPinCNF End
7.22/2.55	c (2,2) CSP: 313 int (250 aux), 8631 bool (8630 aux), 15165 ctr, max domain size 63
7.22/2.55	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.22/2.55	c (2,2) Calculate Precise Domain Begin
7.22/2.55	c (2,2) 0 values are removed by re-calculation
7.22/2.55	c (2,2) Calculate Precise Domain End
7.22/2.55	c (2,2) CSP: 313 int (250 aux), 8631 bool (8630 aux), 15165 ctr, max domain size 63
7.22/2.55	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
7.22/2.55	c (2,2) CSPinCNF to SatSolver Begin
9.66/3.16	c (2,2) 1517 (10 %) CSP clauses are encoded (0 SAT variables, 61718 SAT clauses)
10.53/3.50	c (2,2) 3033 (20 %) CSP clauses are encoded (0 SAT variables, 125916 SAT clauses)
11.17/3.85	c (3,3) 4550 (30 %) CSP clauses are encoded (0 SAT variables, 190115 SAT clauses)
11.66/4.14	c (3,3) 6066 (40 %) CSP clauses are encoded (0 SAT variables, 245819 SAT clauses)
11.66/4.16	c (3,3) 7583 (50 %) CSP clauses are encoded (0 SAT variables, 247336 SAT clauses)
11.66/4.17	c (3,3) 9099 (60 %) CSP clauses are encoded (0 SAT variables, 248852 SAT clauses)
11.66/4.19	c (3,3) 10616 (70 %) CSP clauses are encoded (0 SAT variables, 250369 SAT clauses)
11.79/4.21	c (3,3) 12132 (80 %) CSP clauses are encoded (0 SAT variables, 251885 SAT clauses)
11.79/4.23	c (3,3) 13649 (90 %) CSP clauses are encoded (0 SAT variables, 253717 SAT clauses)
12.38/4.51	c (3,3) 15165 (100 %) CSP clauses are encoded (0 SAT variables, 275538 SAT clauses)
12.38/4.51	c (3,3) CSPinCNF to SatSolver End
12.38/4.51	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.38/4.51	c (3,3) 14013 bool, 275539 clause
12.38/4.51	c (3,3) Export Begin
12.50/4.68	c (4,3) Export to HOME/scop-32306-serial-file.bin
12.50/4.68	c (4,3) Export End
12.50/4.69	c (4,3) Export File Size: 0.01 MB
12.50/4.69	c (4,3) 0,0,1,1,2,2,3,STOP-AFTER(DIMACS)
12.50/4.69	c END-Prog: Tue Sep 24 18:41:01 CEST 2019
12.65/4.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32306-serial-file.bin
13.17/5.17	c (0,0) Read Serial File Begin
13.17/5.17	c (0,0) HOME/scop-32306-serial-file.bin
13.43/5.38	c (0,0) Read Serial File End
13.43/5.39	
13.43/5.39	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
13.43/5.39	(Solving Process)
13.43/5.39	
13.59/5.41	c BEGIN-Prog: Tue Sep 24 18:41:02 CEST 2019
13.59/5.41	c PID: 32329
13.59/5.41	c IP: 172.20.3.145
13.59/5.41	c HOST: node145.alineos.net
13.59/5.42	c (0,0) SatSolver.solve Begin
13.59/5.42	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405575-1569343299.xml-scop-32309.cnf
13.59/5.44	c (0,0) c
13.59/5.44	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)
13.59/5.44	c (0,0) c
13.59/5.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
13.59/5.44	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
13.59/5.44	c (0,0) c ========================================[ Problem Statistics ]===========================================
13.59/5.44	c (0,0) c |                                                                                                       |
13.80/5.52	c (0,0) c |  Number of variables:         14013                                                                   |
13.80/5.52	c (0,0) c |  Number of clauses:          275539                                                                   |
13.80/5.52	c (0,0) c |  Parse time:                   0.07 s                                                                 |
13.80/5.52	c (0,0) c |                                                                                                       |
13.81/5.88	c (0,0) c |  Simplification time:          0.35 s                                                                 |
13.81/5.88	c (0,0) c |                                                                                                       |
13.81/5.88	c (0,0) c |  Generating clones                                                                                    |
13.81/5.96	c (0,0) c |  all clones generated. Memory =   204.90Mb.                                                           |
13.81/5.96	c (0,0) c ========================================================================================================|
13.81/5.96	c (0,0) c
13.81/5.96	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
13.81/5.96	c (0,0) c
13.81/5.96	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.81/5.96	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
13.81/5.96	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
13.81/5.96	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
13.81/5.96	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
13.81/5.96	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
13.81/5.96	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
13.81/5.96	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
13.81/5.96	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
13.81/5.96	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
13.81/5.96	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
13.81/5.96	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
13.81/5.96	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
13.81/5.96	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
13.81/5.96	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
13.81/5.96	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
13.81/5.96	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
13.81/5.96	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
13.81/5.96	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
245.68/35.02	c (29,0) c
245.68/35.02	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
245.68/35.02	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
245.68/35.02	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
245.68/35.02	c (29,0) c |  0 |    713 |     453942 |     185761 |   160894 |    46135 |    20228 |   139189 |    14278 |      281 |  20 |  2.883 |
245.68/35.02	c (29,0) c |  1 |    578 |     424257 |     202501 |   151269 |    34904 |    24238 |   136894 |    12838 |      284 |  20 |  2.897 |
245.68/35.02	c (29,0) c |  2 |    718 |     439745 |     196884 |   159651 |    29280 |    21449 |   144674 |    14238 |      299 |  20 |  2.869 |
245.68/35.02	c (29,0) c |  3 |    805 |     463387 |     172149 |   167060 |    32543 |    18582 |   143628 |    13855 |      288 |  20 |  2.890 |
245.68/35.02	c (29,0) c |  4 |    789 |     425997 |     180448 |   160070 |    40840 |    22162 |   142752 |    14545 |      294 |  20 |  2.890 |
245.68/35.02	c (29,0) c |  5 |    797 |     428302 |     179146 |   162206 |    39539 |    20348 |   143316 |    13176 |      292 |  20 |  2.890 |
245.68/35.02	c (29,0) c |  6 |    804 |     444829 |     195794 |   162604 |    28188 |    21856 |   143689 |    15080 |      295 |  20 |  2.869 |
245.68/35.02	c (29,0) c |  7 |    741 |     463811 |     187707 |   163494 |    48067 |    22724 |   142509 |    14438 |      294 |  20 |  2.890 |
245.68/35.02	c (29,0) c 
245.68/35.02	c (29,0) c synthesis     1500390 conflicts   548492485 propagations     6485 conflicts/sec  2370745 propagations/sec
245.68/35.02	c (29,0) c real: 29.5698 s, cpu: 231.359 s, memory: 773.46 Mb
479.48/65.01	c (59,0) c
479.48/65.01	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
479.48/65.01	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
479.48/65.01	c (59,0) c |------------------------------------------------------------------------------------------------------------------------|
479.48/65.01	c (59,0) c |  0 |   1212 |     826162 |     333867 |   189046 |    66636 |    31058 |   224414 |    25358 |      561 |  20 |  3.012 |
479.48/65.01	c (59,0) c |  1 |   1104 |     786652 |     379446 |   181987 |    73859 |    36947 |   223774 |    23958 |      578 |  20 |  3.012 |
479.48/65.01	c (59,0) c |  2 |   1258 |     789502 |     344347 |   187975 |    38747 |    32289 |   228584 |    25338 |      580 |  20 |  2.990 |
479.48/65.01	c (59,0) c |  3 |   1280 |     838114 |     345981 |   191287 |    40411 |    30771 |   230750 |    24438 |      581 |  20 |  3.019 |
479.48/65.01	c (59,0) c |  4 |   1181 |     766358 |     351367 |   184739 |    45780 |    35446 |   223408 |    24751 |      573 |  20 |  3.011 |
479.48/65.01	c (59,0) c |  5 |   1303 |     781234 |     342781 |   189076 |    75568 |    32723 |   228161 |    23877 |      580 |  20 |  3.012 |
479.48/65.01	c (59,0) c |  6 |   1347 |     820211 |     358265 |   188959 |    52663 |    32485 |   228967 |    25479 |      581 |  20 |  2.990 |
479.48/65.01	c (59,0) c |  7 |   1280 |     804828 |     341669 |   189301 |    74459 |    34135 |   225144 |    25271 |      576 |  20 |  3.012 |
479.48/65.01	c (59,0) c 
479.48/65.01	c (59,0) c synthesis     2797724 conflicts  1021894174 propagations     6020 conflicts/sec  2199016 propagations/sec
479.48/65.01	c (59,0) c real: 59.5658 s, cpu: 464.705 s, memory: 773.46 Mb
704.47/94.01	c (88,0) c
704.47/94.01	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
704.47/94.01	c (88,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
704.47/94.01	c (88,0) c |------------------------------------------------------------------------------------------------------------------------|
704.47/94.01	c (88,0) c |  0 |   1646 |    1147826 |     465826 |   202638 |    75448 |    40854 |   296664 |    34659 |      830 |  20 |  3.161 |
704.47/94.01	c (88,0) c |  1 |   1521 |    1103414 |     527191 |   195914 |    90713 |    46833 |   287157 |    33076 |      849 |  20 |  3.133 |
704.47/94.01	c (88,0) c |  2 |   1778 |    1093334 |     465379 |   201936 |    74976 |    41967 |   300706 |    35180 |      847 |  20 |  3.169 |
704.47/94.01	c (88,0) c |  3 |   1826 |    1155166 |     472383 |   203807 |    82033 |    41812 |   300720 |    34853 |      847 |  20 |  3.168 |
704.47/94.01	c (88,0) c |  4 |   1550 |    1090758 |     491830 |   198002 |    55358 |    45882 |   296687 |    35049 |      847 |  20 |  3.168 |
704.47/94.01	c (88,0) c |  5 |   1744 |    1087713 |     484561 |   201728 |    48123 |    42762 |   300147 |    32922 |      847 |  20 |  3.168 |
704.47/94.01	c (88,0) c |  6 |   1760 |    1135766 |     491617 |   201295 |    55119 |    42371 |   299207 |    34930 |      844 |  20 |  3.169 |
704.47/94.01	c (88,0) c |  7 |   1711 |    1122462 |     486760 |   201795 |    50263 |    44673 |   297772 |    34850 |      846 |  20 |  3.168 |
704.47/94.01	c (88,0) c 
704.47/94.01	c (88,0) c synthesis     3885548 conflicts  1430587671 propagations     5637 conflicts/sec  2075496 propagations/sec
704.47/94.01	c (88,0) c real: 88.5658 s, cpu: 689.275 s, memory: 773.46 Mb
934.61/123.00	c (117,0) c
934.61/123.00	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
934.61/123.00	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
934.61/123.00	c (117,0) c |------------------------------------------------------------------------------------------------------------------------|
934.61/123.00	c (117,0) c |  0 |   2075 |    1441543 |     612536 |   209647 |    75477 |    50770 |   361159 |    42928 |     1110 |  20 |  3.447 |
934.61/123.00	c (117,0) c |  1 |   1953 |    1404512 |     643347 |   204780 |   103913 |    55774 |   356480 |    41863 |     1106 |  20 |  3.461 |
934.61/123.00	c (117,0) c |  2 |   2230 |    1386980 |     577005 |   210135 |    91107 |    49866 |   364795 |    44147 |     1116 |  20 |  3.468 |
934.61/123.00	c (117,0) c |  3 |   2293 |    1463379 |     588479 |   211180 |    51496 |    50610 |   361871 |    43564 |     1107 |  20 |  3.468 |
934.61/123.00	c (117,0) c |  4 |   1999 |    1417935 |     618935 |   207106 |    81844 |    55176 |   360737 |    44318 |     1125 |  20 |  3.475 |
934.61/123.00	c (117,0) c |  5 |   2234 |    1396590 |     607763 |   210097 |    70672 |    51737 |   364165 |    42349 |     1123 |  20 |  3.483 |
934.61/123.00	c (117,0) c |  6 |   2276 |    1428219 |     607303 |   209736 |    70174 |    50834 |   363186 |    43882 |     1114 |  20 |  3.475 |
934.61/123.00	c (117,0) c |  7 |   2167 |    1438706 |     610994 |   210213 |    73924 |    53836 |   360898 |    43951 |     1117 |  20 |  3.475 |
934.61/123.00	c (117,0) c 
934.61/123.00	c (117,0) c synthesis     4866363 conflicts  1818753333 propagations     5289 conflicts/sec  1976588 propagations/sec
934.61/123.00	c (117,0) c real: 117.566 s, cpu: 920.148 s, memory: 837.46 Mb
1171.07/153.01	c (147,0) c
1171.07/153.01	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1171.07/153.01	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1171.07/153.01	c (147,0) c |------------------------------------------------------------------------------------------------------------------------|
1171.07/153.01	c (147,0) c |  0 |   2544 |    1728837 |     747435 |   214340 |    95355 |    58322 |   414604 |    49759 |     1386 |  20 |  3.697 |
1171.07/153.01	c (147,0) c |  1 |   2508 |    1661590 |     747104 |   211713 |    98877 |    63049 |   406168 |    48968 |     1367 |  20 |  3.675 |
1171.07/153.01	c (147,0) c |  2 |   2762 |    1653702 |     682559 |   216197 |    91428 |    57038 |   415944 |    51346 |     1387 |  20 |  3.697 |
1171.07/153.01	c (147,0) c |  3 |   2817 |    1752473 |     705147 |   216675 |    57695 |    57360 |   413546 |    50197 |     1376 |  20 |  3.690 |
1171.07/153.01	c (147,0) c |  4 |   2456 |    1679366 |     730589 |   213270 |    82993 |    62592 |   410400 |    51303 |     1387 |  20 |  3.697 |
1171.07/153.01	c (147,0) c |  5 |   2754 |    1650602 |     704524 |   216261 |    56838 |    58487 |   414268 |    50163 |     1384 |  20 |  3.697 |
1171.07/153.01	c (147,0) c |  6 |   2847 |    1702069 |     710625 |   215711 |    63024 |    58156 |   414819 |    51433 |     1387 |  20 |  3.697 |
1171.07/153.01	c (147,0) c |  7 |   2726 |    1705582 |     706251 |   216468 |    58712 |    60691 |   412113 |    51453 |     1385 |  20 |  3.697 |
1171.07/153.01	c (147,0) c 
1171.07/153.01	c (147,0) c synthesis     5734236 conflicts  2177661026 propagations     4962 conflicts/sec  1884226 propagations/sec
1171.07/153.01	c (147,0) c real: 147.571 s, cpu: 1155.73 s, memory: 773.46 Mb
1402.95/183.00	c (177,0) c
1402.95/183.00	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1402.95/183.00	c (177,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1402.95/183.00	c (177,0) c |------------------------------------------------------------------------------------------------------------------------|
1402.95/183.00	c (177,0) c |  0 |   2961 |    1965921 |     855790 |   218537 |    72656 |    65998 |   453786 |    54630 |     1629 |  20 |  3.954 |
1402.95/183.00	c (177,0) c |  1 |   3167 |    1898679 |     828431 |   217076 |   120289 |    68964 |   450988 |    55732 |     1628 |  20 |  3.953 |
1402.95/183.00	c (177,0) c |  2 |   3273 |    1857624 |     761158 |   220083 |   112295 |    62330 |   456801 |    56603 |     1623 |  20 |  3.953 |
1402.95/183.00	c (177,0) c |  3 |   3418 |    1995544 |     795678 |   221191 |    88656 |    63900 |   458589 |    56321 |     1641 |  20 |  3.954 |
1402.95/183.00	c (177,0) c |  4 |   2913 |    1906559 |     836432 |   217463 |    64375 |    68967 |   452330 |    57198 |     1643 |  20 |  3.953 |
1402.95/183.00	c (177,0) c |  5 |   3224 |    1875614 |     791359 |   220714 |    84159 |    63878 |   457473 |    55668 |     1635 |  20 |  3.954 |
1402.95/183.00	c (177,0) c |  6 |   3267 |    1934954 |     827173 |   219231 |   119774 |    63848 |   447832 |    56259 |     1643 |  20 |  3.932 |
1402.95/183.00	c (177,0) c |  7 |   3328 |    1935191 |     791243 |   221041 |    82497 |    66272 |   456077 |    57166 |     1641 |  20 |  3.954 |
1402.95/183.00	c (177,0) c 
1402.95/183.00	c (177,0) c synthesis     6487265 conflicts  2503481526 propagations     4676 conflicts/sec  1804469 propagations/sec
1402.95/183.00	c (177,0) c real: 177.566 s, cpu: 1387.38 s, memory: 779.99 Mb
1626.62/212.00	c (206,0) c
1626.62/212.00	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1626.62/212.00	c (206,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1626.62/212.00	c (206,0) c |------------------------------------------------------------------------------------------------------------------------|
1626.62/212.00	c (206,0) c |  0 |   3446 |    2180157 |     945411 |   222044 |    92118 |    69934 |   490107 |    60311 |     1871 |  20 |  4.175 |
1626.62/212.00	c (206,0) c |  1 |   3693 |    2120038 |     897992 |   221020 |    64727 |    73855 |   486429 |    61187 |     1873 |  20 |  4.175 |
1626.62/212.00	c (206,0) c |  2 |   3794 |    2079130 |     846343 |   223350 |    77508 |    67804 |   492280 |    61692 |     1873 |  20 |  4.189 |
1626.62/212.00	c (206,0) c |  3 |   3961 |    2183532 |     866053 |   224251 |    97257 |    69912 |   489936 |    61722 |     1871 |  20 |  4.175 |
1626.62/212.00	c (206,0) c |  4 |   3394 |    2105400 |     904738 |   221242 |    70037 |    72120 |   488105 |    62020 |     1873 |  20 |  4.175 |
1626.62/212.00	c (206,0) c |  5 |   3676 |    2087263 |     868761 |   224151 |    99582 |    69587 |   490691 |    61039 |     1873 |  20 |  4.189 |
1626.62/212.00	c (206,0) c |  6 |   3717 |    2125782 |     913782 |   222038 |    66390 |    68904 |   491125 |    61085 |     1873 |  20 |  4.175 |
1626.62/212.00	c (206,0) c |  7 |   3819 |    2117070 |     852320 |   224011 |    82669 |    70366 |   486664 |    61683 |     1853 |  20 |  4.168 |
1626.62/212.00	c (206,0) c 
1626.62/212.00	c (206,0) c synthesis     7095401 conflicts  2793364843 propagations     4406 conflicts/sec  1734554 propagations/sec
1626.62/212.00	c (206,0) c real: 206.566 s, cpu: 1610.42 s, memory: 784.74 Mb
1845.10/241.00	c (235,0) c
1845.10/241.00	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1845.10/241.00	c (235,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1845.10/241.00	c (235,0) c |------------------------------------------------------------------------------------------------------------------------|
1845.10/241.00	c (235,0) c |  0 |   3996 |    2366448 |    1009337 |   224947 |    85672 |    77283 |   519038 |    66237 |     2103 |  20 |  4.353 |
1845.10/241.00	c (235,0) c |  1 |   4216 |    2307828 |     972561 |   224205 |    72361 |    78623 |   518321 |    65996 |     2109 |  20 |  4.353 |
1845.10/241.00	c (235,0) c |  2 |   4308 |    2279708 |     927176 |   225836 |    93953 |    72237 |   524681 |    66361 |     2109 |  20 |  4.353 |
1845.10/241.00	c (235,0) c |  3 |   4522 |    2373958 |     933313 |   227144 |   100149 |    74225 |   522111 |    66617 |     2104 |  20 |  4.353 |
1845.10/241.00	c (235,0) c |  4 |   3743 |    2298690 |    1001029 |   223546 |   100104 |    76960 |   519630 |    66074 |     2106 |  20 |  4.353 |
1845.10/241.00	c (235,0) c |  5 |   4173 |    2267214 |     939774 |   226831 |   106354 |    74422 |   522231 |    65839 |     2105 |  20 |  4.367 |
1845.10/241.00	c (235,0) c |  6 |   4236 |    2323120 |     977653 |   225247 |   129971 |    70623 |   525986 |    66698 |     2109 |  20 |  4.353 |
1845.10/241.00	c (235,0) c |  7 |   4297 |    2321178 |     936699 |   226316 |   102328 |    74599 |   519460 |    66406 |     2089 |  20 |  4.332 |
1845.10/241.00	c (235,0) c 
1845.10/241.00	c (235,0) c synthesis     7697542 conflicts  3075568022 propagations     4210 conflicts/sec  1681942 propagations/sec
1845.10/241.00	c (235,0) c real: 235.566 s, cpu: 1828.58 s, memory: 790.69 Mb
1947.11/255.15	c (250,0) c
1947.11/255.15	c (250,0) c real time : 249.716 s
1947.11/255.15	c (250,0) c cpu time  : 1929.6 s
1947.11/255.15	c (250,0) c
1947.11/255.15	c (250,0) c
1947.11/255.15	c (250,0) c
1947.11/255.15	c (250,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1947.11/255.15	c (250,0) c
1947.11/255.15	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.15	c (250,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1947.11/255.16	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.16	c (250,0) c | Conflicts     |         7897402 |    1037459 |     997313 |     951034 |     956629 |    1025361 |     963154 |     999781 |     966671 |
1947.11/255.16	c (250,0) c | Decisions     |        19162273 |    2449402 |    2382909 |    2354060 |    2448238 |    2374043 |    2344178 |    2397583 |    2411860 |
1947.11/255.16	c (250,0) c | Propagations  |      3192262299 |  403716577 |  398849039 |  398235178 |  400970681 |  398112371 |  397193700 |  397861693 |  397323060 |
1947.11/255.16	c (250,0) c | ReduceDBs     |             213 |         27 |         27 |         26 |         26 |         27 |         26 |         27 |         27 |
1947.11/255.16	c (250,0) c | SimpDBs       |             954 |        115 |        118 |        125 |        122 |        118 |        119 |        113 |        124 |
1947.11/255.16	c (250,0) c | Restarts      |           35516 |       4244 |       4474 |       4541 |       4808 |       3988 |       4431 |       4468 |       4562 |
1947.11/255.16	c (250,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1947.11/255.16	c (250,0) c | PropBinClauses|      5368899319 |  679347584 |  669373702 |  669078870 |  672967699 |  673083809 |  667931827 |  669189979 |  667925849 |
1947.11/255.16	c (250,0) c | PropPreBlocker|     72517635207 | 9027203921 | 9026011083 | 9108625438 | 9093213927 | 9045867424 | 9078826511 | 9069087728 | 9068799175 |
1947.11/255.16	c (250,0) c | PropNotBlocker|     14007561702 | 1760498284 | 1770292733 | 1736078003 | 1747246403 | 1746808145 | 1758237756 | 1734982730 | 1753417648 |
1947.11/255.16	c (250,0) c | LitFullScans  |    105922514438 |13242496511 |13242109812 |13241321881 |13237573527 |13239677761 |13238519786 |13242371394 |13238443766 |
1947.11/255.16	c (250,0) c | LitScanFracts |        21312951 |    3135471 |    2566004 |    2326208 |    1571821 |    3676570 |    2492087 |    3110135 |    2434655 |
1947.11/255.16	c (250,0) c | DecisionLevel0|           35845 |       4289 |       4515 |       4571 |       4843 |       4038 |       4473 |       4512 |       4604 |
1947.11/255.16	c (250,0) c | Periods       |           17648 |       2206 |       2206 |       2206 |       2206 |       2206 |       2206 |       2206 |       2206 |
1947.11/255.16	c (250,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1947.11/255.16	c (250,0) c | Avg_Trail     |                 |       5068 |       5230 |       5595 |       5404 |       5228 |       5482 |       5216 |       5453 |
1947.11/255.16	c (250,0) c | Avg_DL        |                 |         38 |         39 |         42 |         41 |         39 |         40 |         39 |         42 |
1947.11/255.16	c (250,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1947.11/255.16	c (250,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1947.11/255.16	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.16	c (250,0) c | Exported      |          613856 |      79972 |      80118 |      73907 |      75899 |      79455 |      76124 |      71871 |      76510 |
1947.11/255.16	c (250,0) c | Imported      |         4273290 |     531072 |     530765 |     536880 |     534868 |     531417 |     534669 |     539398 |     534221 |
1947.11/255.16	c (250,0) c | Good          |           42756 |       5269 |       5487 |       5334 |       5289 |       5322 |       5350 |       5354 |       5351 |
1947.11/255.16	c (250,0) c | Purge         |         4230534 |     525803 |     525278 |     531546 |     529579 |     526095 |     529319 |     534044 |     528870 |
1947.11/255.16	c (250,0) c | Promoted      |          547447 |      68632 |      67621 |      68642 |      68602 |      68339 |      67968 |      68911 |      68732 |
1947.11/255.16	c (250,0) c | Remove_Imp    |         2905760 |     356433 |     362466 |     358787 |     360798 |     353726 |     356553 |     376334 |     380663 |
1947.11/255.16	c (250,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1947.11/255.16	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.16	c (250,0) c | Unaries       |                 |         45 |         41 |         30 |         35 |         50 |         42 |         44 |         42 |
1947.11/255.16	c (250,0) c | Binaries      |                 |        842 |        621 |        774 |        820 |        791 |        759 |        754 |        766 |
1947.11/255.16	c (250,0) c | Glues         |                 |       7518 |       7397 |       7541 |       7668 |       7516 |       7708 |       7255 |       7429 |
1947.11/255.16	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.16	c (250,0) c | Orig_Seen     |            87 % |     226227 |     225429 |     226920 |     228115 |     224676 |     227883 |     226465 |     227649 |
1947.11/255.16	c (250,0) c | Diff Orig seen|                 | -      693 | -     1491 |      X     |       1195 | -     2244 |        963 | -      455 |        729 |
1947.11/255.16	c (250,0) c | Hamming       |            20 % |       3177 |       2543 |      X     |       2705 |       3181 |       2625 |       3060 |       3301 |
1947.11/255.16	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.16	c (250,0) c | RunningTime   |                 |  244.7  99%|  243.2  98%|  241.3  98%|  245.0  99%|  239.5  96%|  240.2  97%|  236.8  96%|  246.0  99%|
1947.11/255.16	c (250,0) c | WaitingTime   |                 |    2.5   1%|    3.9   2%|    5.8   2%|    2.3   1%|    9.3   4%|    8.1   3%|   10.4   4%|    2.0   1%|
1947.11/255.16	c (250,0) c | ExchangingTime|                 |    0.2   0%|    0.3   0%|    0.2   0%|    0.2   0%|    0.3   0%|    0.2   0%|    0.2   0%|    0.2   0%|
1947.11/255.16	c (250,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%|
1947.11/255.16	c (250,0) c | SolvingTime   |                 |  247.4     |  247.4     |  247.4     |  247.5     |  249.1     |  248.5     |  247.4     |  248.3     |
1947.11/255.16	c (250,0) c | PropagationTim|                 |  222.4  90%|  223.3  90%|  223.2  90%|  221.7  90%|  223.4  90%|  223.9  90%|  223.1  90%|  221.8  89%|
1947.11/255.16	c (250,0) c | AnalysisTime  |                 |   13.7   6%|   12.7   5%|   12.7   5%|   14.3   6%|   14.3   6%|   13.1   5%|   13.0   5%|   14.6   6%|
1947.11/255.16	c (250,0) c | ReductionTime |                 |    2.1   1%|    2.1   1%|    2.0   1%|    2.0   1%|    2.1   1%|    2.0   1%|    2.1   1%|    2.1   1%|
1947.11/255.16	c (250,0) c | SimplifyTime  |                 |    2.4   1%|    2.7   1%|    2.7   1%|    2.6   1%|    2.7   1%|    2.8   1%|    2.6   1%|    2.8   1%|
1947.11/255.16	c (250,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%|
1947.11/255.16	c (250,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%|
1947.11/255.16	c (250,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.16	c (250,0) c
1947.11/255.16	c (250,0) c
1947.11/255.16	c (250,0) c Threads : 8
1947.11/255.16	c (250,0) c Winner : 2
1947.11/255.16	c (250,0) c Conflicts_0 : 1037459
1947.11/255.16	c (250,0) c Conflicts_1 : 997313
1947.11/255.16	c (250,0) c Conflicts_2 : 951034
1947.11/255.16	c (250,0) c Conflicts_3 : 956629
1947.11/255.16	c (250,0) c Conflicts_4 : 1025361
1947.11/255.16	c (250,0) c Conflicts_5 : 963154
1947.11/255.16	c (250,0) c Conflicts_6 : 999781
1947.11/255.16	c (250,0) c Conflicts_7 : 966671
1947.11/255.16	c (250,0) c Conflicts_total : 7897402
1947.11/255.16	c (250,0) c Conflicts_winner : 951034
1947.11/255.16	c (250,0) c Decisions_0 : 2449402
1947.11/255.16	c (250,0) c Decisions_1 : 2382909
1947.11/255.16	c (250,0) c Decisions_2 : 2354060
1947.11/255.16	c (250,0) c Decisions_3 : 2448238
1947.11/255.16	c (250,0) c Decisions_4 : 2374043
1947.11/255.16	c (250,0) c Decisions_5 : 2344178
1947.11/255.16	c (250,0) c Decisions_6 : 2397583
1947.11/255.16	c (250,0) c Decisions_7 : 2411860
1947.11/255.16	c (250,0) c Decisions_total : 19162273
1947.11/255.16	c (250,0) c Decisions_winner : 2354060
1947.11/255.16	c (250,0) c Propagations_0 : 403716577
1947.11/255.16	c (250,0) c Propagations_1 : 398849039
1947.11/255.16	c (250,0) c Propagations_2 : 398235178
1947.11/255.16	c (250,0) c Propagations_3 : 400970681
1947.11/255.16	c (250,0) c Propagations_4 : 398112371
1947.11/255.16	c (250,0) c Propagations_5 : 397193700
1947.11/255.16	c (250,0) c Propagations_6 : 397861693
1947.11/255.16	c (250,0) c Propagations_7 : 397323060
1947.11/255.16	c (250,0) c Propagations_total : 3192262299
1947.11/255.16	c (250,0) c Propagations_winner : 398235178
1947.11/255.16	c (250,0) c ReduceDBs_0 : 27
1947.11/255.16	c (250,0) c ReduceDBs_1 : 27
1947.11/255.16	c (250,0) c ReduceDBs_2 : 26
1947.11/255.16	c (250,0) c ReduceDBs_3 : 26
1947.11/255.16	c (250,0) c ReduceDBs_4 : 27
1947.11/255.16	c (250,0) c ReduceDBs_5 : 26
1947.11/255.16	c (250,0) c ReduceDBs_6 : 27
1947.11/255.16	c (250,0) c ReduceDBs_7 : 27
1947.11/255.16	c (250,0) c ReduceDBs_total : 213
1947.11/255.16	c (250,0) c ReduceDBs_winner : 26
1947.11/255.16	c (250,0) c SimpDBs_0 : 115
1947.11/255.16	c (250,0) c SimpDBs_1 : 118
1947.11/255.16	c (250,0) c SimpDBs_2 : 125
1947.11/255.16	c (250,0) c SimpDBs_3 : 122
1947.11/255.16	c (250,0) c SimpDBs_4 : 118
1947.11/255.16	c (250,0) c SimpDBs_5 : 119
1947.11/255.16	c (250,0) c SimpDBs_6 : 113
1947.11/255.16	c (250,0) c SimpDBs_7 : 124
1947.11/255.16	c (250,0) c SimpDBs_total : 954
1947.11/255.16	c (250,0) c SimpDBs_winner : 125
1947.11/255.16	c (250,0) c Restarts_0 : 4244
1947.11/255.16	c (250,0) c Restarts_1 : 4474
1947.11/255.16	c (250,0) c Restarts_2 : 4541
1947.11/255.16	c (250,0) c Restarts_3 : 4808
1947.11/255.16	c (250,0) c Restarts_4 : 3988
1947.11/255.16	c (250,0) c Restarts_5 : 4431
1947.11/255.16	c (250,0) c Restarts_6 : 4468
1947.11/255.16	c (250,0) c Restarts_7 : 4562
1947.11/255.16	c (250,0) c Restarts_total : 35516
1947.11/255.16	c (250,0) c Restarts_winner : 4541
1947.11/255.16	c (250,0) c ForcedImports_0 : 0
1947.11/255.16	c (250,0) c ForcedImports_1 : 0
1947.11/255.16	c (250,0) c ForcedImports_2 : 0
1947.11/255.16	c (250,0) c ForcedImports_3 : 0
1947.11/255.16	c (250,0) c ForcedImports_4 : 0
1947.11/255.16	c (250,0) c ForcedImports_5 : 0
1947.11/255.16	c (250,0) c ForcedImports_6 : 0
1947.11/255.16	c (250,0) c ForcedImports_7 : 0
1947.11/255.16	c (250,0) c ForcedImports_total : 0
1947.11/255.16	c (250,0) c ForcedImports_winner : 0
1947.11/255.16	c (250,0) c PropsBinClauses_0 : 679347584
1947.11/255.16	c (250,0) c PropsBinClauses_1 : 669373702
1947.11/255.16	c (250,0) c PropsBinClauses_2 : 669078870
1947.11/255.16	c (250,0) c PropsBinClauses_3 : 672967699
1947.11/255.16	c (250,0) c PropsBinClauses_4 : 673083809
1947.11/255.16	c (250,0) c PropsBinClauses_5 : 667931827
1947.11/255.16	c (250,0) c PropsBinClauses_6 : 669189979
1947.11/255.16	c (250,0) c PropsBinClauses_7 : 667925849
1947.11/255.16	c (250,0) c PropsBinClauses_total : 5368899319
1947.11/255.16	c (250,0) c PropsBinClauses_winner : 669078870
1947.11/255.16	c (250,0) c PropsPreBlocker_0 : 9027203921
1947.11/255.16	c (250,0) c PropsPreBlocker_1 : 9026011083
1947.11/255.16	c (250,0) c PropsPreBlocker_2 : 9108625438
1947.11/255.16	c (250,0) c PropsPreBlocker_3 : 9093213927
1947.11/255.16	c (250,0) c PropsPreBlocker_4 : 9045867424
1947.11/255.16	c (250,0) c PropsPreBlocker_5 : 9078826511
1947.11/255.16	c (250,0) c PropsPreBlocker_6 : 9069087728
1947.11/255.16	c (250,0) c PropsPreBlocker_7 : 9068799175
1947.11/255.16	c (250,0) c PropsPreBlocker_total : 72517635207
1947.11/255.16	c (250,0) c PropsPreBlocker_winner : 9108625438
1947.11/255.16	c (250,0) c PropsNotBlocker_0 : 1760498284
1947.11/255.16	c (250,0) c PropsNotBlocker_1 : 1770292733
1947.11/255.16	c (250,0) c PropsNotBlocker_2 : 1736078003
1947.11/255.16	c (250,0) c PropsNotBlocker_3 : 1747246403
1947.11/255.16	c (250,0) c PropsNotBlocker_4 : 1746808145
1947.11/255.16	c (250,0) c PropsNotBlocker_5 : 1758237756
1947.11/255.16	c (250,0) c PropsNotBlocker_6 : 1734982730
1947.11/255.16	c (250,0) c PropsNotBlocker_7 : 1753417648
1947.11/255.16	c (250,0) c PropsNotBlocker_total : 14007561702
1947.11/255.16	c (250,0) c PropsNotBlocker_winner : 1736078003
1947.11/255.16	c (250,0) c PropsLitFullScans_0 : 13242496511
1947.11/255.16	c (250,0) c PropsLitFullScans_1 : 13242109812
1947.11/255.16	c (250,0) c PropsLitFullScans_2 : 13241321881
1947.11/255.16	c (250,0) c PropsLitFullScans_3 : 13237573527
1947.11/255.16	c (250,0) c PropsLitFullScans_4 : 13239677761
1947.11/255.16	c (250,0) c PropsLitFullScans_5 : 13238519786
1947.11/255.16	c (250,0) c PropsLitFullScans_6 : 13242371394
1947.11/255.16	c (250,0) c PropsLitFullScans_7 : 13238443766
1947.11/255.16	c (250,0) c PropsLitFullScans_total : 105922514438
1947.11/255.16	c (250,0) c PropsLitFullScans_winner : 13241321881
1947.11/255.16	c (250,0) c LitScanFractions_0 : 3135471
1947.11/255.16	c (250,0) c LitScanFractions_1 : 2566004
1947.11/255.16	c (250,0) c LitScanFractions_2 : 2326208
1947.11/255.16	c (250,0) c LitScanFractions_3 : 1571821
1947.11/255.16	c (250,0) c LitScanFractions_4 : 3676570
1947.11/255.16	c (250,0) c LitScanFractions_5 : 2492087
1947.11/255.16	c (250,0) c LitScanFractions_6 : 3110135
1947.11/255.16	c (250,0) c LitScanFractions_7 : 2434655
1947.11/255.16	c (250,0) c LitScanFractions_total : 21312951
1947.11/255.16	c (250,0) c LitScanFractions_winner : 2326208
1947.11/255.16	c (250,0) c DecisionLevel0_0 : 4289
1947.11/255.16	c (250,0) c DecisionLevel0_1 : 4515
1947.11/255.16	c (250,0) c DecisionLevel0_2 : 4571
1947.11/255.16	c (250,0) c DecisionLevel0_3 : 4843
1947.11/255.16	c (250,0) c DecisionLevel0_4 : 4038
1947.11/255.16	c (250,0) c DecisionLevel0_5 : 4473
1947.11/255.16	c (250,0) c DecisionLevel0_6 : 4512
1947.11/255.16	c (250,0) c DecisionLevel0_7 : 4604
1947.11/255.16	c (250,0) c DecisionLevel0_total : 35845
1947.11/255.16	c (250,0) c DecisionLevel0_winner : 4571
1947.11/255.16	c (250,0) c Periods_0 : 2206
1947.11/255.16	c (250,0) c Periods_1 : 2206
1947.11/255.16	c (250,0) c Periods_2 : 2206
1947.11/255.16	c (250,0) c Periods_3 : 2206
1947.11/255.16	c (250,0) c Periods_4 : 2206
1947.11/255.16	c (250,0) c Periods_5 : 2206
1947.11/255.16	c (250,0) c Periods_6 : 2206
1947.11/255.16	c (250,0) c Periods_7 : 2206
1947.11/255.16	c (250,0) c Periods_total : 17648
1947.11/255.16	c (250,0) c Periods_winner : 2206
1947.11/255.16	c (250,0) c Margin_0 : 20
1947.11/255.16	c (250,0) c Margin_1 : 20
1947.11/255.16	c (250,0) c Margin_2 : 20
1947.11/255.16	c (250,0) c Margin_3 : 20
1947.11/255.16	c (250,0) c Margin_4 : 20
1947.11/255.16	c (250,0) c Margin_5 : 20
1947.11/255.16	c (250,0) c Margin_6 : 20
1947.11/255.16	c (250,0) c Margin_7 : 20
1947.11/255.16	c (250,0) c Margin_total : 160
1947.11/255.16	c (250,0) c Margin_winner : 20
1947.11/255.16	c (250,0) c Exported_0 : 79972
1947.11/255.16	c (250,0) c Exported_1 : 80118
1947.11/255.16	c (250,0) c Exported_2 : 73907
1947.11/255.16	c (250,0) c Exported_3 : 75899
1947.11/255.16	c (250,0) c Exported_4 : 79455
1947.11/255.16	c (250,0) c Exported_5 : 76124
1947.11/255.16	c (250,0) c Exported_6 : 71871
1947.11/255.16	c (250,0) c Exported_7 : 76510
1947.11/255.16	c (250,0) c Exported_total : 613856
1947.11/255.16	c (250,0) c Exported_winner : 73907
1947.11/255.16	c (250,0) c Imported_0 : 531072
1947.11/255.16	c (250,0) c Imported_1 : 530765
1947.11/255.16	c (250,0) c Imported_2 : 536880
1947.11/255.16	c (250,0) c Imported_3 : 534868
1947.11/255.16	c (250,0) c Imported_4 : 531417
1947.11/255.16	c (250,0) c Imported_5 : 534669
1947.11/255.16	c (250,0) c Imported_6 : 539398
1947.11/255.16	c (250,0) c Imported_7 : 534221
1947.11/255.16	c (250,0) c Imported_total : 4273290
1947.11/255.16	c (250,0) c Imported_winner : 536880
1947.11/255.16	c (250,0) c Good_0 : 5269
1947.11/255.16	c (250,0) c Good_1 : 5487
1947.11/255.16	c (250,0) c Good_2 : 5334
1947.11/255.16	c (250,0) c Good_3 : 5289
1947.11/255.16	c (250,0) c Good_4 : 5322
1947.11/255.16	c (250,0) c Good_5 : 5350
1947.11/255.16	c (250,0) c Good_6 : 5354
1947.11/255.16	c (250,0) c Good_7 : 5351
1947.11/255.16	c (250,0) c Good_total : 42756
1947.11/255.16	c (250,0) c Good_winner : 5334
1947.11/255.16	c (250,0) c Purge_0 : 525803
1947.11/255.16	c (250,0) c Purge_1 : 525278
1947.11/255.16	c (250,0) c Purge_2 : 531546
1947.11/255.16	c (250,0) c Purge_3 : 529579
1947.11/255.16	c (250,0) c Purge_4 : 526095
1947.11/255.16	c (250,0) c Purge_5 : 529319
1947.11/255.16	c (250,0) c Purge_6 : 534044
1947.11/255.16	c (250,0) c Purge_7 : 528870
1947.11/255.16	c (250,0) c Purge_total : 4230534
1947.11/255.16	c (250,0) c Purge_winner : 531546
1947.11/255.16	c (250,0) c Promoted_0 : 68632
1947.11/255.16	c (250,0) c Promoted_1 : 67621
1947.11/255.16	c (250,0) c Promoted_2 : 68642
1947.11/255.16	c (250,0) c Promoted_3 : 68602
1947.11/255.16	c (250,0) c Promoted_4 : 68339
1947.11/255.16	c (250,0) c Promoted_5 : 67968
1947.11/255.16	c (250,0) c Promoted_6 : 68911
1947.11/255.16	c (250,0) c Promoted_7 : 68732
1947.11/255.16	c (250,0) c Promoted_total : 547447
1947.11/255.16	c (250,0) c Promoted_winner : 68642
1947.11/255.16	c (250,0) c Remove_Imp_0 : 356433
1947.11/255.16	c (250,0) c Remove_Imp_1 : 362466
1947.11/255.16	c (250,0) c Remove_Imp_2 : 358787
1947.11/255.16	c (250,0) c Remove_Imp_3 : 360798
1947.11/255.16	c (250,0) c Remove_Imp_4 : 353726
1947.11/255.16	c (250,0) c Remove_Imp_5 : 356553
1947.11/255.16	c (250,0) c Remove_Imp_6 : 376334
1947.11/255.16	c (250,0) c Remove_Imp_7 : 380663
1947.11/255.16	c (250,0) c Remove_Imp_total : 2905760
1947.11/255.16	c (250,0) c Remove_Imp_winner : 358787
1947.11/255.16	c (250,0) c Blocked_Reuse_0 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_1 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_2 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_3 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_4 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_5 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_6 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_7 : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_total : 0
1947.11/255.16	c (250,0) c Blocked_Reuse_winner : 0
1947.11/255.16	c (250,0) c Unaries_0 : 45
1947.11/255.16	c (250,0) c Unaries_1 : 41
1947.11/255.16	c (250,0) c Unaries_2 : 30
1947.11/255.16	c (250,0) c Unaries_3 : 35
1947.11/255.16	c (250,0) c Unaries_4 : 50
1947.11/255.16	c (250,0) c Unaries_5 : 42
1947.11/255.16	c (250,0) c Unaries_6 : 44
1947.11/255.16	c (250,0) c Unaries_7 : 42
1947.11/255.16	c (250,0) c Unaries_total : 329
1947.11/255.16	c (250,0) c Unaries_winner : 30
1947.11/255.16	c (250,0) c Binaries_0 : 842
1947.11/255.16	c (250,0) c Binaries_1 : 621
1947.11/255.16	c (250,0) c Binaries_2 : 774
1947.11/255.16	c (250,0) c Binaries_3 : 820
1947.11/255.16	c (250,0) c Binaries_4 : 791
1947.11/255.16	c (250,0) c Binaries_5 : 759
1947.11/255.16	c (250,0) c Binaries_6 : 754
1947.11/255.16	c (250,0) c Binaries_7 : 766
1947.11/255.17	c (250,0) c Binaries_total : 6127
1947.11/255.17	c (250,0) c Binaries_winner : 774
1947.11/255.17	c (250,0) c Glues_0 : 7518
1947.11/255.17	c (250,0) c Glues_1 : 7397
1947.11/255.17	c (250,0) c Glues_2 : 7541
1947.11/255.17	c (250,0) c Glues_3 : 7668
1947.11/255.17	c (250,0) c Glues_4 : 7516
1947.11/255.17	c (250,0) c Glues_5 : 7708
1947.11/255.17	c (250,0) c Glues_6 : 7255
1947.11/255.17	c (250,0) c Glues_7 : 7429
1947.11/255.17	c (250,0) c Glues_total : 60032
1947.11/255.17	c (250,0) c Glues_winner : 7541
1947.11/255.17	c (250,0) c RunningTime_0 : 244.657616
1947.11/255.17	c (250,0) c RunningTime_1 : 243.216335
1947.11/255.17	c (250,0) c RunningTime_2 : 241.320255
1947.11/255.17	c (250,0) c RunningTime_3 : 245.027185
1947.11/255.17	c (250,0) c RunningTime_4 : 239.524446
1947.11/255.17	c (250,0) c RunningTime_5 : 240.199528
1947.11/255.17	c (250,0) c RunningTime_6 : 236.763031
1947.11/255.17	c (250,0) c RunningTime_7 : 246.010538
1947.11/255.17	c (250,0) c RunningTime_total : 1936.718934
1947.11/255.17	c (250,0) c RunningTime_winner : 241.320255
1947.11/255.17	c (250,0) c WaitingTime_0 : 2.468617
1947.11/255.17	c (250,0) c WaitingTime_1 : 3.908253
1947.11/255.17	c (250,0) c WaitingTime_2 : 5.800022
1947.11/255.17	c (250,0) c WaitingTime_3 : 2.258379
1947.11/255.17	c (250,0) c WaitingTime_4 : 9.283246
1947.11/255.17	c (250,0) c WaitingTime_5 : 8.065226
1947.11/255.17	c (250,0) c WaitingTime_6 : 10.358194
1947.11/255.17	c (250,0) c WaitingTime_7 : 1.989427
1947.11/255.17	c (250,0) c WaitingTime_total : 44.131363
1947.11/255.17	c (250,0) c WaitingTime_winner : 5.800022
1947.11/255.17	c (250,0) c ExchangingTime_0 : 0.249226
1947.11/255.17	c (250,0) c ExchangingTime_1 : 0.257431
1947.11/255.17	c (250,0) c ExchangingTime_2 : 0.244579
1947.11/255.17	c (250,0) c ExchangingTime_3 : 0.244750
1947.11/255.17	c (250,0) c ExchangingTime_4 : 0.264360
1947.11/255.17	c (250,0) c ExchangingTime_5 : 0.247475
1947.11/255.17	c (250,0) c ExchangingTime_6 : 0.248652
1947.11/255.17	c (250,0) c ExchangingTime_7 : 0.234199
1947.11/255.17	c (250,0) c ExchangingTime_total : 1.990671
1947.11/255.17	c (250,0) c ExchangingTime_winner : 0.244579
1947.11/255.17	c (250,0) c PeriodProcTime_0 : 0.021976
1947.11/255.17	c (250,0) c PeriodProcTime_1 : 0.021413
1947.11/255.17	c (250,0) c PeriodProcTime_2 : 0.019895
1947.11/255.17	c (250,0) c PeriodProcTime_3 : 0.017673
1947.11/255.17	c (250,0) c PeriodProcTime_4 : 0.020105
1947.11/255.17	c (250,0) c PeriodProcTime_5 : 0.019796
1947.11/255.17	c (250,0) c PeriodProcTime_6 : 0.017952
1947.11/255.17	c (250,0) c PeriodProcTime_7 : 0.019615
1947.11/255.17	c (250,0) c PeriodProcTime_total : 0.158426
1947.11/255.17	c (250,0) c PeriodProcTime_winner : 0.019895
1947.11/255.17	c (250,0) c SolvingTime_0 : 247.397436
1947.11/255.17	c (250,0) c SolvingTime_1 : 247.403431
1947.11/255.17	c (250,0) c SolvingTime_2 : 247.384751
1947.11/255.17	c (250,0) c SolvingTime_3 : 247.547987
1947.11/255.17	c (250,0) c SolvingTime_4 : 249.092157
1947.11/255.17	c (250,0) c SolvingTime_5 : 248.532024
1947.11/255.17	c (250,0) c SolvingTime_6 : 247.387829
1947.11/255.17	c (250,0) c SolvingTime_7 : 248.253779
1947.11/255.17	c (250,0) c SolvingTime_total : 1982.999394
1947.11/255.17	c (250,0) c SolvingTime_winner : 247.384751
1947.11/255.17	c (250,0) c PropagationTime_0 : 222.434388
1947.11/255.17	c (250,0) c PropagationTime_1 : 223.292727
1947.11/255.17	c (250,0) c PropagationTime_2 : 223.215286
1947.11/255.17	c (250,0) c PropagationTime_3 : 221.722075
1947.11/255.17	c (250,0) c PropagationTime_4 : 223.403513
1947.11/255.17	c (250,0) c PropagationTime_5 : 223.912724
1947.11/255.17	c (250,0) c PropagationTime_6 : 223.083982
1947.11/255.17	c (250,0) c PropagationTime_7 : 221.848553
1947.11/255.17	c (250,0) c PropagationTime_total : 1782.913249
1947.11/255.17	c (250,0) c PropagationTime_winner : 223.215286
1947.11/255.17	c (250,0) c AnalysisTime_0 : 13.728302
1947.11/255.17	c (250,0) c AnalysisTime_1 : 12.664482
1947.11/255.17	c (250,0) c AnalysisTime_2 : 12.737996
1947.11/255.17	c (250,0) c AnalysisTime_3 : 14.287452
1947.11/255.17	c (250,0) c AnalysisTime_4 : 14.259999
1947.11/255.17	c (250,0) c AnalysisTime_5 : 13.063182
1947.11/255.17	c (250,0) c AnalysisTime_6 : 12.958172
1947.11/255.17	c (250,0) c AnalysisTime_7 : 14.580121
1947.11/255.17	c (250,0) c AnalysisTime_total : 108.279704
1947.11/255.17	c (250,0) c AnalysisTime_winner : 12.737996
1947.11/255.17	c (250,0) c ReductionTime_0 : 2.080982
1947.11/255.17	c (250,0) c ReductionTime_1 : 2.134507
1947.11/255.17	c (250,0) c ReductionTime_2 : 1.984103
1947.11/255.17	c (250,0) c ReductionTime_3 : 2.040272
1947.11/255.17	c (250,0) c ReductionTime_4 : 2.118042
1947.11/255.17	c (250,0) c ReductionTime_5 : 2.016480
1947.11/255.17	c (250,0) c ReductionTime_6 : 2.128143
1947.11/255.17	c (250,0) c ReductionTime_7 : 2.149292
1947.11/255.17	c (250,0) c ReductionTime_total : 16.651822
1947.11/255.17	c (250,0) c ReductionTime_winner : 1.984103
1947.11/255.17	c (250,0) c SimplifyTime_0 : 2.419811
1947.11/255.17	c (250,0) c SimplifyTime_1 : 2.712671
1947.11/255.17	c (250,0) c SimplifyTime_2 : 2.724704
1947.11/255.17	c (250,0) c SimplifyTime_3 : 2.568503
1947.11/255.17	c (250,0) c SimplifyTime_4 : 2.657042
1947.11/255.17	c (250,0) c SimplifyTime_5 : 2.813088
1947.11/255.17	c (250,0) c SimplifyTime_6 : 2.557290
1947.11/255.17	c (250,0) c SimplifyTime_7 : 2.782581
1947.11/255.17	c (250,0) c SimplifyTime_total : 21.235690
1947.11/255.17	c (250,0) c SimplifyTime_winner : 2.724704
1947.11/255.17	c (250,0) c UsedRateTime_0 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_1 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_2 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_3 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_4 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_5 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_6 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_7 : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_total : 0.000000
1947.11/255.17	c (250,0) c UsedRateTime_winner : 0.000000
1947.11/255.17	c (250,0) c OverlapRateTime_0 : 0.000000
1947.11/255.17	c (250,0) c OverlapRateTime_1 : 0.000000
1947.11/255.17	c (250,0) c OverlapRateTime_2 : 0.000000
1947.11/255.17	c (250,0) c OverlapRateTime_3 : 0.000000
1947.11/255.17	c (250,0) c OverlapRateTime_4 : 0.000000
1947.11/255.17	c (250,0) c OverlapRateTime_5 : 0.000000
1947.11/255.18	c (250,0) c OverlapRateTime_6 : 0.000000
1947.11/255.18	c (250,0) c OverlapRateTime_7 : 0.000000
1947.11/255.18	c (250,0) c OverlapRateTime_total : 0.000000
1947.11/255.18	c (250,0) c OverlapRateTime_winner : 0.000000
1947.11/255.18	c (250,0) c
1947.11/255.18	c (250,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1947.11/255.18	c (250,0) c
1947.11/255.18	c (250,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.18	c (250,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1947.11/255.18	c (250,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.18	c (250,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1947.11/255.18	c (250,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
1947.11/255.18	c (250,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1947.11/255.18	c (250,0) c | Initial random_seed   |   35398430 | 1627775480 | 1411134974 |  131062931 | 1592138164 | 1369707677 |  214831758 | 1698987208 |
1947.11/255.18	c (250,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1947.11/255.18	c (250,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1947.11/255.18	c (250,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1947.11/255.18	c (250,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1947.11/255.18	c (250,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1947.11/255.18	c (250,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1947.11/255.18	c (250,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1947.11/255.18	c (250,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1947.11/255.18	c (250,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1947.11/255.18	c (250,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1947.11/255.18	c (250,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1947.11/255.18	c (250,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1947.11/255.18	c (250,0) 
1947.11/255.18	c (250,0) s SATISFIABLE
14.09/255.22	c (250,0) SatSolver.solve End
14.09/255.22	c (250,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
14.09/255.22	c (250,0) Show results Begin
1947.52/255.32	c (250,0) x[0] = 0
1947.52/255.32	c (250,0) x[1] = 10
1947.52/255.32	c (250,0) x[2] = 4
1947.52/255.32	c (250,0) x[3] = 14
1947.52/255.32	c (250,0) x[4] = 31
1947.52/255.32	c (250,0) x[5] = 37
1947.52/255.32	c (250,0) x[6] = 27
1947.52/255.32	c (250,0) x[7] = 12
1947.52/255.32	c (250,0) x[8] = 2
1947.52/255.32	c (250,0) x[9] = 8
1947.52/255.32	c (250,0) x[10] = 25
1947.52/255.32	c (250,0) x[11] = 40
1947.52/255.32	c (250,0) x[12] = 57
1947.52/255.32	c (250,0) x[13] = 51
1947.52/255.32	c (250,0) x[14] = 61
1947.52/255.32	c (250,0) x[15] = 46
1947.52/255.32	c (250,0) x[16] = 63
1947.52/255.32	c (250,0) x[17] = 53
1947.52/255.32	c (250,0) x[18] = 38
1947.52/255.32	c (250,0) x[19] = 55
1947.52/255.32	c (250,0) x[20] = 45
1947.52/255.32	c (250,0) x[21] = 30
1947.52/255.32	c (250,0) x[22] = 47
1947.52/255.32	c (250,0) x[23] = 62
1947.52/255.32	c (250,0) x[24] = 52
1947.52/255.32	c (250,0) x[25] = 35
1947.52/255.32	c (250,0) x[26] = 18
1947.52/255.32	c (250,0) x[27] = 3
1947.52/255.32	c (250,0) x[28] = 13
1947.52/255.32	c (250,0) x[29] = 7
1947.52/255.32	c (250,0) x[30] = 22
1947.52/255.32	c (250,0) x[31] = 39
1947.52/255.32	c (250,0) x[32] = 54
1947.52/255.32	c (250,0) x[33] = 60
1947.52/255.32	c (250,0) x[34] = 50
1947.52/255.32	c (250,0) x[35] = 56
1947.52/255.32	c (250,0) x[36] = 41
1947.52/255.32	c (250,0) x[37] = 24
1947.52/255.32	c (250,0) x[38] = 34
1947.52/255.32	c (250,0) x[39] = 28
1947.52/255.32	c (250,0) x[40] = 11
1947.52/255.32	c (250,0) x[41] = 1
1947.52/255.32	c (250,0) x[42] = 16
1947.52/255.32	c (250,0) x[43] = 33
1947.52/255.32	c (250,0) x[44] = 48
1947.52/255.32	c (250,0) x[45] = 58
1947.52/255.32	c (250,0) x[46] = 43
1947.52/255.32	c (250,0) x[47] = 49
1947.52/255.32	c (250,0) x[48] = 59
1947.52/255.32	c (250,0) x[49] = 44
1947.52/255.32	c (250,0) x[50] = 29
1947.52/255.32	c (250,0) x[51] = 23
1947.52/255.32	c (250,0) x[52] = 6
1947.52/255.32	c (250,0) x[53] = 21
1947.52/255.32	c (250,0) x[54] = 15
1947.52/255.32	c (250,0) x[55] = 5
1947.52/255.32	c (250,0) x[56] = 20
1947.52/255.32	c (250,0) x[57] = 26
1947.52/255.32	c (250,0) x[58] = 9
1947.52/255.32	c (250,0) x[59] = 19
1947.52/255.32	c (250,0) x[60] = 36
1947.52/255.32	c (250,0) x[61] = 42
1947.52/255.32	c (250,0) x[62] = 32
1947.52/255.32	c (250,0) x[63] = 17
1947.52/255.32	s SATISFIABLE
1947.52/255.33	v <instantiation>
1947.52/255.33	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] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63]</list>
1947.52/255.33	v     <values>0 10 4 14 31 37 27 12 2 8 25 40 57 51 61 46 63 53 38 55 45 30 47 62 52 35 18 3 13 7 22 39 54 60 50 56 41 24 34 28 11 1 16 33 48 58 43 49 59 44 29 23 6 21 15 5 20 26 9 19 36 42 32 17</values>
1947.52/255.33	v </instantiation>
1947.52/255.33	c (250,0) Show results End
1947.52/255.33	c (250,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
1947.52/255.33	c (250,0) 250,250,STOP-AFTER(ALL)
1947.52/255.33	c END-Prog: Tue Sep 24 18:45:12 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 (12401 MiB free)
  memory of node 1: 16384 MiB (12776 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405575-1569343299/watcher-4405575-1569343299 -o /var/tmp/evaluation-result-4405575-1569343299/solver-4405575-1569343299 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405575-1569343299.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 threadver pid=
, stack expansion will 32303
Starting watchdog threadver pid=
, stack expansion will 32303

Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 8.05 5.02 4.88 2/212 32328
/proc/meminfo: memFree=25687060/32770624 swapFree=66966880/67108860
[pid=32306] ppid=32303 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32306/stat : 32306 (scop.sh) S 32303 32306 30433 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510266314 115843072 348 33554432000 4194304 5098028 140735065332688 140735065329944 139729419739772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39514112 140735065338620 140735065338968 140735065338968 140735065341897 0
/proc/32306/statm: 28282 348 296 221 0 87 0
[pid=32309] ppid=32306 vsize=27314120 memory=107648 CPUtime=0.1 cores=0-7
/proc/32309/stat : 32309 (java) S 32306 32306 30433 0 -1 1077944320 6478 0 0 0 8 2 0 0 20 0 20 0 510266314 27969658880 26912 33554432000 4194304 4196468 140721908910240 140721908892784 139688089304823 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
/proc/32309/statm: 6828530 26912 2800 1 0 6790935 0
[pid=32309/tid=32310] ppid=32306 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32309/task/32310/stat : 32310 (java) R 32306 32306 30433 0 -1 4202560 4586 0 0 0 7 2 0 0 20 0 20 0 510266315 27969658880 27424 33554432000 4194304 4196468 140721908910240 139688061118336 139688075372942 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32311] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32311/stat : 32311 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139688093547024 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32312] ppid=32306 vsize=27314120 memory=139880429901440 CPUtime=0 cores=0-7
/proc/32309/task/32312/stat : 32312 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139687907703440 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32313] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32313/stat : 32313 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139687510046992 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32314] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32314/stat : 32314 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139687508994448 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32315] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32315/stat : 32315 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139687507942416 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32316] ppid=32306 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32309/task/32316/stat : 32316 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139687506889872 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32317] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32317/stat : 32317 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139687505836816 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32318] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32318/stat : 32318 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 27424 33554432000 4194304 4196468 140721908910240 139687504784272 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32319] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32319/stat : 32319 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 27424 33554432000 4194304 4196468 140721908910240 139686256085232 139688089315970 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32320] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32320/stat : 32320 (java) S 32306 32306 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 27424 33554432000 4194304 4196468 140721908910240 139686026667168 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32321] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32321/stat : 32321 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 27424 33554432000 4194304 4196468 140721908910240 139685758231280 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32322] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32322/stat : 32322 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 27424 33554432000 4194304 4196468 140721908910240 139685383722960 139688089323419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32323] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32323/stat : 32323 (java) S 32306 32306 30433 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 27424 33554432000 4194304 4196468 140721908910240 139686255033072 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32324] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32324/stat : 32324 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 27424 33554432000 4194304 4196468 140721908910240 139686253980528 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32325] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32325/stat : 32325 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 27424 33554432000 4194304 4196468 140721908910240 139686252927472 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32326] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32326/stat : 32326 (java) S 32306 32306 30433 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 27424 33554432000 4194304 4196468 140721908910240 139686251874928 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32327] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32327/stat : 32327 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 27424 33554432000 4194304 4196468 140721908910240 139684885817824 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32328] ppid=32306 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32309/task/32328/stat : 32328 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 27424 33554432000 4194304 4196468 140721908910240 139686250822320 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109040 KiB

[startup+0.210493 s]*
/proc/loadavg: 8.05 5.02 4.88 3/212 32328
/proc/meminfo: memFree=25668472/32770624 swapFree=66966880/67108860
[pid=32306] ppid=32303 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32306/stat : 32306 (scop.sh) S 32303 32306 30433 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510266314 115843072 348 33554432000 4194304 5098028 140735065332688 140735065329944 139729419739772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39514112 140735065338620 140735065338968 140735065338968 140735065341897 0
/proc/32306/statm: 28282 348 296 221 0 87 0
[pid=32309] ppid=32306 vsize=27314120 memory=124508 CPUtime=0.25 cores=0-7
/proc/32309/stat : 32309 (java) S 32306 32306 30433 0 -1 1077944320 11467 0 0 0 21 4 0 0 20 0 20 0 510266314 27969658880 31127 33554432000 4194304 4196468 140721908910240 140721908892784 139688089304823 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
/proc/32309/statm: 6828530 31127 2926 1 0 6790935 0
[pid=32309/tid=32310] ppid=32306 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32309/task/32310/stat : 32310 (java) R 32306 32306 30433 0 -1 4202560 9193 0 0 0 16 3 0 0 20 0 20 0 510266315 27969658880 31127 33554432000 4194304 4196468 140721908910240 139688061104208 139688073385310 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32311] ppid=32306 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/32309/task/32311/stat : 32311 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139688093547024 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32312] ppid=32306 vsize=27314120 memory=139880432947822 CPUtime=0 cores=0-7
/proc/32309/task/32312/stat : 32312 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139687907703440 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32313] ppid=32306 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32309/task/32313/stat : 32313 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139687510046992 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32314] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32314/stat : 32314 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139687508994448 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32315] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32315/stat : 32315 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139687507942416 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32316] ppid=32306 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32309/task/32316/stat : 32316 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139687506889872 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32317] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32317/stat : 32317 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139687505836816 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32318] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32318/stat : 32318 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31127 33554432000 4194304 4196468 140721908910240 139687504784272 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32319] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32319/stat : 32319 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 31127 33554432000 4194304 4196468 140721908910240 139686256085232 139688089315970 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32320] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32320/stat : 32320 (java) S 32306 32306 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 31127 33554432000 4194304 4196468 140721908910240 139686026667168 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32321] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32321/stat : 32321 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 31127 33554432000 4194304 4196468 140721908910240 139685758231280 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32322] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32322/stat : 32322 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31127 33554432000 4194304 4196468 140721908910240 139685383722960 139688089323419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32323] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32323/stat : 32323 (java) S 32306 32306 30433 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31127 33554432000 4194304 4196468 140721908910240 139686255033072 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32324] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32324/stat : 32324 (java) S 32306 32306 30433 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31127 33554432000 4194304 4196468 140721908910240 139686253980528 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32325] ppid=32306 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32309/task/32325/stat : 32325 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31127 33554432000 4194304 4196468 140721908910240 139686252927472 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32326] ppid=32306 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32309/task/32326/stat : 32326 (java) S 32306 32306 30433 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 510266322 27969658880 31127 33554432000 4194304 4196468 140721908910240 139686251874928 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32327] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32327/stat : 32327 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31127 33554432000 4194304 4196468 140721908910240 139684885817824 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32328] ppid=32306 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32309/task/32328/stat : 32328 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31127 33554432000 4194304 4196468 140721908910240 139686250822320 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125900 KiB

[startup+0.310478 s]*
/proc/loadavg: 8.05 5.02 4.88 2/212 32328
/proc/meminfo: memFree=25665432/32770624 swapFree=66966880/67108860
[pid=32306] ppid=32303 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32306/stat : 32306 (scop.sh) S 32303 32306 30433 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510266314 115843072 348 33554432000 4194304 5098028 140735065332688 140735065329944 139729419739772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39514112 140735065338620 140735065338968 140735065338968 140735065341897 0
/proc/32306/statm: 28282 348 296 221 0 87 0
[pid=32309] ppid=32306 vsize=27314120 memory=127920 CPUtime=0.43 cores=0-7
/proc/32309/stat : 32309 (java) S 32306 32306 30433 0 -1 1077944320 12146 0 0 0 39 4 0 0 20 0 20 0 510266314 27969658880 31980 33554432000 4194304 4196468 140721908910240 140721908892784 139688089304823 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
/proc/32309/statm: 6828530 31980 2975 1 0 6790935 0
[pid=32309/tid=32310] ppid=32306 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32309/task/32310/stat : 32310 (java) R 32306 32306 30433 0 -1 4202560 9712 0 0 0 26 3 0 0 20 0 20 0 510266315 27969658880 31980 33554432000 4194304 4196468 140721908910240 139688061118464 139688069581648 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32311] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32311/stat : 32311 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139688093547024 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32312] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32312/stat : 32312 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139687907703440 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32313] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32313/stat : 32313 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139687510046992 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32314] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32314/stat : 32314 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139687508994448 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32315] ppid=32306 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32309/task/32315/stat : 32315 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139687507942416 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32316] ppid=32306 vsize=27314120 memory=139880306930607 CPUtime=0 cores=0-7
/proc/32309/task/32316/stat : 32316 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139687506889872 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32317] ppid=32306 vsize=27314120 memory=139880306932912 CPUtime=0 cores=0-7
/proc/32309/task/32317/stat : 32317 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139687505836816 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32318] ppid=32306 vsize=27314120 memory=3472463778488104416 CPUtime=0 cores=0-7
/proc/32309/task/32318/stat : 32318 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27969658880 31980 33554432000 4194304 4196468 140721908910240 139687504784272 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32319] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32319/stat : 32319 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 31980 33554432000 4194304 4196468 140721908910240 139686256085232 139688089315970 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32320] ppid=32306 vsize=27314120 memory=279760613877392 CPUtime=0 cores=0-7
/proc/32309/task/32320/stat : 32320 (java) S 32306 32306 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 31980 33554432000 4194304 4196468 140721908910240 139686026667168 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32321] ppid=32306 vsize=27314120 memory=279760613884304 CPUtime=0 cores=0-7
/proc/32309/task/32321/stat : 32321 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266319 27969658880 31980 33554432000 4194304 4196468 140721908910240 139685758231280 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32322] ppid=32306 vsize=27314120 memory=279760613825552 CPUtime=0 cores=0-7
/proc/32309/task/32322/stat : 32322 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31980 33554432000 4194304 4196468 140721908910240 139685383722960 139688089323419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32323] ppid=32306 vsize=27314120 memory=279760613898128 CPUtime=0.01 cores=0-7
/proc/32309/task/32323/stat : 32323 (java) S 32306 32306 30433 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 20 0 510266322 27969658880 31980 33554432000 4194304 4196468 140721908910240 139686255033072 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32324] ppid=32306 vsize=27314120 memory=279760613905040 CPUtime=0 cores=0-7
/proc/32309/task/32324/stat : 32324 (java) S 32306 32306 30433 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31980 33554432000 4194304 4196468 140721908910240 139686253980528 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32325] ppid=32306 vsize=27314120 memory=279760613902736 CPUtime=0.03 cores=0-7
/proc/32309/task/32325/stat : 32325 (java) S 32306 32306 30433 0 -1 1077944384 124 0 0 0 3 0 0 0 20 0 20 0 510266322 27969658880 31980 33554432000 4194304 4196468 140721908910240 139686252927472 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32326] ppid=32306 vsize=27314120 memory=279760613918896 CPUtime=0.07 cores=0-7
/proc/32309/task/32326/stat : 32326 (java) S 32306 32306 30433 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 20 0 510266322 27969658880 31980 33554432000 4194304 4196468 140721908910240 139686251874928 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32327] ppid=32306 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32309/task/32327/stat : 32327 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31980 33554432000 4194304 4196468 140721908910240 139684885817824 139688089315029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32328] ppid=32306 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32309/task/32328/stat : 32328 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266322 27969658880 31980 33554432000 4194304 4196468 140721908910240 139686250822320 139688089315970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129312 KiB

[startup+0.700893 s]
/proc/loadavg: 8.05 5.02 4.88 2/212 32328
/proc/meminfo: memFree=25642104/32770624 swapFree=66966880/67108860
[pid=32306] ppid=32303 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/32306/stat : 32306 (scop.sh) S 32303 32306 30433 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510266314 115843072 348 33554432000 4194304 5098028 140735065332688 140735065329944 139729419739772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39514112 140735065338620 140735065338968 140735065338968 140735065341897 0
/proc/32306/statm: 28282 348 296 221 0 87 0
[pid=32309] ppid=32306 vsize=27322516 memory=166288 CPUtime=1.01 cores=0-7
/proc/32309/stat : 32309 (java) S 32306 32306 30433 0 -1 1077944320 20214 0 0 0 94 7 0 0 20 0 20 0 510266314 27978256384 41572 33554432000 4194304 4196468 140721908910240 140721908892784 139688089304823 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
/proc/32309/statm: 6830629 41572 3208 1 0 6791959 0
[pid=32309/tid=32310] ppid=32306 vsize=27322516 memory=279760614276784 CPUtime=0.68 cores=0-7
/proc/32309/task/32310/stat : 32310 (java) R 32306 32306 30433 0 -1 4202560 17226 0 0 0 62 6 0 0 20 0 20 0 510266315 27978256384 41572 33554432000 4194304 4196468 140721908910240 139688061122208 139688073385310 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32311] ppid=32306 vsize=27322516 memory=139880307139440 CPUtime=0 cores=0-7
/proc/32309/task/32311/stat : 32311 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510266317 27978256384 41572 33554432000 4194304 4196468 140721908910240 139688093547024 139688089315029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18898944 140721908912838 140721908913286 140721908913286 140721908916175 0
[pid=32309/tid=32312] ppid=32306 vsize=27322516 memory=0 CPUtime=0 cores=0-7

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

[pid=32329/tid=32332] ppid=32306 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/32329/task/32332/stat : 32332 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 30524 33554432000 4194304 4196468 140735265945136 140570070051984 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32333] ppid=32306 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/32329/task/32333/stat : 32333 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 30524 33554432000 4194304 4196468 140735265945136 140570068998928 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32334] ppid=32306 vsize=8414124 memory=1568 CPUtime=0 cores=0-7
/proc/32329/task/32334/stat : 32334 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 30524 33554432000 4194304 4196468 140735265945136 140570067946384 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32335] ppid=32306 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/32329/task/32335/stat : 32335 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 30524 33554432000 4194304 4196468 140735265945136 140570066893328 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32336] ppid=32306 vsize=8414124 memory=864 CPUtime=0 cores=0-7
/proc/32329/task/32336/stat : 32336 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 30524 33554432000 4194304 4196468 140735265945136 140570065840784 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32337] ppid=32306 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/32329/task/32337/stat : 32337 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 30524 33554432000 4194304 4196468 140735265945136 140570064787728 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32338] ppid=32306 vsize=8414124 memory=2496 CPUtime=0 cores=0-7
/proc/32329/task/32338/stat : 32338 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 30524 33554432000 4194304 4196468 140735265945136 140570063735184 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32339] ppid=32306 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/32329/task/32339/stat : 32339 (java) S 32306 32306 30433 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510266789 8616062976 30524 33554432000 4194304 4196468 140735265945136 140569493404400 140570265651842 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32340] ppid=32306 vsize=8414124 memory=122096 CPUtime=0 cores=0-7
/proc/32329/task/32340/stat : 32340 (java) S 32306 32306 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510266790 8616062976 30524 33554432000 4194304 4196468 140735265945136 140568709555872 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32341] ppid=32306 vsize=8414124 memory=746592 CPUtime=0 cores=0-7
/proc/32329/task/32341/stat : 32341 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510266790 8616062976 30524 33554432000 4194304 4196468 140735265945136 140568441119984 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32342] ppid=32306 vsize=8414124 memory=-8528524026124202386 CPUtime=0 cores=0-7
/proc/32329/task/32342/stat : 32342 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510266792 8616062976 30524 33554432000 4194304 4196468 140735265945136 140568066611664 140570265659291 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32343] ppid=32306 vsize=8414124 memory=6789802306324843961 CPUtime=0.02 cores=0-7
/proc/32329/task/32343/stat : 32343 (java) S 32306 32306 30433 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 24 0 510266792 8616062976 30524 33554432000 4194304 4196468 140735265945136 140569492351216 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32344] ppid=32306 vsize=8414124 memory=1568 CPUtime=0.08 cores=0-7
/proc/32329/task/32344/stat : 32344 (java) S 32306 32306 30433 0 -1 1077944384 318 0 0 0 8 0 0 0 20 0 24 0 510266792 8616062976 30524 33554432000 4194304 4196468 140735265945136 140569491298672 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32345] ppid=32306 vsize=8414124 memory=1444 CPUtime=0.08 cores=0-7
/proc/32329/task/32345/stat : 32345 (java) S 32306 32306 30433 0 -1 1077944384 302 0 0 0 8 0 0 0 20 0 24 0 510266792 8616062976 30524 33554432000 4194304 4196468 140735265945136 140569490245616 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32346] ppid=32306 vsize=8414124 memory=864 CPUtime=0.2 cores=0-7
/proc/32329/task/32346/stat : 32346 (java) S 32306 32306 30433 0 -1 1077944384 728 0 0 0 20 0 0 0 20 0 24 0 510266792 8616062976 30524 33554432000 4194304 4196468 140735265945136 140569489193072 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32347] ppid=32306 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/32329/task/32347/stat : 32347 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510266792 8616062976 30524 33554432000 4194304 4196468 140735265945136 140567568706528 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32348] ppid=32306 vsize=8414124 memory=2496 CPUtime=0.2 cores=0-7
/proc/32329/task/32348/stat : 32348 (java) S 32306 32306 30433 0 -1 1077944384 19 0 0 0 10 10 0 0 20 0 24 0 510266793 8616062976 30524 33554432000 4194304 4196468 140735265945136 140569488141488 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32350] ppid=32306 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/32329/task/32350/stat : 32350 (java) S 32306 32306 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510266858 8616062976 30524 33554432000 4194304 4196468 140735265945136 140569480107456 140570265665305 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32352] ppid=32306 vsize=8414124 memory=111636 CPUtime=0.01 cores=0-7
/proc/32329/task/32352/stat : 32352 (java) S 32306 32306 30433 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 510266859 8616062976 30524 33554432000 4194304 4196468 140735265945136 140566897606160 140570265662621 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32353] ppid=32306 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/32329/task/32353/stat : 32353 (java) S 32306 32306 30433 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 510266859 8616062976 30524 33554432000 4194304 4196468 140735265945136 140567166041744 140570265662621 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32354] ppid=32306 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/32329/task/32354/stat : 32354 (java) S 32306 32306 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510266861 8616062976 30524 33554432000 4194304 4196468 140735265945136 140566629178288 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
Current children cumulated CPU time: 1946.8 s
Current children cumulated vsize: 9338504 KiB
Current children cumulated memory: 837892 KiB

[startup+255.202 s]
/proc/loadavg: 8.58 6.95 5.71 2/217 32378
/proc/meminfo: memFree=24952948/32770624 swapFree=66966880/67108860
[pid=32306] ppid=32303 vsize=113128 memory=1472 CPUtime=12.66 cores=0-7
/proc/32306/stat : 32306 (scop.sh) S 32303 32306 30433 0 -1 4202496 582 36187 0 0 0 0 1231 35 20 0 1 0 510266314 115843072 368 33554432000 4194304 5098028 140735065332688 140735065329432 139729419739772 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 39514112 140735065338620 140735065338968 140735065338968 140735065341897 0
/proc/32306/statm: 28282 368 311 221 0 87 0
[pid=32329] ppid=32306 vsize=8414124 memory=127412 CPUtime=1.43 cores=0-7
/proc/32329/stat : 32329 (java) S 32306 32306 30433 0 -1 1077944320 22401 0 0 0 134 9 0 0 20 0 24 0 510266786 8616062976 31853 33554432000 4194304 4196468 140735265945136 140735265927680 140570265640695 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
/proc/32329/statm: 2103531 31853 3218 1 0 2064875 0
[pid=32329/tid=32330] ppid=32306 vsize=8414124 memory=-8528524026124202386 CPUtime=0.75 cores=0-7
/proc/32329/task/32330/stat : 32330 (java) S 32306 32306 30433 0 -1 1077944384 16289 0 0 0 70 5 0 0 20 0 24 0 510266786 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570237480864 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32331] ppid=32306 vsize=8414124 memory=63816 CPUtime=0 cores=0-7
/proc/32329/task/32331/stat : 32331 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570269883408 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32332] ppid=32306 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/32329/task/32332/stat : 32332 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570070051984 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32333] ppid=32306 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/32329/task/32333/stat : 32333 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570068998928 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32334] ppid=32306 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32329/task/32334/stat : 32334 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570067946384 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32335] ppid=32306 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32329/task/32335/stat : 32335 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570066893328 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32336] ppid=32306 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32329/task/32336/stat : 32336 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570065840784 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32337] ppid=32306 vsize=8414124 memory=154 CPUtime=0 cores=0-7
/proc/32329/task/32337/stat : 32337 (java) S 32306 32306 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570064787728 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32338] ppid=32306 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32329/task/32338/stat : 32338 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510266788 8616062976 31853 33554432000 4194304 4196468 140735265945136 140570063735184 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32339] ppid=32306 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/32329/task/32339/stat : 32339 (java) S 32306 32306 30433 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510266789 8616062976 31853 33554432000 4194304 4196468 140735265945136 140569493404400 140570265651842 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32340] ppid=32306 vsize=8414124 memory=4796 CPUtime=0 cores=0-7
/proc/32329/task/32340/stat : 32340 (java) S 32306 32306 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510266790 8616062976 31853 33554432000 4194304 4196468 140735265945136 140568709555872 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32341] ppid=32306 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/32329/task/32341/stat : 32341 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510266790 8616062976 31853 33554432000 4194304 4196468 140735265945136 140568441119984 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32342] ppid=32306 vsize=8414124 memory=1196 CPUtime=0 cores=0-7
/proc/32329/task/32342/stat : 32342 (java) S 32306 32306 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510266792 8616062976 31853 33554432000 4194304 4196468 140735265945136 140568066611664 140570265659291 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32343] ppid=32306 vsize=8414124 memory=1044 CPUtime=0.04 cores=0-7
/proc/32329/task/32343/stat : 32343 (java) R 32306 32306 30433 0 -1 4202560 890 0 0 0 4 0 0 0 20 0 24 0 510266792 8616062976 31853 33554432000 4194304 4196468 140735265945136 140569492337240 140570247184412 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32344] ppid=32306 vsize=8414124 memory=712 CPUtime=0.09 cores=0-7
/proc/32329/task/32344/stat : 32344 (java) S 32306 32306 30433 0 -1 1077944384 325 0 0 0 9 0 0 0 20 0 24 0 510266792 8616062976 31853 33554432000 4194304 4196468 140735265945136 140569491298672 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32345] ppid=32306 vsize=8414124 memory=2832 CPUtime=0.08 cores=0-7
/proc/32329/task/32345/stat : 32345 (java) S 32306 32306 30433 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 24 0 510266792 8616062976 31853 33554432000 4194304 4196468 140735265945136 140569490245616 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32346] ppid=32306 vsize=8414124 memory=8136 CPUtime=0.23 cores=0-7
/proc/32329/task/32346/stat : 32346 (java) R 32306 32306 30433 0 -1 1077944384 1009 0 0 0 23 0 0 0 20 0 24 0 510266792 8616062976 31853 33554432000 4194304 4196468 140735265945136 140569489193072 140570265651842 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32347] ppid=32306 vsize=8414124 memory=10492 CPUtime=0 cores=0-7
/proc/32329/task/32347/stat : 32347 (java) S 32306 32306 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510266792 8616062976 31853 33554432000 4194304 4196468 140735265945136 140567568706528 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32348] ppid=32306 vsize=8414124 memory=14012 CPUtime=0.2 cores=0-7
/proc/32329/task/32348/stat : 32348 (java) S 32306 32306 30433 0 -1 1077944384 19 0 0 0 10 10 0 0 20 0 24 0 510266793 8616062976 31853 33554432000 4194304 4196468 140735265945136 140569488141488 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32350] ppid=32306 vsize=8414124 memory=14080 CPUtime=0 cores=0-7
/proc/32329/task/32350/stat : 32350 (java) S 32306 32306 30433 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510266858 8616062976 31853 33554432000 4194304 4196468 140735265945136 140569480107456 140570265665305 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32352] ppid=32306 vsize=8414124 memory=1472 CPUtime=0.04 cores=0-7
/proc/32329/task/32352/stat : 32352 (java) R 32306 32306 30433 0 -1 4202560 2197 0 0 0 3 1 0 0 20 0 24 0 510266859 8616062976 31853 33554432000 4194304 4196468 140735265945136 140566897592904 140570249721182 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32353] ppid=32306 vsize=8414124 memory=122096 CPUtime=0 cores=0-7
/proc/32329/task/32353/stat : 32353 (java) S 32306 32306 30433 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 510266859 8616062976 31853 33554432000 4194304 4196468 140735265945136 140567166041744 140570265662621 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32354] ppid=32306 vsize=8414124 memory=714156 CPUtime=0 cores=0-7
/proc/32329/task/32354/stat : 32354 (java) S 32306 32306 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510266861 8616062976 31853 33554432000 4194304 4196468 140735265945136 140566629178288 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
Current children cumulated CPU time: 14.09 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 128884 KiB

[startup+255.303 s]
/proc/loadavg: 8.58 6.95 5.71 2/217 32378
/proc/meminfo: memFree=24952948/32770624 swapFree=66966880/67108860
[pid=32306] ppid=32303 vsize=113128 memory=1472 CPUtime=12.66 cores=0-7
/proc/32306/stat : 32306 (scop.sh) S 32303 32306 30433 0 -1 4202496 582 36187 0 0 0 0 1231 35 20 0 1 0 510266314 115843072 368 33554432000 4194304 5098028 140735065332688 140735065329432 139729419739772 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 39514112 140735065338620 140735065338968 140735065338968 140735065341897 0
/proc/32306/statm: 28282 368 311 221 0 87 0
[pid=32329] ppid=32306 vsize=8283048 memory=135812 CPUtime=1934.86 cores=0-7
/proc/32329/stat : 32329 (java) S 32306 32306 30433 0 -1 1077944320 22881 1920588 0 0 155 10 192960 361 20 0 22 0 510266786 8481841152 33953 33554432000 4194304 4196468 140735265945136 140735265927680 140570265640695 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
/proc/32329/statm: 2070762 33953 3223 1 0 2032106 0
[pid=32329/tid=32330] ppid=32306 vsize=8283048 memory=714324 CPUtime=1934.03 cores=0-7
/proc/32329/task/32330/stat : 32330 (java) R 32306 32306 30433 0 -1 4202560 16563 1920588 0 0 77 5 192960 361 20 0 22 0 510266786 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570237478048 140570265652630 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32331] ppid=32306 vsize=8283048 memory=1472 CPUtime=1933.21 cores=0-7
/proc/32329/task/32331/stat : 32331 (java) S 32306 32306 30433 0 -1 1077944384 1 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570269883408 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32332] ppid=32306 vsize=8283048 memory=122096 CPUtime=1933.21 cores=0-7
/proc/32329/task/32332/stat : 32332 (java) S 32306 32306 30433 0 -1 1077944384 2 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570070051984 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32333] ppid=32306 vsize=8283048 memory=1472 CPUtime=1933.21 cores=0-7
/proc/32329/task/32333/stat : 32333 (java) S 32306 32306 30433 0 -1 1077944384 2 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570068998928 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32334] ppid=32306 vsize=8283048 memory=132 CPUtime=1933.21 cores=0-7
/proc/32329/task/32334/stat : 32334 (java) S 32306 32306 30433 0 -1 1077944384 1 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570067946384 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32335] ppid=32306 vsize=8283048 memory=0 CPUtime=1933.21 cores=0-7
/proc/32329/task/32335/stat : 32335 (java) S 32306 32306 30433 0 -1 1077944384 2 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570066893328 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32336] ppid=32306 vsize=8283048 memory=7092725658889311848 CPUtime=1933.21 cores=0-7
/proc/32329/task/32336/stat : 32336 (java) S 32306 32306 30433 0 -1 1077944384 2 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570065840784 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32337] ppid=32306 vsize=8283048 memory=63816 CPUtime=1933.21 cores=0-7
/proc/32329/task/32337/stat : 32337 (java) S 32306 32306 30433 0 -1 1077944384 2 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570064787728 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32338] ppid=32306 vsize=8283048 memory=988 CPUtime=1933.21 cores=0-7
/proc/32329/task/32338/stat : 32338 (java) S 32306 32306 30433 0 -1 1077944384 3 1920588 0 0 0 0 192960 361 20 0 22 0 510266788 8481841152 33953 33554432000 4194304 4196468 140735265945136 140570063735184 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32339] ppid=32306 vsize=8283048 memory=3612 CPUtime=1933.21 cores=0-7
/proc/32329/task/32339/stat : 32339 (java) S 32306 32306 30433 0 -1 1077944384 7 1920588 0 0 0 0 192960 361 20 0 22 0 510266789 8481841152 33953 33554432000 4194304 4196468 140735265945136 140569493404400 140570265651842 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32340] ppid=32306 vsize=8283048 memory=63816 CPUtime=1933.21 cores=0-7
/proc/32329/task/32340/stat : 32340 (java) S 32306 32306 30433 0 -1 1077944384 13 1920588 0 0 0 0 192960 361 20 0 22 0 510266790 8481841152 33953 33554432000 4194304 4196468 140735265945136 140568709555872 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32341] ppid=32306 vsize=8283048 memory=-8528524026124202386 CPUtime=1933.21 cores=0-7
/proc/32329/task/32341/stat : 32341 (java) S 32306 32306 30433 0 -1 1077944384 1 1920588 0 0 0 0 192960 361 20 0 22 0 510266790 8481841152 33953 33554432000 4194304 4196468 140735265945136 140568441119984 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32342] ppid=32306 vsize=8283048 memory=122096 CPUtime=1933.21 cores=0-7
/proc/32329/task/32342/stat : 32342 (java) S 32306 32306 30433 0 -1 1077944384 1 1920588 0 0 0 0 192960 361 20 0 22 0 510266792 8481841152 33953 33554432000 4194304 4196468 140735265945136 140568066611664 140570265659291 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32343] ppid=32306 vsize=8283048 memory=0 CPUtime=1933.28 cores=0-7
/proc/32329/task/32343/stat : 32343 (java) R 32306 32306 30433 0 -1 1077944384 920 1920588 0 0 7 0 192960 361 20 0 22 0 510266792 8481841152 33953 33554432000 4194304 4196468 140735265945136 140569492351216 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32344] ppid=32306 vsize=8283048 memory=8747226831578988619 CPUtime=1933.32 cores=0-7
/proc/32329/task/32344/stat : 32344 (java) S 32306 32306 30433 0 -1 1077944384 345 1920588 0 0 11 0 192960 361 20 0 22 0 510266792 8481841152 33953 33554432000 4194304 4196468 140735265945136 140569491298672 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32345] ppid=32306 vsize=8283048 memory=1196 CPUtime=1933.31 cores=0-7
/proc/32329/task/32345/stat : 32345 (java) S 32306 32306 30433 0 -1 1077944384 319 1920588 0 0 10 0 192960 361 20 0 22 0 510266792 8481841152 33953 33554432000 4194304 4196468 140735265945136 140569490245616 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32346] ppid=32306 vsize=8283048 memory=1044 CPUtime=1933.48 cores=0-7
/proc/32329/task/32346/stat : 32346 (java) R 32306 32306 30433 0 -1 4202560 1107 1920588 0 0 27 0 192960 361 20 0 22 0 510266792 8481841152 33953 33554432000 4194304 4196468 140735265945136 140569489193072 140570265662042 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32347] ppid=32306 vsize=8283048 memory=1472 CPUtime=1933.21 cores=0-7
/proc/32329/task/32347/stat : 32347 (java) S 32306 32306 30433 0 -1 1077944384 3 1920588 0 0 0 0 192960 361 20 0 22 0 510266792 8481841152 33953 33554432000 4194304 4196468 140735265945136 140567568706528 140570265650901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32348] ppid=32306 vsize=8283048 memory=122096 CPUtime=1933.41 cores=0-7
/proc/32329/task/32348/stat : 32348 (java) S 32306 32306 30433 0 -1 1077944384 19 1920588 0 0 10 10 192960 361 20 0 22 0 510266793 8481841152 33953 33554432000 4194304 4196468 140735265945136 140569488141488 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32350] ppid=32306 vsize=8283048 memory=712956 CPUtime=1933.21 cores=0-7
/proc/32329/task/32350/stat : 32350 (java) S 32306 32306 30433 0 -1 1077944384 24 1920588 0 0 0 0 192960 361 20 0 22 0 510266858 8481841152 33953 33554432000 4194304 4196468 140735265945136 140569480106640 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
[pid=32329/tid=32354] ppid=32306 vsize=8283048 memory=0 CPUtime=1933.21 cores=0-7
/proc/32329/task/32354/stat : 32354 (java) S 32306 32306 30433 0 -1 1077944384 9 1920588 0 0 0 0 192960 361 20 0 22 0 510266861 8481841152 33953 33554432000 4194304 4196468 140735265945136 140566629180080 140570265651842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140735265952735 140735265952902 140735265952902 140735265955791 0
Current children cumulated CPU time: 1947.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137284 KiB

Child status: 0
Real time (s): 255.351
CPU time (s): 1947.63
CPU user time (s): 1943.54
CPU system time (s): 4.09061
CPU usage (%): 762.725
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1524632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1943.54
system time used= 4.09061
maximum resident set size= 1523500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1980339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20539
involuntary context switches= 19352


# summary of solver processes directly reported to runsolver:
#   pid: 32306
#   total CPU time (s): 1947.63
#   total CPU user time (s): 1943.54
#   total CPU system time (s): 4.09061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.43312 second user time and 3.56286 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 18:40:56
IDJOB=4405575
IDBENCH=134594
IDSOLVER=2868
FILE ID=node145/4405575-1569343299
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-08-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405575-1569343299/watcher-4405575-1569343299 -o /var/tmp/evaluation-result-4405575-1569343299/solver-4405575-1569343299 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405575-1569343299.xml

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

MD5SUM BENCH= 473b10c1a98fbd59115b24ad203b92fd
RANDOM SEED=1515817887

node145.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.59
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.59
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.59
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.59
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:        25782552 kB
MemAvailable:   31809756 kB
Buffers:          148068 kB
Cached:          6031456 kB
SwapCached:        32456 kB
Active:          3015888 kB
Inactive:        3202316 kB
Active(anon):       6184 kB
Inactive(anon):    89852 kB
Active(file):    3009704 kB
Inactive(file):  3112464 kB
Unevictable:      108772 kB
Mlocked:          108772 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:             20240 kB
Writeback:             4 kB
AnonPages:        169220 kB
Mapped:            56792 kB
Shmem:             48848 kB
Slab:             362340 kB
SReclaimable:     333496 kB
SUnreclaim:        28844 kB
KernelStack:        3888 kB
PageTables:         5648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node145 at 2019-09-24 18:45:12