Trace number 4296915

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 order+glucose-syrup (2018-07-07)UNSAT 1235.14 156.181

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.65/0.53	
0.65/0.54	scop order+glucose-syrup (2018-07-07)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Thu Jul 26 20:13:49 CEST 2018
0.65/0.56	c PID: 11590
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.16/0.86	c (0,0) Parsing End
1.16/0.87	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 42 ctr, max domain size 8
1.16/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.87	c (0,0) Constraint Name Generate Begin
1.16/0.87	c (0,0) Ctr:HOME/instance-4296915-1532628828.xml,AllDifferent:IntVar
1.16/0.87	c (0,0) Constraint Name Generate End
1.16/0.87	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.16/0.87	c (0,0) CSP to CSPinCNF Begin
1.52/1.07	c (0,0) translated 5 (10%) constraints
1.81/1.11	c (0,0) translated 9 (20%) constraints
1.81/1.15	c (0,0) translated 13 (30%) constraints
1.81/1.18	c (0,0) translated 17 (40%) constraints
2.05/1.20	c (0,0) translated 21 (50%) constraints
2.05/1.21	c (0,0) translated 26 (60%) constraints
2.05/1.22	c (0,0) translated 30 (70%) constraints
2.05/1.23	c (0,0) translated 34 (80%) constraints
2.05/1.24	c (0,0) translated 38 (90%) constraints
2.05/1.25	c (0,0) translated 42 (100%) constraints
2.35/1.31	c (0,0) STATISTICS1:HOME/instance-4296915-1532628828.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.35/1.31	c (0,0) ===========================================
2.35/1.31	c (0,0) Order
2.35/1.31	c (0,0) ===========================================
2.35/1.33	c (0,0) translated 82 (10%) constraints
2.35/1.34	c (0,0) translated 163 (20%) constraints
2.35/1.35	c (0,0) translated 244 (30%) constraints
2.35/1.36	c (0,0) translated 325 (40%) constraints
2.35/1.37	c (0,0) translated 406 (50%) constraints
2.35/1.38	c (0,0) translated 488 (60%) constraints
2.35/1.38	c (0,0) translated 569 (70%) constraints
2.35/1.39	c (0,0) translated 650 (80%) constraints
2.35/1.40	c (0,0) translated 731 (90%) constraints
2.68/1.40	c (0,0) translated 812 (100%) constraints
2.68/1.41	c (0,0) CSP to CSPinCNF End
2.68/1.41	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8
2.68/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.68/1.41	c (0,0) CSPinCNF Propagation Begin
2.68/1.43	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.68/1.43	c (0,0) CSPinCNF Propagation End
2.68/1.43	c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8
2.68/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.68/1.43	c (0,0) Simplify CSPinCNF Begin
2.97/1.55	c (1,0) Simplify CSPinCNF End
2.97/1.55	c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8
2.97/1.55	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.97/1.55	c (1,1) Calculate Precise Domain Begin
2.97/1.55	c (1,1) 0 values are removed by re-calculation
2.97/1.55	c (1,1) Calculate Precise Domain End
2.97/1.55	c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8
2.97/1.55	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.97/1.55	c (1,1) CSPinCNF to SatSolver Begin
3.32/1.65	c (1,1) 227 (10 %) CSP clauses are encoded (1904 SAT variables, 1646 SAT clauses)
3.32/1.67	c (1,1) 454 (20 %) CSP clauses are encoded (1904 SAT variables, 2902 SAT clauses)
3.32/1.69	c (1,1) 681 (30 %) CSP clauses are encoded (1904 SAT variables, 4172 SAT clauses)
3.75/1.71	c (1,1) 908 (40 %) CSP clauses are encoded (1904 SAT variables, 5428 SAT clauses)
3.75/1.72	c (1,1) 1134 (50 %) CSP clauses are encoded (1904 SAT variables, 6683 SAT clauses)
3.75/1.73	c (1,1) 1361 (60 %) CSP clauses are encoded (1904 SAT variables, 7946 SAT clauses)
3.75/1.74	c (1,1) 1588 (70 %) CSP clauses are encoded (1904 SAT variables, 9195 SAT clauses)
3.75/1.75	c (1,1) 1815 (80 %) CSP clauses are encoded (1904 SAT variables, 10409 SAT clauses)
3.75/1.76	c (1,1) 2042 (90 %) CSP clauses are encoded (1904 SAT variables, 11623 SAT clauses)
3.75/1.77	c (1,1) 2268 (100 %) CSP clauses are encoded (1904 SAT variables, 12843 SAT clauses)
3.75/1.77	c (1,1) CSPinCNF to SatSolver End
3.75/1.77	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.17/1.80	c (1,1) STATISTICS2:HOME/instance-4296915-1532628828.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.17/1.80	c (1,1) SatSolver.solve Begin
4.17/1.80	c (1,1) 1904 bool, 12844 clause
4.17/1.80	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4296915-1532628828.xml-scop-11590.cnf HOME/instance-4296915-1532628828.xml-scop-11590.cnf.out
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
78.16/11.17	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
78.16/11.17	c (10,0) c ========================================[ Problem Statistics ]===========================================
78.16/11.17	c (10,0) c |                                                                                                       |
78.16/11.17	c (10,0) c |  Number of variables:          1904                                                                   |
78.16/11.17	c (10,0) c |  Number of clauses:           12844                                                                   |
78.16/11.17	c (10,0) c |  Parse time:                   0.01 s                                                                 |
78.16/11.17	c (10,0) c |                                                                                                       |
78.16/11.17	c (10,0) c |  Eliminated clauses:           0.01 Mb                                                                |
78.16/11.17	c (10,0) c |  Simplification time:          0.01 s                                                                 |
78.16/11.17	c (10,0) c |                                                                                                       |
78.16/11.17	c (10,0) c |  Generating clones                                                                                    |
78.16/11.17	c (10,0) c |  all clones generated. Memory =  34.05Mb.                                                             |
78.16/11.17	c (10,0) c ========================================================================================================|
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c |-------------------------------------------------------------------------------------------------------|
78.16/11.17	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
78.16/11.17	c (10,0) c |-------------------------------------------------------------------------------------------------------|
78.16/11.17	c (10,0) c |  0 |     96 |      89693 |      67057 |    12047 |    28523 |     9895 |    70643 |     7687 |  0.000 |
78.16/11.17	c (10,0) c |  1 |    114 |      92821 |      70692 |    12013 |    17132 |    10371 |    66198 |     7486 |  0.000 |
78.16/11.17	c (10,0) c |  2 |     81 |      88359 |      69080 |    11988 |    15517 |     9902 |    71038 |     7543 |  0.000 |
78.16/11.17	c (10,0) c |  3 |    158 |      91486 |      68199 |    12044 |    29657 |     9461 |    71512 |     7396 |  0.000 |
78.16/11.17	c (10,0) c |  4 |    101 |      96121 |      74067 |    12023 |    20503 |    11565 |    65804 |     7292 |  0.002 |
78.16/11.17	c (10,0) c |  5 |    143 |      87980 |      65471 |    12040 |    26934 |    10014 |    70973 |     7449 |  0.000 |
78.16/11.17	c (10,0) c |  6 |    113 |      91811 |      69055 |    12055 |    15488 |    10133 |    64120 |     7283 |  0.000 |
78.16/11.17	c (10,0) c |  7 |    114 |      86090 |      65726 |    12066 |    27188 |     9718 |    69425 |     7480 |  0.002 |
78.16/11.17	c (10,0) c 
78.16/11.17	c (10,0) c synthesis      549349 conflicts    61668337 propagations    16148 conflicts/sec  1812701 propagations/sec
78.16/11.17	c (10,0) c Total Memory so far : 620.79Mb
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c Try to adapt solver strategies
78.16/11.17	c (10,0) c 
78.16/11.17	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c Try to adapt solver strategies
78.16/11.17	c (10,0) c 
78.16/11.17	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c Try to adapt solver strategies
78.16/11.17	c (10,0) c 
78.16/11.17	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c Try to adapt solver strategies
78.16/11.17	c (10,0) c 
78.16/11.17	c (10,0) c Nothing extreme in this problem, continue with glucose default strategies.
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c
78.16/11.17	c (10,0) c |-------------------------------------------------------------------------------------------------------|
78.16/11.17	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
78.16/11.17	c (10,0) c |-------------------------------------------------------------------------------------------------------|
78.16/11.17	c (10,0) c |  0 |    128 |     138596 |     109915 |    12062 |    38743 |    15033 |   102059 |     9848 |  0.000 |
78.16/11.17	c (10,0) c |  1 |    235 |     146304 |     113794 |    12033 |    22414 |    14726 |   106235 |    10963 |  0.000 |
78.16/11.17	c (10,0) c |  2 |    152 |     137784 |     109567 |    12014 |    38394 |    13902 |   106659 |    11017 |  0.001 |
78.16/11.17	c (10,0) c |  3 |    251 |     146635 |     113755 |    12059 |    22373 |    14450 |   106242 |    10257 |  0.000 |
181.87/24.16	c (23,0) c |  4 |    233 |     148148 |     116225 |    12051 |    24841 |    15726 |   104449 |    10522 |  0.002 |
181.87/24.16	c (23,0) c |  5 |    171 |     149234 |     119578 |    12052 |    28200 |    16636 |    96605 |    10161 |  0.000 |
181.87/24.16	c (23,0) c |  6 |    208 |     150525 |     118691 |    12066 |    27309 |    15696 |   104187 |    10305 |  0.000 |
181.87/24.16	c (23,0) c |  7 |    184 |     142268 |     113354 |    12073 |    21974 |    14860 |   103686 |    10769 |  0.000 |
181.87/24.16	c (23,0) c 
181.87/24.16	c (23,0) c synthesis      914881 conflicts   105141328 propagations    12385 conflicts/sec  1423361 propagations/sec
181.87/24.16	c (23,0) c Total Memory so far : 629.57Mb
181.87/24.16	c (23,0) c
181.87/24.16	c (23,0) c |-------------------------------------------------------------------------------------------------------|
181.87/24.16	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
181.87/24.16	c (23,0) c |-------------------------------------------------------------------------------------------------------|
181.87/24.16	c (23,0) c |  0 |    249 |     180560 |     144250 |    12068 |    30063 |    18099 |   125912 |    12560 |  0.002 |
181.87/24.17	c (23,0) c |  1 |    235 |     208454 |     170469 |    12053 |    30887 |    20675 |   106235 |    12275 |  0.000 |
181.87/24.17	c (23,0) c |  2 |    155 |     185519 |     151695 |    12021 |    37505 |    18023 |   114459 |    12700 |  0.002 |
181.87/24.17	c (23,0) c |  3 |    370 |     188982 |     148616 |    12067 |    34428 |    17779 |   130868 |    13389 |  0.000 |
181.87/24.17	c (23,0) c |  4 |    332 |     193714 |     154149 |    12059 |    39963 |    18867 |   130281 |    13069 |  0.000 |
181.87/24.17	c (23,0) c |  5 |    215 |     193630 |     157810 |    12063 |    43626 |    20000 |   129137 |    12634 |  0.000 |
181.87/24.17	c (23,0) c |  6 |    311 |     189672 |     150158 |    12080 |    35974 |    18197 |   130924 |    12861 |  0.000 |
181.87/24.17	c (23,0) c |  7 |    291 |     186085 |     149020 |    12077 |    34836 |    17543 |   130858 |    13612 |  0.000 |
181.87/24.17	c (23,0) c 
181.87/24.17	c (23,0) c synthesis     1226170 conflicts   142521956 propagations    10790 conflicts/sec  1254216 propagations/sec
181.87/24.17	c (23,0) c Total Memory so far : 634.68Mb
181.87/24.17	c (23,0) c
181.87/24.17	c (23,0) c |-------------------------------------------------------------------------------------------------------|
181.87/24.17	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
181.87/24.17	c (23,0) c |-------------------------------------------------------------------------------------------------------|
181.87/24.17	c (23,0) c |  0 |    327 |     210766 |     169245 |    12074 |    29653 |    19995 |   147913 |    14475 |  0.002 |
181.87/24.17	c (23,0) c |  1 |    289 |     237993 |     195604 |    12060 |    56022 |    22508 |   145692 |    13333 |  0.000 |
181.87/24.17	c (23,0) c |  2 |    160 |     218945 |     180790 |    12023 |    41203 |    20836 |   147453 |    13402 |  0.000 |
181.87/24.17	c (23,0) c |  3 |    383 |     228770 |     184127 |    12069 |    44543 |    20952 |   144027 |    15144 |  0.002 |
181.87/24.17	c (23,0) c |  4 |    453 |     214357 |     169386 |    12061 |    29806 |    20173 |   146685 |    14571 |  0.002 |
181.87/24.17	c (23,0) c |  5 |    262 |     224635 |     184040 |    12065 |    44454 |    22649 |   139838 |    14626 |  0.000 |
181.87/24.17	c (23,0) c |  6 |    329 |     223970 |     180201 |    12082 |    40613 |    20957 |   138119 |    14196 |  0.002 |
181.87/24.17	c (23,0) c |  7 |    316 |     218484 |     177468 |    12080 |    37880 |    20258 |   145118 |    15196 |  0.000 |
181.87/24.17	c (23,0) c 
181.87/24.17	c (23,0) c synthesis     1440862 conflicts   168549842 propagations     9904 conflicts/sec  1158524 propagations/sec
181.87/24.17	c (23,0) c Total Memory so far : 657.43Mb
181.87/24.18	c (23,0) c
181.87/24.18	c (23,0) c |-------------------------------------------------------------------------------------------------------|
181.87/24.18	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
181.87/24.18	c (23,0) c |-------------------------------------------------------------------------------------------------------|
181.87/24.18	c (23,0) c |  0 |    377 |     237817 |     191404 |    12077 |    51812 |    21775 |   156008 |    16025 |  0.000 |
181.87/24.18	c (23,0) c |  1 |    336 |     268151 |     221299 |    12061 |    53707 |    24382 |   159916 |    15318 |  0.000 |
181.87/24.18	c (23,0) c |  2 |    208 |     246105 |     203669 |    12032 |    36082 |    22370 |   157144 |    15978 |  0.000 |
181.87/24.18	c (23,0) c |  3 |    444 |     258992 |     209606 |    12071 |    42023 |    23265 |   159283 |    16753 |  0.000 |
293.54/38.16	c (37,0) c |  4 |    477 |     251700 |     202723 |    12062 |    35139 |    23600 |   155053 |    16033 |  0.000 |
293.54/38.16	c (37,0) c |  5 |    297 |     251646 |     206940 |    12066 |    39360 |    25204 |   160447 |    15979 |  0.000 |
293.54/38.16	c (37,0) c |  6 |    354 |     248414 |     200899 |    12088 |    33312 |    22755 |   161553 |    15653 |  0.002 |
293.54/38.16	c (37,0) c |  7 |    335 |     242055 |     198016 |    12081 |    30425 |    22317 |   163299 |    16504 |  0.000 |
293.54/38.16	c (37,0) c 
293.54/38.16	c (37,0) c synthesis     1634557 conflicts   192143956 propagations     9212 conflicts/sec  1082906 propagations/sec
293.54/38.16	c (37,0) c Total Memory so far : 642.83Mb
293.54/38.16	c (37,0) c
293.54/38.16	c (37,0) c |-------------------------------------------------------------------------------------------------------|
293.54/38.16	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
293.54/38.16	c (37,0) c |-------------------------------------------------------------------------------------------------------|
293.54/38.16	c (37,0) c |  0 |    410 |     280947 |     228802 |    12083 |    61213 |    25292 |   178553 |    17935 |  0.000 |
293.54/38.16	c (37,0) c |  1 |    374 |     299138 |     247427 |    12063 |    49239 |    26197 |   178394 |    17620 |  0.000 |
293.54/38.16	c (37,0) c |  2 |    317 |     274614 |     225426 |    12034 |    57839 |    23986 |   180329 |    18124 |  0.000 |
293.54/38.16	c (37,0) c |  3 |    549 |     282890 |     227754 |    12076 |    60171 |    24566 |   176962 |    18442 |  0.000 |
293.54/38.16	c (37,0) c |  4 |    526 |     288695 |     234390 |    12069 |    36202 |    26190 |   175511 |    18017 |  0.002 |
293.54/38.16	c (37,0) c |  5 |    312 |     287454 |     238816 |    12067 |    40630 |    27956 |   162573 |    17570 |  0.000 |
293.54/38.16	c (37,0) c |  6 |    381 |     288527 |     236151 |    12090 |    37960 |    25521 |   172884 |    17632 |  0.002 |
293.54/38.16	c (37,0) c |  7 |    363 |     283194 |     234290 |    12086 |    36096 |    24898 |   179663 |    18182 |  0.000 |
293.54/38.16	c (37,0) c 
293.54/38.16	c (37,0) c synthesis     1873056 conflicts   220352910 propagations     8622 conflicts/sec  1014334 propagations/sec
293.54/38.16	c (37,0) c Total Memory so far : 647.34Mb
293.54/38.16	c (37,0) c
293.54/38.16	c (37,0) c |-------------------------------------------------------------------------------------------------------|
293.54/38.16	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
293.54/38.16	c (37,0) c |-------------------------------------------------------------------------------------------------------|
293.54/38.16	c (37,0) c |  0 |    488 |     313685 |     255454 |    12085 |    57265 |    27097 |   192823 |    19604 |  0.000 |
293.54/38.16	c (37,0) c |  1 |    421 |     332300 |     275567 |    12072 |    44175 |    28144 |   191881 |    19450 |  0.002 |
293.54/38.16	c (37,0) c |  2 |    392 |     307009 |     252257 |    12034 |    54071 |    25997 |   188782 |    19902 |  0.002 |
293.54/38.16	c (37,0) c |  3 |    609 |     314058 |     253728 |    12079 |    55544 |    26393 |   193575 |    20135 |  0.000 |
293.54/38.16	c (37,0) c |  4 |    582 |     315191 |     256285 |    12074 |    58098 |    27983 |   190421 |    19516 |  0.000 |
293.54/38.16	c (37,0) c |  5 |    357 |     315110 |     262106 |    12067 |    63921 |    29732 |   189006 |    19292 |  0.002 |
293.54/38.16	c (37,0) c |  6 |    416 |     324455 |     267320 |    12090 |    35935 |    28060 |   186899 |    19387 |  0.000 |
293.54/38.16	c (37,0) c |  7 |    408 |     313739 |     260028 |    12089 |    61834 |    26620 |   189735 |    20112 |  0.000 |
293.54/38.16	c (37,0) c 
293.54/38.16	c (37,0) c synthesis     2082745 conflicts   246743686 propagations     8102 conflicts/sec   959834 propagations/sec
293.54/38.16	c (37,0) c Total Memory so far : 650.52Mb
293.54/38.16	c (37,0) c
293.54/38.16	c (37,0) c |-------------------------------------------------------------------------------------------------------|
293.54/38.16	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
293.54/38.16	c (37,0) c |-------------------------------------------------------------------------------------------------------|
293.54/38.16	c (37,0) c |  0 |    555 |     337047 |     274118 |    12085 |    42732 |    28504 |   201869 |    20925 |  0.000 |
293.54/38.16	c (37,0) c |  1 |    449 |     357007 |     296568 |    12073 |    65176 |    29635 |   198955 |    20730 |  0.000 |
293.54/38.16	c (37,0) c |  2 |    445 |     334612 |     275301 |    12042 |    43912 |    27884 |   202271 |    21182 |  0.000 |
293.54/38.16	c (37,0) c |  3 |    682 |     330775 |     266462 |    12079 |    35074 |    27096 |   204430 |    21334 |  0.000 |
293.54/38.16	c (37,0) c |  4 |    626 |     337620 |     274931 |    12074 |    43548 |    29344 |   200358 |    20671 |  0.000 |
389.26/50.16	c (49,0) c |  5 |    395 |     336922 |     280264 |    12067 |    48876 |    30979 |   194730 |    20403 |  0.000 |
389.26/50.16	c (49,0) c |  6 |    416 |     347675 |     288207 |    12090 |    56822 |    29833 |   186899 |    20108 |  0.000 |
389.26/50.16	c (49,0) c |  7 |    416 |     340530 |     283950 |    12090 |    52558 |    28268 |   202654 |    21113 |  0.000 |
389.26/50.16	c (49,0) c 
389.26/50.16	c (49,0) c synthesis     2239803 conflicts   267190199 propagations     7751 conflicts/sec   924653 propagations/sec
389.26/50.16	c (49,0) c Total Memory so far : 653.29Mb
389.26/50.16	c (49,0) c
389.26/50.16	c (49,0) c |-------------------------------------------------------------------------------------------------------|
389.26/50.16	c (49,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
389.26/50.16	c (49,0) c |-------------------------------------------------------------------------------------------------------|
389.26/50.16	c (49,0) c |  0 |    555 |     355723 |     290784 |    12085 |    59398 |    30107 |   201869 |    21693 |  0.000 |
389.26/50.16	c (49,0) c |  1 |    470 |     378981 |     315513 |    12073 |    48323 |    30777 |   209852 |    21945 |  0.000 |
389.26/50.16	c (49,0) c |  2 |    486 |     361006 |     297342 |    12046 |    65953 |    29524 |   209554 |    22411 |  0.000 |
389.26/50.16	c (49,0) c |  3 |    690 |     358230 |     290613 |    12079 |    59225 |    29145 |   206153 |    22338 |  0.002 |
389.26/50.16	c (49,0) c |  4 |    664 |     355093 |     289244 |    12075 |    57861 |    30482 |   213188 |    21677 |  0.000 |
389.26/50.16	c (49,0) c |  5 |    412 |     360309 |     300538 |    12070 |    69150 |    32779 |   210381 |    21432 |  0.000 |
389.26/50.16	c (49,0) c |  6 |    439 |     365003 |     303010 |    12090 |    35824 |    31395 |   211883 |    20646 |  0.002 |
389.26/50.16	c (49,0) c |  7 |    456 |     362905 |     302750 |    12090 |    71358 |    29464 |   207664 |    22223 |  0.000 |
389.26/50.16	c (49,0) c 
389.26/50.16	c (49,0) c synthesis     2389794 conflicts   286165622 propagations     7448 conflicts/sec   891905 propagations/sec
389.26/50.16	c (49,0) c Total Memory so far : 655.82Mb
389.26/50.16	c (49,0) c
389.26/50.16	c (49,0) c |-------------------------------------------------------------------------------------------------------|
389.26/50.16	c (49,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
389.26/50.16	c (49,0) c |-------------------------------------------------------------------------------------------------------|
389.26/50.16	c (49,0) c |  0 |    601 |     378592 |     309670 |    12087 |    42483 |    31713 |   222527 |    22957 |  0.000 |
389.26/50.16	c (49,0) c |  1 |    476 |     404071 |     337772 |    12074 |    70582 |    32414 |   221560 |    22844 |  0.002 |
389.26/50.16	c (49,0) c |  2 |    543 |     383391 |     315505 |    12050 |    48317 |    30652 |   223997 |    23410 |  0.000 |
389.26/50.16	c (49,0) c |  3 |    740 |     378387 |     307105 |    12079 |    39915 |    30376 |   224320 |    23325 |  0.000 |
389.26/50.16	c (49,0) c |  4 |    709 |     376919 |     307174 |    12076 |    39992 |    31633 |   222991 |    23240 |  0.000 |
389.26/50.16	c (49,0) c |  5 |    439 |     383050 |     319850 |    12073 |    52659 |    34310 |   220069 |    22546 |  0.002 |
389.26/50.16	c (49,0) c |  6 |    484 |     386919 |     321067 |    12091 |    53881 |    32405 |   215954 |    21913 |  0.002 |
389.26/50.16	c (49,0) c |  7 |    493 |     388966 |     324754 |    12091 |    57559 |    31237 |   223489 |    23603 |  0.000 |
389.26/50.16	c (49,0) c 
389.26/50.16	c (49,0) c synthesis     2542897 conflicts   303736036 propagations     7209 conflicts/sec   861069 propagations/sec
389.26/50.16	c (49,0) c Total Memory so far : 658.75Mb
389.26/50.16	c (49,0) c
389.26/50.16	c (49,0) c |-------------------------------------------------------------------------------------------------------|
389.26/50.16	c (49,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
389.26/50.16	c (49,0) c |-------------------------------------------------------------------------------------------------------|
389.26/50.16	c (49,0) c |  0 |    638 |     405540 |     332655 |    12088 |    65468 |    32812 |   230190 |    24180 |  0.000 |
389.26/50.16	c (49,0) c |  1 |    507 |     425699 |     355610 |    12075 |    50021 |    33544 |   229998 |    24032 |  0.000 |
389.26/50.16	c (49,0) c |  2 |    598 |     403549 |     331500 |    12052 |    64312 |    31790 |   231927 |    24548 |  0.000 |
389.26/50.16	c (49,0) c |  3 |    842 |     397612 |     321091 |    12080 |    53901 |    31129 |   232564 |    24456 |  0.002 |
389.26/50.16	c (49,0) c |  4 |    725 |     405661 |     332528 |    12081 |    65346 |    33611 |   230037 |    24521 |  0.000 |
389.26/50.16	c (49,0) c |  5 |    484 |     401808 |     335020 |    12073 |    67829 |    35366 |   228343 |    23550 |  0.000 |
500.93/64.16	c (63,0) c |  6 |    546 |     402245 |     332200 |    12091 |    65014 |    33065 |   230639 |    22910 |  0.000 |
500.93/64.16	c (63,0) c |  7 |    537 |     412434 |     344328 |    12091 |    38734 |    32419 |   231312 |    24719 |  0.000 |
500.93/64.16	c (63,0) c 
500.93/64.16	c (63,0) c synthesis     2684933 conflicts   320145140 propagations     6980 conflicts/sec   832324 propagations/sec
500.93/64.16	c (63,0) c Total Memory so far : 660.61Mb
500.93/64.16	c (63,0) c
500.93/64.16	c (63,0) c |-------------------------------------------------------------------------------------------------------|
500.93/64.16	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
500.93/64.16	c (63,0) c |-------------------------------------------------------------------------------------------------------|
500.93/64.16	c (63,0) c |  0 |    689 |     428440 |     351568 |    12088 |    45979 |    33831 |   240583 |    25255 |  0.000 |
500.93/64.16	c (63,0) c |  1 |    552 |     447756 |     373114 |    12076 |    67525 |    34751 |   239680 |    25397 |  0.000 |
500.93/64.16	c (63,0) c |  2 |    616 |     435989 |     359440 |    12052 |    53854 |    33988 |   234901 |    26012 |  0.002 |
500.93/64.16	c (63,0) c |  3 |    897 |     420827 |     340085 |    12082 |    72894 |    32465 |   241333 |    25614 |  0.000 |
500.93/64.16	c (63,0) c |  4 |    757 |     430529 |     353031 |    12083 |    47447 |    35042 |   239405 |    25658 |  0.000 |
500.93/64.16	c (63,0) c |  5 |    543 |     424834 |     353177 |    12074 |    47586 |    36465 |   236879 |    24813 |  0.002 |
500.93/64.16	c (63,0) c |  6 |    601 |     426828 |     352230 |    12091 |    46640 |    34008 |   236710 |    24280 |  0.002 |
500.93/64.16	c (63,0) c |  7 |    612 |     437756 |     364512 |    12091 |    58918 |    33897 |   239072 |    25988 |  0.002 |
500.93/64.16	c (63,0) c 
500.93/64.16	c (63,0) c synthesis     2847158 conflicts   339050183 propagations     6707 conflicts/sec   798722 propagations/sec
500.93/64.16	c (63,0) c Total Memory so far : 663.51Mb
500.93/64.16	c (63,0) c
500.93/64.16	c (63,0) c |-------------------------------------------------------------------------------------------------------|
500.93/64.16	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
500.93/64.16	c (63,0) c |-------------------------------------------------------------------------------------------------------|
500.93/64.16	c (63,0) c |  0 |    762 |     452820 |     371254 |    12090 |    65665 |    35173 |   250751 |    26466 |  0.000 |
500.93/64.16	c (63,0) c |  1 |    572 |     473738 |     395469 |    12079 |    48879 |    36104 |   249610 |    26785 |  0.000 |
500.93/64.16	c (63,0) c |  2 |    677 |     459748 |     378380 |    12053 |    72794 |    35521 |   250347 |    27068 |  0.000 |
500.93/64.16	c (63,0) c |  3 |    948 |     446612 |     360983 |    12083 |    55393 |    33761 |   252165 |    26835 |  0.002 |
500.93/64.16	c (63,0) c |  4 |    823 |     457008 |     374672 |    12083 |    69088 |    36455 |   249422 |    26768 |  0.000 |
500.93/64.16	c (63,0) c |  5 |    543 |     456517 |     381348 |    12074 |    75757 |    38951 |   236879 |    25737 |  0.002 |
500.93/64.16	c (63,0) c |  6 |    601 |     448913 |     372151 |    12092 |    66561 |    34918 |   236710 |    24802 |  0.002 |
500.93/64.16	c (63,0) c |  7 |    667 |     457799 |     380323 |    12092 |    74729 |    35089 |   248828 |    27101 |  0.000 |
500.93/64.16	c (63,0) c 
500.93/64.16	c (63,0) c synthesis     3014580 conflicts   359012601 propagations     6492 conflicts/sec   773199 propagations/sec
500.93/64.16	c (63,0) c Total Memory so far : 665.67Mb
500.93/64.16	c (63,0) c
500.93/64.16	c (63,0) c |-------------------------------------------------------------------------------------------------------|
500.93/64.16	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
500.93/64.16	c (63,0) c |-------------------------------------------------------------------------------------------------------|
500.93/64.16	c (63,0) c |  0 |    789 |     471803 |     387373 |    12091 |    81784 |    36341 |   255898 |    27517 |  0.000 |
500.93/64.16	c (63,0) c |  1 |    572 |     497818 |     416632 |    12081 |    70042 |    37338 |   249610 |    27509 |  0.000 |
500.93/64.16	c (63,0) c |  2 |    737 |     474469 |     389520 |    12054 |    42932 |    36192 |   259366 |    27917 |  0.000 |
500.93/64.16	c (63,0) c |  3 |    971 |     465350 |     376799 |    12083 |    71209 |    34820 |   253982 |    27509 |  0.002 |
500.93/64.16	c (63,0) c |  4 |    835 |     478859 |     393634 |    12084 |    47045 |    37957 |   256794 |    27699 |  0.000 |
500.93/64.16	c (63,0) c |  5 |    586 |     476983 |     398188 |    12077 |    51602 |    40391 |   254874 |    26547 |  0.001 |
500.93/64.16	c (63,0) c |  6 |    617 |     468647 |     389161 |    12092 |    42569 |    36097 |   256916 |    25748 |  0.000 |
612.61/78.16	c (77,0) c |  7 |    688 |     481282 |     400509 |    12092 |    53917 |    36437 |   259121 |    28175 |  0.000 |
612.61/78.16	c (77,0) c 
612.61/78.16	c (77,0) c synthesis     3151816 conflicts   374929673 propagations     6352 conflicts/sec   755580 propagations/sec
612.61/78.16	c (77,0) c Total Memory so far : 667.17Mb
612.61/78.16	c (77,0) c
612.61/78.16	c (77,0) c |-------------------------------------------------------------------------------------------------------|
612.61/78.16	c (77,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
612.61/78.16	c (77,0) c |-------------------------------------------------------------------------------------------------------|
612.61/78.16	c (77,0) c |  0 |    821 |     491189 |     403316 |    12094 |    56727 |    37576 |   265237 |    28340 |  0.002 |
612.61/78.16	c (77,0) c |  1 |    572 |     517363 |     433778 |    12082 |    87188 |    38677 |   249610 |    27991 |  0.000 |
612.61/78.16	c (77,0) c |  2 |    801 |     497438 |     408135 |    12057 |    61548 |    36831 |   266829 |    28936 |  0.002 |
612.61/78.16	c (77,0) c |  3 |    990 |     478691 |     387811 |    12083 |    41221 |    35514 |   267935 |    28368 |  0.000 |
612.61/78.16	c (77,0) c |  4 |    844 |     506584 |     418237 |    12084 |    71648 |    39945 |   263404 |    28779 |  0.000 |
612.61/78.16	c (77,0) c |  5 |    606 |     497340 |     415605 |    12077 |    69019 |    41453 |   262534 |    27819 |  0.000 |
612.61/78.16	c (77,0) c |  6 |    648 |     488845 |     406021 |    12092 |    59429 |    36954 |   266693 |    26659 |  0.002 |
612.61/78.16	c (77,0) c |  7 |    716 |     502422 |     418394 |    12092 |    71802 |    37076 |   266147 |    29030 |  0.002 |
612.61/78.16	c (77,0) c 
612.61/78.16	c (77,0) c synthesis     3291297 conflicts   391056066 propagations     6232 conflicts/sec   740443 propagations/sec
612.61/78.16	c (77,0) c Total Memory so far : 668.77Mb
612.61/78.16	c (77,0) c
612.61/78.16	c (77,0) c |-------------------------------------------------------------------------------------------------------|
612.61/78.16	c (77,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
612.61/78.16	c (77,0) c |-------------------------------------------------------------------------------------------------------|
612.61/78.16	c (77,0) c |  0 |    844 |     518158 |     426389 |    12095 |    79800 |    39363 |   269868 |    29364 |  0.002 |
612.61/78.16	c (77,0) c |  1 |    620 |     545341 |     456973 |    12082 |    66781 |    40275 |   272830 |    29370 |  0.000 |
612.61/78.16	c (77,0) c |  2 |    857 |     521630 |     428225 |    12064 |    81638 |    37565 |   275768 |    29880 |  0.000 |
612.61/78.16	c (77,0) c |  3 |   1013 |     501278 |     406960 |    12083 |    60370 |    36831 |   270933 |    29198 |  0.002 |
612.61/78.16	c (77,0) c |  4 |    892 |     535130 |     442035 |    12085 |    51844 |    41239 |   272005 |    29855 |  0.000 |
612.61/78.16	c (77,0) c |  5 |    621 |     525213 |     439681 |    12078 |    49491 |    42493 |   267347 |    29267 |  0.002 |
612.61/78.16	c (77,0) c |  6 |    714 |     510727 |     423420 |    12092 |    76828 |    37702 |   275642 |    27770 |  0.000 |
612.61/78.16	c (77,0) c |  7 |    734 |     522669 |     435369 |    12092 |    45179 |    37994 |   274258 |    30114 |  0.000 |
612.61/78.16	c (77,0) c 
612.61/78.16	c (77,0) c synthesis     3459052 conflicts   410412552 propagations     6090 conflicts/sec   722599 propagations/sec
612.61/78.16	c (77,0) c Total Memory so far : 671.03Mb
612.61/78.16	c (77,0) c
612.61/78.16	c (77,0) c |-------------------------------------------------------------------------------------------------------|
612.61/78.16	c (77,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
612.61/78.16	c (77,0) c |-------------------------------------------------------------------------------------------------------|
612.61/78.16	c (77,0) c |  0 |    850 |     546677 |     450999 |    12095 |    60813 |    40932 |   280921 |    30321 |  0.002 |
612.61/78.16	c (77,0) c |  1 |    642 |     561590 |     470520 |    12085 |    80328 |    41201 |   282089 |    30432 |  0.002 |
612.61/78.16	c (77,0) c |  2 |    893 |     545841 |     448417 |    12064 |    58227 |    38858 |   281325 |    30840 |  0.002 |
612.61/78.16	c (77,0) c |  3 |   1047 |     522269 |     424629 |    12083 |    78039 |    37982 |   283994 |    30034 |  0.000 |
612.61/78.16	c (77,0) c |  4 |    911 |     560788 |     463963 |    12085 |    73772 |    42509 |   280192 |    30840 |  0.000 |
612.61/78.16	c (77,0) c |  5 |    685 |     546996 |     456926 |    12080 |    66736 |    43224 |   280233 |    30177 |  0.002 |
612.61/78.16	c (77,0) c |  6 |    725 |     535480 |     444541 |    12092 |    54349 |    39154 |   276730 |    28821 |  0.003 |
612.61/78.16	c (77,0) c |  7 |    749 |     552360 |     460828 |    12092 |    70638 |    39779 |   283860 |    31097 |  0.000 |
612.61/78.16	c (77,0) c 
716.30/91.15	c (90,0) c synthesis     3620823 conflicts   429196484 propagations     5957 conflicts/sec   706100 propagations/sec
716.30/91.15	c (90,0) c Total Memory so far : 672.12Mb
716.30/91.15	c (90,0) c
716.30/91.15	c (90,0) c |-------------------------------------------------------------------------------------------------------|
716.30/91.15	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
716.30/91.15	c (90,0) c |-------------------------------------------------------------------------------------------------------|
716.30/91.15	c (90,0) c |  0 |    904 |     564964 |     465569 |    12095 |    75383 |    41585 |   291228 |    31261 |  0.002 |
716.30/91.15	c (90,0) c |  1 |    667 |     581240 |     486906 |    12085 |    50514 |    42134 |   288890 |    31492 |  0.002 |
716.30/91.15	c (90,0) c |  2 |    903 |     568631 |     468040 |    12065 |    77850 |    40581 |   291737 |    31556 |  0.000 |
716.30/91.15	c (90,0) c |  3 |   1096 |     550206 |     447912 |    12085 |    57718 |    39871 |   292908 |    31140 |  0.000 |
716.30/91.15	c (90,0) c |  4 |    919 |     580613 |     481526 |    12086 |    91335 |    43435 |   289361 |    31579 |  0.000 |
716.30/91.16	c (90,0) c |  5 |    712 |     567037 |     473518 |    12080 |    83328 |    43853 |   288254 |    31307 |  0.000 |
716.30/91.16	c (90,0) c |  6 |    725 |     553360 |     460275 |    12092 |    70083 |    40407 |   276730 |    29253 |  0.003 |
716.30/91.16	c (90,0) c |  7 |    785 |     573116 |     478101 |    12093 |    87911 |    40958 |   289267 |    32001 |  0.000 |
716.30/91.16	c (90,0) c 
716.30/91.16	c (90,0) c synthesis     3761847 conflicts   446185113 propagations     5808 conflicts/sec   688879 propagations/sec
716.30/91.16	c (90,0) c Total Memory so far : 674.85Mb
716.30/91.16	c (90,0) c
716.30/91.16	c (90,0) c |-------------------------------------------------------------------------------------------------------|
716.30/91.16	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
716.30/91.16	c (90,0) c |-------------------------------------------------------------------------------------------------------|
716.30/91.16	c (90,0) c |  0 |    912 |     587637 |     485593 |    12095 |    48507 |    42471 |   297655 |    32101 |  0.053 |
716.30/91.16	c (90,0) c |  1 |    689 |     599767 |     502252 |    12085 |    65861 |    43074 |   294652 |    32290 |  0.002 |
716.30/91.16	c (90,0) c |  2 |    923 |     581328 |     478739 |    12065 |    87866 |    41327 |   298916 |    32324 |  0.053 |
716.30/91.16	c (90,0) c |  3 |   1147 |     565298 |     459651 |    12085 |    69274 |    40580 |   299294 |    31887 |  0.053 |
716.30/91.16	c (90,0) c |  4 |    950 |     600461 |     497903 |    12086 |    60468 |    44272 |   295924 |    32386 |  0.053 |
716.30/91.16	c (90,0) c |  5 |    727 |     585117 |     489196 |    12080 |    52242 |    44651 |   295263 |    31984 |  0.053 |
716.30/91.16	c (90,0) c |  6 |    742 |     567032 |     471836 |    12092 |    66935 |    41543 |   298453 |    29756 |  0.055 |
716.30/91.16	c (90,0) c |  7 |    785 |     591880 |     494259 |    12093 |    57873 |    42446 |   289267 |    32587 |  0.000 |
716.30/91.16	c (90,0) c 
716.30/91.16	c (90,0) c synthesis     3879429 conflicts   460546977 propagations     5708 conflicts/sec   677676 propagations/sec
716.30/91.16	c (90,0) c Total Memory so far : 676.09Mb
716.30/91.16	c (90,0) c
716.30/91.16	c (90,0) c |-------------------------------------------------------------------------------------------------------|
716.30/91.16	c (90,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
716.30/91.16	c (90,0) c |-------------------------------------------------------------------------------------------------------|
716.30/91.16	c (90,0) c |  0 |    924 |     610188 |     505578 |    12095 |    68492 |    43658 |   303330 |    32752 |  0.055 |
716.30/91.16	c (90,0) c |  1 |    689 |     619481 |     519244 |    12085 |    82853 |    44182 |   294652 |    32863 |  0.002 |
716.30/91.16	c (90,0) c |  2 |    945 |     600276 |     494969 |    12065 |    58233 |    41975 |   305895 |    33112 |  0.053 |
716.30/91.16	c (90,0) c |  3 |   1172 |     583001 |     474845 |    12086 |    84469 |    41976 |   305988 |    32485 |  0.053 |
716.30/91.16	c (90,0) c |  4 |    952 |     621407 |     516682 |    12087 |    79247 |    45395 |   297545 |    33083 |  0.053 |
716.30/91.16	c (90,0) c |  5 |    747 |     603804 |     504788 |    12081 |    67834 |    45397 |   300474 |    32819 |  0.055 |
716.30/91.16	c (90,0) c |  6 |    769 |     583269 |     485204 |    12093 |    41462 |    42168 |   305940 |    30730 |  0.053 |
716.30/91.16	c (90,0) c |  7 |    824 |     608991 |     508245 |    12093 |    71291 |    43404 |   304718 |    33352 |  0.053 |
716.30/91.16	c (90,0) c 
716.30/91.16	c (90,0) c synthesis     4009555 conflicts   475738867 propagations     5636 conflicts/sec   668678 propagations/sec
867.83/110.15	c (109,0) c Total Memory so far : 676.89Mb
867.83/110.15	c (109,0) c
867.83/110.15	c (109,0) c |-------------------------------------------------------------------------------------------------------|
867.83/110.15	c (109,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
867.83/110.15	c (109,0) c |-------------------------------------------------------------------------------------------------------|
867.83/110.15	c (109,0) c |  0 |    936 |     628889 |     521799 |    12095 |    84713 |    44501 |   307952 |    33505 |  0.054 |
867.83/110.15	c (109,0) c |  1 |    705 |     631177 |     529021 |    12085 |    92503 |    44820 |   307975 |    33406 |  0.055 |
867.83/110.15	c (109,0) c |  2 |    983 |     620266 |     511609 |    12065 |    74873 |    42806 |   310847 |    33855 |  0.053 |
867.83/110.15	c (109,0) c |  3 |   1196 |     596701 |     486073 |    12089 |    49592 |    42633 |   310595 |    33148 |  0.053 |
867.83/110.15	c (109,0) c |  4 |    964 |     639604 |     532418 |    12087 |    94983 |    46144 |   305916 |    33740 |  0.053 |
867.83/110.15	c (109,0) c |  5 |    747 |     614539 |     514088 |    12081 |    77134 |    46027 |   300474 |    33371 |  0.055 |
867.83/110.15	c (109,0) c |  6 |    780 |     604329 |     503175 |    12093 |    59433 |    42705 |   310500 |    31254 |  0.054 |
867.83/110.15	c (109,0) c |  7 |    862 |     622170 |     518909 |    12093 |    81955 |    44081 |   308669 |    34086 |  0.053 |
867.83/110.15	c (109,0) c 
867.83/110.15	c (109,0) c synthesis     4117093 conflicts   488514009 propagations     5539 conflicts/sec   657196 propagations/sec
867.83/110.15	c (109,0) c Total Memory so far : 678.67Mb
867.83/110.15	c (109,0) c
867.83/110.15	c (109,0) c |-------------------------------------------------------------------------------------------------------|
867.83/110.15	c (109,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
867.83/110.15	c (109,0) c |-------------------------------------------------------------------------------------------------------|
867.83/110.15	c (109,0) c |  0 |    939 |     656837 |     546278 |    12095 |    60520 |    46040 |   314681 |    34524 |  0.105 |
867.83/110.15	c (109,0) c |  1 |    737 |     648180 |     543023 |    12086 |    57616 |    45618 |   316713 |    34136 |  0.105 |
867.83/110.15	c (109,0) c |  2 |   1011 |     637239 |     525659 |    12066 |    87406 |    43501 |   318363 |    34685 |  0.107 |
867.83/110.15	c (109,0) c |  3 |   1243 |     618076 |     503608 |    12091 |    66830 |    43711 |   318669 |    33971 |  0.105 |
867.83/110.15	c (109,0) c |  4 |    994 |     660768 |     549971 |    12087 |    59883 |    47266 |   314613 |    34710 |  0.105 |
867.83/110.15	c (109,0) c |  5 |    754 |     629912 |     527373 |    12081 |    76516 |    47284 |   315032 |    34026 |  0.105 |
867.83/110.15	c (109,0) c |  6 |    796 |     628066 |     523441 |    12094 |    79699 |    43591 |   314571 |    31898 |  0.054 |
867.83/110.15	c (109,0) c |  7 |    862 |     640737 |     535070 |    12093 |    49603 |    45399 |   308669 |    34919 |  0.053 |
867.83/110.15	c (109,0) c 
867.83/110.15	c (109,0) c synthesis     4254423 conflicts   505343591 propagations     5432 conflicts/sec   645260 propagations/sec
867.83/110.15	c (109,0) c Total Memory so far : 680.02Mb
867.83/110.15	c (109,0) c
867.83/110.15	c (109,0) c |-------------------------------------------------------------------------------------------------------|
867.83/110.15	c (109,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
867.83/110.15	c (109,0) c |-------------------------------------------------------------------------------------------------------|
867.83/110.15	c (109,0) c |  0 |    946 |     682598 |     568676 |    12096 |    82918 |    47408 |   317128 |    35511 |  0.107 |
867.83/110.15	c (109,0) c |  1 |    741 |     667682 |     560084 |    12088 |    74678 |    46767 |   322396 |    34834 |  0.105 |
867.83/110.15	c (109,0) c |  2 |   1041 |     653447 |     538975 |    12071 |    52854 |    44183 |   325356 |    35450 |  0.107 |
867.83/110.15	c (109,0) c |  3 |   1274 |     633727 |     516463 |    12091 |    79685 |    44490 |   322874 |    34794 |  0.107 |
867.83/110.15	c (109,0) c |  4 |   1025 |     679972 |     565830 |    12087 |    75742 |    47987 |   322011 |    35597 |  0.105 |
868.75/110.27	c (109,0) c |  5 |    756 |     656390 |     550476 |    12083 |    58052 |    47981 |   320934 |    34832 |  0.105 |
868.75/110.27	c (109,0) c |  6 |    796 |     653185 |     545289 |    12095 |    56425 |    44746 |   314571 |    32434 |  0.057 |
868.75/110.27	c (109,0) c |  7 |    879 |     661144 |     552570 |    12093 |    65218 |    46486 |   322510 |    35596 |  0.107 |
868.75/110.27	c (109,0) c 
868.75/110.27	c (109,0) c synthesis     4398364 conflicts   523451629 propagations     5344 conflicts/sec   635987 propagations/sec
868.75/110.27	c (109,0) c Total Memory so far : 680.86Mb
868.75/110.27	c (109,0) c
971.53/123.15	c (122,0) c |-------------------------------------------------------------------------------------------------------|
971.53/123.15	c (122,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
971.53/123.15	c (122,0) c |-------------------------------------------------------------------------------------------------------|
971.53/123.15	c (122,0) c |  0 |    946 |     702513 |     586009 |    12096 |   100251 |    48936 |   317128 |    36078 |  0.111 |
971.53/123.15	c (122,0) c |  1 |    775 |     685551 |     574854 |    12089 |    87114 |    48025 |   330083 |    35555 |  0.210 |
971.53/123.15	c (122,0) c |  2 |   1062 |     675464 |     557610 |    12075 |    70392 |    45448 |   330943 |    36313 |  0.212 |
971.53/123.15	c (122,0) c |  3 |   1299 |     645705 |     526291 |    12092 |    82493 |    45154 |   333211 |    35400 |  0.210 |
971.53/123.15	c (122,0) c |  4 |   1046 |     693975 |     577672 |    12088 |    87266 |    48556 |   329731 |    36373 |  0.212 |
971.53/123.15	c (122,0) c |  5 |    759 |     673794 |     565670 |    12084 |    72782 |    48665 |   330089 |    35356 |  0.210 |
971.53/123.15	c (122,0) c |  6 |    823 |     674528 |     563457 |    12096 |    64769 |    46360 |   332290 |    33138 |  0.210 |
971.53/123.15	c (122,0) c |  7 |    879 |     680659 |     569761 |    12093 |    82409 |    47742 |   322510 |    36248 |  0.107 |
971.53/123.15	c (122,0) c 
971.53/123.15	c (122,0) c synthesis     4521324 conflicts   538965540 propagations     5240 conflicts/sec   624597 propagations/sec
971.53/123.15	c (122,0) c Total Memory so far : 682.16Mb
971.53/123.15	c (122,0) c
971.53/123.15	c (122,0) c |-------------------------------------------------------------------------------------------------------|
971.53/123.15	c (122,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
971.53/123.15	c (122,0) c |-------------------------------------------------------------------------------------------------------|
971.53/123.15	c (122,0) c |  0 |    965 |     716227 |     597458 |    12096 |    56487 |    49454 |   334119 |    36599 |  0.263 |
971.53/123.15	c (122,0) c |  1 |    799 |     695628 |     583109 |    12089 |    95369 |    48715 |   334602 |    36025 |  0.263 |
971.53/123.15	c (122,0) c |  2 |   1062 |     692590 |     572558 |    12078 |    85339 |    46776 |   330943 |    36834 |  0.212 |
971.53/123.15	c (122,0) c |  3 |   1312 |     656751 |     535546 |    12093 |    46648 |    45550 |   338278 |    36015 |  0.264 |
971.53/123.15	c (122,0) c |  4 |   1049 |     705823 |     588000 |    12089 |    97594 |    49190 |   334439 |    37008 |  0.263 |
971.53/123.15	c (122,0) c |  5 |    767 |     691426 |     580706 |    12084 |    87646 |    49097 |   334843 |    35995 |  0.263 |
971.53/123.15	c (122,0) c |  6 |    839 |     685379 |     572597 |    12096 |    73909 |    46819 |   334818 |    33798 |  0.265 |
971.53/123.15	c (122,0) c |  7 |    882 |     692380 |     579928 |    12093 |    85746 |    48356 |   334574 |    36863 |  0.263 |
971.53/123.15	c (122,0) c 
971.53/123.15	c (122,0) c synthesis     4609902 conflicts   550537616 propagations     5152 conflicts/sec   615264 propagations/sec
971.53/123.15	c (122,0) c Total Memory so far : 683.82Mb
971.53/123.15	c (122,0) c
971.53/123.15	c (122,0) c |-------------------------------------------------------------------------------------------------------|
971.53/123.15	c (122,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
971.53/123.15	c (122,0) c |-------------------------------------------------------------------------------------------------------|
971.53/123.15	c (122,0) c |  0 |    991 |     738910 |     616858 |    12096 |    75793 |    50110 |   341196 |    37349 |  0.315 |
971.53/123.15	c (122,0) c |  1 |    824 |     714559 |     599052 |    12089 |    61135 |    49527 |   341260 |    36876 |  0.315 |
971.53/123.15	c (122,0) c |  2 |   1062 |     711972 |     589470 |    12078 |    51866 |    48439 |   330943 |    37351 |  0.212 |
971.53/123.15	c (122,0) c |  3 |   1335 |     680012 |     555200 |    12095 |    66012 |    46044 |   343919 |    36655 |  0.263 |
971.53/123.15	c (122,0) c |  4 |   1050 |     733452 |     611721 |    12091 |    72283 |    51066 |   338848 |    37761 |  0.267 |
971.53/123.15	c (122,0) c |  5 |    800 |     711316 |     597108 |    12087 |    56583 |    49828 |   340075 |    36912 |  0.263 |
971.53/123.15	c (122,0) c |  6 |    850 |     698238 |     583444 |    12096 |    84662 |    47432 |   343969 |    34470 |  0.315 |
971.53/123.15	c (122,0) c |  7 |    904 |     707763 |     592780 |    12093 |    51628 |    49248 |   342363 |    37528 |  0.315 |
971.53/123.15	c (122,0) c 
971.53/123.15	c (122,0) c synthesis     4745633 conflicts   567375865 propagations     5078 conflicts/sec   607057 propagations/sec
971.53/123.15	c (122,0) c Total Memory so far : 684.98Mb
971.53/123.15	c (122,0) c
971.53/123.15	c (122,0) c |-------------------------------------------------------------------------------------------------------|
1091.19/138.15	c (137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1091.19/138.15	c (137,0) c |-------------------------------------------------------------------------------------------------------|
1091.19/138.15	c (137,0) c |  0 |   1012 |     753097 |     628618 |    12097 |    87553 |    50495 |   346306 |    37900 |  0.315 |
1091.19/138.15	c (137,0) c |  1 |    830 |     727162 |     610057 |    12089 |    72084 |    50296 |   345661 |    37322 |  0.317 |
1091.19/138.15	c (137,0) c |  2 |   1074 |     730144 |     605169 |    12078 |    66041 |    49130 |   346144 |    38253 |  0.315 |
1091.19/138.15	c (137,0) c |  3 |   1343 |     694708 |     567806 |    12096 |    78522 |    46496 |   347667 |    37123 |  0.317 |
1091.19/138.15	c (137,0) c |  4 |   1050 |     754204 |     629907 |    12091 |    90469 |    52394 |   338848 |    38304 |  0.267 |
1091.19/138.20	c (137,0) c |  5 |    828 |     725631 |     608893 |    12088 |    68273 |    50362 |   346459 |    37538 |  0.315 |
1091.19/138.20	c (137,0) c |  6 |    863 |     713837 |     596998 |    12096 |    53616 |    47899 |   345168 |    34967 |  0.315 |
1091.19/138.20	c (137,0) c |  7 |    915 |     725875 |     608581 |    12093 |    67429 |    49787 |   344460 |    38011 |  0.315 |
1091.19/138.20	c (137,0) c 
1091.19/138.20	c (137,0) c synthesis     4856029 conflicts   580876247 propagations     5024 conflicts/sec   600991 propagations/sec
1091.19/138.20	c (137,0) c Total Memory so far : 685.63Mb
1091.19/138.20	c (137,0) c
1091.19/138.20	c (137,0) c |-------------------------------------------------------------------------------------------------------|
1091.19/138.20	c (137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1091.19/138.20	c (137,0) c |-------------------------------------------------------------------------------------------------------|
1091.19/138.20	c (137,0) c |  0 |   1038 |     767633 |     640732 |    12098 |    99667 |    50913 |   351614 |    38562 |  0.315 |
1091.19/138.20	c (137,0) c |  1 |    853 |     744366 |     624552 |    12090 |    86578 |    51195 |   348671 |    38095 |  0.317 |
1091.19/138.20	c (137,0) c |  2 |   1084 |     745337 |     618077 |    12080 |    78949 |    49829 |   351219 |    39097 |  0.315 |
1091.19/138.20	c (137,0) c |  3 |   1351 |     714836 |     585364 |    12097 |    96080 |    47018 |   351509 |    37762 |  0.315 |
1091.19/138.20	c (137,0) c |  4 |   1073 |     775970 |     648482 |    12092 |    53913 |    53321 |   347744 |    39006 |  0.317 |
1091.19/138.20	c (137,0) c |  5 |    845 |     748934 |     629039 |    12088 |    88419 |    51445 |   348726 |    38487 |  0.315 |
1091.19/138.20	c (137,0) c |  6 |    907 |     736961 |     616413 |    12096 |    72951 |    48442 |   354093 |    35851 |  0.315 |
1091.19/138.20	c (137,0) c |  7 |    936 |     748521 |     627952 |    12093 |    86800 |    50390 |   350537 |    38771 |  0.315 |
1091.19/138.20	c (137,0) c 
1091.19/138.20	c (137,0) c synthesis     4990611 conflicts   596377097 propagations     4959 conflicts/sec   592585 propagations/sec
1091.19/138.20	c (137,0) c Total Memory so far : 687.07Mb
1091.19/138.20	c (137,0) c
1091.19/138.20	c (137,0) c |-------------------------------------------------------------------------------------------------------|
1091.19/138.20	c (137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1091.19/138.20	c (137,0) c |-------------------------------------------------------------------------------------------------------|
1091.19/138.20	c (137,0) c |  0 |   1048 |     784153 |     654831 |    12099 |    62001 |    51776 |   355251 |    39198 |  0.315 |
1091.19/138.20	c (137,0) c |  1 |    855 |     758578 |     636942 |    12090 |    98969 |    52145 |   353085 |    38699 |  0.317 |
1091.19/138.20	c (137,0) c |  2 |   1086 |     762270 |     632955 |    12083 |    93827 |    50638 |   356777 |    39938 |  0.315 |
1091.19/138.20	c (137,0) c |  3 |   1373 |     736708 |     603830 |    12098 |    65197 |    48396 |   360222 |    38561 |  0.315 |
1091.19/138.20	c (137,0) c |  4 |   1077 |     804444 |     673738 |    12092 |    79169 |    53925 |   350697 |    39689 |  0.317 |
1091.19/138.20	c (137,0) c |  5 |    859 |     765252 |     642916 |    12089 |   102296 |    52254 |   355953 |    39212 |  0.315 |
1091.19/138.20	c (137,0) c |  6 |    945 |     751227 |     628066 |    12097 |    84604 |    48766 |   359424 |    36470 |  0.315 |
1091.19/138.20	c (137,0) c |  7 |    946 |     764083 |     641258 |    12094 |   100106 |    50776 |   356718 |    39438 |  0.317 |
1091.19/138.20	c (137,0) c 
1091.19/138.20	c (137,0) c synthesis     5114537 conflicts   611448617 propagations     4888 conflicts/sec   584408 propagations/sec
1091.19/138.20	c (137,0) c Total Memory so far : 752.75Mb
1091.19/138.20	c (137,0) c
1091.19/138.20	c (137,0) c |-------------------------------------------------------------------------------------------------------|
1091.19/138.20	c (137,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1186.90/150.15	c (149,0) c |-------------------------------------------------------------------------------------------------------|
1186.90/150.15	c (149,0) c |  0 |   1081 |     799907 |     667916 |    12099 |    73476 |    52550 |   362677 |    39972 |  0.420 |
1186.90/150.15	c (149,0) c |  1 |    856 |     774725 |     651169 |    12090 |    56245 |    53571 |   360918 |    39328 |  0.422 |
1186.90/150.15	c (149,0) c |  2 |   1088 |     774718 |     643885 |    12083 |   103465 |    51323 |   363634 |    40567 |  0.420 |
1186.90/150.15	c (149,0) c |  3 |   1415 |     751325 |     615547 |    12099 |    76322 |    49162 |   366059 |    39396 |  0.420 |
1186.90/150.15	c (149,0) c |  4 |   1110 |     818314 |     685227 |    12093 |    90227 |    54333 |   360178 |    40326 |  0.420 |
1186.90/150.15	c (149,0) c |  5 |    870 |     782546 |     657677 |    12089 |    64603 |    53069 |   361707 |    40013 |  0.420 |
1186.90/150.15	c (149,0) c |  6 |    967 |     767620 |     641674 |    12097 |    98212 |    49276 |   363177 |    37311 |  0.315 |
1186.90/150.15	c (149,0) c |  7 |    946 |     785614 |     660274 |    12096 |    67400 |    52006 |   356718 |    40096 |  0.317 |
1186.90/150.15	c (149,0) c 
1186.90/150.15	c (149,0) c synthesis     5223370 conflicts   625513597 propagations     4809 conflicts/sec   575903 propagations/sec
1186.90/150.15	c (149,0) c Total Memory so far : 689.82Mb
1186.90/150.15	c (149,0) c
1186.90/150.15	c (149,0) c |-------------------------------------------------------------------------------------------------------|
1186.90/150.15	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1186.90/150.15	c (149,0) c |-------------------------------------------------------------------------------------------------------|
1186.90/150.15	c (149,0) c |  0 |   1091 |     814913 |     681024 |    12099 |    86584 |    53303 |   367663 |    40593 |  0.525 |
1186.90/150.15	c (149,0) c |  1 |    857 |     787581 |     662298 |    12091 |    63351 |    54390 |   366877 |    39911 |  0.525 |
1186.90/150.15	c (149,0) c |  2 |   1103 |     791665 |     658478 |    12083 |    65972 |    52039 |   367947 |    41210 |  0.527 |
1186.90/150.15	c (149,0) c |  3 |   1424 |     766104 |     628411 |    12099 |    89186 |    50186 |   368631 |    40119 |  0.525 |
1186.90/150.15	c (149,0) c |  4 |   1113 |     830396 |     695852 |    12093 |   100852 |    54778 |   363693 |    40832 |  0.525 |
1186.90/150.16	c (149,0) c |  5 |    873 |     800084 |     673327 |    12091 |    80252 |    53712 |   362786 |    40547 |  0.473 |
1186.90/150.16	c (149,0) c |  6 |    978 |     781671 |     653784 |    12097 |    59379 |    49909 |   371114 |    37928 |  0.525 |
1186.90/150.16	c (149,0) c |  7 |    951 |     801495 |     674106 |    12096 |    71300 |    52969 |   368132 |    40758 |  0.525 |
1186.90/150.16	c (149,0) c 
1186.90/150.16	c (149,0) c synthesis     5327280 conflicts   638627596 propagations     4765 conflicts/sec   571217 propagations/sec
1186.90/150.16	c (149,0) c Total Memory so far : 690.30Mb
1186.90/150.16	c (149,0) c
1186.90/150.16	c (149,0) c |-------------------------------------------------------------------------------------------------------|
1186.90/150.16	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1186.90/150.16	c (149,0) c |-------------------------------------------------------------------------------------------------------|
1186.90/150.16	c (149,0) c |  0 |   1091 |     824711 |     689668 |    12099 |    95228 |    53975 |   367663 |    41032 |  0.525 |
1186.90/150.16	c (149,0) c |  1 |    864 |     798808 |     671895 |    12091 |    72948 |    54916 |   368611 |    40539 |  0.525 |
1186.90/150.16	c (149,0) c |  2 |   1114 |     805514 |     670337 |    12087 |    77831 |    52686 |   373873 |    41786 |  0.578 |
1186.90/150.16	c (149,0) c |  3 |   1429 |     778783 |     639337 |    12099 |    98969 |    51259 |   374095 |    40750 |  0.578 |
1186.90/150.16	c (149,0) c |  4 |   1113 |     841605 |     705827 |    12093 |    56432 |    55266 |   363693 |    41176 |  0.525 |
1186.90/150.16	c (149,0) c |  5 |    880 |     811857 |     683617 |    12092 |    89099 |    54243 |   371014 |    41089 |  0.580 |
1186.90/150.16	c (149,0) c |  6 |    983 |     797851 |     667954 |    12099 |    73549 |    50623 |   372951 |    38642 |  0.525 |
1186.90/150.16	c (149,0) c |  7 |    957 |     813137 |     684087 |    12096 |    78773 |    53824 |   370933 |    41437 |  0.578 |
1186.90/150.16	c (149,0) c 
1186.90/150.16	c (149,0) c synthesis     5412722 conflicts   650146901 propagations     4707 conflicts/sec   565397 propagations/sec
1186.90/150.16	c (149,0) c Total Memory so far : 690.71Mb
1186.90/150.16	c (149,0) c
1186.90/150.16	c (149,0) c |-------------------------------------------------------------------------------------------------------|
1186.90/150.16	c (149,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1186.90/150.16	c (149,0) c |-------------------------------------------------------------------------------------------------------|
1234.75/156.14	c (155,0) c |  0 |   1098 |     836169 |     699623 |    12099 |   101752 |    54523 |   376992 |    41724 |  0.788 |
1234.75/156.14	c (155,0) c |  1 |    864 |     810055 |     681780 |    12091 |    82833 |    55463 |   368611 |    40940 |  0.525 |
1234.75/156.14	c (155,0) c |  2 |   1117 |     817331 |     680610 |    12087 |    85873 |    53378 |   376737 |    42315 |  0.735 |
1234.75/156.14	c (155,0) c |  3 |   1431 |     790206 |     649358 |    12099 |    56885 |    51939 |   379352 |    41337 |  0.735 |
1234.75/156.14	c (155,0) c |  4 |   1114 |     853641 |     716556 |    12094 |    65661 |    56104 |   371695 |    41792 |  0.578 |
1234.75/156.14	c (155,0) c |  5 |    881 |     822682 |     693079 |    12094 |    98561 |    54901 |   374346 |    41705 |  0.735 |
1234.75/156.14	c (155,0) c |  6 |    991 |     808800 |     677360 |    12101 |    77941 |    51187 |   379945 |    39276 |  0.737 |
1234.75/156.14	c (155,0) c |  7 |    958 |     821668 |     691525 |    12097 |    86210 |    54295 |   377463 |    41915 |  0.788 |
1234.75/156.14	c (155,0) c 
1234.75/156.14	c (155,0) c synthesis     5489891 conflicts   660728863 propagations     4645 conflicts/sec   559092 propagations/sec
1234.75/156.14	c (155,0) c Total Memory so far : 720.92Mb
1234.75/156.14	c (155,0) c
1234.75/156.14	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1234.75/156.14	c (155,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1234.75/156.14	c (155,0) c |-------------------------------------------------------------------------------------------------------|
1234.75/156.14	c (155,0) c |  0 |   1100 |     844854 |     707031 |    12099 |    56202 |    55093 |   378708 |    42219 |  0.841 |
1234.75/156.14	c (155,0) c |  1 |    865 |     820728 |     691026 |    12092 |    86863 |    56127 |   379078 |    41681 |  0.998 |
1234.75/156.14	c (155,0) c |  2 |   1118 |     826536 |     688690 |    12088 |    93952 |    54072 |   380427 |    42912 |  0.998 |
1234.75/156.14	c (155,0) c |  3 |   1432 |     805472 |     662825 |    12100 |    70352 |    52930 |   379904 |    42121 |  0.788 |
1234.75/156.14	c (155,0) c |  4 |   1118 |     864481 |     725854 |    12095 |    72417 |    56799 |   379131 |    42698 |  0.998 |
1234.75/156.14	c (155,0) c |  5 |    884 |     832707 |     701621 |    12094 |   103448 |    55645 |   379480 |    42403 |  0.998 |
1234.75/156.14	c (155,0) c |  6 |    991 |     821758 |     688603 |    12101 |    77468 |    52256 |   385392 |    40148 |  1.156 |
1234.75/156.14	c (155,0) c |  7 |    959 |     829007 |     698010 |    12098 |    91312 |    54741 |   379153 |    42452 |  0.841 |
1234.75/156.14	c (155,0) c 
1234.75/156.14	c (155,0) c synthesis     5563660 conflicts   671524586 propagations     4554 conflicts/sec   549692 propagations/sec
1234.75/156.14	c (155,0) c Total Memory so far : 784.92Mb
1234.75/156.14	c (155,0) c Thread 0 is 100% pure glucose! First thread to finish! (UNSAT answer).
1234.75/156.14	c (155,0) c Total Memory so far : 784.92Mb
1234.75/156.14	c (155,0) c
1234.75/156.14	c (155,0) c real time : 154.318 s
1234.75/156.14	c (155,0) c cpu time  : 1229.51 s
1234.75/156.14	c (155,0) c
1234.75/156.14	c (155,0) c
1234.75/156.14	c (155,0) c
1234.75/156.14	c (155,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1234.75/156.14	c (155,0) c
1234.75/156.14	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1234.75/156.14	c (155,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1234.75/156.14	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1234.75/156.14	c (155,0) c | Conflicts     |         5576905 |     709306 |     692357 |     689883 |     664676 |     727654 |     703593 |     690156 |     699280 |
1234.75/156.14	c (155,0) c | Decisions     |         6660509 |     847475 |     822234 |     827896 |     807565 |     866535 |     834918 |     823480 |     830406 |
1234.75/156.14	c (155,0) c | Propagations  |       673571887 |   84560523 |   84182494 |   83352552 |   80089751 |   85141651 |   83585721 |   87301846 |   85357349 |
1234.75/156.14	c (155,0) c | Avg_Trail     |                 |        780 |        784 |        779 |        776 |        785 |        784 |        776 |        780 |
1234.75/156.14	c (155,0) c | Avg_DL        |                 |         16 |         16 |         16 |         16 |         15 |         16 |         15 |         16 |
1234.75/156.14	c (155,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1234.75/156.14	c (155,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1234.75/156.14	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1234.75/156.14	c (155,0) c | Exported      |          438920 |      55311 |      56227 |      54194 |      53064 |      56950 |      55860 |      52463 |      54851 |
1234.75/156.14	c (155,0) c | Imported      |         3046813 |     383607 |     379078 |     380427 |     379904 |     379131 |     379480 |     386033 |     379153 |
1234.75/156.14	c (155,0) c | Good          |            2044 |        288 |        259 |        258 |        245 |        254 |        254 |        251 |        235 |
1234.75/156.14	c (155,0) c | Purge         |         3044769 |     383319 |     378819 |     380169 |     379659 |     378877 |     379226 |     385782 |     378918 |
1234.75/156.14	c (155,0) c | Promoted      |          337540 |      42316 |      41780 |      42971 |      42205 |      42857 |      42523 |      40360 |      42528 |
1234.75/156.14	c (155,0) c | Remove_Imp    |         2004745 |     259574 |     238787 |     250128 |     259685 |     245960 |     245706 |     258809 |     246096 |
1234.75/156.14	c (155,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1234.75/156.14	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1234.75/156.14	c (155,0) c | Unaries       |                 |         10 |          2 |          1 |          1 |          2 |          2 |          6 |          4 |
1234.75/156.14	c (155,0) c | Binaries      |                 |         39 |         34 |         31 |         25 |         42 |         42 |         69 |         45 |
1234.75/156.14	c (155,0) c | Glues         |                 |        260 |        241 |        219 |        220 |        241 |        230 |        268 |        230 |
1234.75/156.14	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1234.75/156.14	c (155,0) c | Orig_Seen     |            94 % |      12099 |      12092 |      12088 |      12100 |      12095 |      12094 |      12101 |      12098 |
1234.75/156.14	c (155,0) c | Diff Orig seen|                 |      X     | -        7 | -       11 |          1 | -        4 | -        5 |          2 | -        1 |
1234.75/156.14	c (155,0) c | Hamming       |            26 % |      X     |        524 |        457 |        586 |        448 |        493 |        506 |        484 |
1234.75/156.14	c (155,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1234.75/156.14	c (155,0) 
1234.75/156.14	c (155,0) s UNSATISFIABLE
1234.75/156.16	c (155,1) SatSolver.solve End
1234.75/156.16	c (155,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
1234.75/156.16	c (155,1) Show results Begin
1234.75/156.16	s UNSATISFIABLE
1234.75/156.16	c (155,1) Show results End
1234.75/156.16	c (155,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
1234.75/156.16	c (155,1) 0,0,0,0,1,1,1,155,155,STOP-AFTER(ALL)
1234.75/156.16	c END-Prog: Thu Jul 26 20:16:25 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 (12458 MiB free)
  memory of node 1: 16384 MiB (10331 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296915-1532628828/watcher-4296915-1532628828 -o /tmp/evaluation-result-4296915-1532628828/solver-4296915-1532628828 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532623783-11239 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4296915-1532628828.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=11590, runsolver pid=11587

[startup+0.103604 s]*
/proc/loadavg: 8.19 8.36 8.35 3/199 11610
/proc/meminfo: memFree=23241652/32770624 swapFree=67108860/67108860
[pid=11590] ppid=11587 vsize=27312552 memory=109768 CPUtime=0.11 cores=0-7
/proc/11590/stat : 11590 (java) S 11587 11590 11212 0 -1 1077944320 6972 0 0 0 8 3 0 0 20 0 20 0 80446023 27968053248 27442 33554432000 4194304 4196468 140731795006528 140731794989072 139683279605495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
/proc/11590/statm: 6828138 27442 2755 1 0 6790598 0
[pid=11590/tid=11592] ppid=11587 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11590/task/11592/stat : 11592 (java) R 11587 11590 11212 0 -1 4202560 5090 0 0 0 7 2 0 0 20 0 20 0 80446024 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683251382576 139683261169064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11593] ppid=11587 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11590/task/11593/stat : 11593 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683283847568 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11594] ppid=11587 vsize=27312552 memory=139779165652608 CPUtime=0 cores=0-7
/proc/11590/task/11594/stat : 11594 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683098003728 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11595] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11595/stat : 11595 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683096951440 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11596] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11596/stat : 11596 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683095898640 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11597] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11597/stat : 11597 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683094846352 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11598] ppid=11587 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11590/task/11598/stat : 11598 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683093793552 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11599] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11599/stat : 11599 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683092741264 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11600] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11600/stat : 11600 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 27442 33554432000 4194304 4196468 140731795006528 139683091688464 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11601] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11601/stat : 11601 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446027 27968053248 27442 33554432000 4194304 4196468 140731795006528 139681869662320 139683279616642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11602] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11602/stat : 11602 (java) S 11587 11590 11212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80446028 27968053248 27442 33554432000 4194304 4196468 140731795006528 139681127719712 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11603] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11603/stat : 11603 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446028 27968053248 27442 33554432000 4194304 4196468 140731795006528 139680859284592 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11604] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11604/stat : 11604 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 27442 33554432000 4194304 4196468 140731795006528 139680484776016 139683279624091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11605] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11605/stat : 11605 (java) S 11587 11590 11212 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 27442 33554432000 4194304 4196468 140731795006528 139681868610160 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11606] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11606/stat : 11606 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 27442 33554432000 4194304 4196468 140731795006528 139681867557360 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11607] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11607/stat : 11607 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 27442 33554432000 4194304 4196468 140731795006528 139681664592752 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11608] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11608/stat : 11608 (java) S 11587 11590 11212 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 27442 33554432000 4194304 4196468 140731795006528 139681663539952 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11609] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11609/stat : 11609 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 27442 33554432000 4194304 4196468 140731795006528 139679986870624 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11610] ppid=11587 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11590/task/11610/stat : 11610 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 27442 33554432000 4194304 4196468 140731795006528 139681662486832 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109768 KiB

[startup+0.210165 s]*
/proc/loadavg: 8.19 8.36 8.35 2/199 11610
/proc/meminfo: memFree=23225760/32770624 swapFree=67108860/67108860
[pid=11590] ppid=11587 vsize=27312552 memory=123708 CPUtime=0.24 cores=0-7
/proc/11590/stat : 11590 (java) S 11587 11590 11212 0 -1 1077944320 10738 0 0 0 21 3 0 0 20 0 20 0 80446023 27968053248 30927 33554432000 4194304 4196468 140731795006528 140731794989072 139683279605495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
/proc/11590/statm: 6828138 30927 2885 1 0 6790598 0
[pid=11590/tid=11592] ppid=11587 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/11590/task/11592/stat : 11592 (java) R 11587 11590 11212 0 -1 4202560 8656 0 0 0 17 2 0 0 20 0 20 0 80446024 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683251426848 139683265285620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11593] ppid=11587 vsize=27312552 memory=14857 CPUtime=0 cores=0-7
/proc/11590/task/11593/stat : 11593 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683283847568 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11594] ppid=11587 vsize=27312552 memory=288370155317364352 CPUtime=0 cores=0-7
/proc/11590/task/11594/stat : 11594 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683098003728 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11595] ppid=11587 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11590/task/11595/stat : 11595 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683096951440 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11596] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11596/stat : 11596 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683095898640 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11597] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11597/stat : 11597 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683094846352 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11598] ppid=11587 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11590/task/11598/stat : 11598 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683093793552 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11599] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11599/stat : 11599 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683092741264 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11600] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11600/stat : 11600 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 30927 33554432000 4194304 4196468 140731795006528 139683091688464 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11601] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11601/stat : 11601 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446027 27968053248 30927 33554432000 4194304 4196468 140731795006528 139681869662320 139683279616642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11602] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11602/stat : 11602 (java) S 11587 11590 11212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80446028 27968053248 30927 33554432000 4194304 4196468 140731795006528 139681127719712 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11603] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11603/stat : 11603 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446028 27968053248 30927 33554432000 4194304 4196468 140731795006528 139680859284592 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11604] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11604/stat : 11604 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 30927 33554432000 4194304 4196468 140731795006528 139680484776016 139683279624091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11605] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11605/stat : 11605 (java) S 11587 11590 11212 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 30927 33554432000 4194304 4196468 140731795006528 139681868610160 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11606] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11606/stat : 11606 (java) R 11587 11590 11212 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 30927 33554432000 4194304 4196468 140731795006528 139681867557360 139683279616642 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11607] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11607/stat : 11607 (java) S 11587 11590 11212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 30927 33554432000 4194304 4196468 140731795006528 139681664592752 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11608] ppid=11587 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/11590/task/11608/stat : 11608 (java) R 11587 11590 11212 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 80446031 27968053248 30927 33554432000 4194304 4196468 140731795006528 139681663539952 139683279616642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11609] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11609/stat : 11609 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 30927 33554432000 4194304 4196468 140731795006528 139679986870624 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11610] ppid=11587 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11590/task/11610/stat : 11610 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 30927 33554432000 4194304 4196468 140731795006528 139681662486832 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123708 KiB

[startup+0.30956 s]*
/proc/loadavg: 8.19 8.36 8.35 2/199 11610
/proc/meminfo: memFree=23222224/32770624 swapFree=67108860/67108860
[pid=11590] ppid=11587 vsize=27312552 memory=127700 CPUtime=0.41 cores=0-7
/proc/11590/stat : 11590 (java) S 11587 11590 11212 0 -1 1077944320 11285 0 0 0 37 4 0 0 20 0 20 0 80446023 27968053248 31925 33554432000 4194304 4196468 140731795006528 140731794989072 139683279605495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
/proc/11590/statm: 6828138 31925 2976 1 0 6790598 0
[pid=11590/tid=11592] ppid=11587 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11590/task/11592/stat : 11592 (java) R 11587 11590 11212 0 -1 4202560 9038 0 0 0 26 3 0 0 20 0 20 0 80446024 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683251409648 139683261169037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11593] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11593/stat : 11593 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683283847568 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11594] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11594/stat : 11594 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683098003728 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11595] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11595/stat : 11595 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683096951440 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11596] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11596/stat : 11596 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683095898640 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11597] ppid=11587 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/11590/task/11597/stat : 11597 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683094846352 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11598] ppid=11587 vsize=27312552 memory=139779039654831 CPUtime=0 cores=0-7
/proc/11590/task/11598/stat : 11598 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683093793552 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11599] ppid=11587 vsize=27312552 memory=139779039657136 CPUtime=0 cores=0-7
/proc/11590/task/11599/stat : 11599 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683092741264 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11600] ppid=11587 vsize=27312552 memory=139779039659440 CPUtime=0 cores=0-7
/proc/11590/task/11600/stat : 11600 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446026 27968053248 31925 33554432000 4194304 4196468 140731795006528 139683091688464 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11601] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11601/stat : 11601 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446027 27968053248 31925 33554432000 4194304 4196468 140731795006528 139681869662320 139683279616642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11602] ppid=11587 vsize=27312552 memory=279558079325840 CPUtime=0 cores=0-7
/proc/11590/task/11602/stat : 11602 (java) S 11587 11590 11212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80446028 27968053248 31925 33554432000 4194304 4196468 140731795006528 139681127719712 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11603] ppid=11587 vsize=27312552 memory=279558079332752 CPUtime=0 cores=0-7
/proc/11590/task/11603/stat : 11603 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446028 27968053248 31925 33554432000 4194304 4196468 140731795006528 139680859284592 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11604] ppid=11587 vsize=27312552 memory=279558079274032 CPUtime=0 cores=0-7
/proc/11590/task/11604/stat : 11604 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 31925 33554432000 4194304 4196468 140731795006528 139680484776016 139683279624091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11605] ppid=11587 vsize=27312552 memory=279558079346576 CPUtime=0.01 cores=0-7
/proc/11590/task/11605/stat : 11605 (java) S 11587 11590 11212 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 80446031 27968053248 31925 33554432000 4194304 4196468 140731795006528 139681868610160 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11606] ppid=11587 vsize=27312552 memory=279558079353488 CPUtime=0 cores=0-7
/proc/11590/task/11606/stat : 11606 (java) S 11587 11590 11212 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 31925 33554432000 4194304 4196468 140731795006528 139681867557360 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11607] ppid=11587 vsize=27312552 memory=279558079351184 CPUtime=0.01 cores=0-7
/proc/11590/task/11607/stat : 11607 (java) S 11587 11590 11212 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 20 0 80446031 27968053248 31925 33554432000 4194304 4196468 140731795006528 139681664592752 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11608] ppid=11587 vsize=27312552 memory=279558079367792 CPUtime=0.06 cores=0-7
/proc/11590/task/11608/stat : 11608 (java) S 11587 11590 11212 0 -1 1077944384 281 0 0 0 6 0 0 0 20 0 20 0 80446031 27968053248 31925 33554432000 4194304 4196468 140731795006528 139681663539952 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11609] ppid=11587 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11609/stat : 11609 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 31925 33554432000 4194304 4196468 140731795006528 139679986870624 139683279615701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11610] ppid=11587 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11590/task/11610/stat : 11610 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446031 27968053248 31925 33554432000 4194304 4196468 140731795006528 139681662486832 139683279616642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127700 KiB

[startup+0.700857 s]
/proc/loadavg: 8.19 8.36 8.35 2/199 11610
/proc/meminfo: memFree=23197932/32770624 swapFree=67108860/67108860
[pid=11590] ppid=11587 vsize=27320948 memory=165328 CPUtime=0.97 cores=0-7
/proc/11590/stat : 11590 (java) S 11587 11590 11212 0 -1 1077944320 18403 0 0 0 90 7 0 0 20 0 20 0 80446023 27976650752 41332 33554432000 4194304 4196468 140731795006528 140731794989072 139683279605495 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
/proc/11590/statm: 6830237 41332 3164 1 0 6791622 0
[pid=11590/tid=11592] ppid=11587 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/11590/task/11592/stat : 11592 (java) R 11587 11590 11212 0 -1 4202560 15653 0 0 0 62 5 0 0 20 0 20 0 80446024 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683251436800 139683279627421 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11593] ppid=11587 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11593/stat : 11593 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683283847568 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11594] ppid=11587 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11594/stat : 11594 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683098003728 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11595] ppid=11587 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/11590/task/11595/stat : 11595 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683096951440 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11596] ppid=11587 vsize=27320948 memory=4612 CPUtime=0 cores=0-7
/proc/11590/task/11596/stat : 11596 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683095898640 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11597] ppid=11587 vsize=27320948 memory=8552 CPUtime=0 cores=0-7
/proc/11590/task/11597/stat : 11597 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683094846352 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11598] ppid=11587 vsize=27320948 memory=1624 CPUtime=0 cores=0-7
/proc/11590/task/11598/stat : 11598 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683093793552 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11599] ppid=11587 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/11590/task/11599/stat : 11599 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683092741264 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11600] ppid=11587 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/11590/task/11600/stat : 11600 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80446026 27976650752 41332 33554432000 4194304 4196468 140731795006528 139683091688464 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11601] ppid=11587 vsize=27320948 memory=14604 CPUtime=0 cores=0-7
/proc/11590/task/11601/stat : 11601 (java) S 11587 11590 11212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80446027 27976650752 41332 33554432000 4194304 4196468 140731795006528 139681869662320 139683279616642 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0

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

[pid=11590/tid=11614] ppid=11587 vsize=27982760 memory=1228 CPUtime=0.02 cores=0-7
/proc/11590/task/11614/stat : 11614 (java) S 11587 11590 11212 0 -1 4202560 725 0 0 0 1 1 0 0 20 0 24 0 80446206 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679315771376 139683279627421 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11615] ppid=11587 vsize=27982760 memory=1944 CPUtime=0 cores=0-7
/proc/11590/task/11615/stat : 11615 (java) S 11587 11590 11212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80446206 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679584206512 139683279627421 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11624] ppid=11587 vsize=27982760 memory=1416 CPUtime=0 cores=0-7
/proc/11590/task/11624/stat : 11624 (java) S 11587 11590 11212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80446208 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679047343904 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
Current children cumulated CPU time: 1232.36 s
Current children cumulated vsize: 28786512 KiB
Current children cumulated memory: 850296 KiB

[startup+156.002 s]
/proc/loadavg: 8.12 8.25 8.31 9/210 11624
/proc/meminfo: memFree=22503444/32770624 swapFree=67108860/67108860
[pid=11590] ppid=11587 vsize=27982760 memory=302368 CPUtime=4.69 cores=0-7
/proc/11590/stat : 11590 (java) S 11587 11590 11212 0 -1 1077944320 25873 0 0 0 454 15 0 0 20 0 24 0 80446023 28654346240 75592 33554432000 4194304 4196468 140731795006528 140731794989072 139683279605495 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
/proc/11590/statm: 6995690 75592 3226 1 0 6956546 0
[pid=11611] ppid=11590 vsize=803752 memory=547932 CPUtime=1229.27 cores=0-7
/proc/11611/stat : 11611 (glucose-syrup) S 11590 11590 11212 0 -1 1077944320 363619 0 0 0 122840 87 0 0 20 0 9 0 80446205 823042048 136983 33554432000 4194304 4373367 140731444240832 140731444239376 139792673823362 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
/proc/11611/statm: 200938 136983 383 44 0 196626 0
[pid=11611/tid=11616] ppid=11590 vsize=803752 memory=1624 CPUtime=154.1 cores=0-7
/proc/11611/task/11616/stat : 11616 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 44739 0 0 0 15400 10 0 0 20 0 9 0 80446207 823042048 136983 33554432000 4194304 4373367 140731444240832 139792658595184 4272316 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11617] ppid=11590 vsize=803752 memory=1200 CPUtime=154.12 cores=0-7
/proc/11611/task/11617/stat : 11617 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 44586 0 0 0 15401 11 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792650202480 4258908 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11618] ppid=11590 vsize=803752 memory=15872 CPUtime=154.01 cores=0-7
/proc/11611/task/11618/stat : 11618 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 38620 0 0 0 15392 9 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792641809776 4258908 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11619] ppid=11590 vsize=803752 memory=14604 CPUtime=154.05 cores=0-7
/proc/11611/task/11619/stat : 11619 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 47179 0 0 0 15395 10 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792633417072 4271619 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11620] ppid=11590 vsize=803752 memory=4052 CPUtime=154.07 cores=0-7
/proc/11611/task/11620/stat : 11620 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 44055 0 0 0 15397 10 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792625024368 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11621] ppid=11590 vsize=803752 memory=18444 CPUtime=154.11 cores=0-7
/proc/11611/task/11621/stat : 11621 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 48370 0 0 0 15400 11 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792482413936 4271897 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11622] ppid=11590 vsize=803752 memory=640 CPUtime=154.05 cores=0-7
/proc/11611/task/11622/stat : 11622 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 47825 0 0 0 15393 12 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792616631664 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11623] ppid=11590 vsize=803752 memory=1784 CPUtime=150.67 cores=0-7
/proc/11611/task/11623/stat : 11623 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 45329 0 0 0 15057 10 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792608238960 4271621 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11590/tid=11592] ppid=11587 vsize=27982760 memory=1236 CPUtime=1.83 cores=0-7
/proc/11590/task/11592/stat : 11592 (java) S 11587 11590 11212 0 -1 1077944384 17483 0 0 0 175 8 0 0 20 0 24 0 80446024 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683251444736 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11593] ppid=11587 vsize=27982760 memory=960 CPUtime=0 cores=0-7
/proc/11590/task/11593/stat : 11593 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683283847568 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11594] ppid=11587 vsize=27982760 memory=2340 CPUtime=0 cores=0-7
/proc/11590/task/11594/stat : 11594 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683098003728 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11595] ppid=11587 vsize=27982760 memory=928 CPUtime=0 cores=0-7
/proc/11590/task/11595/stat : 11595 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683096951440 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11596] ppid=11587 vsize=27982760 memory=1572 CPUtime=0 cores=0-7
/proc/11590/task/11596/stat : 11596 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683095898640 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11597] ppid=11587 vsize=27982760 memory=2244 CPUtime=0 cores=0-7
/proc/11590/task/11597/stat : 11597 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683094846352 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11598] ppid=11587 vsize=27982760 memory=4124 CPUtime=0 cores=0-7
/proc/11590/task/11598/stat : 11598 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683093793552 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11599] ppid=11587 vsize=27982760 memory=2200 CPUtime=0 cores=0-7
/proc/11590/task/11599/stat : 11599 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683092741264 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11600] ppid=11587 vsize=27982760 memory=8148 CPUtime=0 cores=0-7
/proc/11590/task/11600/stat : 11600 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683091688464 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11601] ppid=11587 vsize=27982760 memory=848 CPUtime=0 cores=0-7
/proc/11590/task/11601/stat : 11601 (java) S 11587 11590 11212 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 80446027 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681869662320 139683279616642 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11602] ppid=11587 vsize=27982760 memory=1800 CPUtime=0 cores=0-7
/proc/11590/task/11602/stat : 11602 (java) S 11587 11590 11212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80446028 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681127719712 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11603] ppid=11587 vsize=27982760 memory=920 CPUtime=0 cores=0-7
/proc/11590/task/11603/stat : 11603 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446028 28654346240 75592 33554432000 4194304 4196468 140731795006528 139680859284592 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11604] ppid=11587 vsize=27982760 memory=4136 CPUtime=0 cores=0-7
/proc/11590/task/11604/stat : 11604 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139680484776016 139683279624091 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11605] ppid=11587 vsize=27982760 memory=1412 CPUtime=0.76 cores=0-7
/proc/11590/task/11605/stat : 11605 (java) S 11587 11590 11212 0 -1 1077944384 1931 0 0 0 75 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681868610160 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11606] ppid=11587 vsize=27982760 memory=3764 CPUtime=0.57 cores=0-7
/proc/11590/task/11606/stat : 11606 (java) S 11587 11590 11212 0 -1 1077944384 850 0 0 0 56 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681867557360 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11607] ppid=11587 vsize=27982760 memory=302368 CPUtime=0.53 cores=0-7
/proc/11590/task/11607/stat : 11607 (java) S 11587 11590 11212 0 -1 1077944384 665 0 0 0 52 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681664592752 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11608] ppid=11587 vsize=27982760 memory=547912 CPUtime=0.84 cores=0-7
/proc/11590/task/11608/stat : 11608 (java) S 11587 11590 11212 0 -1 1077944384 2808 0 0 0 83 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681663539952 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11609] ppid=11587 vsize=27982760 memory=-5155635673887894917 CPUtime=0 cores=0-7
/proc/11590/task/11609/stat : 11609 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679986870624 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11610] ppid=11587 vsize=27982760 memory=4872558044660077418 CPUtime=0.06 cores=0-7
/proc/11590/task/11610/stat : 11610 (java) S 11587 11590 11212 0 -1 1077944384 13 0 0 0 3 3 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681662486832 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 211 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11612] ppid=11587 vsize=27982760 memory=4124 CPUtime=0 cores=0-7
/proc/11590/task/11612/stat : 11612 (java) S 11587 11590 11212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80446205 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681866171712 139683279630105 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11614] ppid=11587 vsize=27982760 memory=2200 CPUtime=0.02 cores=0-7
/proc/11590/task/11614/stat : 11614 (java) S 11587 11590 11212 0 -1 4202560 725 0 0 0 1 1 0 0 20 0 24 0 80446206 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679315771376 139683279627421 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11615] ppid=11587 vsize=27982760 memory=8148 CPUtime=0 cores=0-7
/proc/11590/task/11615/stat : 11615 (java) S 11587 11590 11212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80446206 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679584206512 139683279627421 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11624] ppid=11587 vsize=27982760 memory=848 CPUtime=0 cores=0-7
/proc/11590/task/11624/stat : 11624 (java) S 11587 11590 11212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80446208 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679047343904 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
Current children cumulated CPU time: 1233.96 s
Current children cumulated vsize: 28786512 KiB
Current children cumulated memory: 850300 KiB

[startup+156.102 s]
/proc/loadavg: 8.12 8.25 8.31 9/210 11624
/proc/meminfo: memFree=22503444/32770624 swapFree=67108860/67108860
[pid=11590] ppid=11587 vsize=27982760 memory=302368 CPUtime=4.69 cores=0-7
/proc/11590/stat : 11590 (java) S 11587 11590 11212 0 -1 1077944320 25873 0 0 0 454 15 0 0 20 0 24 0 80446023 28654346240 75592 33554432000 4194304 4196468 140731795006528 140731794989072 139683279605495 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
/proc/11590/statm: 6995690 75592 3226 1 0 6956546 0
[pid=11611] ppid=11590 vsize=803752 memory=547932 CPUtime=1230.06 cores=0-7
/proc/11611/stat : 11611 (glucose-syrup) S 11590 11590 11212 0 -1 1077944320 363632 0 0 0 122919 87 0 0 20 0 9 0 80446205 823042048 136983 33554432000 4194304 4373367 140731444240832 140731444239376 139792673823362 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
/proc/11611/statm: 200938 136983 383 44 0 196626 0
[pid=11611/tid=11616] ppid=11590 vsize=803752 memory=97 CPUtime=154.2 cores=0-7
/proc/11611/task/11616/stat : 11616 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 44740 0 0 0 15410 10 0 0 20 0 9 0 80446207 823042048 136983 33554432000 4194304 4373367 140731444240832 139792658595184 4258908 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11617] ppid=11590 vsize=803752 memory=7523663830969570410 CPUtime=154.22 cores=0-7
/proc/11611/task/11617/stat : 11617 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 44586 0 0 0 15411 11 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792650202480 4271958 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11618] ppid=11590 vsize=803752 memory=0 CPUtime=154.11 cores=0-7
/proc/11611/task/11618/stat : 11618 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 38621 0 0 0 15402 9 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792641809776 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11619] ppid=11590 vsize=803752 memory=0 CPUtime=154.15 cores=0-7
/proc/11611/task/11619/stat : 11619 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 47179 0 0 0 15405 10 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792633417072 4271897 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11620] ppid=11590 vsize=803752 memory=4124 CPUtime=154.17 cores=0-7
/proc/11611/task/11620/stat : 11620 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 44056 0 0 0 15407 10 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792625024368 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11621] ppid=11590 vsize=803752 memory=2200 CPUtime=154.21 cores=0-7
/proc/11611/task/11621/stat : 11621 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 48371 0 0 0 15410 11 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792482413936 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11622] ppid=11590 vsize=803752 memory=302368 CPUtime=154.15 cores=0-7
/proc/11611/task/11622/stat : 11622 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 47827 0 0 0 15403 12 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792616631664 4249146 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11611/tid=11623] ppid=11590 vsize=803752 memory=486316 CPUtime=150.77 cores=0-7
/proc/11611/task/11623/stat : 11623 (glucose-syrup) R 11590 11590 11212 0 -1 4202560 45336 0 0 0 15067 10 0 0 20 0 9 0 80446208 823042048 136983 33554432000 4194304 4373367 140731444240832 139792608238960 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 39882752 140731444245423 140731444245676 140731444245676 140731444248519 0
[pid=11590/tid=11592] ppid=11587 vsize=27982760 memory=302368 CPUtime=1.83 cores=0-7
/proc/11590/task/11592/stat : 11592 (java) S 11587 11590 11212 0 -1 1077944384 17483 0 0 0 175 8 0 0 20 0 24 0 80446024 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683251444736 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11593] ppid=11587 vsize=27982760 memory=302368 CPUtime=0 cores=0-7
/proc/11590/task/11593/stat : 11593 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683283847568 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11594] ppid=11587 vsize=27982760 memory=475900 CPUtime=0 cores=0-7
/proc/11590/task/11594/stat : 11594 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683098003728 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11595] ppid=11587 vsize=27982760 memory=302368 CPUtime=0 cores=0-7
/proc/11590/task/11595/stat : 11595 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683096951440 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11596] ppid=11587 vsize=27982760 memory=1412 CPUtime=0 cores=0-7
/proc/11590/task/11596/stat : 11596 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683095898640 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11597] ppid=11587 vsize=27982760 memory=56 CPUtime=0 cores=0-7
/proc/11590/task/11597/stat : 11597 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683094846352 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11598] ppid=11587 vsize=27982760 memory=4028 CPUtime=0 cores=0-7
/proc/11590/task/11598/stat : 11598 (java) S 11587 11590 11212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683093793552 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11599] ppid=11587 vsize=27982760 memory=279558079355760 CPUtime=0 cores=0-7
/proc/11590/task/11599/stat : 11599 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683092741264 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11600] ppid=11587 vsize=27982760 memory=6933690317890819993 CPUtime=0 cores=0-7
/proc/11590/task/11600/stat : 11600 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446026 28654346240 75592 33554432000 4194304 4196468 140731795006528 139683091688464 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11601] ppid=11587 vsize=27982760 memory=4028 CPUtime=0 cores=0-7
/proc/11590/task/11601/stat : 11601 (java) S 11587 11590 11212 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 80446027 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681869662320 139683279616642 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11602] ppid=11587 vsize=27982760 memory=23856 CPUtime=0 cores=0-7
/proc/11590/task/11602/stat : 11602 (java) S 11587 11590 11212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80446028 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681127719712 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11603] ppid=11587 vsize=27982760 memory=299696 CPUtime=0 cores=0-7
/proc/11590/task/11603/stat : 11603 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446028 28654346240 75592 33554432000 4194304 4196468 140731795006528 139680859284592 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11604] ppid=11587 vsize=27982760 memory=445288 CPUtime=0 cores=0-7
/proc/11590/task/11604/stat : 11604 (java) S 11587 11590 11212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139680484776016 139683279624091 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11605] ppid=11587 vsize=27982760 memory=14976680649297011 CPUtime=0.76 cores=0-7
/proc/11590/task/11605/stat : 11605 (java) S 11587 11590 11212 0 -1 1077944384 1931 0 0 0 75 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681868610160 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11606] ppid=11587 vsize=27982760 memory=433712 CPUtime=0.57 cores=0-7
/proc/11590/task/11606/stat : 11606 (java) S 11587 11590 11212 0 -1 1077944384 850 0 0 0 56 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681867557360 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11607] ppid=11587 vsize=27982760 memory=302368 CPUtime=0.53 cores=0-7
/proc/11590/task/11607/stat : 11607 (java) S 11587 11590 11212 0 -1 1077944384 665 0 0 0 52 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681664592752 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11608] ppid=11587 vsize=27982760 memory=547912 CPUtime=0.84 cores=0-7
/proc/11590/task/11608/stat : 11608 (java) S 11587 11590 11212 0 -1 1077944384 2808 0 0 0 83 1 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681663539952 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11609] ppid=11587 vsize=27982760 memory=4136 CPUtime=0 cores=0-7
/proc/11590/task/11609/stat : 11609 (java) S 11587 11590 11212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679986870624 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11610] ppid=11587 vsize=27982760 memory=2428 CPUtime=0.06 cores=0-7
/proc/11590/task/11610/stat : 11610 (java) S 11587 11590 11212 0 -1 1077944384 13 0 0 0 3 3 0 0 20 0 24 0 80446031 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681662486832 139683279616642 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 211 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11612] ppid=11587 vsize=27982760 memory=23856 CPUtime=0 cores=0-7
/proc/11590/task/11612/stat : 11612 (java) S 11587 11590 11212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80446205 28654346240 75592 33554432000 4194304 4196468 140731795006528 139681866171712 139683279630105 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11614] ppid=11587 vsize=27982760 memory=1296 CPUtime=0.02 cores=0-7
/proc/11590/task/11614/stat : 11614 (java) S 11587 11590 11212 0 -1 4202560 725 0 0 0 1 1 0 0 20 0 24 0 80446206 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679315771376 139683279627421 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11615] ppid=11587 vsize=27982760 memory=2428 CPUtime=0 cores=0-7
/proc/11590/task/11615/stat : 11615 (java) S 11587 11590 11212 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80446206 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679584206512 139683279627421 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
[pid=11590/tid=11624] ppid=11587 vsize=27982760 memory=4028 CPUtime=0 cores=0-7
/proc/11590/task/11624/stat : 11624 (java) S 11587 11590 11212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80446208 28654346240 75592 33554432000 4194304 4196468 140731795006528 139679047343904 139683279615701 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140731795014617 140731795014917 140731795014917 140731795017679 0
Current children cumulated CPU time: 1234.75 s
Current children cumulated vsize: 28786512 KiB
Current children cumulated memory: 850300 KiB

Child status: 0
Real time (s): 156.181
CPU time (s): 1235.14
CPU user time (s): 1234.08
CPU system time (s): 1.06172
CPU usage (%): 790.839
Max. virtual memory (cumulated for all children) (KiB): 28786512
Max. memory (cumulated for all children) (KiB): 850300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1234.08
system time used= 1.06172
maximum resident set size= 548028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9818
involuntary context switches= 12949


# summary of solver processes directly reported to runsolver:
#   pid: 11590
#   total CPU time (s): 1235.14
#   total CPU user time (s): 1234.08
#   total CPU system time (s): 1.06172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37653 second user time and 2.1279 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-26 20:13:48
IDJOB=4296915
IDBENCH=141027
IDSOLVER=2758
FILE ID=node151/4296915-1532628828
RUNJOBID= node151-1532623783-11239
PBS_JOBID= 21022018
Free space on /tmp= 54928 MiB

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

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

MD5SUM BENCH= 097ee2ac2bfb45f3aedded97da1eabe0
RANDOM SEED=683135785

node151.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.87
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.87
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.87
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.87
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:        23338732 kB
MemAvailable:   31940120 kB
Buffers:          205052 kB
Cached:          8640776 kB
SwapCached:            0 kB
Active:          1395724 kB
Inactive:        7504728 kB
Active(anon):       5396 kB
Inactive(anon):    77480 kB
Active(file):    1390328 kB
Inactive(file):  7427248 kB
Unevictable:        7824 kB
Mlocked:            7824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8220 kB
Writeback:            28 kB
AnonPages:         61792 kB
Mapped:            40952 kB
Shmem:             25224 kB
Slab:             226692 kB
SReclaimable:     199292 kB
SUnreclaim:        27400 kB
KernelStack:        3184 kB
PageTables:         5112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54920 MiB
End job on node151 at 2018-07-26 20:16:25