Trace number 4297151

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
scop both+glucose-syrup (2018-07-07)UNSAT 1389.7 175.554

General information on the benchmark

NameColouredQueens/
ColouredQueens-08_c18.xml
MD5SUM097ee2ac2bfb45f3aedded97da1eabe0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1217.89
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints42
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":64}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":60}]
Minimum constraint arity2
Maximum constraint arity8
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":18}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":42}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Jul 26 20:13:50 CEST 2018
0.66/0.56	c PID: 7252
0.66/0.56	c IP: 172.20.3.139
0.66/0.56	c HOST: node139.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.18/0.86	c (0,0) Parsing End
1.18/0.87	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 42 ctr, max domain size 8
1.18/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87	c (0,0) Constraint Name Generate Begin
1.18/0.88	c (0,0) Ctr:HOME/instance-4297151-1532628829.xml,AllDifferent:IntVar
1.18/0.88	c (0,0) Constraint Name Generate End
1.18/0.88	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.88	c (0,0) CSP to CSPinCNF Begin
1.54/1.08	c (0,0) translated 5 (10%) constraints
1.80/1.12	c (0,0) translated 9 (20%) constraints
1.80/1.15	c (0,0) translated 13 (30%) constraints
1.80/1.18	c (0,0) translated 17 (40%) constraints
2.05/1.21	c (0,0) translated 21 (50%) constraints
2.05/1.22	c (0,0) translated 26 (60%) constraints
2.05/1.23	c (0,0) translated 30 (70%) constraints
2.05/1.23	c (0,0) translated 34 (80%) constraints
2.05/1.25	c (0,0) translated 38 (90%) constraints
2.05/1.25	c (0,0) translated 42 (100%) constraints
2.34/1.32	c (0,0) STATISTICS1:HOME/instance-4297151-1532628829.xml,AllDifferent:IntVar,64,812,8,8,8,2,8:728,8:1960,8:36;7:8;6:8;5:8;4:8;3:8;2:736,2:728;1:504,
2.34/1.32	c (0,0) ===========================================
2.34/1.32	c (0,0) Both Encoding selects:
2.34/1.32	c (0,0) Order
2.34/1.32	c (0,0) ===========================================
2.34/1.34	c (0,0) translated 82 (10%) constraints
2.34/1.36	c (0,0) translated 163 (20%) constraints
2.34/1.37	c (0,0) translated 244 (30%) constraints
2.34/1.37	c (0,0) translated 325 (40%) constraints
2.34/1.38	c (0,0) translated 406 (50%) constraints
2.34/1.39	c (0,0) translated 488 (60%) constraints
2.65/1.40	c (0,0) translated 569 (70%) constraints
2.65/1.40	c (0,0) translated 650 (80%) constraints
2.65/1.41	c (0,0) translated 731 (90%) constraints
2.65/1.42	c (0,0) translated 812 (100%) constraints
2.65/1.42	c (0,0) CSP to CSPinCNF End
2.65/1.42	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8
2.65/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.65/1.42	c (0,0) CSPinCNF Propagation Begin
2.65/1.45	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.65/1.45	c (0,0) CSPinCNF Propagation End
2.65/1.45	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8
2.65/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.65/1.45	c (0,0) Simplify CSPinCNF Begin
3.00/1.57	c (1,1) Simplify CSPinCNF End
3.00/1.57	c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8
3.00/1.57	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.00/1.57	c (1,1) Calculate Precise Domain Begin
3.00/1.57	c (1,1) 0 values are removed by re-calculation
3.00/1.57	c (1,1) Calculate Precise Domain End
3.00/1.57	c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8
3.00/1.57	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.00/1.57	c (1,1) CSPinCNF to SatSolver Begin
3.35/1.67	c (1,1) 227 (10 %) CSP clauses are encoded (1904 SAT variables, 1646 SAT clauses)
3.35/1.69	c (1,1) 454 (20 %) CSP clauses are encoded (1904 SAT variables, 2902 SAT clauses)
3.76/1.71	c (1,1) 681 (30 %) CSP clauses are encoded (1904 SAT variables, 4172 SAT clauses)
3.76/1.72	c (1,1) 908 (40 %) CSP clauses are encoded (1904 SAT variables, 5428 SAT clauses)
3.76/1.74	c (1,1) 1134 (50 %) CSP clauses are encoded (1904 SAT variables, 6683 SAT clauses)
3.76/1.75	c (1,1) 1361 (60 %) CSP clauses are encoded (1904 SAT variables, 7946 SAT clauses)
3.76/1.76	c (1,1) 1588 (70 %) CSP clauses are encoded (1904 SAT variables, 9195 SAT clauses)
3.76/1.77	c (1,1) 1815 (80 %) CSP clauses are encoded (1904 SAT variables, 10409 SAT clauses)
3.76/1.78	c (1,1) 2042 (90 %) CSP clauses are encoded (1904 SAT variables, 11623 SAT clauses)
3.76/1.78	c (1,1) 2268 (100 %) CSP clauses are encoded (1904 SAT variables, 12843 SAT clauses)
3.76/1.78	c (1,1) CSPinCNF to SatSolver End
3.76/1.78	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.16/1.82	c (1,1) STATISTICS2:HOME/instance-4297151-1532628829.xml,AllDifferent:IntVar,1520,2268,8,8,8,2,8:1456,8:3416;2:2912,8:36;7:8;6:8;5:8;4:8;3:8;2:2192,2:1456;1:3416,
4.16/1.82	c (1,1) SatSolver.solve Begin
4.16/1.82	c (1,1) 1904 bool, 12844 clause
4.16/1.82	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297151-1532628829.xml-scop-7252.cnf HOME/instance-4297151-1532628829.xml-scop-7252.cnf.out
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
77.34/11.02	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
77.34/11.02	c (10,0) c ========================================[ Problem Statistics ]===========================================
77.34/11.02	c (10,0) c |                                                                                                       |
77.34/11.02	c (10,0) c |  Number of variables:          1904                                                                   |
77.34/11.02	c (10,0) c |  Number of clauses:           12844                                                                   |
77.34/11.02	c (10,0) c |  Parse time:                   0.00 s                                                                 |
77.34/11.02	c (10,0) c |                                                                                                       |
77.34/11.02	c (10,0) c |  Eliminated clauses:           0.01 Mb                                                                |
77.34/11.02	c (10,0) c |  Simplification time:          0.01 s                                                                 |
77.34/11.02	c (10,0) c |                                                                                                       |
77.34/11.02	c (10,0) c |  Generating clones                                                                                    |
77.34/11.02	c (10,0) c |  all clones generated. Memory =  34.05Mb.                                                             |
77.34/11.02	c (10,0) c ========================================================================================================|
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c |-------------------------------------------------------------------------------------------------------|
77.34/11.02	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
77.34/11.02	c (10,0) c |-------------------------------------------------------------------------------------------------------|
77.34/11.02	c (10,0) c |  0 |    107 |      88665 |      67163 |    12036 |    28628 |    10711 |    56943 |     6876 |  0.000 |
77.34/11.02	c (10,0) c |  1 |     80 |      86955 |      66680 |    12023 |    28149 |    10487 |    70253 |     7279 |  0.002 |
77.34/11.02	c (10,0) c |  2 |     75 |      82004 |      63046 |    11970 |    24513 |     9758 |    70722 |     6443 |  0.002 |
77.34/11.02	c (10,0) c |  3 |     88 |      82629 |      63583 |    12005 |    25051 |     9901 |    71051 |     7014 |  0.001 |
77.34/11.02	c (10,0) c |  4 |    127 |      83799 |      61807 |    12044 |    23271 |     9077 |    71842 |     7652 |  0.000 |
77.34/11.02	c (10,0) c |  5 |    135 |      92205 |      68600 |    12010 |    30058 |    10780 |    67891 |     6762 |  0.002 |
77.34/11.02	c (10,0) c |  6 |    141 |      83665 |      61800 |    12046 |    23261 |     9671 |    71270 |     7178 |  0.000 |
77.34/11.02	c (10,0) c |  7 |    112 |      90615 |      69687 |    12000 |    16121 |    10672 |    60417 |     6170 |  0.002 |
77.34/11.02	c (10,0) c 
77.34/11.02	c (10,0) c synthesis      522367 conflicts    60341097 propagations    15962 conflicts/sec  1843826 propagations/sec
77.34/11.02	c (10,0) c Total Memory so far : 620.42Mb
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c Try to adapt solver strategies
77.34/11.02	c (10,0) c 
77.34/11.02	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c Try to adapt solver strategies
77.34/11.02	c (10,0) c 
77.34/11.02	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c Try to adapt solver strategies
77.34/11.02	c (10,0) c 
77.34/11.02	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c Try to adapt solver strategies
77.34/11.02	c (10,0) c 
77.34/11.02	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c
77.34/11.02	c (10,0) c |-------------------------------------------------------------------------------------------------------|
77.34/11.02	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
77.34/11.02	c (10,0) c |-------------------------------------------------------------------------------------------------------|
77.34/11.02	c (10,0) c |  0 |    192 |     143102 |     112958 |    12054 |    21574 |    15262 |   104458 |    10501 |  0.000 |
77.34/11.02	c (10,0) c |  1 |     97 |     137585 |     111329 |    12037 |    40153 |    15077 |    89318 |     9420 |  0.000 |
77.34/11.02	c (10,0) c |  2 |    115 |     139296 |     113125 |    12004 |    21741 |    15679 |   100547 |     9153 |  0.000 |
77.34/11.02	c (10,0) c |  3 |    139 |     144199 |     117122 |    12047 |    25741 |    15947 |   106235 |     9662 |  0.000 |
173.08/23.02	c (22,0) c |  4 |    204 |     141146 |     110086 |    12058 |    38915 |    14498 |   107328 |    10235 |  0.000 |
173.08/23.02	c (22,0) c |  5 |    166 |     147436 |     116465 |    12043 |    25082 |    15699 |    88873 |     9105 |  0.000 |
173.08/23.02	c (22,0) c |  6 |    187 |     145096 |     115691 |    12056 |    24308 |    15331 |   107266 |    10002 |  0.000 |
173.08/23.02	c (22,0) c |  7 |    240 |     138211 |     107680 |    12024 |    36507 |    15123 |   107446 |     9082 |  0.000 |
173.08/23.02	c (22,0) c 
173.08/23.02	c (22,0) c synthesis      904456 conflicts   105864918 propagations    12470 conflicts/sec  1459625 propagations/sec
173.08/23.02	c (22,0) c Total Memory so far : 628.66Mb
173.08/23.02	c (22,0) c
173.08/23.02	c (22,0) c |-------------------------------------------------------------------------------------------------------|
173.08/23.02	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
173.08/23.02	c (22,0) c |-------------------------------------------------------------------------------------------------------|
173.08/23.02	c (22,0) c |  0 |    277 |     177811 |     140824 |    12060 |    26633 |    17681 |   127799 |    12499 |  0.000 |
173.08/23.02	c (22,0) c |  1 |    133 |     175781 |     144574 |    12040 |    30392 |    18548 |   123440 |    11476 |  0.000 |
173.08/23.02	c (22,0) c |  2 |    152 |     173294 |     142445 |    12015 |    28258 |    17984 |   117864 |    11558 |  0.002 |
173.08/23.02	c (22,0) c |  3 |    192 |     174575 |     142248 |    12055 |    28066 |    18430 |   126672 |    11786 |  0.000 |
173.08/23.02	c (22,0) c |  4 |    264 |     169072 |     132812 |    12060 |    41431 |    16712 |   117427 |    11657 |  0.000 |
173.08/23.02	c (22,0) c |  5 |    204 |     188344 |     152042 |    12048 |    37856 |    19253 |   126184 |    11051 |  0.000 |
173.08/23.02	c (22,0) c |  6 |    251 |     186954 |     151506 |    12070 |    37323 |    19253 |   116948 |    12313 |  0.000 |
173.08/23.02	c (22,0) c |  7 |    295 |     176106 |     139954 |    12030 |    25775 |    17619 |   122266 |    11350 |  0.000 |
173.08/23.02	c (22,0) c 
173.08/23.02	c (22,0) c synthesis     1146405 conflicts   135952048 propagations    10983 conflicts/sec  1302460 propagations/sec
173.08/23.02	c (22,0) c Total Memory so far : 633.83Mb
173.08/23.02	c (22,0) c
173.08/23.02	c (22,0) c |-------------------------------------------------------------------------------------------------------|
173.08/23.02	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
173.08/23.02	c (22,0) c |-------------------------------------------------------------------------------------------------------|
173.08/23.02	c (22,0) c |  0 |    363 |     209161 |     166570 |    12069 |    26977 |    19786 |   145021 |    14338 |  0.000 |
173.08/23.02	c (22,0) c |  1 |    171 |     210978 |     174868 |    12045 |    35281 |    21200 |   142659 |    13678 |  0.002 |
173.08/23.02	c (22,0) c |  2 |    152 |     195399 |     162813 |    12023 |    48626 |    19986 |   117864 |    12460 |  0.002 |
173.08/23.02	c (22,0) c |  3 |    235 |     209742 |     172427 |    12060 |    32842 |    21364 |   139329 |    13826 |  0.000 |
173.08/23.02	c (22,0) c |  4 |    288 |     204959 |     164548 |    12063 |    50366 |    19976 |   141779 |    13376 |  0.000 |
173.08/23.02	c (22,0) c |  5 |    270 |     221222 |     179495 |    12052 |    39905 |    21875 |   143056 |    13154 |  0.000 |
173.08/23.02	c (22,0) c |  6 |    345 |     216557 |     175211 |    12072 |    35627 |    21207 |   141517 |    14154 |  0.002 |
173.08/23.02	c (22,0) c |  7 |    393 |     205378 |     163398 |    12042 |    49219 |    19809 |   145199 |    13017 |  0.000 |
173.08/23.02	c (22,0) c 
173.08/23.02	c (22,0) c synthesis     1359330 conflicts   162581710 propagations     9978 conflicts/sec  1193399 propagations/sec
173.08/23.02	c (22,0) c Total Memory so far : 638.25Mb
173.08/23.02	c (22,0) c
173.08/23.02	c (22,0) c |-------------------------------------------------------------------------------------------------------|
173.08/23.02	c (22,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
173.08/23.02	c (22,0) c |-------------------------------------------------------------------------------------------------------|
173.08/23.02	c (22,0) c |  0 |    380 |     237891 |     192199 |    12070 |    52606 |    21940 |   158228 |    15761 |  0.000 |
173.08/23.02	c (22,0) c |  1 |    193 |     237104 |     197896 |    12048 |    30309 |    23708 |   157103 |    15069 |  0.000 |
173.08/23.02	c (22,0) c |  2 |    205 |     220596 |     183570 |    12032 |    43978 |    21590 |   159187 |    14562 |  0.000 |
173.08/23.02	c (22,0) c |  3 |    259 |     246547 |     204891 |    12066 |    37302 |    24681 |   156117 |    15023 |  0.000 |
268.80/35.02	c (34,0) c |  4 |    359 |     236526 |     190815 |    12065 |    51231 |    21450 |   152266 |    14908 |  0.002 |
268.80/35.02	c (34,0) c |  5 |    304 |     246978 |     201305 |    12056 |    33714 |    23636 |   157172 |    14787 |  0.000 |
268.80/35.02	c (34,0) c |  6 |    381 |     237057 |     192631 |    12077 |    53047 |    22448 |   148620 |    15424 |  0.000 |
268.80/35.02	c (34,0) c |  7 |    511 |     235459 |     187037 |    12042 |    47457 |    21366 |   157874 |    14701 |  0.000 |
268.80/35.02	c (34,0) c 
268.80/35.02	c (34,0) c synthesis     1550346 conflicts   187185371 propagations     9224 conflicts/sec  1113689 propagations/sec
268.80/35.02	c (34,0) c Total Memory so far : 640.98Mb
268.80/35.02	c (34,0) c
268.80/35.02	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.80/35.02	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
268.80/35.02	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.80/35.02	c (34,0) c |  0 |    447 |     263800 |     213578 |    12073 |    45985 |    23454 |   169193 |    17108 |  0.000 |
268.80/35.02	c (34,0) c |  1 |    355 |     260917 |     214247 |    12053 |    46660 |    24528 |   167387 |    16736 |  0.000 |
268.80/35.02	c (34,0) c |  2 |    300 |     241725 |     199649 |    12036 |    32056 |    22647 |   169649 |    16498 |  0.000 |
268.80/35.02	c (34,0) c |  3 |    280 |     276584 |     231825 |    12066 |    33635 |    26650 |   161334 |    16499 |  0.002 |
268.80/35.02	c (34,0) c |  4 |    359 |     269457 |     220913 |    12070 |    53327 |    23873 |   152266 |    15634 |  0.002 |
268.80/35.02	c (34,0) c |  5 |    383 |     270039 |     219585 |    12057 |    51994 |    24730 |   166451 |    16486 |  0.000 |
268.80/35.02	c (34,0) c |  6 |    473 |     260011 |     210458 |    12077 |    42873 |    23562 |   167800 |    17093 |  0.000 |
268.80/35.02	c (34,0) c |  7 |    571 |     261650 |     209051 |    12043 |    41468 |    23206 |   169411 |    15865 |  0.002 |
268.80/35.02	c (34,0) c 
268.80/35.02	c (34,0) c synthesis     1719306 conflicts   209411111 propagations     8598 conflicts/sec  1047282 propagations/sec
268.80/35.02	c (34,0) c Total Memory so far : 643.72Mb
268.80/35.02	c (34,0) c
268.80/35.02	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.80/35.02	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
268.80/35.02	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.80/35.02	c (34,0) c |  0 |    481 |     290173 |     236562 |    12075 |    38371 |    25208 |   173630 |    18449 |  0.000 |
268.80/35.02	c (34,0) c |  1 |    426 |     287361 |     236105 |    12058 |    37917 |    25462 |   182298 |    18226 |  0.000 |
268.80/35.02	c (34,0) c |  2 |    332 |     267571 |     222035 |    12038 |    54442 |    24112 |   177045 |    17811 |  0.002 |
268.80/35.02	c (34,0) c |  3 |    321 |     301647 |     253407 |    12069 |    55218 |    28827 |   178872 |    17388 |  0.000 |
268.80/35.02	c (34,0) c |  4 |    388 |     298008 |     246065 |    12072 |    47873 |    25853 |   175298 |    16939 |  0.002 |
268.80/35.02	c (34,0) c |  5 |    389 |     296858 |     243946 |    12061 |    45755 |    27046 |   170691 |    17701 |  0.002 |
268.80/35.02	c (34,0) c |  6 |    533 |     287580 |     233619 |    12077 |    35431 |    25537 |   181121 |    18408 |  0.002 |
268.80/35.02	c (34,0) c |  7 |    643 |     293675 |     236185 |    12050 |    38004 |    25726 |   175174 |    17209 |  0.000 |
268.80/35.02	c (34,0) c 
268.80/35.02	c (34,0) c synthesis     1907925 conflicts   232508770 propagations     8231 conflicts/sec  1003034 propagations/sec
268.80/35.02	c (34,0) c Total Memory so far : 646.67Mb
268.80/35.02	c (34,0) c
268.80/35.02	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.80/35.02	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
268.80/35.02	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.80/35.02	c (34,0) c |  0 |    541 |     308285 |     251013 |    12075 |    52822 |    26611 |   193592 |    19449 |  0.000 |
268.80/35.02	c (34,0) c |  1 |    494 |     311511 |     255821 |    12058 |    57633 |    27217 |   190121 |    19546 |  0.002 |
268.80/35.02	c (34,0) c |  2 |    388 |     295367 |     245674 |    12044 |    47483 |    26217 |   196148 |    19098 |  0.000 |
268.80/35.02	c (34,0) c |  3 |    352 |     333717 |     281760 |    12070 |    50373 |    30662 |   189171 |    18963 |  0.002 |
268.80/35.02	c (34,0) c |  4 |    388 |     318059 |     264600 |    12073 |    66408 |    27336 |   175298 |    17803 |  0.002 |
364.53/47.02	c (46,0) c |  5 |    403 |     315628 |     260775 |    12061 |    62584 |    29138 |   191153 |    18543 |  0.002 |
364.53/47.02	c (46,0) c |  6 |    566 |     316268 |     258650 |    12078 |    60462 |    27179 |   188630 |    19559 |  0.002 |
364.53/47.02	c (46,0) c |  7 |    659 |     319474 |     259346 |    12054 |    61165 |    28011 |   192359 |    18109 |  0.000 |
364.53/47.02	c (46,0) c 
364.53/47.02	c (46,0) c synthesis     2077640 conflicts   254602130 propagations     7880 conflicts/sec   965588 propagations/sec
364.53/47.02	c (46,0) c Total Memory so far : 649.24Mb
364.53/47.02	c (46,0) c
364.53/47.02	c (46,0) c |-------------------------------------------------------------------------------------------------------|
364.53/47.02	c (46,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
364.53/47.02	c (46,0) c |-------------------------------------------------------------------------------------------------------|
364.53/47.02	c (46,0) c |  0 |    559 |     329211 |     269464 |    12075 |    38072 |    27841 |   201026 |    20845 |  0.000 |
364.53/47.02	c (46,0) c |  1 |    585 |     327860 |     267969 |    12058 |    36577 |    28119 |   204889 |    20500 |  0.000 |
364.53/47.02	c (46,0) c |  2 |    448 |     316550 |     262349 |    12044 |    64158 |    28002 |   200165 |    20262 |  0.000 |
364.53/47.02	c (46,0) c |  3 |    352 |     362279 |     307732 |    12071 |    40544 |    32034 |   189171 |    20095 |  0.002 |
364.53/47.02	c (46,0) c |  4 |    398 |     344215 |     288088 |    12075 |    56698 |    28620 |   201397 |    19316 |  0.002 |
364.53/47.02	c (46,0) c |  5 |    403 |     341795 |     284804 |    12062 |    53414 |    30681 |   191153 |    19636 |  0.002 |
364.53/47.02	c (46,0) c |  6 |    607 |     341858 |     280640 |    12079 |    49253 |    28484 |   204480 |    20845 |  0.000 |
364.53/47.02	c (46,0) c |  7 |    727 |     339575 |     275476 |    12057 |    44088 |    29254 |   199738 |    19325 |  0.002 |
364.53/47.02	c (46,0) c 
364.53/47.02	c (46,0) c synthesis     2236524 conflicts   275539811 propagations     7567 conflicts/sec   932244 propagations/sec
364.53/47.02	c (46,0) c Total Memory so far : 651.76Mb
364.53/47.02	c (46,0) c
364.53/47.02	c (46,0) c |-------------------------------------------------------------------------------------------------------|
364.53/47.02	c (46,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
364.53/47.02	c (46,0) c |-------------------------------------------------------------------------------------------------------|
364.53/47.02	c (46,0) c |  0 |    599 |     348118 |     285224 |    12075 |    53832 |    28965 |   212307 |    21800 |  0.000 |
364.53/47.03	c (46,0) c |  1 |    653 |     349913 |     286007 |    12062 |    54615 |    29578 |   210806 |    21527 |  0.002 |
364.53/47.03	c (46,0) c |  2 |    455 |     335084 |     278621 |    12046 |    47228 |    29257 |   210017 |    21225 |  0.002 |
364.53/47.03	c (46,0) c |  3 |    383 |     378433 |     320937 |    12074 |    53749 |    32969 |   208305 |    21131 |  0.000 |
364.53/47.03	c (46,0) c |  4 |    474 |     360941 |     300983 |    12077 |    69593 |    29361 |   211859 |    20598 |  0.000 |
364.53/47.03	c (46,0) c |  5 |    466 |     358142 |     297834 |    12063 |    66444 |    31537 |   209784 |    20582 |  0.000 |
364.53/47.03	c (46,0) c |  6 |    680 |     356023 |     291022 |    12079 |    59635 |    29067 |   212213 |    21797 |  0.000 |
364.53/47.03	c (46,0) c |  7 |    727 |     356452 |     291049 |    12058 |    59661 |    30618 |   199738 |    20018 |  0.002 |
364.53/47.03	c (46,0) c 
364.53/47.03	c (46,0) c synthesis     2351677 conflicts   292975650 propagations     7182 conflicts/sec   894763 propagations/sec
364.53/47.03	c (46,0) c Total Memory so far : 653.84Mb
364.53/47.03	c (46,0) c
364.53/47.03	c (46,0) c |-------------------------------------------------------------------------------------------------------|
364.53/47.03	c (46,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
364.53/47.03	c (46,0) c |-------------------------------------------------------------------------------------------------------|
364.53/47.03	c (46,0) c |  0 |    624 |     367404 |     301646 |    12077 |    70254 |    30079 |   214148 |    22679 |  0.002 |
364.53/47.03	c (46,0) c |  1 |    673 |     367394 |     301255 |    12062 |    69863 |    31304 |   219053 |    22174 |  0.000 |
364.53/47.03	c (46,0) c |  2 |    486 |     356168 |     296789 |    12047 |    65396 |    30793 |   218668 |    22283 |  0.000 |
364.53/47.03	c (46,0) c |  3 |    390 |     402806 |     342659 |    12074 |    75471 |    34091 |   214114 |    22330 |  0.000 |
364.53/47.03	c (46,0) c |  4 |    505 |     387287 |     323881 |    12079 |    56692 |    30548 |   219661 |    21881 |  0.002 |
364.53/47.03	c (46,0) c |  5 |    517 |     380844 |     317023 |    12065 |    49830 |    32332 |   217859 |    21982 |  0.000 |
468.22/60.02	c (59,0) c |  6 |    745 |     369811 |     301273 |    12080 |    69886 |    29680 |   220812 |    22701 |  0.000 |
468.22/60.02	c (59,0) c |  7 |    776 |     373945 |     305611 |    12058 |    38417 |    31846 |   218787 |    20752 |  0.000 |
468.22/60.02	c (59,0) c 
468.22/60.02	c (59,0) c synthesis     2490137 conflicts   310819041 propagations     6930 conflicts/sec   865009 propagations/sec
468.22/60.02	c (59,0) c Total Memory so far : 656.13Mb
468.22/60.02	c (59,0) c
468.22/60.02	c (59,0) c |-------------------------------------------------------------------------------------------------------|
468.22/60.02	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
468.22/60.02	c (59,0) c |-------------------------------------------------------------------------------------------------------|
468.22/60.02	c (59,0) c |  0 |    654 |     390168 |     321240 |    12077 |    54053 |    31793 |   229109 |    23852 |  0.000 |
468.22/60.02	c (59,0) c |  1 |    708 |     393611 |     323738 |    12066 |    56551 |    32549 |   227231 |    23392 |  0.002 |
468.22/60.02	c (59,0) c |  2 |    534 |     377551 |     314694 |    12049 |    47502 |    32050 |   228852 |    23349 |  0.000 |
468.22/60.02	c (59,0) c |  3 |    416 |     428480 |     364688 |    12074 |    59102 |    35236 |   225183 |    23439 |  0.000 |
468.22/60.02	c (59,0) c |  4 |    562 |     405448 |     338508 |    12079 |    71320 |    31351 |   229379 |    23091 |  0.000 |
468.22/60.02	c (59,0) c |  5 |    577 |     403402 |     335431 |    12067 |    68238 |    33119 |   227789 |    23121 |  0.000 |
468.22/60.02	c (59,0) c |  6 |    753 |     396551 |     325066 |    12082 |    57878 |    31844 |   224964 |    23569 |  0.000 |
468.22/60.02	c (59,0) c |  7 |    840 |     401353 |     328246 |    12058 |    61052 |    32971 |   225348 |    22283 |  0.002 |
468.22/60.02	c (59,0) c 
468.22/60.02	c (59,0) c synthesis     2651611 conflicts   329834163 propagations     6778 conflicts/sec   843117 propagations/sec
468.22/60.02	c (59,0) c Total Memory so far : 657.82Mb
468.22/60.02	c (59,0) c
468.22/60.02	c (59,0) c |-------------------------------------------------------------------------------------------------------|
468.22/60.02	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
468.22/60.03	c (59,0) c |-------------------------------------------------------------------------------------------------------|
468.22/60.03	c (59,0) c |  0 |    693 |     411250 |     339125 |    12077 |    71938 |    32959 |   234944 |    25085 |  0.000 |
468.22/60.03	c (59,0) c |  1 |    742 |     417068 |     343786 |    12070 |    76598 |    33572 |   232706 |    24450 |  0.000 |
468.22/60.03	c (59,0) c |  2 |    595 |     396933 |     330122 |    12050 |    62930 |    33009 |   235506 |    24436 |  0.000 |
468.22/60.03	c (59,0) c |  3 |    425 |     448105 |     381821 |    12074 |    76235 |    36329 |   226074 |    24267 |  0.002 |
468.22/60.03	c (59,0) c |  4 |    625 |     427044 |     355925 |    12081 |    50337 |    32064 |   234484 |    24093 |  0.000 |
468.22/60.03	c (59,0) c |  5 |    666 |     423348 |     350543 |    12069 |    44952 |    33917 |   234656 |    24159 |  0.000 |
468.22/60.03	c (59,0) c |  6 |    791 |     409771 |     335465 |    12082 |    68277 |    32654 |   233393 |    24340 |  0.002 |
468.22/60.03	c (59,0) c |  7 |    886 |     427096 |     349910 |    12059 |    44316 |    34075 |   234380 |    23327 |  0.000 |
468.22/60.03	c (59,0) c 
468.22/60.03	c (59,0) c synthesis     2786697 conflicts   346013854 propagations     6586 conflicts/sec   817815 propagations/sec
468.22/60.03	c (59,0) c Total Memory so far : 660.48Mb
468.22/60.03	c (59,0) c
468.22/60.03	c (59,0) c |-------------------------------------------------------------------------------------------------------|
468.22/60.03	c (59,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
468.22/60.03	c (59,0) c |-------------------------------------------------------------------------------------------------------|
468.22/60.03	c (59,0) c |  0 |    755 |     441637 |     364594 |    12079 |    59002 |    34660 |   244760 |    26432 |  0.000 |
468.22/60.03	c (59,0) c |  1 |    771 |     450630 |     373127 |    12077 |    67540 |    35006 |   237276 |    25675 |  0.000 |
468.22/60.03	c (59,0) c |  2 |    663 |     423395 |     351579 |    12054 |    45985 |    35098 |   243958 |    25657 |  0.000 |
468.22/60.03	c (59,0) c |  3 |    452 |     469823 |     400109 |    12074 |    53521 |    37505 |   241931 |    25367 |  0.000 |
468.22/60.03	c (59,0) c |  4 |    703 |     450144 |     374351 |    12082 |    68763 |    32845 |   246581 |    25279 |  0.000 |
468.22/60.03	c (59,0) c |  5 |    702 |     451833 |     374509 |    12070 |    68918 |    35798 |   237192 |    25446 |  0.000 |
468.22/60.03	c (59,0) c |  6 |    833 |     431688 |     353936 |    12085 |    48350 |    33744 |   245216 |    25488 |  0.000 |
579.90/74.02	c (73,0) c |  7 |    956 |     451723 |     369804 |    12060 |    64210 |    34812 |   241854 |    24866 |  0.000 |
579.90/74.02	c (73,0) c 
579.90/74.02	c (73,0) c synthesis     2962010 conflicts   366903930 propagations     6398 conflicts/sec   792509 propagations/sec
579.90/74.02	c (73,0) c Total Memory so far : 662.68Mb
579.90/74.02	c (73,0) c
579.90/74.02	c (73,0) c |-------------------------------------------------------------------------------------------------------|
579.90/74.02	c (73,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
579.90/74.02	c (73,0) c |-------------------------------------------------------------------------------------------------------|
579.90/74.02	c (73,0) c |  0 |    797 |     462832 |     382099 |    12080 |    76507 |    35628 |   253172 |    27430 |  0.000 |
579.90/74.02	c (73,0) c |  1 |    777 |     481236 |     400407 |    12079 |    53816 |    36544 |   250668 |    26673 |  0.000 |
579.90/74.02	c (73,0) c |  2 |    742 |     446562 |     369846 |    12057 |    64252 |    36288 |   250466 |    26927 |  0.000 |
579.90/74.02	c (73,0) c |  3 |    493 |     488432 |     415329 |    12074 |    68741 |    38145 |   249909 |    26477 |  0.000 |
579.90/74.02	c (73,0) c |  4 |    747 |     478847 |     398724 |    12083 |    52136 |    34164 |   253874 |    26589 |  0.000 |
579.90/74.02	c (73,0) c |  5 |    746 |     479686 |     398113 |    12074 |    51525 |    37143 |   251691 |    26710 |  0.000 |
579.90/74.02	c (73,0) c |  6 |    843 |     453743 |     372839 |    12085 |    67253 |    35251 |   251067 |    26488 |  0.000 |
579.90/74.02	c (73,0) c |  7 |   1000 |     473077 |     387415 |    12063 |    81821 |    35671 |   253122 |    26163 |  0.000 |
579.90/74.02	c (73,0) c 
579.90/74.02	c (73,0) c synthesis     3124773 conflicts   386579937 propagations     6215 conflicts/sec   768870 propagations/sec
579.90/74.02	c (73,0) c Total Memory so far : 665.61Mb
579.90/74.02	c (73,0) c
579.90/74.02	c (73,0) c |-------------------------------------------------------------------------------------------------------|
579.90/74.02	c (73,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
579.90/74.02	c (73,0) c |-------------------------------------------------------------------------------------------------------|
579.90/74.02	c (73,0) c |  0 |    831 |     492860 |     407902 |    12080 |    61316 |    36872 |   260196 |    28639 |  0.002 |
579.90/74.02	c (73,0) c |  1 |    835 |     505995 |     420551 |    12079 |    73960 |    37632 |   260370 |    28220 |  0.000 |
579.90/74.02	c (73,0) c |  2 |    746 |     465597 |     386523 |    12060 |    80929 |    37575 |   260485 |    27837 |  0.002 |
579.90/74.02	c (73,0) c |  3 |    551 |     507527 |     430617 |    12074 |    84029 |    38827 |   258048 |    27784 |  0.000 |
579.90/74.02	c (73,0) c |  4 |    810 |     500570 |     416066 |    12084 |    69478 |    35133 |   262990 |    27799 |  0.000 |
579.90/74.02	c (73,0) c |  5 |    831 |     498182 |     412158 |    12076 |    65570 |    37941 |   260159 |    27658 |  0.000 |
579.90/74.02	c (73,0) c |  6 |    867 |     481443 |     396952 |    12085 |    50367 |    36995 |   260871 |    27666 |  0.002 |
579.90/74.02	c (73,0) c |  7 |   1041 |     499854 |     409910 |    12066 |    63315 |    37162 |   257505 |    27338 |  0.000 |
579.90/74.02	c (73,0) c 
579.90/74.02	c (73,0) c synthesis     3280680 conflicts   404351777 propagations     6046 conflicts/sec   745151 propagations/sec
579.90/74.02	c (73,0) c Total Memory so far : 668.39Mb
579.90/74.02	c (73,0) c
579.90/74.02	c (73,0) c |-------------------------------------------------------------------------------------------------------|
579.90/74.02	c (73,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
579.90/74.02	c (73,0) c |-------------------------------------------------------------------------------------------------------|
579.90/74.02	c (73,0) c |  0 |    873 |     510209 |     422267 |    12081 |    75681 |    37442 |   265313 |    29418 |  0.000 |
579.90/74.02	c (73,0) c |  1 |    867 |     519924 |     432114 |    12080 |    85523 |    38245 |   265839 |    29119 |  0.000 |
579.90/74.02	c (73,0) c |  2 |    804 |     485256 |     402064 |    12063 |    55470 |    38238 |   265260 |    28604 |  0.000 |
579.90/74.02	c (73,0) c |  3 |    599 |     529147 |     448576 |    12076 |    58387 |    39748 |   264137 |    28660 |  0.000 |
579.90/74.02	c (73,0) c |  4 |    880 |     514409 |     426326 |    12086 |    79738 |    35779 |   268393 |    28461 |  0.000 |
579.90/74.02	c (73,0) c |  5 |    902 |     510217 |     420729 |    12079 |    74141 |    38407 |   265724 |    28373 |  0.000 |
579.90/74.02	c (73,0) c |  6 |    867 |     496560 |     410472 |    12085 |    63887 |    38071 |   260871 |    28104 |  0.002 |
579.90/74.02	c (73,0) c |  7 |   1043 |     514606 |     423014 |    12066 |    76419 |    38246 |   265287 |    27938 |  0.000 |
579.90/74.02	c (73,0) c 
675.62/86.02	c (85,0) c synthesis     3385563 conflicts   417799942 propagations     5893 conflicts/sec   727190 propagations/sec
675.62/86.02	c (85,0) c Total Memory so far : 669.96Mb
675.62/86.02	c (85,0) c
675.62/86.02	c (85,0) c |-------------------------------------------------------------------------------------------------------|
675.62/86.02	c (85,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
675.62/86.02	c (85,0) c |-------------------------------------------------------------------------------------------------------|
675.62/86.02	c (85,0) c |  0 |    900 |     523779 |     433753 |    12082 |    87167 |    38207 |   272172 |    29901 |  0.000 |
675.62/86.02	c (85,0) c |  1 |    915 |     536958 |     445947 |    12082 |    55755 |    38828 |   271516 |    29871 |  0.002 |
675.62/86.02	c (85,0) c |  2 |    852 |     502105 |     415412 |    12065 |    68818 |    38860 |   270240 |    29319 |  0.000 |
675.62/86.02	c (85,0) c |  3 |    630 |     548013 |     464301 |    12076 |    74112 |    40616 |   269839 |    29431 |  0.000 |
675.62/86.02	c (85,0) c |  4 |    911 |     529581 |     439010 |    12086 |    48820 |    36675 |   273517 |    29263 |  0.000 |
675.62/86.02	c (85,0) c |  5 |    928 |     524976 |     432760 |    12079 |    86172 |    39189 |   268320 |    29174 |  0.002 |
675.62/86.02	c (85,0) c |  6 |    869 |     512764 |     424494 |    12087 |    77909 |    39214 |   270762 |    28816 |  0.000 |
675.62/86.02	c (85,0) c |  7 |   1086 |     528937 |     434481 |    12067 |    44290 |    38889 |   270524 |    28683 |  0.000 |
675.62/86.02	c (85,0) c 
675.62/86.02	c (85,0) c synthesis     3490160 conflicts   430977185 propagations     5755 conflicts/sec   710677 propagations/sec
675.62/86.02	c (85,0) c Total Memory so far : 671.80Mb
675.62/86.02	c (85,0) c
675.62/86.02	c (85,0) c |-------------------------------------------------------------------------------------------------------|
675.62/86.02	c (85,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
675.62/86.02	c (85,0) c |-------------------------------------------------------------------------------------------------------|
675.62/86.02	c (85,0) c |  0 |    914 |     541037 |     448595 |    12082 |    58408 |    39091 |   273591 |    30553 |  0.002 |
675.62/86.02	c (85,0) c |  1 |    917 |     558997 |     465555 |    12084 |    75363 |    39755 |   277169 |    30623 |  0.002 |
675.62/86.02	c (85,0) c |  2 |    907 |     514468 |     424714 |    12065 |    78120 |    39259 |   276985 |    29920 |  0.000 |
675.62/86.02	c (85,0) c |  3 |    646 |     560291 |     474366 |    12076 |    84177 |    41390 |   272961 |    30210 |  0.000 |
675.62/86.02	c (85,0) c |  4 |    930 |     550727 |     457340 |    12086 |    67150 |    37944 |   280398 |    30034 |  0.000 |
675.62/86.02	c (85,0) c |  5 |    969 |     545609 |     450036 |    12080 |    59848 |    40301 |   275121 |    29827 |  0.002 |
675.62/86.02	c (85,0) c |  6 |    888 |     535591 |     444060 |    12087 |    53877 |    40136 |   278248 |    29676 |  0.002 |
675.62/86.02	c (85,0) c |  7 |   1088 |     555286 |     457438 |    12069 |    67246 |    40611 |   277186 |    29434 |  0.000 |
675.62/86.02	c (85,0) c 
675.62/86.02	c (85,0) c synthesis     3622104 conflicts   446362937 propagations     5674 conflicts/sec   699273 propagations/sec
675.62/86.02	c (85,0) c Total Memory so far : 673.03Mb
675.62/86.02	c (85,0) c
675.62/86.02	c (85,0) c |-------------------------------------------------------------------------------------------------------|
675.62/86.02	c (85,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
675.62/86.02	c (85,0) c |-------------------------------------------------------------------------------------------------------|
675.62/86.02	c (85,0) c |  0 |    914 |     554217 |     460239 |    12083 |    58045 |    40361 |   285649 |    30899 |  0.053 |
675.62/86.02	c (85,0) c |  1 |    917 |     577237 |     481667 |    12084 |    91475 |    40497 |   277169 |    31250 |  0.002 |
675.62/86.02	c (85,0) c |  2 |    912 |     528351 |     436866 |    12067 |    46675 |    40043 |   281851 |    30574 |  0.002 |
675.62/86.02	c (85,0) c |  3 |    654 |     572342 |     484763 |    12076 |    44434 |    42422 |   283593 |    30910 |  0.053 |
675.62/86.02	c (85,0) c |  4 |    960 |     567606 |     471450 |    12086 |    81259 |    39017 |   285758 |    30791 |  0.000 |
675.62/86.02	c (85,0) c |  5 |    986 |     564430 |     466224 |    12085 |    76036 |    41318 |   279882 |    30469 |  0.000 |
675.62/86.02	c (85,0) c |  6 |    910 |     554008 |     459658 |    12087 |    69063 |    40810 |   285225 |    30451 |  0.053 |
675.62/86.02	c (85,0) c |  7 |   1130 |     572205 |     471210 |    12070 |    81019 |    41580 |   283544 |    30147 |  0.000 |
675.62/86.02	c (85,0) c 
675.62/86.02	c (85,0) c synthesis     3732079 conflicts   460108902 propagations     5568 conflicts/sec   686501 propagations/sec
819.20/104.02	c (103,0) c Total Memory so far : 674.10Mb
819.20/104.02	c (103,0) c
819.20/104.02	c (103,0) c |-------------------------------------------------------------------------------------------------------|
819.20/104.02	c (103,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
819.20/104.02	c (103,0) c |-------------------------------------------------------------------------------------------------------|
819.20/104.02	c (103,0) c |  0 |    971 |     574084 |     476438 |    12083 |    74244 |    41088 |   289678 |    31765 |  0.053 |
819.20/104.02	c (103,0) c |  1 |    917 |     599398 |     501059 |    12084 |    64671 |    41655 |   277169 |    31892 |  0.002 |
819.20/104.02	c (103,0) c |  2 |    985 |     550548 |     454459 |    12067 |    63674 |    41247 |   291940 |    31435 |  0.053 |
819.20/104.02	c (103,0) c |  3 |    676 |     592895 |     501898 |    12079 |    61569 |    43490 |   289712 |    31880 |  0.053 |
819.20/104.02	c (103,0) c |  4 |    992 |     580396 |     481989 |    12089 |    89441 |    39681 |   293502 |    31410 |  0.053 |
819.20/104.02	c (103,0) c |  5 |    990 |     577239 |     477377 |    12087 |    86087 |    42216 |   285596 |    31049 |  0.055 |
819.20/104.02	c (103,0) c |  6 |    969 |     570163 |     472303 |    12087 |    81708 |    41465 |   291673 |    31322 |  0.053 |
819.20/104.02	c (103,0) c |  7 |   1179 |     587884 |     483678 |    12072 |    46213 |    42397 |   290830 |    31057 |  0.053 |
819.20/104.02	c (103,0) c 
819.20/104.02	c (103,0) c synthesis     3849202 conflicts   475673444 propagations     5421 conflicts/sec   669892 propagations/sec
819.20/104.02	c (103,0) c Total Memory so far : 675.84Mb
819.20/104.02	c (103,0) c
819.20/104.02	c (103,0) c |-------------------------------------------------------------------------------------------------------|
819.20/104.02	c (103,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
819.20/104.02	c (103,0) c |-------------------------------------------------------------------------------------------------------|
819.20/104.02	c (103,0) c |  0 |   1033 |     597670 |     495495 |    12083 |    53102 |    41909 |   299396 |    32592 |  0.053 |
819.20/104.02	c (103,0) c |  1 |    917 |     615915 |     515538 |    12087 |    79150 |    42661 |   277169 |    32317 |  0.002 |
819.20/104.02	c (103,0) c |  2 |   1055 |     570834 |     470405 |    12069 |    79620 |    42221 |   297188 |    32236 |  0.053 |
819.20/104.02	c (103,0) c |  3 |    694 |     612175 |     517983 |    12079 |    77654 |    44812 |   294680 |    32935 |  0.055 |
819.20/104.02	c (103,0) c |  4 |   1039 |     604030 |     501376 |    12091 |    63804 |    40795 |   300496 |    32208 |  0.053 |
819.20/104.02	c (103,0) c |  5 |    990 |     592785 |     491016 |    12087 |    54073 |    43386 |   285596 |    31527 |  0.055 |
819.20/104.02	c (103,0) c |  6 |    991 |     589086 |     488019 |    12089 |    51424 |    42323 |   298597 |    32058 |  0.055 |
819.20/104.02	c (103,0) c |  7 |   1211 |     609724 |     501818 |    12073 |    64353 |    43231 |   296979 |    31998 |  0.053 |
819.20/104.02	c (103,0) c 
819.20/104.02	c (103,0) c synthesis     3981651 conflicts   492836035 propagations     5309 conflicts/sec   657158 propagations/sec
819.20/104.02	c (103,0) c Total Memory so far : 676.65Mb
819.20/104.02	c (103,0) c
819.20/104.02	c (103,0) c |-------------------------------------------------------------------------------------------------------|
819.20/104.02	c (103,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
819.20/104.02	c (103,0) c |-------------------------------------------------------------------------------------------------------|
819.20/104.02	c (103,0) c |  0 |   1067 |     615756 |     510418 |    12084 |    68026 |    42337 |   304598 |    33154 |  0.053 |
819.20/104.02	c (103,0) c |  1 |    917 |     628066 |     526160 |    12087 |    89772 |    43410 |   277169 |    32570 |  0.002 |
819.20/104.02	c (103,0) c |  2 |   1074 |     586328 |     483644 |    12071 |    46957 |    43265 |   304312 |    32794 |  0.055 |
819.20/104.02	c (103,0) c |  3 |    694 |     630514 |     534096 |    12080 |    46935 |    46263 |   294680 |    33715 |  0.055 |
820.02/104.15	c (103,0) c |  4 |   1095 |     616077 |     510194 |    12092 |    72621 |    41154 |   306549 |    32796 |  0.053 |
820.02/104.15	c (103,0) c |  5 |    994 |     610211 |     506096 |    12091 |    69153 |    44531 |   300870 |    32269 |  0.054 |
820.02/104.15	c (103,0) c |  6 |   1028 |     602664 |     498966 |    12090 |    62371 |    43136 |   303348 |    32582 |  0.053 |
820.02/104.15	c (103,0) c |  7 |   1259 |     623031 |     512206 |    12074 |    74741 |    43644 |   303031 |    32604 |  0.054 |
820.02/104.15	c (103,0) c 
820.02/104.15	c (103,0) c synthesis     4081782 conflicts   505484125 propagations     5221 conflicts/sec   646552 propagations/sec
820.02/104.15	c (103,0) c Total Memory so far : 677.67Mb
820.02/104.15	c (103,0) c
922.90/117.02	c (116,0) c |-------------------------------------------------------------------------------------------------------|
922.90/117.02	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
922.90/117.02	c (116,0) c |-------------------------------------------------------------------------------------------------------|
922.90/117.02	c (116,0) c |  0 |   1078 |     632760 |     524803 |    12086 |    82411 |    42845 |   309321 |    33872 |  0.054 |
922.90/117.02	c (116,0) c |  1 |    918 |     642601 |     538708 |    12088 |    45600 |    44720 |   309742 |    32906 |  0.107 |
922.90/117.02	c (116,0) c |  2 |   1090 |     601611 |     496420 |    12072 |    59733 |    43867 |   310259 |    33312 |  0.053 |
922.90/117.02	c (116,0) c |  3 |    726 |     650742 |     551045 |    12080 |    63884 |    47082 |   306987 |    34452 |  0.053 |
922.90/117.02	c (116,0) c |  4 |   1108 |     634461 |     526299 |    12093 |    88727 |    42127 |   311103 |    33542 |  0.053 |
922.90/117.02	c (116,0) c |  5 |    994 |     629671 |     523286 |    12091 |    86343 |    45799 |   300870 |    32893 |  0.054 |
922.90/117.02	c (116,0) c |  6 |   1065 |     617481 |     510990 |    12090 |    74395 |    43959 |   309232 |    33314 |  0.053 |
922.90/117.02	c (116,0) c |  7 |   1275 |     634262 |     521595 |    12074 |    84130 |    44141 |   308111 |    33204 |  0.053 |
922.90/117.02	c (116,0) c 
922.90/117.02	c (116,0) c synthesis     4193146 conflicts   519077235 propagations     5153 conflicts/sec   637917 propagations/sec
922.90/117.02	c (116,0) c Total Memory so far : 678.56Mb
922.90/117.02	c (116,0) c
922.90/117.02	c (116,0) c |-------------------------------------------------------------------------------------------------------|
922.90/117.02	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
922.90/117.02	c (116,0) c |-------------------------------------------------------------------------------------------------------|
922.90/117.02	c (116,0) c |  0 |   1090 |     653675 |     542725 |    12086 |    53905 |    43840 |   314439 |    34584 |  0.107 |
922.90/117.02	c (116,0) c |  1 |    932 |     659172 |     552951 |    12089 |    59843 |    45199 |   311622 |    33947 |  0.107 |
922.90/117.02	c (116,0) c |  2 |   1097 |     620216 |     512627 |    12073 |    75519 |    44498 |   315533 |    33936 |  0.105 |
922.90/117.02	c (116,0) c |  3 |    776 |     662848 |     560386 |    12080 |    72401 |    47514 |   312047 |    35030 |  0.107 |
922.90/117.02	c (116,0) c |  4 |   1121 |     652269 |     541688 |    12093 |    55490 |    42823 |   315652 |    34075 |  0.105 |
922.90/117.02	c (116,0) c |  5 |   1014 |     646498 |     537651 |    12094 |    47641 |    46921 |   312843 |    33512 |  0.105 |
922.90/117.02	c (116,0) c |  6 |   1078 |     631292 |     522802 |    12091 |    85648 |    44806 |   313310 |    33834 |  0.105 |
922.90/117.02	c (116,0) c |  7 |   1275 |     642629 |     529096 |    12074 |    91631 |    44463 |   308111 |    33553 |  0.053 |
922.90/117.02	c (116,0) c 
922.90/117.02	c (116,0) c synthesis     4299926 conflicts   532187519 propagations     5085 conflicts/sec   629378 propagations/sec
922.90/117.02	c (116,0) c Total Memory so far : 680.06Mb
922.90/117.02	c (116,0) c
922.90/117.02	c (116,0) c |-------------------------------------------------------------------------------------------------------|
922.90/117.02	c (116,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
922.90/117.02	c (116,0) c |-------------------------------------------------------------------------------------------------------|
922.90/117.02	c (116,0) c |  0 |   1104 |     677126 |     563005 |    12086 |    74185 |    45293 |   318617 |    35225 |  0.105 |
922.90/117.02	c (116,0) c |  1 |    933 |     674973 |     566714 |    12091 |    73606 |    45799 |   317574 |    34896 |  0.107 |
922.90/117.02	c (116,0) c |  2 |   1135 |     634546 |     524217 |    12073 |    87109 |    45052 |   320019 |    34664 |  0.107 |
922.90/117.02	c (116,0) c |  3 |    798 |     676275 |     571533 |    12084 |    83548 |    47976 |   318349 |    35712 |  0.105 |
922.90/117.02	c (116,0) c |  4 |   1138 |     671808 |     558297 |    12096 |    72099 |    43445 |   322493 |    34854 |  0.105 |
922.90/117.02	c (116,0) c |  5 |   1017 |     665358 |     554013 |    12097 |    64003 |    47778 |   314535 |    33941 |  0.105 |
922.90/117.02	c (116,0) c |  6 |   1086 |     643659 |     533587 |    12091 |    96433 |    45576 |   315940 |    34411 |  0.105 |
922.90/117.02	c (116,0) c |  7 |   1275 |     658463 |     543250 |    12075 |    57518 |    45458 |   308111 |    33965 |  0.053 |
922.90/117.02	c (116,0) c 
922.90/117.02	c (116,0) c synthesis     4414616 conflicts   546404312 propagations     5031 conflicts/sec   622704 propagations/sec
922.90/117.02	c (116,0) c Total Memory so far : 681.11Mb
922.90/117.02	c (116,0) c
922.90/117.02	c (116,0) c |-------------------------------------------------------------------------------------------------------|
1026.60/130.02	c (129,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1026.60/130.02	c (129,0) c |-------------------------------------------------------------------------------------------------------|
1026.60/130.02	c (129,0) c |  0 |   1104 |     702190 |     585229 |    12088 |    96409 |    47097 |   318617 |    35700 |  0.105 |
1026.60/130.02	c (129,0) c |  1 |    933 |     694687 |     584257 |    12091 |    91149 |    46708 |   317574 |    35830 |  0.107 |
1026.60/130.02	c (129,0) c |  2 |   1135 |     656507 |     543461 |    12076 |    57910 |    46431 |   320019 |    35468 |  0.107 |
1026.60/130.02	c (129,0) c |  3 |    856 |     692838 |     584505 |    12084 |    96520 |    48463 |   326936 |    36586 |  0.105 |
1026.60/130.07	c (129,0) c |  4 |   1150 |     692199 |     576226 |    12097 |    90028 |    44281 |   329130 |    35596 |  0.107 |
1026.60/130.07	c (129,0) c |  5 |   1032 |     683766 |     569891 |    12097 |    79881 |    48658 |   322401 |    34737 |  0.107 |
1026.60/130.07	c (129,0) c |  6 |   1107 |     669841 |     556142 |    12098 |    70569 |    47250 |   327940 |    35380 |  0.107 |
1026.60/130.07	c (129,0) c |  7 |   1275 |     673418 |     556652 |    12078 |    70920 |    46541 |   308111 |    34291 |  0.053 |
1026.60/130.07	c (129,0) c 
1026.60/130.07	c (129,0) c synthesis     4556363 conflicts   563699447 propagations     4967 conflicts/sec   614496 propagations/sec
1026.60/130.07	c (129,0) c Total Memory so far : 742.29Mb
1026.60/130.07	c (129,0) c
1026.60/130.07	c (129,0) c |-------------------------------------------------------------------------------------------------------|
1026.60/130.07	c (129,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1026.60/130.07	c (129,0) c |-------------------------------------------------------------------------------------------------------|
1026.60/130.07	c (129,0) c |  0 |   1137 |     721668 |     601718 |    12088 |    62975 |    48502 |   336780 |    36465 |  0.160 |
1026.60/130.07	c (129,0) c |  1 |    937 |     716506 |     603410 |    12091 |    62861 |    47571 |   335942 |    36854 |  0.107 |
1026.60/130.07	c (129,0) c |  2 |   1135 |     678646 |     562922 |    12079 |    77371 |    48695 |   320019 |    36050 |  0.109 |
1026.60/130.07	c (129,0) c |  3 |    887 |     713673 |     602252 |    12087 |    64264 |    49759 |   334977 |    37378 |  0.105 |
1026.60/130.07	c (129,0) c |  4 |   1173 |     707809 |     589382 |    12097 |    51865 |    44899 |   340359 |    36332 |  0.158 |
1026.60/130.07	c (129,0) c |  5 |   1037 |     697021 |     581591 |    12097 |    82466 |    49640 |   335613 |    35252 |  0.158 |
1026.60/130.07	c (129,0) c |  6 |   1138 |     692604 |     575626 |    12099 |    90052 |    48436 |   332201 |    36274 |  0.105 |
1026.60/130.07	c (129,0) c |  7 |   1275 |     686917 |     568917 |    12078 |    83185 |    47783 |   308111 |    34556 |  0.053 |
1026.60/130.07	c (129,0) c 
1026.60/130.07	c (129,0) c synthesis     4685818 conflicts   580019419 propagations     4895 conflicts/sec   605952 propagations/sec
1026.60/130.07	c (129,0) c Total Memory so far : 742.92Mb
1026.60/130.07	c (129,0) c
1026.60/130.07	c (129,0) c |-------------------------------------------------------------------------------------------------------|
1026.60/130.07	c (129,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1026.60/130.07	c (129,0) c |-------------------------------------------------------------------------------------------------------|
1026.60/130.07	c (129,0) c |  0 |   1145 |     736279 |     614242 |    12089 |    75499 |    49364 |   341708 |    37274 |  0.210 |
1026.60/130.07	c (129,0) c |  1 |    957 |     732852 |     617393 |    12091 |    76738 |    48262 |   343966 |    37654 |  0.210 |
1026.60/130.07	c (129,0) c |  2 |   1135 |     694737 |     577066 |    12079 |    73067 |    50395 |   340348 |    36569 |  0.210 |
1026.60/130.07	c (129,0) c |  3 |    921 |     725936 |     612118 |    12088 |    74003 |    50308 |   341546 |    37849 |  0.210 |
1026.60/130.07	c (129,0) c |  4 |   1185 |     724295 |     603541 |    12098 |    66023 |    45992 |   342519 |    36975 |  0.158 |
1026.60/130.07	c (129,0) c |  5 |   1065 |     711205 |     593455 |    12099 |    49899 |    50085 |   341537 |    35940 |  0.210 |
1026.60/130.07	c (129,0) c |  6 |   1156 |     706533 |     587637 |    12099 |   101529 |    49223 |   341116 |    36925 |  0.158 |
1026.60/130.07	c (129,0) c |  7 |   1291 |     699772 |     579850 |    12079 |    73696 |    48700 |   342986 |    35241 |  0.210 |
1026.60/130.07	c (129,0) c 
1026.60/130.07	c (129,0) c synthesis     4785303 conflicts   592135675 propagations     4838 conflicts/sec   598661 propagations/sec
1026.60/130.07	c (129,0) c Total Memory so far : 742.92Mb
1026.60/130.07	c (129,0) c
1026.60/130.07	c (129,0) c |-------------------------------------------------------------------------------------------------------|
1026.60/130.07	c (129,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1122.33/142.02	c (141,0) c |-------------------------------------------------------------------------------------------------------|
1122.33/142.02	c (141,0) c |  0 |   1163 |     746570 |     622649 |    12089 |    83626 |    49930 |   348573 |    37881 |  0.210 |
1122.33/142.02	c (141,0) c |  1 |    988 |     744776 |     626966 |    12094 |    81432 |    48673 |   349263 |    38411 |  0.212 |
1122.33/142.02	c (141,0) c |  2 |   1150 |     708734 |     588993 |    12079 |    42999 |    51341 |   347155 |    37197 |  0.210 |
1122.33/142.02	c (141,0) c |  3 |    933 |     740831 |     624855 |    12091 |    86740 |    51203 |   342961 |    38456 |  0.210 |
1122.33/142.02	c (141,0) c |  4 |   1185 |     737880 |     615615 |    12098 |    78098 |    47021 |   342519 |    37340 |  0.158 |
1122.33/142.02	c (141,0) c |  5 |   1073 |     733314 |     612914 |    12099 |    68330 |    50665 |   346453 |    36658 |  0.212 |
1122.33/142.02	c (141,0) c |  6 |   1160 |     724531 |     603346 |    12099 |    66297 |    50430 |   345689 |    37597 |  0.210 |
1122.33/142.02	c (141,0) c |  7 |   1306 |     713086 |     591092 |    12080 |    43883 |    49310 |   349057 |    36033 |  0.212 |
1122.33/142.02	c (141,0) c 
1122.33/142.02	c (141,0) c synthesis     4886430 conflicts   604478923 propagations     4786 conflicts/sec   592053 propagations/sec
1122.33/142.02	c (141,0) c Total Memory so far : 742.92Mb
1122.33/142.02	c (141,0) c
1122.33/142.02	c (141,0) c |-------------------------------------------------------------------------------------------------------|
1122.33/142.02	c (141,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1122.33/142.02	c (141,0) c |-------------------------------------------------------------------------------------------------------|
1122.33/142.02	c (141,0) c |  0 |   1180 |     758727 |     632832 |    12089 |    93809 |    50678 |   351660 |    38539 |  0.210 |
1122.33/142.02	c (141,0) c |  1 |   1014 |     756416 |     636567 |    12094 |    91033 |    49081 |   354850 |    38979 |  0.210 |
1122.33/142.02	c (141,0) c |  2 |   1165 |     724747 |     602900 |    12080 |    56906 |    51660 |   351113 |    37547 |  0.212 |
1122.33/142.02	c (141,0) c |  3 |    937 |     754288 |     636732 |    12091 |    97892 |    51989 |   350282 |    38985 |  0.212 |
1122.33/142.02	c (141,0) c |  4 |   1185 |     750349 |     626758 |    12098 |    89241 |    48241 |   342519 |    37614 |  0.158 |
1122.33/142.02	c (141,0) c |  5 |   1082 |     750381 |     627600 |    12100 |    83016 |    51203 |   352074 |    37233 |  0.210 |
1122.33/142.02	c (141,0) c |  6 |   1178 |     737096 |     613807 |    12099 |    76533 |    51351 |   352465 |    38142 |  0.210 |
1122.33/142.02	c (141,0) c |  7 |   1329 |     733653 |     608850 |    12080 |    61641 |    49737 |   354187 |    36563 |  0.210 |
1122.33/142.02	c (141,0) c 
1122.33/142.02	c (141,0) c synthesis     4986046 conflicts   617040447 propagations     4736 conflicts/sec   586050 propagations/sec
1122.33/142.02	c (141,0) c Total Memory so far : 772.56Mb
1122.33/142.02	c (141,0) c
1122.33/142.02	c (141,0) c |-------------------------------------------------------------------------------------------------------|
1122.33/142.02	c (141,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1122.33/142.02	c (141,0) c |-------------------------------------------------------------------------------------------------------|
1122.33/142.02	c (141,0) c |  0 |   1182 |     772822 |     645072 |    12089 |    53101 |    51522 |   357516 |    39161 |  0.315 |
1122.33/142.02	c (141,0) c |  1 |   1032 |     764547 |     643233 |    12094 |    97699 |    49434 |   359650 |    39466 |  0.315 |
1122.33/142.02	c (141,0) c |  2 |   1178 |     741281 |     617104 |    12081 |    70653 |    52249 |   356937 |    38024 |  0.315 |
1122.33/142.02	c (141,0) c |  3 |    937 |     767021 |     648148 |    12091 |    56432 |    52696 |   350282 |    39354 |  0.212 |
1122.33/142.02	c (141,0) c |  4 |   1197 |     764721 |     639239 |    12098 |    86464 |    49164 |   357489 |    38294 |  0.263 |
1122.33/142.02	c (141,0) c |  5 |   1098 |     763070 |     638158 |    12100 |    93468 |    51638 |   357334 |    37799 |  0.315 |
1122.33/142.02	c (141,0) c |  6 |   1193 |     752727 |     627009 |    12101 |    89733 |    52326 |   356847 |    38844 |  0.315 |
1122.33/142.02	c (141,0) c |  7 |   1336 |     752147 |     625035 |    12080 |    77168 |    50180 |   358990 |    36935 |  0.315 |
1122.33/142.02	c (141,0) c 
1122.33/142.02	c (141,0) c synthesis     5082998 conflicts   628741065 propagations     4686 conflicts/sec   579608 propagations/sec
1122.33/142.02	c (141,0) c Total Memory so far : 772.56Mb
1122.33/142.02	c (141,0) c
1122.33/142.02	c (141,0) c |-------------------------------------------------------------------------------------------------------|
1122.33/142.02	c (141,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1122.33/142.02	c (141,0) c |-------------------------------------------------------------------------------------------------------|
1234.00/156.01	c (155,0) c |  0 |   1184 |     794377 |     664072 |    12089 |    72101 |    52406 |   357727 |    40012 |  0.315 |
1234.00/156.01	c (155,0) c |  1 |   1042 |     783560 |     659700 |    12094 |    63723 |    50347 |   363590 |    40130 |  0.317 |
1234.00/156.01	c (155,0) c |  2 |   1194 |     759144 |     632524 |    12081 |    84698 |    52618 |   361020 |    38559 |  0.315 |
1234.00/156.01	c (155,0) c |  3 |    957 |     784122 |     662790 |    12091 |    70782 |    53590 |   360606 |    40138 |  0.315 |
1234.00/156.01	c (155,0) c |  4 |   1207 |     780324 |     652706 |    12098 |    53901 |    49814 |   364330 |    38856 |  0.315 |
1234.00/156.01	c (155,0) c |  5 |   1117 |     773341 |     646624 |    12100 |    51982 |    52007 |   362370 |    38398 |  0.315 |
1234.00/156.01	c (155,0) c |  6 |   1206 |     764788 |     637184 |    12101 |    94492 |    53137 |   360011 |    39376 |  0.317 |
1234.00/156.01	c (155,0) c |  7 |   1366 |     762989 |     633769 |    12080 |    85902 |    50461 |   363777 |    37449 |  0.317 |
1234.00/156.01	c (155,0) c 
1234.00/156.01	c (155,0) c synthesis     5189370 conflicts   640972918 propagations     4647 conflicts/sec   574007 propagations/sec
1234.00/156.01	c (155,0) c Total Memory so far : 836.56Mb
1234.00/156.01	c (155,0) c
1234.00/156.01	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1234.00/156.01	c (155,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1234.00/156.01	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1234.00/156.01	c (155,0) c |  0 |   1198 |     812053 |     679337 |    12089 |    87366 |    53293 |   367351 |    40926 |  0.315 |
1234.00/156.01	c (155,0) c |  1 |   1075 |     797702 |     671187 |    12097 |    75210 |    51009 |   369732 |    40783 |  0.315 |
1234.00/156.01	c (155,0) c |  2 |   1198 |     783505 |     654079 |    12082 |    57866 |    53538 |   367226 |    39309 |  0.317 |
1234.00/156.01	c (155,0) c |  3 |    971 |     799674 |     675960 |    12092 |    83952 |    54519 |   366561 |    40973 |  0.315 |
1234.00/156.01	c (155,0) c |  4 |   1230 |     802935 |     672012 |    12098 |    73207 |    50386 |   370660 |    39539 |  0.315 |
1234.00/156.01	c (155,0) c |  5 |   1143 |     789866 |     660508 |    12100 |    65448 |    52669 |   368202 |    39139 |  0.315 |
1234.00/156.01	c (155,0) c |  6 |   1206 |     782569 |     652810 |    12103 |    59168 |    54409 |   360011 |    39821 |  0.317 |
1234.00/156.01	c (155,0) c |  7 |   1366 |     779298 |     648129 |    12081 |    51902 |    51265 |   363777 |    37993 |  0.321 |
1234.00/156.01	c (155,0) c 
1234.00/156.01	c (155,0) c synthesis     5314022 conflicts   656613378 propagations     4595 conflicts/sec   567742 propagations/sec
1234.00/156.01	c (155,0) c Total Memory so far : 772.56Mb
1234.00/156.01	c (155,0) c
1234.00/156.01	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1234.00/156.01	c (155,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1234.00/156.01	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1234.00/156.01	c (155,0) c |  0 |   1207 |     831762 |     696804 |    12089 |   103115 |    54476 |   374434 |    41902 |  0.525 |
1234.00/156.01	c (155,0) c |  1 |   1115 |     811864 |     682731 |    12097 |    85822 |    51635 |   376926 |    41413 |  0.525 |
1234.00/156.01	c (155,0) c |  2 |   1216 |     805701 |     673217 |    12083 |    75584 |    55029 |   373135 |    40007 |  0.525 |
1234.00/156.01	c (155,0) c |  3 |    987 |     810373 |     684914 |    12092 |    92710 |    55094 |   369433 |    41558 |  0.473 |
1234.00/156.01	c (155,0) c |  4 |   1236 |     816592 |     684063 |    12098 |    83603 |    50750 |   374272 |    40019 |  0.473 |
1234.00/156.01	c (155,0) c |  5 |   1158 |     806356 |     674457 |    12102 |    76845 |    53518 |   374835 |    40016 |  0.527 |
1234.00/156.01	c (155,0) c |  6 |   1209 |     804132 |     671726 |    12103 |    74509 |    55363 |   368126 |    40569 |  0.420 |
1234.00/156.01	c (155,0) c |  7 |   1378 |     799364 |     665416 |    12081 |    61240 |    53105 |   375359 |    38833 |  0.525 |
1234.00/156.01	c (155,0) c 
1234.00/156.01	c (155,0) c synthesis     5433328 conflicts   671216633 propagations     4541 conflicts/sec   561037 propagations/sec
1234.00/156.01	c (155,0) c Total Memory so far : 772.56Mb
1234.00/156.01	c (155,0) c
1234.00/156.01	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1234.00/156.01	c (155,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1234.00/156.01	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1329.71/168.01	c (167,0) c |  0 |   1218 |     841789 |     705447 |    12090 |    56707 |    54863 |   377388 |    42530 |  0.525 |
1329.71/168.01	c (167,0) c |  1 |   1121 |     825332 |     694488 |    12098 |    97579 |    52304 |   379993 |    41985 |  0.527 |
1329.71/168.01	c (167,0) c |  2 |   1233 |     816985 |     682736 |    12086 |    85103 |    55804 |   377184 |    40560 |  0.527 |
1329.71/168.01	c (167,0) c |  3 |    989 |     821440 |     694656 |    12092 |   102452 |    55808 |   376145 |    42136 |  0.525 |
1329.71/168.01	c (167,0) c |  4 |   1237 |     824413 |     691079 |    12098 |    89361 |    51004 |   382332 |    40325 |  0.525 |
1329.71/168.01	c (167,0) c |  5 |   1165 |     819101 |     685491 |    12102 |    87879 |    54201 |   378129 |    40706 |  0.527 |
1329.71/168.01	c (167,0) c |  6 |   1209 |     815795 |     681990 |    12104 |    84773 |    55893 |   368126 |    40955 |  0.420 |
1329.71/168.01	c (167,0) c |  7 |   1386 |     811555 |     675725 |    12081 |    71549 |    53720 |   378483 |    39486 |  0.525 |
1329.71/168.01	c (167,0) c 
1329.71/168.01	c (167,0) c synthesis     5511612 conflicts   681449143 propagations     4487 conflicts/sec   554808 propagations/sec
1329.71/168.01	c (167,0) c Total Memory so far : 772.56Mb
1329.71/168.01	c (167,0) c
1329.71/168.01	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1329.71/168.01	c (167,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1329.71/168.01	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1329.71/168.01	c (167,0) c |  0 |   1237 |     853950 |     715563 |    12092 |    65977 |    55350 |   382676 |    43197 |  0.578 |
1329.71/168.01	c (167,0) c |  1 |   1139 |     832343 |     700334 |    12098 |   100091 |    52730 |   385144 |    42334 |  0.578 |
1329.71/168.01	c (167,0) c |  2 |   1234 |     829859 |     694211 |    12086 |    91247 |    56984 |   380439 |    41087 |  0.578 |
1329.71/168.01	c (167,0) c |  3 |   1002 |     828880 |     700917 |    12092 |   107059 |    56265 |   381720 |    42648 |  0.578 |
1329.71/168.01	c (167,0) c |  4 |   1243 |     832535 |     698039 |    12098 |    96321 |    51218 |   386167 |    40877 |  0.578 |
1329.71/168.01	c (167,0) c |  5 |   1165 |     829970 |     694983 |    12102 |    97371 |    54800 |   378129 |    41217 |  0.527 |
1329.71/168.01	c (167,0) c |  6 |   1217 |     825619 |     690633 |    12104 |    91478 |    56409 |   381457 |    41299 |  0.578 |
1329.71/168.01	c (167,0) c |  7 |   1402 |     821042 |     683583 |    12081 |    79407 |    54341 |   382659 |    40209 |  0.525 |
1329.71/168.01	c (167,0) c 
1329.71/168.01	c (167,0) c synthesis     5578263 conflicts   690722319 propagations     4427 conflicts/sec   548124 propagations/sec
1329.71/168.01	c (167,0) c Total Memory so far : 772.56Mb
1329.71/168.01	c (167,0) c
1329.71/168.01	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1329.71/168.01	c (167,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1329.71/168.01	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1329.71/168.01	c (167,0) c |  0 |   1254 |     867868 |     727456 |    12093 |    77870 |    55934 |   386958 |    43915 |  0.630 |
1329.71/168.01	c (167,0) c |  1 |   1146 |     840992 |     707600 |    12098 |    55582 |    53153 |   389778 |    42792 |  0.630 |
1329.71/168.01	c (167,0) c |  2 |   1244 |     845328 |     707764 |    12086 |    54386 |    58261 |   384365 |    41736 |  0.630 |
1329.71/168.01	c (167,0) c |  3 |   1023 |     839301 |     709389 |    12093 |    60562 |    56779 |   385875 |    43156 |  0.632 |
1329.71/168.01	c (167,0) c |  4 |   1252 |     845267 |     709251 |    12098 |    56505 |    51862 |   388014 |    41451 |  0.578 |
1329.71/168.01	c (167,0) c |  5 |   1165 |     838984 |     702912 |    12102 |   105300 |    55438 |   378129 |    41627 |  0.527 |
1329.71/168.01	c (167,0) c |  6 |   1224 |     839314 |     702509 |    12105 |   103354 |    57248 |   384153 |    42040 |  0.634 |
1329.71/168.01	c (167,0) c |  7 |   1407 |     830708 |     691934 |    12081 |    85788 |    54999 |   386507 |    40819 |  0.630 |
1329.71/168.01	c (167,0) c 
1329.71/168.01	c (167,0) c synthesis     5658815 conflicts   700805805 propagations     4380 conflicts/sec   542397 propagations/sec
1329.71/168.01	c (167,0) c Total Memory so far : 772.56Mb
1329.71/168.01	c (167,0) c
1329.71/168.01	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1329.71/168.01	c (167,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1329.71/168.01	c (167,0) c |-------------------------------------------------------------------------------------------------------|
1329.71/168.01	c (167,0) c |  0 |   1261 |     880504 |     738476 |    12093 |    88515 |    56613 |   392887 |    44567 |  1.103 |
1389.48/175.52	c (174,0) c |  1 |   1161 |     852353 |     717059 |    12099 |    65040 |    53752 |   395704 |    43380 |  1.156 |
1389.48/175.52	c (174,0) c |  2 |   1246 |     858527 |     719105 |    12087 |    62042 |    59201 |   390066 |    42390 |  1.103 |
1389.48/175.52	c (174,0) c |  3 |   1026 |     854204 |     722425 |    12095 |    73598 |    57806 |   390225 |    43695 |  0.998 |
1389.48/175.52	c (174,0) c |  4 |   1254 |     857099 |     719458 |    12098 |    61113 |    52360 |   396357 |    42058 |  1.103 |
1389.48/175.52	c (174,0) c |  5 |   1165 |     852776 |     715078 |    12102 |    60160 |    56262 |   392198 |    42437 |  1.155 |
1389.48/175.52	c (174,0) c |  6 |   1226 |     850573 |     712210 |    12106 |    60739 |    57986 |   391451 |    42523 |  1.103 |
1389.48/175.52	c (174,0) c |  7 |   1412 |     841698 |     701346 |    12081 |    95200 |    55876 |   392500 |    41473 |  1.103 |
1389.48/175.52	c (174,0) c 
1389.48/175.52	c (174,0) c synthesis     5745157 conflicts   711923105 propagations     4339 conflicts/sec   537726 propagations/sec
1389.48/175.52	c (174,0) c Total Memory so far : 772.56Mb
1389.48/175.52	c (174,0) c
1389.48/175.52	c (174,0) c |-------------------------------------------------------------------------------------------------------|
1389.48/175.52	c (174,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1389.48/175.52	c (174,0) c |-------------------------------------------------------------------------------------------------------|
1389.48/175.52	c (174,0) c |  0 |   1267 |     887145 |     744026 |    12093 |    94064 |    56987 |   397097 |    45135 |  1.208 |
1389.48/175.52	c (174,0) c |  1 |   1161 |     861015 |     724542 |    12099 |    72522 |    54318 |   395704 |    43814 |  1.156 |
1389.48/175.52	c (174,0) c |  2 |   1246 |     870115 |     729144 |    12087 |    72081 |    60038 |   390066 |    42993 |  1.103 |
1389.48/175.52	c (174,0) c |  3 |   1027 |     862265 |     729308 |    12095 |    78557 |    58459 |   394635 |    44190 |  1.208 |
1389.48/175.52	c (174,0) c |  4 |   1255 |     868265 |     729118 |    12098 |    70773 |    52898 |   397873 |    42665 |  1.103 |
1389.48/175.52	c (174,0) c |  5 |   1171 |     863165 |     723981 |    12103 |    68199 |    56967 |   396086 |    43103 |  1.261 |
1389.48/175.52	c (174,0) c |  6 |   1229 |     859014 |     719382 |    12106 |    64405 |    58409 |   393784 |    42988 |  1.156 |
1389.48/175.52	c (174,0) c |  7 |   1413 |     858475 |     715966 |    12081 |    59174 |    56972 |   397760 |    42185 |  1.208 |
1389.48/175.52	c (174,0) c 
1389.48/175.52	c (174,0) c synthesis     5815467 conflicts   721806045 propagations     4289 conflicts/sec   532374 propagations/sec
1389.48/175.52	c (174,0) c Total Memory so far : 772.56Mb
1389.48/175.52	c (174,0) c Thread 1 is 100% pure glucose! First thread to finish! (UNSAT answer).
1389.48/175.52	c (174,0) c Total Memory so far : 772.56Mb
1389.48/175.52	c (174,0) c
1389.48/175.52	c (174,0) c real time : 173.683 s
1389.48/175.52	c (174,0) c cpu time  : 1383.79 s
1389.48/175.52	c (174,0) c
1389.48/175.52	c (174,0) c
1389.48/175.52	c (174,0) c
1389.48/175.52	c (174,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1389.48/175.52	c (174,0) c
1389.48/175.52	c (174,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1389.48/175.52	c (174,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1389.48/175.52	c (174,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1389.48/175.52	c (174,0) c | Conflicts     |         5865851 |     747898 |     732979 |     735596 |     736412 |     735349 |     730310 |     725534 |     721773 |
1389.48/175.52	c (174,0) c | Decisions     |         6987612 |     891632 |     870856 |     877443 |     870360 |     875351 |     870579 |     866222 |     865169 |
1389.48/175.52	c (174,0) c | Propagations  |       729251353 |   90286899 |   92506019 |   94173137 |   88027160 |   92626897 |   91375145 |   88146395 |   92109701 |
1389.48/175.52	c (174,0) c | Avg_Trail     |                 |        780 |        778 |        778 |        780 |        776 |        774 |        777 |        774 |
1389.48/175.52	c (174,0) c | Avg_DL        |                 |         16 |         15 |         16 |         16 |         16 |         16 |         16 |         16 |
1389.48/175.52	c (174,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1389.48/175.52	c (174,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1389.48/175.52	c (174,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1389.48/175.52	c (174,0) c | Exported      |          459520 |      57357 |      54982 |      60633 |      59315 |      53343 |      57480 |      59006 |      57404 |
1389.48/175.52	c (174,0) c | Imported      |         3185208 |     400125 |     404538 |     390066 |     398372 |     397873 |     398559 |     397915 |     397760 |
1389.48/175.52	c (174,0) c | Good          |            2421 |        320 |        325 |        273 |        321 |        292 |        294 |        296 |        300 |
1389.48/175.52	c (174,0) c | Purge         |         3182787 |     399805 |     404213 |     389793 |     398051 |     397581 |     398265 |     397619 |     397460 |
1389.48/175.52	c (174,0) c | Promoted      |          350644 |      45505 |      44243 |      43304 |      44734 |      42981 |      43665 |      43551 |      42661 |
1389.48/175.52	c (174,0) c | Remove_Imp    |         2117759 |     251783 |     269413 |     266901 |     259250 |     271253 |     257024 |     262390 |     279745 |
1389.48/175.52	c (174,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1389.48/175.52	c (174,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1389.48/175.52	c (174,0) c | Unaries       |                 |          4 |          6 |          4 |          3 |          0 |          4 |          7 |          2 |
1389.48/175.52	c (174,0) c | Binaries      |                 |         43 |         53 |         50 |         40 |         29 |         56 |         62 |         45 |
1389.48/175.52	c (174,0) c | Glues         |                 |        240 |        256 |        206 |        250 |        258 |        267 |        265 |        234 |
1389.48/175.52	c (174,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1389.48/175.52	c (174,0) c | Orig_Seen     |            94 % |      12093 |      12099 |      12087 |      12095 |      12098 |      12103 |      12107 |      12081 |
1389.48/175.52	c (174,0) c | Diff Orig seen|                 | -        6 |      X     | -       12 | -        4 | -        1 |          4 |          8 | -       18 |
1389.48/175.52	c (174,0) c | Hamming       |            25 % |        506 |      X     |        538 |        489 |        489 |        471 |        467 |        468 |
1389.48/175.52	c (174,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1389.48/175.52	c (174,0) 
1389.48/175.52	c (174,0) s UNSATISFIABLE
1389.48/175.54	c (175,1) SatSolver.solve End
1389.48/175.54	c (175,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
1389.48/175.54	c (175,1) Show results Begin
1389.48/175.54	s UNSATISFIABLE
1389.48/175.54	c (175,1) Show results End
1389.48/175.54	c (175,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
1389.48/175.54	c (175,1) 0,0,0,0,1,1,1,175,175,STOP-AFTER(ALL)
1389.48/175.54	c END-Prog: Thu Jul 26 20:16:45 CEST 2018

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297151-1532628829/watcher-4297151-1532628829 -o /tmp/evaluation-result-4297151-1532628829/solver-4297151-1532628829 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532623784-6898 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297151-1532628829.xml 

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

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


[startup+0.100142 s]*
/proc/loadavg: 7.55 8.27 8.34 3/199 7272
/proc/meminfo: memFree=12218204/32770624 swapFree=67108860/67108860
[pid=7252] ppid=7249 vsize=27312552 memory=109260 CPUtime=0.11 cores=0-7
/proc/7252/stat : 7252 (java) S 7249 7252 6871 0 -1 1077944320 6830 0 0 0 8 3 0 0 20 0 20 0 80446113 27968053248 27315 33554432000 4194304 4196468 140734892802704 140734892785248 140320176410359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
/proc/7252/statm: 6828138 27315 2748 1 0 6790598 0
[pid=7252/tid=7254] ppid=7249 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7252/task/7254/stat : 7254 (java) R 7249 7252 6871 0 -1 4202560 4961 0 0 0 7 2 0 0 20 0 20 0 80446114 27968053248 27315 33554432000 4194304 4196468 140734892802704 140320148181392 140320160490846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7255] ppid=7249 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7252/task/7255/stat : 7255 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140320180652688 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7256] ppid=7249 vsize=27312552 memory=140299873531520 CPUtime=0 cores=0-7
/proc/7252/task/7256/stat : 7256 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140320005294608 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7257] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7257/stat : 7257 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319597951376 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7258] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7258/stat : 7258 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319596898576 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7259] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7259/stat : 7259 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319595846800 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7260] ppid=7249 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7252/task/7260/stat : 7260 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319594794000 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7261] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7261/stat : 7261 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319593741200 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7262] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7262/stat : 7262 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319592688400 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7263] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7263/stat : 7263 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319168440688 140320176421506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7264] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7264/stat : 7264 (java) S 7249 7252 6871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 27315 33554432000 4194304 4196468 140734892802704 140318125057056 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7265] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7265/stat : 7265 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 27315 33554432000 4194304 4196468 140734892802704 140317856621424 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7266] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7266/stat : 7266 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 27315 33554432000 4194304 4196468 140734892802704 140317482112848 140320176428955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7267] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7267/stat : 7267 (java) S 7249 7252 6871 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319167388528 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7268] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7268/stat : 7268 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319166335728 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7269] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7269/stat : 7269 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319165282928 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7270] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7270/stat : 7270 (java) S 7249 7252 6871 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319164230128 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7271] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7271/stat : 7271 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 27315 33554432000 4194304 4196468 140734892802704 140316984207968 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7272] ppid=7249 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7252/task/7272/stat : 7272 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 27315 33554432000 4194304 4196468 140734892802704 140319163177520 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109260 KiB

[startup+0.210277 s]*
/proc/loadavg: 7.55 8.27 8.34 2/199 7272
/proc/meminfo: memFree=12202080/32770624 swapFree=67108860/67108860
[pid=7252] ppid=7249 vsize=27312552 memory=123368 CPUtime=0.25 cores=0-7
/proc/7252/stat : 7252 (java) S 7249 7252 6871 0 -1 1077944320 10625 0 0 0 21 4 0 0 20 0 20 0 80446113 27968053248 30842 33554432000 4194304 4196468 140734892802704 140734892785248 140320176410359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
/proc/7252/statm: 6828138 30842 2852 1 0 6790598 0
[pid=7252/tid=7254] ppid=7249 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/7252/task/7254/stat : 7254 (java) R 7249 7252 6871 0 -1 4202560 8527 0 0 0 17 3 0 0 20 0 20 0 80446114 27968053248 30842 33554432000 4194304 4196468 140734892802704 140320148199104 140320176432285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7255] ppid=7249 vsize=27312552 memory=12881 CPUtime=0 cores=0-7
/proc/7252/task/7255/stat : 7255 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140320180652688 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7256] ppid=7249 vsize=27312552 memory=140299873538916 CPUtime=0 cores=0-7
/proc/7252/task/7256/stat : 7256 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140320005294608 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7257] ppid=7249 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7252/task/7257/stat : 7257 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319597951376 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7258] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7258/stat : 7258 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319596898576 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7259] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7259/stat : 7259 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319595846800 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7260] ppid=7249 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7252/task/7260/stat : 7260 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319594794000 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7261] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7261/stat : 7261 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319593741200 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7262] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7262/stat : 7262 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319592688400 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7263] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7263/stat : 7263 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319168440688 140320176421506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7264] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7264/stat : 7264 (java) S 7249 7252 6871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 30842 33554432000 4194304 4196468 140734892802704 140318125057056 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7265] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7265/stat : 7265 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 30842 33554432000 4194304 4196468 140734892802704 140317856621424 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7266] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7266/stat : 7266 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 30842 33554432000 4194304 4196468 140734892802704 140317482112848 140320176428955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7267] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7267/stat : 7267 (java) S 7249 7252 6871 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319167388528 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7268] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7268/stat : 7268 (java) S 7249 7252 6871 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319166335728 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7269] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7269/stat : 7269 (java) S 7249 7252 6871 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319165282928 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7270] ppid=7249 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/7252/task/7270/stat : 7270 (java) S 7249 7252 6871 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 20 0 80446121 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319164230128 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7271] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7271/stat : 7271 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 30842 33554432000 4194304 4196468 140734892802704 140316984207968 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7272] ppid=7249 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7252/task/7272/stat : 7272 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 30842 33554432000 4194304 4196468 140734892802704 140319163177520 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123368 KiB

[startup+0.310247 s]*
/proc/loadavg: 7.55 8.27 8.34 2/199 7272
/proc/meminfo: memFree=12198172/32770624 swapFree=67108860/67108860
[pid=7252] ppid=7249 vsize=27312552 memory=127312 CPUtime=0.42 cores=0-7
/proc/7252/stat : 7252 (java) S 7249 7252 6871 0 -1 1077944320 11218 0 0 0 38 4 0 0 20 0 20 0 80446113 27968053248 31828 33554432000 4194304 4196468 140734892802704 140734892785248 140320176410359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
/proc/7252/statm: 6828138 31828 2999 1 0 6790598 0
[pid=7252/tid=7254] ppid=7249 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7252/task/7254/stat : 7254 (java) R 7249 7252 6871 0 -1 4202560 8945 0 0 0 26 3 0 0 20 0 20 0 80446114 27968053248 31828 33554432000 4194304 4196468 140734892802704 140320148214512 140320176432285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7255] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7255/stat : 7255 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140320180652688 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7256] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7256/stat : 7256 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140320005294608 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7257] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7257/stat : 7257 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319597951376 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7258] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7258/stat : 7258 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319596898576 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7259] ppid=7249 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/7252/task/7259/stat : 7259 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319595846800 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7260] ppid=7249 vsize=27312552 memory=140299737330607 CPUtime=0 cores=0-7
/proc/7252/task/7260/stat : 7260 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319594794000 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7261] ppid=7249 vsize=27312552 memory=140299737332912 CPUtime=0 cores=0-7
/proc/7252/task/7261/stat : 7261 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319593741200 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7262] ppid=7249 vsize=27312552 memory=140299737335216 CPUtime=0 cores=0-7
/proc/7252/task/7262/stat : 7262 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319592688400 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7263] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7263/stat : 7263 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319168440688 140320176421506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7264] ppid=7249 vsize=27312552 memory=280599474677392 CPUtime=0 cores=0-7
/proc/7252/task/7264/stat : 7264 (java) S 7249 7252 6871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 31828 33554432000 4194304 4196468 140734892802704 140318125057056 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7265] ppid=7249 vsize=27312552 memory=280599474684304 CPUtime=0 cores=0-7
/proc/7252/task/7265/stat : 7265 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446118 27968053248 31828 33554432000 4194304 4196468 140734892802704 140317856621424 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7266] ppid=7249 vsize=27312552 memory=280599474625584 CPUtime=0 cores=0-7
/proc/7252/task/7266/stat : 7266 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 31828 33554432000 4194304 4196468 140734892802704 140317482112848 140320176428955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7267] ppid=7249 vsize=27312552 memory=280599474698128 CPUtime=0 cores=0-7
/proc/7252/task/7267/stat : 7267 (java) S 7249 7252 6871 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319167388528 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7268] ppid=7249 vsize=27312552 memory=280599474705040 CPUtime=0.01 cores=0-7
/proc/7252/task/7268/stat : 7268 (java) S 7249 7252 6871 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 20 0 80446121 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319166335728 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7269] ppid=7249 vsize=27312552 memory=280599474702736 CPUtime=0.02 cores=0-7
/proc/7252/task/7269/stat : 7269 (java) S 7249 7252 6871 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 20 0 80446121 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319165282928 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7270] ppid=7249 vsize=27312552 memory=280599474719344 CPUtime=0.07 cores=0-7
/proc/7252/task/7270/stat : 7270 (java) S 7249 7252 6871 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 20 0 80446121 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319164230128 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7271] ppid=7249 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7271/stat : 7271 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 31828 33554432000 4194304 4196468 140734892802704 140316984207968 140320176420565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7272] ppid=7249 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7252/task/7272/stat : 7272 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446121 27968053248 31828 33554432000 4194304 4196468 140734892802704 140319163177520 140320176421506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127312 KiB

[startup+0.700794 s]
/proc/loadavg: 7.55 8.27 8.34 2/199 7272
/proc/meminfo: memFree=12173740/32770624 swapFree=67108860/67108860
[pid=7252] ppid=7249 vsize=27320948 memory=165364 CPUtime=0.98 cores=0-7
/proc/7252/stat : 7252 (java) S 7249 7252 6871 0 -1 1077944320 18363 0 0 0 91 7 0 0 20 0 20 0 80446113 27976650752 41310 33554432000 4194304 4196468 140734892802704 140734892785248 140320176410359 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
/proc/7252/statm: 6830237 41310 3149 1 0 6791622 0
[pid=7252/tid=7254] ppid=7249 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/7252/task/7254/stat : 7254 (java) R 7249 7252 6871 0 -1 4202560 15642 0 0 0 61 6 0 0 20 0 20 0 80446114 27976650752 41341 33554432000 4194304 4196468 140734892802704 140320148241808 140320160453989 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7255] ppid=7249 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7255/stat : 7255 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140320180652688 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7256] ppid=7249 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7256/stat : 7256 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140320005294608 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7257] ppid=7249 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7257/stat : 7257 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140319597951376 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7258] ppid=7249 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/7252/task/7258/stat : 7258 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140319596898576 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7259] ppid=7249 vsize=27320948 memory=10604 CPUtime=0 cores=0-7
/proc/7252/task/7259/stat : 7259 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140319595846800 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7260] ppid=7249 vsize=27320948 memory=4616 CPUtime=0 cores=0-7
/proc/7252/task/7260/stat : 7260 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140319594794000 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7261] ppid=7249 vsize=27320948 memory=1428 CPUtime=0 cores=0-7
/proc/7252/task/7261/stat : 7261 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140319593741200 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7262] ppid=7249 vsize=27320948 memory=15876 CPUtime=0 cores=0-7
/proc/7252/task/7262/stat : 7262 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446116 27976650752 41341 33554432000 4194304 4196468 140734892802704 140319592688400 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7263] ppid=7249 vsize=27320948 memory=16436 CPUtime=0 cores=0-7
/proc/7252/task/7263/stat : 7263 (java) S 7249 7252 6871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80446118 27976650752 41341 33554432000 4194304 4196468 140734892802704 140319168440688 140320176421506 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0

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

[pid=7252/tid=7276] ppid=7249 vsize=27982760 memory=1580 CPUtime=0.02 cores=0-7
/proc/7252/task/7276/stat : 7276 (java) S 7249 7252 6871 0 -1 4202560 723 0 0 0 1 1 0 0 20 0 24 0 80446298 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316313108720 140320176432285 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7277] ppid=7249 vsize=27982760 memory=2240 CPUtime=0 cores=0-7
/proc/7252/task/7277/stat : 7277 (java) S 7249 7252 6871 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 80446298 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316581543856 140320176432285 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7284] ppid=7249 vsize=27982760 memory=4124 CPUtime=0 cores=0-7
/proc/7252/task/7284/stat : 7284 (java) S 7249 7252 6871 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80446300 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316044680736 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
Current children cumulated CPU time: 1387.08 s
Current children cumulated vsize: 28773856 KiB
Current children cumulated memory: 877020 KiB

[startup+175.402 s]
/proc/loadavg: 8.05 8.23 8.31 9/211 7287
/proc/meminfo: memFree=11450568/32770624 swapFree=67108860/67108860
[pid=7252] ppid=7249 vsize=27982760 memory=302012 CPUtime=4.84 cores=0-7
/proc/7252/stat : 7252 (java) S 7249 7252 6871 0 -1 1077944320 25816 0 0 0 468 16 0 0 20 0 24 0 80446113 28654346240 75503 33554432000 4194304 4196468 140734892802704 140734892785248 140320176410359 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
/proc/7252/statm: 6995690 75503 3226 1 0 6956546 0
[pid=7273] ppid=7252 vsize=791096 memory=575008 CPUtime=1383.84 cores=0-7
/proc/7273/stat : 7273 (glucose-syrup) S 7252 7252 6871 0 -1 1077944320 381225 0 0 0 138284 100 0 0 20 0 9 0 80446297 810082304 143752 33554432000 4194304 4373367 140726441403904 140726441402448 140407612394114 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
/proc/7273/statm: 197774 143752 384 44 0 193462 0
[pid=7273/tid=7278] ppid=7252 vsize=791096 memory=844 CPUtime=173.4 cores=0-7
/proc/7273/task/7278/stat : 7278 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 47079 0 0 0 17328 12 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407597165936 4271828 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7279] ppid=7252 vsize=791096 memory=1796 CPUtime=173.37 cores=0-7
/proc/7273/task/7279/stat : 7279 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 45055 0 0 0 17326 11 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407588773232 4271977 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7280] ppid=7252 vsize=791096 memory=916 CPUtime=171.47 cores=0-7
/proc/7273/task/7280/stat : 7280 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 49240 0 0 0 17135 12 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407580380304 4258908 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7281] ppid=7252 vsize=791096 memory=4140 CPUtime=173.47 cores=0-7
/proc/7273/task/7281/stat : 7281 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 47624 0 0 0 17334 13 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407571987824 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7282] ppid=7252 vsize=791096 memory=1412 CPUtime=172.67 cores=0-7
/proc/7273/task/7282/stat : 7282 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 44582 0 0 0 17256 11 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407563595120 4272305 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7283] ppid=7252 vsize=791096 memory=3692 CPUtime=173.45 cores=0-7
/proc/7273/task/7283/stat : 7283 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 48439 0 0 0 17334 11 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407555202192 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7285] ppid=7252 vsize=791096 memory=302012 CPUtime=172.46 cores=0-7
/proc/7273/task/7285/stat : 7285 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 48420 0 0 0 17233 13 0 0 20 0 9 0 80446300 810082304 143752 33554432000 4194304 4373367 140726441403904 140407412591984 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7286] ppid=7252 vsize=791096 memory=575004 CPUtime=173.44 cores=0-7
/proc/7273/task/7286/stat : 7286 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 47772 0 0 0 17333 11 0 0 20 0 9 0 80446300 810082304 143752 33554432000 4194304 4373367 140726441403904 140407546809488 4271619 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7252/tid=7254] ppid=7249 vsize=27982760 memory=4108 CPUtime=1.84 cores=0-7
/proc/7252/task/7254/stat : 7254 (java) S 7249 7252 6871 0 -1 1077944384 17470 0 0 0 176 8 0 0 20 0 24 0 80446114 28654346240 75503 33554432000 4194304 4196468 140734892802704 140320148249600 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7255] ppid=7249 vsize=27982760 memory=-6733704525061579059 CPUtime=0 cores=0-7
/proc/7252/task/7255/stat : 7255 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140320180652688 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7256] ppid=7249 vsize=27982760 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7252/task/7256/stat : 7256 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140320005294608 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7257] ppid=7249 vsize=27982760 memory=960 CPUtime=0 cores=0-7
/proc/7252/task/7257/stat : 7257 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319597951376 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7258] ppid=7249 vsize=27982760 memory=574952 CPUtime=0 cores=0-7
/proc/7252/task/7258/stat : 7258 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319596898576 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7259] ppid=7249 vsize=27982760 memory=574940 CPUtime=0 cores=0-7
/proc/7252/task/7259/stat : 7259 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319595846800 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7260] ppid=7249 vsize=27982760 memory=932 CPUtime=0 cores=0-7
/proc/7252/task/7260/stat : 7260 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319594794000 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7261] ppid=7249 vsize=27982760 memory=1580 CPUtime=0 cores=0-7
/proc/7252/task/7261/stat : 7261 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319593741200 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7262] ppid=7249 vsize=27982760 memory=2240 CPUtime=0 cores=0-7
/proc/7252/task/7262/stat : 7262 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319592688400 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7263] ppid=7249 vsize=27982760 memory=4128 CPUtime=0 cores=0-7
/proc/7252/task/7263/stat : 7263 (java) S 7249 7252 6871 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 80446118 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319168440688 140320176421506 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7264] ppid=7249 vsize=27982760 memory=575000 CPUtime=0 cores=0-7
/proc/7252/task/7264/stat : 7264 (java) S 7249 7252 6871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80446118 28654346240 75503 33554432000 4194304 4196468 140734892802704 140318125057056 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7265] ppid=7249 vsize=27982760 memory=574996 CPUtime=0 cores=0-7
/proc/7252/task/7265/stat : 7265 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446118 28654346240 75503 33554432000 4194304 4196468 140734892802704 140317856621424 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7266] ppid=7249 vsize=27982760 memory=16101455274707249 CPUtime=0 cores=0-7
/proc/7252/task/7266/stat : 7266 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140317482112848 140320176428955 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7267] ppid=7249 vsize=27982760 memory=1008 CPUtime=0.56 cores=0-7
/proc/7252/task/7267/stat : 7267 (java) S 7249 7252 6871 0 -1 1077944384 823 0 0 0 55 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319167388528 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7268] ppid=7249 vsize=27982760 memory=9992 CPUtime=0.84 cores=0-7
/proc/7252/task/7268/stat : 7268 (java) S 7249 7252 6871 0 -1 1077944384 1797 0 0 0 83 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319166335728 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7269] ppid=7249 vsize=27982760 memory=1228 CPUtime=0.58 cores=0-7
/proc/7252/task/7269/stat : 7269 (java) S 7249 7252 6871 0 -1 1077944384 746 0 0 0 57 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319165282928 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7270] ppid=7249 vsize=27982760 memory=-8341965534556230502 CPUtime=0.85 cores=0-7
/proc/7252/task/7270/stat : 7270 (java) S 7249 7252 6871 0 -1 1077944384 2842 0 0 0 84 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319164230128 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7271] ppid=7249 vsize=27982760 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/7252/task/7271/stat : 7271 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316984207968 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7272] ppid=7249 vsize=27982760 memory=-8412652177879177843 CPUtime=0.08 cores=0-7
/proc/7252/task/7272/stat : 7272 (java) S 7249 7252 6871 0 -1 1077944384 13 0 0 0 0 8 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319163177520 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7274] ppid=7249 vsize=27982760 memory=4715433313220523562 CPUtime=0 cores=0-7
/proc/7252/task/7274/stat : 7274 (java) S 7249 7252 6871 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80446297 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319534650432 140320176434969 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7276] ppid=7249 vsize=27982760 memory=-6520471753822164382 CPUtime=0.02 cores=0-7
/proc/7252/task/7276/stat : 7276 (java) S 7249 7252 6871 0 -1 4202560 723 0 0 0 1 1 0 0 20 0 24 0 80446298 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316313108720 140320176432285 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7277] ppid=7249 vsize=27982760 memory=132 CPUtime=0 cores=0-7
/proc/7252/task/7277/stat : 7277 (java) S 7249 7252 6871 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 80446298 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316581543856 140320176432285 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7284] ppid=7249 vsize=27982760 memory=7882823714812160358 CPUtime=0 cores=0-7
/proc/7252/task/7284/stat : 7284 (java) S 7249 7252 6871 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80446300 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316044680736 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
Current children cumulated CPU time: 1388.68 s
Current children cumulated vsize: 28773856 KiB
Current children cumulated memory: 877020 KiB

[startup+175.502 s]
/proc/loadavg: 8.05 8.23 8.31 9/211 7287
/proc/meminfo: memFree=11450568/32770624 swapFree=67108860/67108860
[pid=7252] ppid=7249 vsize=27982760 memory=302012 CPUtime=4.84 cores=0-7
/proc/7252/stat : 7252 (java) S 7249 7252 6871 0 -1 1077944320 25816 0 0 0 468 16 0 0 20 0 24 0 80446113 28654346240 75503 33554432000 4194304 4196468 140734892802704 140734892785248 140320176410359 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
/proc/7252/statm: 6995690 75503 3226 1 0 6956546 0
[pid=7273] ppid=7252 vsize=791096 memory=575008 CPUtime=1384.64 cores=0-7
/proc/7273/stat : 7273 (glucose-syrup) S 7252 7252 6871 0 -1 1077944320 381228 0 0 0 138364 100 0 0 20 0 9 0 80446297 810082304 143752 33554432000 4194304 4373367 140726441403904 140726441402448 140407612394114 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
/proc/7273/statm: 197774 143752 384 44 0 193462 0
[pid=7273/tid=7278] ppid=7252 vsize=791096 memory=575008 CPUtime=173.5 cores=0-7
/proc/7273/task/7278/stat : 7278 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 47079 0 0 0 17338 12 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407597165936 4271954 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7279] ppid=7252 vsize=791096 memory=302012 CPUtime=173.47 cores=0-7
/proc/7273/task/7279/stat : 7279 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 45055 0 0 0 17336 11 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407588773232 4272344 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7280] ppid=7252 vsize=791096 memory=302012 CPUtime=171.57 cores=0-7
/proc/7273/task/7280/stat : 7280 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 49240 0 0 0 17145 12 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407580380304 4271985 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7281] ppid=7252 vsize=791096 memory=575008 CPUtime=173.57 cores=0-7
/proc/7273/task/7281/stat : 7281 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 47625 0 0 0 17344 13 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407571987824 4292010 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7282] ppid=7252 vsize=791096 memory=302012 CPUtime=172.77 cores=0-7
/proc/7273/task/7282/stat : 7282 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 44583 0 0 0 17266 11 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407563595120 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7283] ppid=7252 vsize=791096 memory=574208 CPUtime=173.55 cores=0-7
/proc/7273/task/7283/stat : 7283 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 48439 0 0 0 17344 11 0 0 20 0 9 0 80446299 810082304 143752 33554432000 4194304 4373367 140726441403904 140407555202192 4271925 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7285] ppid=7252 vsize=791096 memory=8027782241661173860 CPUtime=172.56 cores=0-7
/proc/7273/task/7285/stat : 7285 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 48420 0 0 0 17243 13 0 0 20 0 9 0 80446300 810082304 143752 33554432000 4194304 4373367 140726441403904 140407412591984 4271838 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7273/tid=7286] ppid=7252 vsize=791096 memory=1700 CPUtime=173.54 cores=0-7
/proc/7273/task/7286/stat : 7286 (glucose-syrup) R 7252 7252 6871 0 -1 4202560 47773 0 0 0 17343 11 0 0 20 0 9 0 80446300 810082304 143752 33554432000 4194304 4373367 140726441403904 140407546809488 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 28872704 140726441407409 140726441407660 140726441407660 140726441410503 0
[pid=7252/tid=7254] ppid=7249 vsize=27982760 memory=796 CPUtime=1.84 cores=0-7
/proc/7252/task/7254/stat : 7254 (java) S 7249 7252 6871 0 -1 1077944384 17470 0 0 0 176 8 0 0 20 0 24 0 80446114 28654346240 75503 33554432000 4194304 4196468 140734892802704 140320148249600 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7255] ppid=7249 vsize=27982760 memory=8039887049847964327 CPUtime=0 cores=0-7
/proc/7252/task/7255/stat : 7255 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140320180652688 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7256] ppid=7249 vsize=27982760 memory=33 CPUtime=0 cores=0-7
/proc/7252/task/7256/stat : 7256 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140320005294608 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7257] ppid=7249 vsize=27982760 memory=4128 CPUtime=0 cores=0-7
/proc/7252/task/7257/stat : 7257 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319597951376 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7258] ppid=7249 vsize=27982760 memory=23756 CPUtime=0 cores=0-7
/proc/7252/task/7258/stat : 7258 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319596898576 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7259] ppid=7249 vsize=27982760 memory=280599475965984 CPUtime=0 cores=0-7
/proc/7252/task/7259/stat : 7259 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319595846800 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7260] ppid=7249 vsize=27982760 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/7252/task/7260/stat : 7260 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319594794000 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7261] ppid=7249 vsize=27982760 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/7252/task/7261/stat : 7261 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319593741200 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7262] ppid=7249 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/7252/task/7262/stat : 7262 (java) S 7249 7252 6871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446116 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319592688400 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7263] ppid=7249 vsize=27982760 memory=7679927811743456362 CPUtime=0 cores=0-7
/proc/7252/task/7263/stat : 7263 (java) S 7249 7252 6871 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 80446118 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319168440688 140320176421506 0 0 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7264] ppid=7249 vsize=27982760 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/7252/task/7264/stat : 7264 (java) S 7249 7252 6871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80446118 28654346240 75503 33554432000 4194304 4196468 140734892802704 140318125057056 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7265] ppid=7249 vsize=27982760 memory=2240 CPUtime=0 cores=0-7
/proc/7252/task/7265/stat : 7265 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446118 28654346240 75503 33554432000 4194304 4196468 140734892802704 140317856621424 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7266] ppid=7249 vsize=27982760 memory=4124 CPUtime=0 cores=0-7
/proc/7252/task/7266/stat : 7266 (java) S 7249 7252 6871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140317482112848 140320176428955 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7267] ppid=7249 vsize=27982760 memory=2200 CPUtime=0.56 cores=0-7
/proc/7252/task/7267/stat : 7267 (java) S 7249 7252 6871 0 -1 1077944384 823 0 0 0 55 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319167388528 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7268] ppid=7249 vsize=27982760 memory=574864 CPUtime=0.84 cores=0-7
/proc/7252/task/7268/stat : 7268 (java) S 7249 7252 6871 0 -1 1077944384 1797 0 0 0 83 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319166335728 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7269] ppid=7249 vsize=27982760 memory=302012 CPUtime=0.58 cores=0-7
/proc/7252/task/7269/stat : 7269 (java) S 7249 7252 6871 0 -1 1077944384 746 0 0 0 57 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319165282928 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7270] ppid=7249 vsize=27982760 memory=574776 CPUtime=0.85 cores=0-7
/proc/7252/task/7270/stat : 7270 (java) S 7249 7252 6871 0 -1 1077944384 2842 0 0 0 84 1 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319164230128 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7271] ppid=7249 vsize=27982760 memory=8039887049847964327 CPUtime=0 cores=0-7
/proc/7252/task/7271/stat : 7271 (java) S 7249 7252 6871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316984207968 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7272] ppid=7249 vsize=27982760 memory=1428 CPUtime=0.08 cores=0-7
/proc/7252/task/7272/stat : 7272 (java) S 7249 7252 6871 0 -1 1077944384 13 0 0 0 0 8 0 0 20 0 24 0 80446121 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319163177520 140320176421506 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7274] ppid=7249 vsize=27982760 memory=15876 CPUtime=0 cores=0-7
/proc/7252/task/7274/stat : 7274 (java) S 7249 7252 6871 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80446297 28654346240 75503 33554432000 4194304 4196468 140734892802704 140319534650432 140320176434969 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7276] ppid=7249 vsize=27982760 memory=575008 CPUtime=0.02 cores=0-7
/proc/7252/task/7276/stat : 7276 (java) S 7249 7252 6871 0 -1 4202560 723 0 0 0 1 1 0 0 20 0 24 0 80446298 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316313108720 140320176432285 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7277] ppid=7249 vsize=27982760 memory=4128 CPUtime=0 cores=0-7
/proc/7252/task/7277/stat : 7277 (java) S 7249 7252 6871 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 80446298 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316581543856 140320176432285 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
[pid=7252/tid=7284] ppid=7249 vsize=27982760 memory=23756 CPUtime=0 cores=0-7
/proc/7252/task/7284/stat : 7284 (java) S 7249 7252 6871 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80446300 28654346240 75503 33554432000 4194304 4196468 140734892802704 140316044680736 140320176420565 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28045312 140734892811226 140734892811525 140734892811525 140734892814287 0
Current children cumulated CPU time: 1389.48 s
Current children cumulated vsize: 28773856 KiB
Current children cumulated memory: 877020 KiB

Child status: 0
Real time (s): 175.554
CPU time (s): 1389.7
CPU user time (s): 1388.5
CPU system time (s): 1.19343
CPU usage (%): 791.603
Max. virtual memory (cumulated for all children) (KiB): 28839392
Max. memory (cumulated for all children) (KiB): 892908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1388.5
system time used= 1.19343
maximum resident set size= 590896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11455
involuntary context switches= 14496


# summary of solver processes directly reported to runsolver:
#   pid: 7252
#   total CPU time (s): 1389.7
#   total CPU user time (s): 1388.5
#   total CPU system time (s): 1.19343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59804 second user time and 2.32223 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-26 20:13:49
IDJOB=4297151
IDBENCH=141027
IDSOLVER=2759
FILE ID=node139/4297151-1532628829
RUNJOBID= node139-1532623784-6898
PBS_JOBID= 21022022
Free space on /tmp= 38720 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-08_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297151-1532628829/watcher-4297151-1532628829 -o /tmp/evaluation-result-4297151-1532628829/solver-4297151-1532628829 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1532623784-6898 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297151-1532628829.xml

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

MD5SUM BENCH= 097ee2ac2bfb45f3aedded97da1eabe0
RANDOM SEED=895124759

node139.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.80
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.80
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.80
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.80
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:        12314472 kB
MemAvailable:   31932536 kB
Buffers:          242636 kB
Cached:         19330580 kB
SwapCached:            0 kB
Active:          3012648 kB
Inactive:       16612032 kB
Active(anon):       5588 kB
Inactive(anon):    73544 kB
Active(file):    3007060 kB
Inactive(file): 16538488 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8184 kB
Writeback:            28 kB
AnonPages:         58484 kB
Mapped:            41092 kB
Shmem:             25228 kB
Slab:             528100 kB
SReclaimable:     500976 kB
SUnreclaim:        27124 kB
KernelStack:        3200 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38708 MiB
End job on node139 at 2018-07-26 20:16:45