Trace number 4297263

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-07)SAT 1294.73 171.66

General information on the benchmark

NameSportsScheduling/
SportsScheduling-14_c18.xml
MD5SUM1e3f519c957d5cb55b89b746c42a86fa
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark107.645
Satisfiable
(Un)Satisfiability was proved
Number of variables287
Number of constraints147
Number of domains2
Minimum domain size14
Maximum domain size91
Distribution of domain sizes[{"size":14,"count":196},{"size":91,"count":91}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":98},{"degree":4,"count":189}]
Minimum constraint arity1
Maximum constraint arity91
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":7},{"arity":3,"count":91},{"arity":7,"count":13},{"arity":14,"count":14},{"arity":26,"count":7},{"arity":28,"count":7},{"arity":91,"count":1}]
Number of extensional constraints91
Number of intensional constraints14
Distribution of constraint types[{"type":"extension","count":91},{"type":"intension","count":14},{"type":"allDifferent","count":15},{"type":"count","count":13},{"type":"cardinality","count":14}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Fri Jul 27 10:19:25 CEST 2018
0.66/0.56	c PID: 15890
0.66/0.56	c IP: 172.20.3.134
0.66/0.56	c HOST: node134.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.61/1.03	c (0,0) Parsing End
1.61/1.03	c (0,0) CSP: 287 int (0 aux), 0 bool (0 aux), 147 ctr, max domain size 91
1.61/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.61/1.03	c (0,0) Constraint Name Generate Begin
1.61/1.04	c (0,0) Ctr:HOME/instance-4297263-1532679565.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.61/1.04	c (0,0) Constraint Name Generate End
1.61/1.04	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.61/1.04	c (0,0) CSP to CSPinCNF Begin
4.66/2.03	c (1,1) translated 15 (10%) constraints
5.71/2.39	c (1,1) translated 30 (20%) constraints
6.84/2.71	c (2,2) translated 45 (30%) constraints
7.06/2.98	c (2,2) translated 59 (40%) constraints
7.47/3.27	c (2,2) translated 74 (50%) constraints
7.78/3.55	c (3,3) translated 89 (60%) constraints
8.66/3.87	c (3,3) translated 103 (70%) constraints
11.17/4.43	c (3,3) translated 118 (80%) constraints
11.17/4.45	c (3,3) translated 133 (90%) constraints
11.59/4.57	c (4,4) translated 147 (100%) constraints
13.54/5.01	c (4,4) STATISTICS1:HOME/instance-4297263-1532679565.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,12586,56253,134217728,91,91,28,134217728:196;33554432:196;91:3486;64:26;13:1281;1:609,91:38136;13:42294;2:85582;1:3185,91:2;14:301;13:91;12:91;11:91;10:91;9:91;8:91;7:91;6:91;5:91;4:14105;3:14574;2:26131;1:321,28:196;26:196;7:26;2:5376;1:153356;0:91,
13.54/5.01	c (4,4) ===========================================
13.54/5.01	c (4,4) Both Encoding selects:
13.54/5.01	c (4,4) Order
13.54/5.01	c (4,4) ===========================================
13.96/5.18	c (4,4) translated 5626 (10%) constraints
14.72/5.30	c (4,4) translated 11251 (20%) constraints
15.09/5.40	c (4,4) translated 16876 (30%) constraints
15.09/5.48	c (4,4) translated 22502 (40%) constraints
15.22/5.56	c (5,5) translated 28127 (50%) constraints
15.31/5.65	c (5,5) translated 33752 (60%) constraints
15.42/5.73	c (5,5) translated 39378 (70%) constraints
15.52/5.82	c (5,5) translated 45003 (80%) constraints
16.25/6.10	c (5,5) translated 50628 (90%) constraints
18.02/6.57	c (6,6) translated 56253 (100%) constraints
18.02/6.57	c (6,6) CSP to CSPinCNF End
18.02/6.58	c (6,6) CSP: 1072 int (785 aux), 15134 bool (15134 aux), 63217 ctr, max domain size 89
18.02/6.58	c (6,6) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
18.02/6.58	c (6,6) CSPinCNF Propagation Begin
19.85/7.22	c (6,6) 2514 values, 9493 unsatisfiable literals, and 7097 valid clauses are removed
19.85/7.22	c (6,6) CSPinCNF Propagation End
19.85/7.23	c (6,6) CSP: 2962 int (2675 aux), 13244 bool (13244 aux), 56120 ctr, max domain size 89
19.85/7.23	c (6,6) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
19.85/7.23	c (6,6) Simplify CSPinCNF Begin
20.61/7.55	c (7,6) Simplify CSPinCNF End
20.61/7.55	c (7,6) CSP: 2962 int (2675 aux), 23422 bool (23422 aux), 66298 ctr, max domain size 89
20.61/7.55	c (7,6) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.61/7.55	c (7,6) Calculate Precise Domain Begin
20.78/7.60	c (7,7) 7 values are removed by re-calculation
20.78/7.60	c (7,7) Calculate Precise Domain End
20.78/7.60	c (7,7) CSP: 2962 int (2675 aux), 23422 bool (23422 aux), 66298 ctr, max domain size 89
20.78/7.60	c (7,7) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.78/7.60	c (7,7) CSPinCNF to SatSolver Begin
21.11/7.77	c (7,7) 6630 (10 %) CSP clauses are encoded (35386 SAT variables, 17570 SAT clauses)
21.47/7.81	c (7,7) 13260 (20 %) CSP clauses are encoded (35386 SAT variables, 24200 SAT clauses)
21.47/7.86	c (7,7) 19890 (30 %) CSP clauses are encoded (35386 SAT variables, 30830 SAT clauses)
21.59/7.90	c (7,7) 26520 (40 %) CSP clauses are encoded (35386 SAT variables, 37460 SAT clauses)
21.59/7.94	c (7,7) 33149 (50 %) CSP clauses are encoded (35386 SAT variables, 44089 SAT clauses)
21.59/7.98	c (7,7) 39779 (60 %) CSP clauses are encoded (35386 SAT variables, 50719 SAT clauses)
22.90/8.89	c (8,8) 46409 (70 %) CSP clauses are encoded (35386 SAT variables, 371509 SAT clauses)
23.87/9.70	c (9,9) 53039 (80 %) CSP clauses are encoded (35386 SAT variables, 684555 SAT clauses)
24.61/10.04	c (9,9) 59669 (90 %) CSP clauses are encoded (35386 SAT variables, 742499 SAT clauses)
25.00/10.32	c (9,9) 66298 (100 %) CSP clauses are encoded (35386 SAT variables, 805672 SAT clauses)
25.00/10.32	c (9,9) CSPinCNF to SatSolver End
25.00/10.32	c (9,9) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
25.88/10.69	c (10,10) STATISTICS2:HOME/instance-4297263-1532679565.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,26384,66298,1024,89,13,11,1024:2;512:306;256:614;128:2;89:6972;72:1;64:24;32:56;27:65;18:6;16:196;15:18;13:693;12:1680;10:1;9:252;4:42;1:840,89:44674;13:36260;12:7812;10:2;9:296;8:2;5:80;3:1678;2:104692;1:2660,13:168;12:168;11:84;10:84;9:84;8:84;7:110;6:84;5:84;4:13020;3:12243;2:38493;1:1592,11:196;10:784;9:196;7:24;3:385;2:10185;1:164703,
25.88/10.69	c (10,10) SatSolver.solve Begin
25.88/10.69	c (10,10) 35386 bool, 805684 clause
25.88/10.69	c (10,10) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297263-1532679565.xml-scop-15890.cnf HOME/instance-4297263-1532679565.xml-scop-15890.cnf.out
98.75/21.68	c (21,0) c
98.75/21.68	c (21,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
98.75/21.68	c (21,0) c
98.75/21.68	c (21,0) c WARNING: for repeatability, setting FPU to use double precision
98.75/21.68	c (21,0) c 8 solvers engines and 1 companion as a blackboard created.
98.75/21.68	c (21,0) c ========================================[ Problem Statistics ]===========================================
98.75/21.68	c (21,0) c |                                                                                                       |
98.75/21.68	c (21,0) c |  Number of variables:         35386                                                                   |
98.75/21.68	c (21,0) c |  Number of clauses:          805684                                                                   |
98.75/21.68	c (21,0) c |  Parse time:                   0.23 s                                                                 |
98.75/21.68	c (21,0) c |                                                                                                       |
98.75/21.68	c (21,0) c |  Eliminated clauses:           0.58 Mb                                                                |
98.75/21.68	c (21,0) c |  Simplification time:          1.51 s                                                                 |
98.75/21.68	c (21,0) c |                                                                                                       |
98.75/21.68	c (21,0) c |  Generating clones                                                                                    |
98.75/21.68	c (21,0) c |  all clones generated. Memory = 460.85Mb.                                                             |
98.75/21.68	c (21,0) c ========================================================================================================|
98.75/21.68	c (21,0) c
98.75/21.68	c (21,0) c |-------------------------------------------------------------------------------------------------------|
98.75/21.68	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
98.75/21.68	c (21,0) c |-------------------------------------------------------------------------------------------------------|
98.75/21.68	c (21,0) c |  0 |     77 |      84956 |      14343 |    80161 |     5559 |     1687 |    12949 |      754 |  0.602 |
98.75/21.68	c (21,0) c |  1 |     99 |      92537 |      15942 |    92275 |     7114 |     1829 |    12913 |      787 |  0.599 |
98.75/21.68	c (21,0) c |  2 |     89 |      96268 |      15976 |    88918 |     7146 |     1765 |    12787 |      760 |  0.596 |
98.75/21.68	c (21,0) c |  3 |     81 |      97707 |      16880 |    95566 |     8056 |     1864 |    12664 |      814 |  0.596 |
98.75/21.68	c (21,0) c |  4 |     92 |     100739 |      17933 |    90369 |     9114 |     2343 |    12428 |      825 |  0.602 |
98.75/21.68	c (21,0) c |  5 |    116 |     100629 |      17093 |    90343 |     8258 |     2068 |    12732 |      761 |  0.602 |
98.75/21.68	c (21,0) c |  6 |    108 |      92252 |      15297 |    88630 |     6480 |     1459 |    13165 |      743 |  0.596 |
98.75/21.68	c (21,0) c |  7 |     88 |      98744 |      15648 |    85969 |     6849 |     1788 |    12869 |      835 |  0.602 |
98.75/21.68	c (21,0) c 
98.75/21.68	c (21,0) c synthesis      129117 conflicts    60085437 propagations     3200 conflicts/sec  1489355 propagations/sec
98.75/21.68	c (21,0) c Total Memory so far : 1039.20Mb
98.75/21.68	c (21,0) c
98.75/21.68	c (21,0) c |-------------------------------------------------------------------------------------------------------|
98.75/21.68	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
98.75/21.68	c (21,0) c |-------------------------------------------------------------------------------------------------------|
98.75/21.68	c (21,0) c |  0 |    131 |     153493 |      24541 |   115173 |     8312 |     2965 |    23516 |     1605 |  0.839 |
98.75/21.68	c (21,0) c |  1 |    149 |     159875 |      27823 |   123237 |    11622 |     3507 |    22872 |     1617 |  0.834 |
98.75/21.68	c (21,0) c |  2 |    137 |     169269 |      27507 |   123942 |    11264 |     3237 |    23216 |     1697 |  0.839 |
98.75/21.68	c (21,0) c |  3 |    129 |     167819 |      27340 |   126662 |    11069 |     3105 |    23328 |     1629 |  0.842 |
98.75/21.68	c (21,0) c |  4 |    158 |     175577 |      30547 |   126681 |    14287 |     3921 |    22580 |     1834 |  0.839 |
98.75/21.68	c (21,0) c |  5 |    185 |     171864 |      29197 |   125379 |    12964 |     3686 |    22654 |     1684 |  0.839 |
98.75/21.68	c (21,0) c |  6 |    172 |     166756 |      26624 |   123224 |    10401 |     2852 |    23598 |     1577 |  0.836 |
98.75/21.68	c (21,0) c |  7 |    154 |     172332 |      26987 |   121623 |    10778 |     3243 |    23260 |     1751 |  0.839 |
98.75/21.68	c (21,0) c 
194.33/33.68	c (33,0) c synthesis      220567 conflicts   114388029 propagations     3057 conflicts/sec  1585271 propagations/sec
194.33/33.68	c (33,0) c Total Memory so far : 1039.85Mb
194.33/33.68	c (33,0) c
194.33/33.68	c (33,0) c |-------------------------------------------------------------------------------------------------------|
194.33/33.68	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
194.33/33.68	c (33,0) c |-------------------------------------------------------------------------------------------------------|
194.33/33.68	c (33,0) c |  0 |    187 |     213790 |      33394 |   137224 |    17139 |     3908 |    31206 |     2255 |  0.995 |
194.33/33.68	c (33,0) c |  1 |    203 |     227160 |      37881 |   145252 |    11783 |     4715 |    30401 |     2431 |  0.989 |
194.33/33.68	c (33,0) c |  2 |    192 |     239025 |      37966 |   145592 |    11862 |     4450 |    30679 |     2507 |  0.992 |
194.33/33.68	c (33,0) c |  3 |    189 |     234010 |      37823 |   149848 |    11686 |     4371 |    30749 |     2423 |  0.995 |
194.33/33.68	c (33,0) c |  4 |    217 |     243380 |      40474 |   150439 |    14320 |     4998 |    30121 |     2622 |  0.992 |
194.33/33.68	c (33,0) c |  5 |    241 |     242800 |      38404 |   147295 |    12285 |     4654 |    30296 |     2503 |  0.989 |
194.33/33.68	c (33,0) c |  6 |    234 |     236545 |      36102 |   146230 |     9985 |     3900 |    31261 |     2317 |  0.992 |
194.33/33.68	c (33,0) c |  7 |    207 |     240531 |      36129 |   144545 |    10044 |     4175 |    30947 |     2506 |  0.992 |
194.33/33.68	c (33,0) c 
194.33/33.68	c (33,0) c synthesis      298174 conflicts   167333870 propagations     2868 conflicts/sec  1609542 propagations/sec
194.33/33.68	c (33,0) c Total Memory so far : 1040.36Mb
194.33/33.68	c (33,0) c
194.33/33.68	c (33,0) c |-------------------------------------------------------------------------------------------------------|
194.33/33.68	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
194.33/33.68	c (33,0) c |-------------------------------------------------------------------------------------------------------|
194.33/33.68	c (33,0) c |  0 |    225 |     271624 |      43700 |   155304 |    17578 |     5281 |    38392 |     2954 |  1.074 |
194.33/33.68	c (33,0) c |  1 |    252 |     289254 |      47635 |   162174 |    21510 |     6044 |    37638 |     3073 |  1.080 |
194.33/33.68	c (33,0) c |  2 |    241 |     303809 |      46921 |   163700 |    20798 |     5432 |    38220 |     3232 |  1.071 |
194.33/33.68	c (33,0) c |  3 |    233 |     295265 |      46444 |   166964 |    20277 |     5356 |    38322 |     3108 |  1.074 |
194.33/33.68	c (33,0) c |  4 |    289 |     308845 |      49436 |   168619 |    23272 |     5995 |    37647 |     3325 |  1.071 |
194.33/33.68	c (33,0) c |  5 |    286 |     305352 |      46506 |   164438 |    20361 |     5569 |    38039 |     3110 |  1.074 |
194.33/33.68	c (33,0) c |  6 |    280 |     300891 |      45343 |   164552 |    19192 |     4959 |    38527 |     2969 |  1.071 |
194.33/33.68	c (33,0) c |  7 |    255 |     311213 |      44474 |   161973 |    18363 |     5065 |    38558 |     3146 |  1.071 |
194.33/33.68	c (33,0) c 
194.33/33.68	c (33,0) c synthesis      370462 conflicts   220330611 propagations     2731 conflicts/sec  1624531 propagations/sec
194.33/33.68	c (33,0) c Total Memory so far : 1259.32Mb
194.33/33.68	c (33,0) c
194.33/33.68	c (33,0) c |-------------------------------------------------------------------------------------------------------|
194.33/33.68	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
194.33/33.68	c (33,0) c |-------------------------------------------------------------------------------------------------------|
194.33/33.68	c (33,0) c |  0 |    264 |     325601 |      52413 |   169699 |    13872 |     6321 |    45988 |     3607 |  1.201 |
194.33/33.68	c (33,0) c |  1 |    297 |     345270 |      56102 |   177240 |    17549 |     6941 |    45194 |     3729 |  1.190 |
194.33/33.68	c (33,0) c |  2 |    280 |     364270 |      58668 |   178863 |    20117 |     6970 |    45253 |     3888 |  1.193 |
194.33/33.68	c (33,0) c |  3 |    276 |     352786 |      54451 |   181918 |    15881 |     6223 |    45873 |     3726 |  1.195 |
194.33/33.68	c (33,0) c |  4 |    337 |     372655 |      58557 |   184181 |    20008 |     6965 |    45348 |     3970 |  1.198 |
194.33/33.68	c (33,0) c |  5 |    329 |     364908 |      55241 |   179237 |    16679 |     6584 |    45727 |     3720 |  1.201 |
194.33/33.68	c (33,0) c |  6 |    328 |     359898 |      55803 |   180723 |    17246 |     6298 |    45906 |     3643 |  1.193 |
194.33/33.68	c (33,0) c |  7 |    311 |     370426 |      52784 |   176888 |    14254 |     6023 |    46212 |     3804 |  1.198 |
194.33/33.68	c (33,0) c 
194.33/33.68	c (33,0) c synthesis      444020 conflicts   272166916 propagations     2652 conflicts/sec  1625343 propagations/sec
329.86/50.68	c (50,0) c Total Memory so far : 1022.22Mb
329.86/50.68	c (50,0) c
329.86/50.68	c (50,0) c |-------------------------------------------------------------------------------------------------------|
329.86/50.68	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
329.86/50.68	c (50,0) c |-------------------------------------------------------------------------------------------------------|
329.86/50.68	c (50,0) c |  0 |    306 |     384301 |      59960 |   182519 |    21406 |     7100 |    52311 |     4159 |  1.235 |
329.86/50.68	c (50,0) c |  1 |    352 |     400097 |      63458 |   189919 |    24863 |     7731 |    51708 |     4307 |  1.235 |
329.86/50.68	c (50,0) c |  2 |    332 |     420309 |      67174 |   191751 |    28617 |     7947 |    51491 |     4507 |  1.238 |
329.86/50.68	c (50,0) c |  3 |    338 |     408642 |      62573 |   195469 |    23991 |     7189 |    52087 |     4307 |  1.235 |
329.86/50.68	c (50,0) c |  4 |    388 |     434217 |      66721 |   197214 |    28162 |     7816 |    51607 |     4641 |  1.232 |
329.86/50.68	c (50,0) c |  5 |    384 |     420057 |      63319 |   192854 |    24747 |     7538 |    51859 |     4343 |  1.235 |
329.86/50.68	c (50,0) c |  6 |    376 |     420830 |      63700 |   193597 |    25117 |     7165 |    52290 |     4253 |  1.238 |
329.86/50.68	c (50,0) c |  7 |    371 |     431415 |      61208 |   190419 |    22675 |     6976 |    52303 |     4406 |  1.232 |
329.86/50.68	c (50,0) c 
329.86/50.68	c (50,0) c synthesis      508113 conflicts   323901770 propagations     2550 conflicts/sec  1625456 propagations/sec
329.86/50.68	c (50,0) c Total Memory so far : 1022.22Mb
329.86/50.68	c (50,0) c
329.86/50.68	c (50,0) c |-------------------------------------------------------------------------------------------------------|
329.86/50.68	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
329.86/50.68	c (50,0) c |-------------------------------------------------------------------------------------------------------|
329.86/50.68	c (50,0) c |  0 |    355 |     439222 |      67047 |   194193 |    28487 |     7873 |    58128 |     4723 |  1.277 |
329.86/50.68	c (50,0) c |  1 |    402 |     456125 |      70693 |   201865 |    17110 |     8564 |    57423 |     4938 |  1.280 |
329.86/50.68	c (50,0) c |  2 |    385 |     480789 |      75409 |   203893 |    21839 |     8783 |    57220 |     5098 |  1.283 |
329.86/50.68	c (50,0) c |  3 |    386 |     461547 |      69951 |   207253 |    16375 |     7969 |    58012 |     4910 |  1.286 |
329.86/50.68	c (50,0) c |  4 |    439 |     491900 |      74768 |   210102 |    21190 |     8613 |    57326 |     5187 |  1.275 |
329.86/50.68	c (50,0) c |  5 |    439 |     476160 |      70724 |   204451 |    17133 |     8364 |    57443 |     4864 |  1.277 |
329.86/50.68	c (50,0) c |  6 |    433 |     478624 |      71779 |   206505 |    18227 |     8047 |    57812 |     4821 |  1.275 |
329.86/50.68	c (50,0) c |  7 |    430 |     487139 |      69004 |   203349 |    15461 |     7801 |    58168 |     4992 |  1.275 |
329.86/50.68	c (50,0) c 
329.86/50.68	c (50,0) c synthesis      569375 conflicts   375548031 propagations     2463 conflicts/sec  1624642 propagations/sec
329.86/50.68	c (50,0) c Total Memory so far : 1022.22Mb
329.86/50.68	c (50,0) c
329.86/50.68	c (50,0) c |-------------------------------------------------------------------------------------------------------|
329.86/50.68	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
329.86/50.68	c (50,0) c |-------------------------------------------------------------------------------------------------------|
329.86/50.68	c (50,0) c |  0 |    417 |     510923 |      75480 |   207995 |    21915 |     8817 |    64928 |     5353 |  1.337 |
329.86/50.68	c (50,0) c |  1 |    454 |     529034 |      79097 |   214654 |    25508 |     9468 |    64383 |     5640 |  1.331 |
329.86/50.68	c (50,0) c |  2 |    457 |     551072 |      84557 |   217188 |    30979 |     9779 |    64012 |     5809 |  1.334 |
329.86/50.68	c (50,0) c |  3 |    446 |     539305 |      79326 |   220461 |    25741 |     8993 |    64852 |     5611 |  1.337 |
329.86/50.68	c (50,0) c |  4 |    515 |     564168 |      84533 |   224604 |    30941 |     9704 |    64161 |     5994 |  1.334 |
329.86/50.68	c (50,0) c |  5 |    515 |     546316 |      79454 |   217814 |    25856 |     9266 |    64544 |     5496 |  1.337 |
329.86/50.68	c (50,0) c |  6 |    496 |     553726 |      80922 |   219518 |    27361 |     9061 |    64803 |     5472 |  1.334 |
329.86/50.68	c (50,0) c |  7 |    495 |     564553 |      77820 |   216552 |    24267 |     8781 |    65019 |     5622 |  1.334 |
329.86/50.68	c (50,0) c 
329.86/50.68	c (50,0) c synthesis      641191 conflicts   440774030 propagations     2366 conflicts/sec  1626544 propagations/sec
329.86/50.68	c (50,0) c Total Memory so far : 1022.22Mb
329.86/50.68	c (50,0) c
393.67/58.68	c (58,0) c |-------------------------------------------------------------------------------------------------------|
393.67/58.68	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
393.67/58.68	c (58,0) c |-------------------------------------------------------------------------------------------------------|
393.67/58.68	c (58,0) c |  0 |    483 |     562750 |      82831 |   218226 |    29257 |     9669 |    70300 |     5914 |  1.376 |
393.67/58.68	c (58,0) c |  1 |    510 |     579846 |      85731 |   224416 |    32132 |    10179 |    69810 |     6178 |  1.371 |
393.67/58.68	c (58,0) c |  2 |    502 |     609821 |      91597 |   227134 |    20421 |    10439 |    69495 |     6363 |  1.373 |
393.67/58.68	c (58,0) c |  3 |    507 |     594268 |      86635 |   231275 |    33043 |     9824 |    70167 |     6167 |  1.376 |
393.67/58.68	c (58,0) c |  4 |    575 |     627269 |      91741 |   234350 |    20560 |    10543 |    69388 |     6571 |  1.373 |
393.67/58.68	c (58,0) c |  5 |    558 |     601469 |      86502 |   227469 |    32894 |     9997 |    69895 |     6088 |  1.376 |
393.67/58.68	c (58,0) c |  6 |    549 |     611329 |      87482 |   229033 |    33907 |     9744 |    70258 |     6019 |  1.373 |
393.67/58.68	c (58,0) c |  7 |    540 |     620610 |      84988 |   226299 |    31422 |     9610 |    70314 |     6205 |  1.373 |
393.67/58.68	c (58,0) c 
393.67/58.68	c (58,0) c synthesis      697510 conflicts   491536874 propagations     2303 conflicts/sec  1622981 propagations/sec
393.67/58.68	c (58,0) c Total Memory so far : 1022.22Mb
393.67/58.68	c (58,0) c
393.67/58.68	c (58,0) c |-------------------------------------------------------------------------------------------------------|
394.52/58.75	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
394.52/58.75	c (58,0) c |-------------------------------------------------------------------------------------------------------|
394.52/58.75	c (58,0) c |  0 |    529 |     612398 |      89581 |   227825 |    18417 |    10356 |    75211 |     6467 |  1.402 |
394.52/58.75	c (58,0) c |  1 |    564 |     633297 |      92070 |   232657 |    20881 |    10848 |    74618 |     6694 |  1.396 |
394.52/58.75	c (58,0) c |  2 |    557 |     671795 |      98545 |   236142 |    27367 |    11059 |    74431 |     6914 |  1.399 |
394.52/58.75	c (58,0) c |  3 |    567 |     648111 |      93525 |   240723 |    22331 |    10535 |    75018 |     6673 |  1.402 |
394.52/58.75	c (58,0) c |  4 |    631 |     685477 |      99219 |   243730 |    28025 |    11339 |    74090 |     7101 |  1.399 |
394.52/58.75	c (58,0) c |  5 |    610 |     652755 |      93101 |   236371 |    21911 |    10663 |    74750 |     6556 |  1.402 |
394.52/58.75	c (58,0) c |  6 |    608 |     666008 |      94772 |   238526 |    23604 |    10468 |    75091 |     6484 |  1.399 |
394.52/58.75	c (58,0) c |  7 |    600 |     674530 |      91708 |   236323 |    20550 |    10313 |    75109 |     6725 |  1.399 |
394.52/58.75	c (58,0) c 
394.52/58.75	c (58,0) c synthesis      752522 conflicts   542359918 propagations     2248 conflicts/sec  1620219 propagations/sec
394.52/58.75	c (58,0) c Total Memory so far : 1022.22Mb
394.52/58.75	c (58,0) c
394.52/58.75	c (58,0) c Try to adapt solver strategies
394.52/58.75	c (58,0) c 
394.52/58.75	c (58,0) c Adjusting for low successive conflicts.
394.52/58.75	c (58,0) c
394.52/58.76	c (58,0) c
394.52/58.76	c (58,0) c Try to adapt solver strategies
394.52/58.76	c (58,0) c 
394.52/58.76	c (58,0) c Adjusting for low successive conflicts.
394.52/58.76	c (58,0) c
394.52/58.76	c (58,0) c
394.52/58.76	c (58,0) c Try to adapt solver strategies
394.52/58.76	c (58,0) c 
394.52/58.76	c (58,0) c Adjusting for low successive conflicts.
394.52/58.76	c (58,0) c
394.52/58.76	c (58,0) c
394.52/58.76	c (58,0) c |-------------------------------------------------------------------------------------------------------|
394.52/58.76	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
394.52/58.76	c (58,0) c |-------------------------------------------------------------------------------------------------------|
394.52/58.76	c (58,0) c |  0 |    585 |     665774 |      96867 |   237698 |    25702 |    11106 |    79968 |     6890 |  1.405 |
394.52/58.76	c (58,0) c |  1 |    618 |     688955 |      98920 |   240984 |    27732 |    11593 |    79405 |     7174 |  1.396 |
394.52/58.76	c (58,0) c |  2 |    574 |     698422 |     103931 |   241071 |    32751 |    11674 |    78379 |     7223 |  1.399 |
394.52/58.76	c (58,0) c |  3 |    620 |     703500 |     100773 |   249916 |    29576 |    11276 |    79861 |     7181 |  1.405 |
394.52/58.76	c (58,0) c |  4 |    638 |     711036 |     105021 |   248713 |    33826 |    12014 |    78995 |     7357 |  1.399 |
394.52/58.76	c (58,0) c |  5 |    652 |     709947 |      98976 |   244353 |    27779 |    11250 |    79609 |     7048 |  1.402 |
394.52/58.76	c (58,0) c |  6 |    666 |     718529 |     101183 |   247192 |    30010 |    11178 |    79879 |     6904 |  1.402 |
394.52/58.76	c (58,0) c |  7 |    656 |     728857 |      98986 |   245791 |    27826 |    11059 |    80013 |     7217 |  1.402 |
394.52/58.76	c (58,0) c 
489.39/70.68	c (70,0) c synthesis      804657 conflicts   594260870 propagations     2195 conflicts/sec  1620822 propagations/sec
489.39/70.68	c (70,0) c Total Memory so far : 1022.22Mb
489.39/70.68	c (70,0) c
489.39/70.68	c (70,0) c Try to adapt solver strategies
489.39/70.68	c (70,0) c 
489.39/70.68	c (70,0) c Adjusting for low successive conflicts.
489.39/70.68	c (70,0) c
489.39/70.68	c (70,0) c
489.39/70.68	c (70,0) c |-------------------------------------------------------------------------------------------------------|
489.39/70.68	c (70,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
489.39/70.68	c (70,0) c |-------------------------------------------------------------------------------------------------------|
489.39/70.68	c (70,0) c |  0 |    625 |     706532 |     103211 |   245269 |    32041 |    11904 |    84561 |     7262 |  1.410 |
489.39/70.68	c (70,0) c |  1 |    665 |     738259 |     105977 |   249681 |    34787 |    12305 |    84093 |     7684 |  1.405 |
489.39/70.68	c (70,0) c |  2 |    588 |     709032 |     108105 |   243832 |    36924 |    12018 |    84345 |     7347 |  1.407 |
489.39/70.68	c (70,0) c |  3 |    668 |     761578 |     107731 |   258804 |    36529 |    12022 |    84415 |     7746 |  1.410 |
489.39/70.68	c (70,0) c |  4 |    638 |     725171 |     110359 |   252633 |    39164 |    12637 |    78995 |     7561 |  1.399 |
489.39/70.68	c (70,0) c |  5 |    702 |     762879 |     105471 |   252919 |    34272 |    11936 |    84475 |     7576 |  1.410 |
489.39/70.68	c (70,0) c |  6 |    682 |     735843 |     105997 |   250693 |    34824 |    11788 |    84446 |     7095 |  1.407 |
489.39/70.68	c (70,0) c |  7 |    716 |     779708 |     106203 |   255155 |    35040 |    11865 |    84605 |     7702 |  1.407 |
489.39/70.68	c (70,0) c 
489.39/70.68	c (70,0) c synthesis      853055 conflicts   644414056 propagations     2141 conflicts/sec  1616985 propagations/sec
489.39/70.68	c (70,0) c Total Memory so far : 1022.22Mb
489.39/70.68	c (70,0) c
489.39/70.68	c (70,0) c |-------------------------------------------------------------------------------------------------------|
489.39/70.68	c (70,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
489.39/70.68	c (70,0) c |-------------------------------------------------------------------------------------------------------|
489.39/70.68	c (70,0) c |  0 |    637 |     719954 |     107753 |   247959 |    36583 |    12349 |    88280 |     7435 |  1.410 |
489.39/70.68	c (70,0) c |  1 |    721 |     783705 |     112213 |   257637 |    20834 |    12934 |    87848 |     8191 |  1.405 |
489.39/70.68	c (70,0) c |  2 |    603 |     715658 |     111271 |   245186 |    40087 |    12177 |    88593 |     7451 |  1.407 |
489.39/70.68	c (70,0) c |  3 |    715 |     810551 |     114835 |   267416 |    23430 |    12782 |    88031 |     8227 |  1.410 |
489.39/70.68	c (70,0) c |  4 |    659 |     738891 |     115037 |   255414 |    23692 |    13106 |    87690 |     7673 |  1.407 |
489.39/70.68	c (70,0) c |  5 |    747 |     816229 |     111909 |   260058 |    20543 |    12731 |    88078 |     8104 |  1.410 |
489.39/70.68	c (70,0) c |  6 |    699 |     746454 |     110092 |   252911 |    38918 |    12159 |    88295 |     7240 |  1.407 |
489.39/70.68	c (70,0) c |  7 |    764 |     829350 |     113322 |   263179 |    21969 |    12590 |    88218 |     8208 |  1.407 |
489.39/70.68	c (70,0) c 
489.39/70.68	c (70,0) c synthesis      896434 conflicts   691648247 propagations     2083 conflicts/sec  1607141 propagations/sec
489.39/70.68	c (70,0) c Total Memory so far : 1170.40Mb
489.39/70.68	c (70,0) c
489.39/70.68	c (70,0) c |-------------------------------------------------------------------------------------------------------|
489.39/70.68	c (70,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
489.39/70.68	c (70,0) c |-------------------------------------------------------------------------------------------------------|
489.39/70.68	c (70,0) c |  0 |    638 |     728381 |     111851 |   249890 |    20551 |    12671 |    90917 |     7558 |  1.416 |
489.39/70.68	c (70,0) c |  1 |    769 |     835026 |     118473 |   265658 |    27093 |    13519 |    91232 |     8590 |  1.410 |
489.39/70.68	c (70,0) c |  2 |    615 |     726023 |     115445 |   247208 |    24099 |    12473 |    92311 |     7562 |  1.413 |
489.39/70.68	c (70,0) c |  3 |    775 |     869315 |     121487 |   275703 |    30081 |    13400 |    91337 |     8704 |  1.416 |
489.39/70.68	c (70,0) c |  4 |    673 |     751573 |     119637 |   258106 |    28289 |    13469 |    91315 |     7795 |  1.413 |
489.39/70.68	c (70,0) c |  5 |    788 |     870213 |     119957 |   268126 |    28590 |    13481 |    91285 |     8545 |  1.416 |
489.39/70.68	c (70,0) c |  6 |    701 |     755119 |     114175 |   254805 |    22825 |    12522 |    90453 |     7360 |  1.413 |
489.39/70.68	c (70,0) c |  7 |    817 |     881118 |     119961 |   271296 |    28608 |    13260 |    91454 |     8607 |  1.413 |
489.39/70.68	c (70,0) c 
624.97/87.68	c (87,0) c synthesis      940986 conflicts   741200817 propagations     2036 conflicts/sec  1603477 propagations/sec
624.97/87.68	c (87,0) c Total Memory so far : 1293.68Mb
624.97/87.68	c (87,0) c
624.97/87.68	c (87,0) c |-------------------------------------------------------------------------------------------------------|
624.97/87.68	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
624.97/87.68	c (87,0) c |-------------------------------------------------------------------------------------------------------|
624.97/87.68	c (87,0) c |  0 |    638 |     737343 |     116449 |   251568 |    25149 |    12975 |    90917 |     7631 |  1.416 |
624.97/87.68	c (87,0) c |  1 |    818 |     884897 |     125519 |   273508 |    34139 |    14263 |    94831 |     9032 |  1.410 |
624.97/87.68	c (87,0) c |  2 |    635 |     736088 |     119903 |   249004 |    28558 |    12760 |    96087 |     7650 |  1.413 |
624.97/87.68	c (87,0) c |  3 |    825 |     918808 |     128563 |   283442 |    37157 |    14110 |    94925 |     9124 |  1.416 |
624.97/87.68	c (87,0) c |  4 |    694 |     762143 |     123995 |   259769 |    32648 |    13765 |    95203 |     7906 |  1.413 |
624.97/87.68	c (87,0) c |  5 |    843 |     921124 |     127731 |   276196 |    36363 |    14315 |    94700 |     8987 |  1.416 |
624.97/87.68	c (87,0) c |  6 |    718 |     765805 |     118584 |   256680 |    27235 |    12820 |    96236 |     7467 |  1.413 |
624.97/87.68	c (87,0) c |  7 |    864 |     934842 |     127829 |   279330 |    36476 |    14089 |    95008 |     9076 |  1.413 |
624.97/87.68	c (87,0) c 
624.97/87.68	c (87,0) c synthesis      988575 conflicts   790722656 propagations     2001 conflicts/sec  1600255 propagations/sec
624.97/87.68	c (87,0) c Total Memory so far : 1293.68Mb
624.97/87.68	c (87,0) c
624.97/87.68	c (87,0) c |-------------------------------------------------------------------------------------------------------|
624.97/87.68	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
624.97/87.68	c (87,0) c |-------------------------------------------------------------------------------------------------------|
624.97/87.68	c (87,0) c |  0 |    653 |     744241 |     119710 |   252400 |    28410 |    13104 |    99338 |     7702 |  1.416 |
624.97/87.68	c (87,0) c |  1 |    872 |     936554 |     132446 |   280882 |    41066 |    14961 |    97687 |     9482 |  1.410 |
624.97/87.68	c (87,0) c |  2 |    637 |     742052 |     123559 |   250079 |    32214 |    12899 |    98406 |     7732 |  1.413 |
624.97/87.68	c (87,0) c |  3 |    882 |     980799 |     134629 |   290191 |    43224 |    14730 |    97878 |     9566 |  1.416 |
624.97/87.68	c (87,0) c |  4 |    701 |     770749 |     128580 |   261325 |    37233 |    14100 |    97611 |     8047 |  1.413 |
624.97/87.68	c (87,0) c |  5 |    903 |     969197 |     134641 |   283637 |    43274 |    15030 |    97576 |     9450 |  1.416 |
624.97/87.68	c (87,0) c |  6 |    732 |     775776 |     122624 |   258031 |    31275 |    13021 |    98851 |     7555 |  1.413 |
624.97/87.68	c (87,0) c |  7 |    922 |     984779 |     134799 |   286914 |    43446 |    14813 |    97841 |     9500 |  1.413 |
624.97/87.68	c (87,0) c 
624.97/87.68	c (87,0) c synthesis     1030988 conflicts   838343082 propagations     1960 conflicts/sec  1593749 propagations/sec
624.97/87.68	c (87,0) c Total Memory so far : 1229.68Mb
624.97/87.68	c (87,0) c
624.97/87.68	c (87,0) c |-------------------------------------------------------------------------------------------------------|
624.97/87.68	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
624.97/87.68	c (87,0) c |-------------------------------------------------------------------------------------------------------|
624.97/87.68	c (87,0) c |  0 |    668 |     752945 |     123521 |   253559 |    32217 |    13288 |   102302 |     7782 |  1.427 |
624.97/87.68	c (87,0) c |  1 |    928 |     989863 |     138492 |   287686 |    24302 |    15623 |   100461 |     9877 |  1.421 |
624.97/87.68	c (87,0) c |  2 |    638 |     747885 |     127370 |   251172 |    36022 |    13049 |   101303 |     7808 |  1.424 |
624.97/87.68	c (87,0) c |  3 |    940 |    1035488 |     141511 |   297298 |    27321 |    15401 |   100652 |    10009 |  1.427 |
624.97/87.68	c (87,0) c |  4 |    716 |     780135 |     132918 |   263057 |    41570 |    14362 |   101663 |     8159 |  1.424 |
624.97/87.68	c (87,0) c |  5 |    949 |    1020150 |     141189 |   290394 |    27036 |    15621 |   100470 |     9847 |  1.427 |
624.97/87.68	c (87,0) c |  6 |    748 |     783867 |     126516 |   258975 |    35165 |    13215 |   102847 |     7635 |  1.424 |
624.97/87.68	c (87,0) c |  7 |    982 |    1034413 |     141607 |   294233 |    27469 |    15541 |   100472 |     9905 |  1.424 |
624.97/87.68	c (87,0) c 
624.97/87.68	c (87,0) c synthesis     1073126 conflicts   884725290 propagations     1923 conflicts/sec  1585780 propagations/sec
624.97/87.68	c (87,0) c Total Memory so far : 1229.68Mb
624.97/87.68	c (87,0) c
720.69/99.68	c (99,0) c |-------------------------------------------------------------------------------------------------------|
720.69/99.68	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
720.69/99.68	c (99,0) c |-------------------------------------------------------------------------------------------------------|
720.69/99.68	c (99,0) c |  0 |    685 |     765095 |     128410 |   255041 |    37105 |    13548 |   106482 |     7893 |  1.430 |
720.69/99.68	c (99,0) c |  1 |    988 |    1058748 |     146379 |   295971 |    32189 |    16386 |   103718 |    10388 |  1.424 |
720.69/99.68	c (99,0) c |  2 |    638 |     754452 |     131522 |   252064 |    40174 |    13171 |   101303 |     7887 |  1.424 |
720.69/99.68	c (99,0) c |  3 |   1003 |    1101097 |     149779 |   305796 |    35587 |    16219 |   103854 |    10481 |  1.430 |
720.69/99.68	c (99,0) c |  4 |    732 |     788101 |     137315 |   264386 |    23223 |    14590 |   105192 |     8268 |  1.424 |
720.69/99.68	c (99,0) c |  5 |   1009 |    1078972 |     149383 |   298352 |    35228 |    16434 |   103644 |    10330 |  1.430 |
720.69/99.68	c (99,0) c |  6 |    764 |     793536 |     131384 |   260467 |    40033 |    13467 |   106526 |     7758 |  1.427 |
720.69/99.68	c (99,0) c |  7 |   1040 |    1107767 |     149212 |   301987 |    35074 |    16289 |   103622 |    10498 |  1.424 |
720.69/99.68	c (99,0) c 
720.69/99.68	c (99,0) c synthesis     1123384 conflicts   942712346 propagations     1879 conflicts/sec  1577048 propagations/sec
720.69/99.68	c (99,0) c Total Memory so far : 1259.31Mb
720.69/99.68	c (99,0) c
720.69/99.68	c (99,0) c |-------------------------------------------------------------------------------------------------------|
720.69/99.68	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
720.69/99.68	c (99,0) c |-------------------------------------------------------------------------------------------------------|
720.69/99.68	c (99,0) c |  0 |    700 |     772582 |     131829 |   256158 |    40523 |    13745 |   109616 |     7991 |  1.433 |
720.69/99.68	c (99,0) c |  1 |   1036 |    1110132 |     152776 |   302035 |    38584 |    17030 |   106558 |    10800 |  1.427 |
720.69/99.68	c (99,0) c |  2 |    658 |     763838 |     135377 |   253491 |    44027 |    13398 |   110205 |     8021 |  1.430 |
720.69/99.68	c (99,0) c |  3 |   1065 |    1160128 |     156629 |   312452 |    42436 |    16938 |   106634 |    10951 |  1.433 |
720.69/99.68	c (99,0) c |  4 |    747 |     795192 |     141281 |   265338 |    27181 |    14930 |   108341 |     8343 |  1.430 |
720.69/99.68	c (99,0) c |  5 |   1066 |    1127061 |     155717 |   304881 |    41560 |    17024 |   106581 |    10717 |  1.433 |
720.69/99.68	c (99,0) c |  6 |    765 |     798388 |     134659 |   261097 |    43307 |    13573 |   109825 |     7826 |  1.430 |
720.69/99.68	c (99,0) c |  7 |   1093 |    1158393 |     156006 |   308813 |    41866 |    16975 |   106623 |    10919 |  1.430 |
720.69/99.68	c (99,0) c 
720.69/99.68	c (99,0) c synthesis     1164274 conflicts   988606642 propagations     1849 conflicts/sec  1570075 propagations/sec
720.69/99.68	c (99,0) c Total Memory so far : 1259.31Mb
720.69/99.68	c (99,0) c
720.69/99.68	c (99,0) c |-------------------------------------------------------------------------------------------------------|
720.69/99.68	c (99,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
720.69/99.68	c (99,0) c |-------------------------------------------------------------------------------------------------------|
720.69/99.68	c (99,0) c |  0 |    704 |     781820 |     136570 |   257688 |    45262 |    14101 |   113070 |     8129 |  1.444 |
720.69/99.68	c (99,0) c |  1 |   1088 |    1155615 |     158888 |   308212 |    44691 |    17624 |   109517 |    11218 |  1.438 |
720.69/99.68	c (99,0) c |  2 |    669 |     772189 |     139577 |   254342 |    25483 |    13706 |   112269 |     8094 |  1.438 |
720.69/99.68	c (99,0) c |  3 |   1123 |    1212431 |     163202 |   318735 |    49003 |    17610 |   109562 |    11407 |  1.444 |
720.69/99.68	c (99,0) c |  4 |    763 |     802379 |     145003 |   265986 |    30902 |    15177 |   111901 |     8395 |  1.441 |
720.69/99.68	c (99,0) c |  5 |   1121 |    1176579 |     161244 |   310654 |    47085 |    17583 |   109602 |    11178 |  1.444 |
720.69/99.68	c (99,0) c |  6 |    765 |     802765 |     137727 |   261458 |    23628 |    13649 |   109825 |     7879 |  1.430 |
720.69/99.68	c (99,0) c |  7 |   1158 |    1206729 |     162941 |   315379 |    48799 |    17736 |   109450 |    11361 |  1.441 |
720.69/99.68	c (99,0) c 
720.69/99.68	c (99,0) c synthesis     1205152 conflicts  1033321420 propagations     1822 conflicts/sec  1561984 propagations/sec
720.69/99.68	c (99,0) c Total Memory so far : 1259.31Mb
720.69/99.68	c (99,0) c
816.39/111.68	c (111,0) c |-------------------------------------------------------------------------------------------------------|
816.39/111.68	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
816.39/111.68	c (111,0) c |-------------------------------------------------------------------------------------------------------|
816.39/111.68	c (111,0) c |  0 |    722 |     788999 |     140320 |   258625 |    26226 |    14456 |   116077 |     8202 |  1.444 |
816.39/111.68	c (111,0) c |  1 |   1140 |    1201348 |     164457 |   313916 |    50259 |    18182 |   112411 |    11630 |  1.438 |
816.39/111.68	c (111,0) c |  2 |    688 |     780532 |     143355 |   255274 |    29260 |    14097 |   116491 |     8173 |  1.441 |
816.39/111.68	c (111,0) c |  3 |   1179 |    1261765 |     169389 |   324813 |    29806 |    18178 |   112450 |    11770 |  1.444 |
816.39/111.68	c (111,0) c |  4 |    764 |     807802 |     148580 |   266736 |    34479 |    15351 |   113255 |     8455 |  1.441 |
816.39/111.68	c (111,0) c |  5 |   1178 |    1218775 |     166825 |   316355 |    27282 |    18139 |   112490 |    11543 |  1.444 |
816.39/111.68	c (111,0) c |  6 |    766 |     807877 |     140947 |   261937 |    26847 |    13854 |   116704 |     7919 |  1.441 |
816.39/111.68	c (111,0) c |  7 |   1208 |    1258087 |     169232 |   321554 |    29712 |    18381 |   112252 |    11780 |  1.441 |
816.39/111.68	c (111,0) c 
816.39/111.68	c (111,0) c synthesis     1243106 conflicts  1077728830 propagations     1793 conflicts/sec  1554200 propagations/sec
816.39/111.68	c (111,0) c Total Memory so far : 1352.95Mb
816.39/111.68	c (111,0) c
816.39/111.68	c (111,0) c |-------------------------------------------------------------------------------------------------------|
816.39/111.68	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
816.39/111.68	c (111,0) c |-------------------------------------------------------------------------------------------------------|
816.39/111.68	c (111,0) c |  0 |    732 |     795266 |     144113 |   259536 |    30019 |    14776 |   118508 |     8271 |  1.444 |
816.39/111.68	c (111,0) c |  1 |   1179 |    1260689 |     171327 |   318909 |    31758 |    19007 |   115462 |    12043 |  1.438 |
816.39/111.68	c (111,0) c |  2 |    700 |     788193 |     147185 |   256030 |    33090 |    14532 |   119004 |     8261 |  1.441 |
816.39/111.68	c (111,0) c |  3 |   1242 |    1309424 |     176395 |   331288 |    36812 |    18920 |   115515 |    12133 |  1.444 |
816.39/111.68	c (111,0) c |  4 |    765 |     812383 |     151851 |   267368 |    37749 |    15491 |   116404 |     8504 |  1.441 |
816.39/111.68	c (111,0) c |  5 |   1221 |    1267512 |     172396 |   321204 |    32853 |    18638 |   115804 |    11858 |  1.444 |
816.39/111.68	c (111,0) c |  6 |    766 |     812092 |     143818 |   262224 |    29718 |    13987 |   116704 |     7967 |  1.441 |
816.39/111.68	c (111,0) c |  7 |   1249 |    1312166 |     176903 |   327275 |    37383 |    19121 |   115289 |    12181 |  1.441 |
816.39/111.68	c (111,0) c 
816.39/111.68	c (111,0) c synthesis     1283988 conflicts  1122602111 propagations     1770 conflicts/sec  1547811 propagations/sec
816.39/111.68	c (111,0) c Total Memory so far : 1288.95Mb
816.39/111.68	c (111,0) c
816.39/111.68	c (111,0) c |-------------------------------------------------------------------------------------------------------|
816.39/111.68	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
816.39/111.68	c (111,0) c |-------------------------------------------------------------------------------------------------------|
816.39/111.68	c (111,0) c |  0 |    749 |     801718 |     147694 |   260327 |    33601 |    15106 |   122818 |     8313 |  1.444 |
816.39/111.68	c (111,0) c |  1 |   1232 |    1309901 |     177502 |   324318 |    37933 |    19531 |   118333 |    12404 |  1.438 |
816.39/111.68	c (111,0) c |  2 |    701 |     794062 |     150847 |   256721 |    36752 |    14867 |   120323 |     8328 |  1.441 |
816.39/111.68	c (111,0) c |  3 |   1291 |    1361047 |     182946 |   336730 |    43362 |    19542 |   118354 |    12524 |  1.444 |
816.39/111.68	c (111,0) c |  4 |    765 |     817905 |     155490 |   268180 |    41389 |    15749 |   116404 |     8579 |  1.441 |
816.39/111.68	c (111,0) c |  5 |   1276 |    1311852 |     179874 |   326344 |    40331 |    19310 |   118572 |    12227 |  1.444 |
816.39/111.68	c (111,0) c |  6 |    766 |     815325 |     146348 |   262546 |    32248 |    14090 |   116704 |     7994 |  1.441 |
816.39/111.68	c (111,0) c |  7 |   1298 |    1365049 |     183708 |   332755 |    44188 |    19731 |   117981 |    12620 |  1.441 |
816.39/111.68	c (111,0) c 
816.39/111.68	c (111,0) c synthesis     1324411 conflicts  1166668925 propagations     1749 conflicts/sec  1540873 propagations/sec
816.39/111.68	c (111,0) c Total Memory so far : 1288.95Mb
816.39/111.68	c (111,0) c
816.39/111.68	c (111,0) c |-------------------------------------------------------------------------------------------------------|
912.09/123.68	c (123,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
912.09/123.68	c (123,0) c |-------------------------------------------------------------------------------------------------------|
912.09/123.68	c (123,0) c |  0 |    763 |     808297 |     151129 |   261026 |    37036 |    15396 |   125718 |     8364 |  1.444 |
912.09/123.68	c (123,0) c |  1 |   1286 |    1357784 |     183730 |   329698 |    44161 |    20097 |   121304 |    12770 |  1.438 |
912.09/123.68	c (123,0) c |  2 |    720 |     801484 |     154542 |   257484 |    40446 |    15271 |   126139 |     8422 |  1.441 |
912.09/123.68	c (123,0) c |  3 |   1355 |    1408139 |     190151 |   342776 |    50568 |    20302 |   121155 |    13040 |  1.444 |
912.09/123.68	c (123,0) c |  4 |    766 |     822928 |     158969 |   268651 |    44868 |    15981 |   122922 |     8641 |  1.441 |
912.09/123.68	c (123,0) c |  5 |   1328 |    1353167 |     185282 |   330851 |    45739 |    19842 |   121610 |    12567 |  1.444 |
912.09/123.68	c (123,0) c |  6 |    766 |     818793 |     149050 |   262837 |    34950 |    14205 |   116704 |     8016 |  1.441 |
912.09/123.68	c (123,0) c |  7 |   1350 |    1412789 |     190186 |   337966 |    50666 |    20373 |   121089 |    13043 |  1.441 |
912.09/123.68	c (123,0) c 
912.09/123.68	c (123,0) c synthesis     1363041 conflicts  1210093816 propagations     1727 conflicts/sec  1533641 propagations/sec
912.09/123.68	c (123,0) c Total Memory so far : 1288.95Mb
912.09/123.68	c (123,0) c
912.09/123.68	c (123,0) c |-------------------------------------------------------------------------------------------------------|
912.09/123.68	c (123,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
912.09/123.68	c (123,0) c |-------------------------------------------------------------------------------------------------------|
912.09/123.68	c (123,0) c |  0 |    764 |     814000 |     154878 |   261707 |    40785 |    15654 |   127367 |     8424 |  1.444 |
912.09/123.68	c (123,0) c |  1 |   1346 |    1402221 |     189881 |   334937 |    50311 |    20721 |   124139 |    13200 |  1.441 |
912.09/123.68	c (123,0) c |  2 |    732 |     806994 |     157689 |   258009 |    43594 |    15537 |   129067 |     8474 |  1.444 |
912.09/123.68	c (123,0) c |  3 |   1410 |    1456278 |     196718 |   347891 |    29154 |    20972 |   123924 |    13460 |  1.447 |
912.09/123.68	c (123,0) c |  4 |    766 |     826907 |     162088 |   268987 |    47986 |    16118 |   122922 |     8710 |  1.441 |
912.09/123.68	c (123,0) c |  5 |   1380 |    1393799 |     190800 |   335768 |    51255 |    20432 |   124353 |    12968 |  1.447 |
912.09/123.68	c (123,0) c |  6 |    766 |     822739 |     152031 |   263022 |    37931 |    14323 |   116704 |     8037 |  1.441 |
912.09/123.68	c (123,0) c |  7 |   1408 |    1467545 |     197709 |   343448 |    30170 |    21167 |   123724 |    13521 |  1.444 |
912.09/123.68	c (123,0) c 
912.09/123.68	c (123,0) c synthesis     1401796 conflicts  1252786557 propagations     1708 conflicts/sec  1526107 propagations/sec
912.09/123.68	c (123,0) c Total Memory so far : 1288.95Mb
912.09/123.68	c (123,0) c
912.09/123.68	c (123,0) c |-------------------------------------------------------------------------------------------------------|
912.09/123.68	c (123,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
912.09/123.68	c (123,0) c |-------------------------------------------------------------------------------------------------------|
912.09/123.68	c (123,0) c |  0 |    765 |     820272 |     159035 |   262506 |    44941 |    16043 |   129832 |     8513 |  1.447 |
912.09/123.68	c (123,0) c |  1 |   1386 |    1447385 |     195646 |   339911 |    28080 |    21300 |   126842 |    13610 |  1.441 |
912.09/123.68	c (123,0) c |  2 |    746 |     813285 |     161144 |   258666 |    47048 |    15900 |   132152 |     8574 |  1.444 |
912.09/123.68	c (123,0) c |  3 |   1479 |    1503100 |     203405 |   353302 |    35841 |    21555 |   126633 |    13807 |  1.447 |
912.09/123.68	c (123,0) c |  4 |    766 |     830793 |     165073 |   269328 |    25573 |    16268 |   122922 |     8762 |  1.441 |
912.09/123.68	c (123,0) c |  5 |   1423 |    1433931 |     195930 |   339734 |    28398 |    20913 |   127277 |    13353 |  1.447 |
912.09/123.68	c (123,0) c |  6 |    773 |     827358 |     154836 |   263264 |    40736 |    14450 |   133400 |     8078 |  1.444 |
912.09/123.68	c (123,0) c |  7 |   1467 |    1520122 |     204759 |   349234 |    37220 |    21785 |   126415 |    13963 |  1.444 |
912.09/123.68	c (123,0) c 
912.09/123.68	c (123,0) c synthesis     1439828 conflicts  1295159740 propagations     1688 conflicts/sec  1518731 propagations/sec
912.09/123.68	c (123,0) c Total Memory so far : 1337.12Mb
912.09/123.68	c (123,0) c
912.09/123.68	c (123,0) c |-------------------------------------------------------------------------------------------------------|
912.09/123.68	c (123,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1007.80/135.68	c (135,0) c |-------------------------------------------------------------------------------------------------------|
1007.80/135.68	c (135,0) c |  0 |    766 |     826996 |     163114 |   263371 |    49020 |    16378 |   134150 |     8583 |  1.447 |
1007.80/135.68	c (135,0) c |  1 |   1431 |    1494079 |     202221 |   344860 |    34655 |    21691 |   129608 |    13994 |  1.441 |
1007.80/135.68	c (135,0) c |  2 |    761 |     819420 |     164517 |   259132 |    50422 |    16164 |   134882 |     8639 |  1.444 |
1007.80/135.68	c (135,0) c |  3 |   1543 |    1554087 |     209617 |   358192 |    42053 |    22114 |   129171 |    14216 |  1.447 |
1009.39/135.80	c (135,0) c |  4 |    767 |     835863 |     168982 |   269678 |    29481 |    16530 |   134743 |     8803 |  1.444 |
1009.39/135.80	c (135,0) c |  5 |   1473 |    1475567 |     201745 |   344826 |    34213 |    21438 |   129890 |    13689 |  1.447 |
1009.39/135.80	c (135,0) c |  6 |    788 |     833082 |     157816 |   263605 |    43716 |    14584 |   136623 |     8126 |  1.444 |
1009.39/135.80	c (135,0) c |  7 |   1532 |    1567074 |     211200 |   354457 |    43661 |    22438 |   128886 |    14367 |  1.444 |
1009.39/135.80	c (135,0) c 
1009.39/135.80	c (135,0) c synthesis     1479212 conflicts  1338954687 propagations     1672 conflicts/sec  1513476 propagations/sec
1009.39/135.80	c (135,0) c Total Memory so far : 1337.12Mb
1009.39/135.80	c (135,0) c
1009.39/135.80	c (135,0) c |-------------------------------------------------------------------------------------------------------|
1009.39/135.80	c (135,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1009.39/135.80	c (135,0) c |-------------------------------------------------------------------------------------------------------|
1009.39/135.80	c (135,0) c |  0 |    766 |     832692 |     166982 |   263958 |    27474 |    16765 |   134150 |     8633 |  1.447 |
1009.39/135.80	c (135,0) c |  1 |   1487 |    1539218 |     208294 |   349738 |    40728 |    22071 |   132324 |    14332 |  1.441 |
1009.39/135.80	c (135,0) c |  2 |    764 |     824538 |     167973 |   259651 |    28461 |    16472 |   137092 |     8684 |  1.444 |
1009.39/135.80	c (135,0) c |  3 |   1608 |    1602520 |     216684 |   363368 |    49120 |    22757 |   131637 |    14644 |  1.447 |
1009.39/135.80	c (135,0) c |  4 |    784 |     841937 |     172482 |   270014 |    32981 |    16729 |   137563 |     8852 |  1.444 |
1009.39/135.80	c (135,0) c |  5 |   1525 |    1515561 |     207339 |   349608 |    39807 |    21937 |   132467 |    14018 |  1.447 |
1009.39/135.80	c (135,0) c |  6 |    797 |     837801 |     160552 |   264044 |    46452 |    14670 |   139253 |     8161 |  1.444 |
1009.39/135.80	c (135,0) c |  7 |   1576 |    1618748 |     217668 |   359184 |    50129 |    23019 |   131386 |    14821 |  1.444 |
1009.39/135.80	c (135,0) c 
1009.39/135.80	c (135,0) c synthesis     1517975 conflicts  1382292782 propagations     1656 conflicts/sec  1508114 propagations/sec
1009.39/135.80	c (135,0) c Total Memory so far : 1352.95Mb
1009.39/135.80	c (135,0) c
1009.39/135.80	c (135,0) c |-------------------------------------------------------------------------------------------------------|
1009.39/135.80	c (135,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1009.39/135.80	c (135,0) c |-------------------------------------------------------------------------------------------------------|
1009.39/135.80	c (135,0) c |  0 |    766 |     838982 |     170981 |   264848 |    31472 |    17341 |   134150 |     8691 |  1.447 |
1009.39/135.80	c (135,0) c |  1 |   1536 |    1583191 |     215734 |   354428 |    48168 |    22525 |   135223 |    14692 |  1.441 |
1009.39/135.80	c (135,0) c |  2 |    765 |     829307 |     171441 |   260091 |    31930 |    16746 |   139869 |     8710 |  1.444 |
1009.39/135.80	c (135,0) c |  3 |   1664 |    1648886 |     222867 |   367771 |    55303 |    23401 |   134341 |    15038 |  1.447 |
1009.39/135.80	c (135,0) c |  4 |    797 |     847533 |     175772 |   270425 |    36271 |    16889 |   140601 |     8912 |  1.444 |
1009.39/135.80	c (135,0) c |  5 |   1575 |    1557050 |     213248 |   354222 |    45715 |    22465 |   135268 |    14351 |  1.447 |
1009.39/135.80	c (135,0) c |  6 |    807 |     842164 |     163275 |   264265 |    49175 |    14760 |   142865 |     8191 |  1.444 |
1009.39/135.80	c (135,0) c |  7 |   1639 |    1665395 |     224371 |   364039 |    56832 |    23671 |   134111 |    15231 |  1.444 |
1009.39/135.80	c (135,0) c 
1009.39/135.80	c (135,0) c synthesis     1557689 conflicts  1425489364 propagations     1642 conflicts/sec  1502937 propagations/sec
1009.39/135.80	c (135,0) c Total Memory so far : 1288.95Mb
1009.39/135.80	c (135,0) c
1009.39/135.80	c (135,0) c |-------------------------------------------------------------------------------------------------------|
1009.39/135.80	c (135,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1009.39/135.80	c (135,0) c |-------------------------------------------------------------------------------------------------------|
1103.51/147.68	c (147,0) c |  0 |    766 |     843900 |     174610 |   265426 |    35102 |    17783 |   134150 |     8745 |  1.447 |
1103.51/147.68	c (147,0) c |  1 |   1585 |    1636610 |     221546 |   358348 |    53979 |    22870 |   138321 |    15112 |  1.461 |
1103.51/147.68	c (147,0) c |  2 |    765 |     834719 |     174937 |   260678 |    35413 |    17100 |   143557 |     8769 |  1.464 |
1103.51/147.68	c (147,0) c |  3 |   1727 |    1695009 |     228800 |   372314 |    30667 |    23961 |   137162 |    15382 |  1.467 |
1103.51/147.68	c (147,0) c |  4 |    811 |     853148 |     179129 |   270776 |    39622 |    17121 |   143863 |     8973 |  1.464 |
1103.51/147.68	c (147,0) c |  5 |   1618 |    1598674 |     218339 |   357944 |    50807 |    22925 |   138218 |    14687 |  1.467 |
1103.51/147.68	c (147,0) c |  6 |    823 |     848280 |     166583 |   264854 |    27045 |    15126 |   146022 |     8244 |  1.464 |
1103.51/147.68	c (147,0) c |  7 |   1692 |    1713285 |     230405 |   368098 |    32261 |    24305 |   136860 |    15630 |  1.464 |
1103.51/147.68	c (147,0) c 
1103.51/147.68	c (147,0) c synthesis     1594350 conflicts  1468184287 propagations     1626 conflicts/sec  1497589 propagations/sec
1103.51/147.68	c (147,0) c Total Memory so far : 1288.95Mb
1103.51/147.68	c (147,0) c
1103.51/147.68	c (147,0) c |-------------------------------------------------------------------------------------------------------|
1103.51/147.68	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1103.51/147.68	c (147,0) c |-------------------------------------------------------------------------------------------------------|
1103.51/147.68	c (147,0) c |  0 |    782 |     850502 |     178078 |   265968 |    38561 |    18144 |   146470 |     8793 |  1.486 |
1103.51/147.68	c (147,0) c |  1 |   1641 |    1681949 |     227809 |   362995 |    60237 |    23298 |   141369 |    15522 |  1.481 |
1103.51/147.68	c (147,0) c |  2 |    766 |     840236 |     178709 |   261160 |    39183 |    17467 |   145517 |     8828 |  1.481 |
1103.51/147.68	c (147,0) c |  3 |   1781 |    1739649 |     234489 |   376267 |    36331 |    24459 |   140200 |    15708 |  1.486 |
1103.51/147.68	c (147,0) c |  4 |    825 |     858061 |     182080 |   271027 |    42548 |    17256 |   147258 |     9009 |  1.484 |
1103.51/147.68	c (147,0) c |  5 |   1672 |    1641743 |     223602 |   361813 |    56058 |    23433 |   141245 |    15032 |  1.486 |
1103.51/147.68	c (147,0) c |  6 |    829 |     854978 |     170749 |   265582 |    31205 |    15860 |   148142 |     8337 |  1.484 |
1103.51/147.68	c (147,0) c |  7 |   1737 |    1758820 |     235733 |   371552 |    37568 |    24765 |   139894 |    15975 |  1.484 |
1103.51/147.68	c (147,0) c 
1103.51/147.68	c (147,0) c synthesis     1631250 conflicts  1510686082 propagations     1612 conflicts/sec  1492442 propagations/sec
1103.51/147.68	c (147,0) c Total Memory so far : 1288.95Mb
1103.51/147.68	c (147,0) c
1103.51/147.68	c (147,0) c |-------------------------------------------------------------------------------------------------------|
1103.51/147.68	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1103.51/147.68	c (147,0) c |-------------------------------------------------------------------------------------------------------|
1103.51/147.68	c (147,0) c |  0 |    797 |     856545 |     181457 |   266314 |    41939 |    18384 |   149556 |     8837 |  1.492 |
1103.51/147.68	c (147,0) c |  1 |   1696 |    1730632 |     233959 |   367397 |    66385 |    23696 |   144489 |    15972 |  1.486 |
1103.51/147.68	c (147,0) c |  2 |    766 |     845772 |     182668 |   261656 |    43143 |    17805 |   145517 |     8874 |  1.481 |
1103.51/147.68	c (147,0) c |  3 |   1834 |    1779996 |     240713 |   380141 |    42554 |    25018 |   143155 |    16048 |  1.492 |
1103.51/147.68	c (147,0) c |  4 |    829 |     861941 |     185017 |   271249 |    45485 |    17387 |   150703 |     9053 |  1.489 |
1103.51/147.68	c (147,0) c |  5 |   1723 |    1682972 |     229949 |   365854 |    31786 |    24078 |   144099 |    15396 |  1.492 |
1103.51/147.68	c (147,0) c |  6 |    840 |     863424 |     174552 |   266595 |    35007 |    16523 |   151655 |     8415 |  1.489 |
1103.51/147.68	c (147,0) c |  7 |   1798 |    1802079 |     241547 |   375464 |    43380 |    25294 |   142858 |    16329 |  1.489 |
1103.51/147.68	c (147,0) c 
1103.51/147.68	c (147,0) c synthesis     1669862 conflicts  1552775491 propagations     1599 conflicts/sec  1487174 propagations/sec
1103.51/147.68	c (147,0) c Total Memory so far : 1307.48Mb
1103.51/147.68	c (147,0) c
1103.51/147.68	c (147,0) c |-------------------------------------------------------------------------------------------------------|
1103.51/147.68	c (147,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1103.51/147.68	c (147,0) c |-------------------------------------------------------------------------------------------------------|
1103.51/147.68	c (147,0) c |  0 |    811 |     863040 |     185165 |   266727 |    45647 |    18702 |   152416 |     8897 |  1.492 |
1199.20/159.68	c (159,0) c |  1 |   1756 |    1774862 |     241505 |   371191 |    73931 |    24101 |   147281 |    16380 |  1.486 |
1199.20/159.68	c (159,0) c |  2 |    766 |     851073 |     186335 |   261977 |    46810 |    18033 |   145517 |     8917 |  1.481 |
1199.20/159.68	c (159,0) c |  3 |   1888 |    1825411 |     246411 |   383545 |    48252 |    25513 |   145881 |    16401 |  1.492 |
1199.20/159.68	c (159,0) c |  4 |    829 |     865034 |     187767 |   271420 |    48235 |    17498 |   150703 |     9088 |  1.489 |
1199.20/159.68	c (159,0) c |  5 |   1777 |    1737600 |     236070 |   370254 |    37907 |    24564 |   146836 |    15785 |  1.492 |
1199.20/159.68	c (159,0) c |  6 |    859 |     872447 |     178629 |   267357 |    39083 |    17223 |   154131 |     8482 |  1.489 |
1199.20/159.68	c (159,0) c |  7 |   1848 |    1843406 |     247172 |   378917 |    49005 |    25773 |   145630 |    16695 |  1.489 |
1199.20/159.68	c (159,0) c 
1199.20/159.68	c (159,0) c synthesis     1709056 conflicts  1594786063 propagations     1588 conflicts/sec  1482124 propagations/sec
1199.20/159.68	c (159,0) c Total Memory so far : 1307.48Mb
1199.20/159.68	c (159,0) c
1199.20/159.68	c (159,0) c |-------------------------------------------------------------------------------------------------------|
1199.20/159.68	c (159,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1199.20/159.68	c (159,0) c |-------------------------------------------------------------------------------------------------------|
1199.20/159.68	c (159,0) c |  0 |    827 |     869137 |     188718 |   267080 |    49200 |    18919 |   155536 |     8952 |  1.495 |
1199.20/159.68	c (159,0) c |  1 |   1803 |    1817921 |     246530 |   374400 |    41851 |    24548 |   150147 |    16756 |  1.489 |
1199.20/159.68	c (159,0) c |  2 |    769 |     855462 |     189626 |   262263 |    50088 |    18278 |   156373 |     8966 |  1.492 |
1199.20/159.68	c (159,0) c |  3 |   1939 |    1871603 |     251920 |   386823 |    53759 |    26002 |   148681 |    16773 |  1.495 |
1199.20/159.68	c (159,0) c |  4 |    844 |     870523 |     191107 |   271589 |    51574 |    17638 |   156480 |     9145 |  1.489 |
1199.20/159.68	c (159,0) c |  5 |   1832 |    1783681 |     242133 |   374455 |    43963 |    25073 |   149647 |    16143 |  1.495 |
1199.20/159.68	c (159,0) c |  6 |    869 |     879503 |     182318 |   268111 |    42771 |    17844 |   156795 |     8555 |  1.492 |
1199.20/159.68	c (159,0) c |  7 |   1901 |    1888075 |     253230 |   382546 |    55061 |    26420 |   148300 |    17076 |  1.492 |
1199.20/159.68	c (159,0) c 
1199.20/159.68	c (159,0) c synthesis     1745582 conflicts  1635979290 propagations     1576 conflicts/sec  1476711 propagations/sec
1199.20/159.68	c (159,0) c Total Memory so far : 1355.64Mb
1199.20/159.68	c (159,0) c
1199.20/159.68	c (159,0) c |-------------------------------------------------------------------------------------------------------|
1199.20/159.68	c (159,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1199.20/159.68	c (159,0) c |-------------------------------------------------------------------------------------------------------|
1199.20/159.68	c (159,0) c |  0 |    829 |     872665 |     191416 |   267237 |    51898 |    19046 |   158454 |     8977 |  1.495 |
1199.20/159.68	c (159,0) c |  1 |   1855 |    1856433 |     251527 |   377696 |    46844 |    25001 |   153072 |    17134 |  1.495 |
1199.20/159.68	c (159,0) c |  2 |    788 |     862589 |     193488 |   262706 |    53948 |    18623 |   159393 |     9032 |  1.498 |
1199.20/159.68	c (159,0) c |  3 |   2004 |    1913586 |     257544 |   390171 |    59382 |    26540 |   151538 |    17117 |  1.501 |
1199.20/159.68	c (159,0) c |  4 |    859 |     875617 |     194168 |   271788 |    54633 |    17749 |   159930 |     9173 |  1.492 |
1199.20/159.68	c (159,0) c |  5 |   1891 |    1831907 |     249122 |   378877 |    50949 |    25712 |   152344 |    16549 |  1.501 |
1199.20/159.68	c (159,0) c |  6 |    888 |     887365 |     186103 |   268863 |    46551 |    18486 |   159546 |     8631 |  1.498 |
1199.20/159.68	c (159,0) c |  7 |   1956 |    1933988 |     258847 |   386043 |    60676 |    26944 |   151033 |    17467 |  1.498 |
1199.20/159.68	c (159,0) c 
1199.20/159.68	c (159,0) c synthesis     1782217 conflicts  1676020921 propagations     1564 conflicts/sec  1470540 propagations/sec
1199.20/159.68	c (159,0) c Total Memory so far : 1355.64Mb
1199.20/159.68	c (159,0) c
1199.20/159.68	c (159,0) c |-------------------------------------------------------------------------------------------------------|
1199.20/159.68	c (159,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1199.20/159.68	c (159,0) c |-------------------------------------------------------------------------------------------------------|
1199.20/159.68	c (159,0) c |  0 |    829 |     875917 |     193924 |   267394 |    54406 |    19163 |   158454 |     9001 |  1.495 |
1294.12/171.53	c (171,0) c |  1 |   1902 |    1891403 |     256664 |   380991 |    51977 |    25505 |   155629 |    17504 |  1.498 |
1294.12/171.53	c (171,0) c |  2 |    797 |     867931 |     196852 |   262997 |    29313 |    18869 |   161383 |     9073 |  1.498 |
1294.12/171.53	c (171,0) c |  3 |   2066 |    1952649 |     262797 |   393403 |    64632 |    27034 |   154108 |    17463 |  1.503 |
1294.12/171.53	c (171,0) c |  4 |    867 |     880186 |     197362 |   271952 |    29821 |    17943 |   162936 |     9203 |  1.501 |
1294.12/171.53	c (171,0) c |  5 |   1949 |    1881837 |     254947 |   382616 |    56770 |    26316 |   154816 |    16938 |  1.503 |
1294.12/171.53	c (171,0) c |  6 |    892 |     891730 |     189172 |   269271 |    49621 |    18779 |   162209 |     8679 |  1.501 |
1294.12/171.54	c (171,0) c |  7 |   2011 |    1974151 |     264998 |   389616 |    33645 |    27555 |   153594 |    17859 |  1.501 |
1294.12/171.54	c (171,0) c 
1294.12/171.54	c (171,0) c synthesis     1816716 conflicts  1714715167 propagations     1551 conflicts/sec  1463532 propagations/sec
1294.12/171.54	c (171,0) c Total Memory so far : 1307.48Mb
1294.12/171.54	c (171,0) c
1294.12/171.54	c (171,0) c |-------------------------------------------------------------------------------------------------------|
1294.12/171.54	c (171,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1294.12/171.54	c (171,0) c |-------------------------------------------------------------------------------------------------------|
1294.12/171.54	c (171,0) c |  0 |    843 |     880515 |     196396 |   267590 |    28850 |    19303 |   164558 |     9030 |  1.503 |
1294.12/171.54	c (171,0) c |  1 |   1950 |    1930783 |     261339 |   383763 |    56652 |    25940 |   158354 |    17866 |  1.498 |
1294.12/171.54	c (171,0) c |  2 |    812 |     873480 |     200081 |   263275 |    32540 |    19183 |   164860 |     9114 |  1.501 |
1294.12/171.54	c (171,0) c |  3 |   2131 |    1994209 |     268899 |   396620 |    37536 |    27616 |   156681 |    17838 |  1.503 |
1294.12/171.54	c (171,0) c |  4 |    882 |     885642 |     200565 |   272049 |    33024 |    18171 |   165786 |     9220 |  1.501 |
1294.12/171.54	c (171,0) c |  5 |   2014 |    1925757 |     260713 |   386311 |    62536 |    26879 |   157416 |    17339 |  1.503 |
1294.12/171.54	c (171,0) c |  6 |    892 |     896005 |     192151 |   269734 |    52600 |    19166 |   162209 |     8736 |  1.501 |
1294.12/171.54	c (171,0) c |  7 |   2071 |    2018488 |     271102 |   393061 |    39749 |    28046 |   156256 |    18169 |  1.501 |
1294.12/171.54	c (171,0) c 
1294.12/171.54	c (171,0) c synthesis     1851246 conflicts  1753511617 propagations     1538 conflicts/sec  1456984 propagations/sec
1294.12/171.54	c (171,0) c Total Memory so far : 1307.48Mb
1294.12/171.54	c (171,0) c
1294.12/171.54	c (171,0) c |-------------------------------------------------------------------------------------------------------|
1294.12/171.54	c (171,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1294.12/171.54	c (171,0) c |-------------------------------------------------------------------------------------------------------|
1294.12/171.54	c (171,0) c |  0 |    857 |     885577 |     199132 |   267893 |    31583 |    19513 |   168043 |     9055 |  1.512 |
1294.12/171.54	c (171,0) c |  1 |   2001 |    1966846 |     265931 |   386413 |    61238 |    26377 |   161207 |    18243 |  1.506 |
1294.12/171.54	c (171,0) c |  2 |    827 |     879758 |     203567 |   263558 |    36021 |    19464 |   167659 |     9150 |  1.509 |
1294.12/171.54	c (171,0) c |  3 |   2187 |    2038850 |     274911 |   399898 |    43543 |    28102 |   159458 |    18204 |  1.512 |
1294.12/171.54	c (171,0) c |  4 |    891 |     889986 |     203476 |   272154 |    35933 |    18336 |   168342 |     9242 |  1.506 |
1294.12/171.54	c (171,0) c |  5 |   2076 |    1976864 |     266574 |   389779 |    35212 |    27451 |   160117 |    17737 |  1.512 |
1294.12/171.54	c (171,0) c |  6 |    893 |     903855 |     196144 |   270339 |    28619 |    19837 |   165159 |     8818 |  1.501 |
1294.12/171.54	c (171,0) c |  7 |   2138 |    2057359 |     276807 |   396335 |    45453 |    28526 |   159074 |    18500 |  1.509 |
1294.12/171.54	c (171,0) c 
1294.12/171.54	c (171,0) c synthesis     1886542 conflicts  1793030170 propagations     1527 conflicts/sec  1451355 propagations/sec
1294.12/171.54	c (171,0) c Total Memory so far : 1337.11Mb
1294.12/171.54	c (171,0) c last restart ## conflicts  :  2081 110 
1294.12/171.54	c (171,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer).
1294.12/171.54	c (171,0) c Total Memory so far : 1337.11Mb
1294.12/171.54	c (171,0) c
1294.12/171.54	c (171,0) c real time : 160.83 s
1294.12/171.54	c (171,0) c cpu time  : 1266.13 s
1294.12/171.54	c (171,0) c
1294.12/171.54	c (171,0) c
1294.12/171.54	c (171,0) c
1294.12/171.54	c (171,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1294.12/171.54	c (171,0) c
1294.12/171.54	c (171,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1294.12/171.54	c (171,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1294.12/171.54	c (171,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1294.12/171.54	c (171,0) c | Conflicts     |         1920726 |     201648 |     270813 |     206797 |     280634 |     206263 |     272879 |     199567 |     282125 |
1294.12/171.54	c (171,0) c | Decisions     |        11779127 |     889275 |    2001612 |     884298 |    2077142 |     893494 |    2025853 |     910930 |    2096523 |
1294.12/171.54	c (171,0) c | Propagations  |      1831298781 |  212821284 |  232377851 |  220183048 |  246237939 |  220567664 |  234795790 |  217368813 |  246946392 |
1294.12/171.54	c (171,0) c | Avg_Trail     |                 |      11897 |      11130 |      11900 |      11336 |      12113 |      11206 |      11712 |      11236 |
1294.12/171.54	c (171,0) c | Avg_DL        |                 |        121 |        145 |        118 |        147 |        119 |        148 |        120 |        147 |
1294.12/171.54	c (171,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1294.12/171.54	c (171,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1294.12/171.54	c (171,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1294.12/171.54	c (171,0) c | Exported      |          190722 |      19773 |      26867 |      19707 |      28651 |      18543 |      27948 |      20232 |      29001 |
1294.12/171.54	c (171,0) c | Imported      |         1329903 |     169548 |     163853 |     169666 |     162062 |     169990 |     162770 |     170321 |     161693 |
1294.12/171.54	c (171,0) c | Good          |           65132 |       8553 |       7697 |       8550 |       7740 |       8512 |       7730 |       8569 |       7781 |
1294.12/171.54	c (171,0) c | Purge         |         1264771 |     160995 |     156156 |     161116 |     154322 |     161478 |     155040 |     161752 |     153912 |
1294.12/171.54	c (171,0) c | Promoted      |          110574 |       9085 |      18659 |       9188 |      18545 |       9270 |      18132 |       8872 |      18823 |
1294.12/171.54	c (171,0) c | Remove_Imp    |          756297 |     106116 |      72410 |     102951 |      87320 |     102834 |      91603 |     107434 |      85629 |
1294.12/171.54	c (171,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1294.12/171.54	c (171,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1294.12/171.54	c (171,0) c | Unaries       |                 |         38 |         44 |         46 |         45 |         56 |         64 |         40 |         38 |
1294.12/171.54	c (171,0) c | Binaries      |                 |        728 |       1630 |        736 |       1587 |        748 |       1597 |        755 |       1546 |
1294.12/171.54	c (171,0) c | Glues         |                 |       2776 |       5283 |       2731 |       4991 |       2833 |       5317 |       2718 |       5248 |
1294.12/171.54	c (171,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1294.12/171.54	c (171,0) c | Orig_Seen     |            41 % |     268208 |     389246 |     263803 |     403177 |     272323 |     393156 |     270908 |     399279 |
1294.12/171.54	c (171,0) c | Diff Orig seen|                 | -     4115 |     116923 | -     8520 |     130854 |      X     |     120833 | -     1415 |     126956 |
1294.12/171.54	c (171,0) c | Hamming       |            16 % |       5351 |       5547 |       5497 |       6504 |      X     |       6080 |       6454 |       6002 |
1294.12/171.54	c (171,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1294.12/171.54	c (171,0) 
1294.12/171.54	c (171,0) s SATISFIABLE
1294.12/171.59	c (171,10) SatSolver.solve End
1294.12/171.59	c (171,10) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
1294.12/171.59	c (171,10) Show results Begin
1294.63/171.60	c (171,10) a[0][0] = 1
1294.63/171.60	c (171,10) a[0][1] = 13
1294.63/171.60	c (171,10) a[0][2] = 10
1294.63/171.60	c (171,10) a[0][3] = 6
1294.63/171.60	c (171,10) a[0][4] = 13
1294.63/171.60	c (171,10) a[0][5] = 11
1294.63/171.60	c (171,10) a[0][6] = 12
1294.63/171.60	c (171,10) a[0][7] = 8
1294.63/171.60	c (171,10) a[0][8] = 7
1294.63/171.60	c (171,10) a[0][9] = 7
1294.63/171.60	c (171,10) a[0][10] = 4
1294.63/171.60	c (171,10) a[0][11] = 10
1294.63/171.60	c (171,10) a[0][12] = 8
1294.63/171.60	c (171,10) a[1][0] = 3
1294.63/171.60	c (171,10) a[1][1] = 10
1294.63/171.60	c (171,10) a[1][2] = 7
1294.63/171.60	c (171,10) a[1][3] = 9
1294.63/171.60	c (171,10) a[1][4] = 10
1294.63/171.60	c (171,10) a[1][5] = 6
1294.63/171.60	c (171,10) a[1][6] = 8
1294.63/171.60	c (171,10) a[1][7] = 12
1294.63/171.60	c (171,10) a[1][8] = 11
1294.63/171.60	c (171,10) a[1][9] = 13
1294.63/171.60	c (171,10) a[1][10] = 5
1294.63/171.60	c (171,10) a[1][11] = 12
1294.63/171.60	c (171,10) a[1][12] = 7
1294.63/171.60	c (171,10) a[2][0] = 5
1294.63/171.60	c (171,10) a[2][1] = 12
1294.63/171.60	c (171,10) a[2][2] = 12
1294.63/171.60	c (171,10) a[2][3] = 4
1294.63/171.60	c (171,10) a[2][4] = 3
1294.63/171.60	c (171,10) a[2][5] = 13
1294.63/171.60	c (171,10) a[2][6] = 11
1294.63/171.60	c (171,10) a[2][7] = 6
1294.63/171.60	c (171,10) a[2][8] = 9
1294.63/171.60	c (171,10) a[2][9] = 11
1294.63/171.60	c (171,10) a[2][10] = 8
1294.63/171.60	c (171,10) a[2][11] = 13
1294.63/171.60	c (171,10) a[2][12] = 10
1294.63/171.60	c (171,10) a[3][0] = 7
1294.63/171.60	c (171,10) a[3][1] = 6
1294.63/171.60	c (171,10) a[3][2] = 11
1294.63/171.60	c (171,10) a[3][3] = 13
1294.63/171.60	c (171,10) a[3][4] = 12
1294.63/171.60	c (171,10) a[3][5] = 5
1294.63/171.60	c (171,10) a[3][6] = 13
1294.63/171.60	c (171,10) a[3][7] = 9
1294.63/171.60	c (171,10) a[3][8] = 4
1294.63/171.60	c (171,10) a[3][9] = 10
1294.63/171.60	c (171,10) a[3][10] = 11
1294.63/171.60	c (171,10) a[3][11] = 9
1294.63/171.60	c (171,10) a[3][12] = 12
1294.63/171.60	c (171,10) a[4][0] = 9
1294.63/171.60	c (171,10) a[4][1] = 9
1294.63/171.60	c (171,10) a[4][2] = 3
1294.63/171.60	c (171,10) a[4][3] = 10
1294.63/171.60	c (171,10) a[4][4] = 6
1294.63/171.60	c (171,10) a[4][5] = 10
1294.63/171.60	c (171,10) a[4][6] = 4
1294.63/171.60	c (171,10) a[4][7] = 13
1294.63/171.60	c (171,10) a[4][8] = 12
1294.63/171.60	c (171,10) a[4][9] = 12
1294.63/171.60	c (171,10) a[4][10] = 13
1294.63/171.60	c (171,10) a[4][11] = 6
1294.63/171.60	c (171,10) a[4][12] = 11
1294.63/171.60	c (171,10) a[5][0] = 11
1294.63/171.60	c (171,10) a[5][1] = 2
1294.63/171.60	c (171,10) a[5][2] = 13
1294.63/171.60	c (171,10) a[5][3] = 12
1294.63/171.60	c (171,10) a[5][4] = 5
1294.63/171.60	c (171,10) a[5][5] = 8
1294.63/171.60	c (171,10) a[5][6] = 9
1294.63/171.60	c (171,10) a[5][7] = 7
1294.63/171.60	c (171,10) a[5][8] = 13
1294.63/171.60	c (171,10) a[5][9] = 8
1294.63/171.60	c (171,10) a[5][10] = 12
1294.63/171.60	c (171,10) a[5][11] = 11
1294.63/171.60	c (171,10) a[5][12] = 9
1294.63/171.60	c (171,10) a[6][0] = 13
1294.63/171.60	c (171,10) a[6][1] = 8
1294.63/171.60	c (171,10) a[6][2] = 5
1294.63/171.60	c (171,10) a[6][3] = 11
1294.63/171.60	c (171,10) a[6][4] = 11
1294.63/171.60	c (171,10) a[6][5] = 12
1294.63/171.60	c (171,10) a[6][6] = 7
1294.63/171.60	c (171,10) a[6][7] = 10
1294.63/171.60	c (171,10) a[6][8] = 10
1294.63/171.60	c (171,10) a[6][9] = 2
1294.63/171.60	c (171,10) a[6][10] = 9
1294.63/171.60	c (171,10) a[6][11] = 8
1294.63/171.60	c (171,10) a[6][12] = 13
1294.63/171.60	c (171,10) ad[0] = 12
1294.63/171.60	c (171,10) ad[1] = 13
1294.63/171.60	c (171,10) ad[2] = 10
1294.63/171.60	c (171,10) ad[3] = 7
1294.63/171.60	c (171,10) ad[4] = 11
1294.63/171.60	c (171,10) ad[5] = 5
1294.63/171.60	c (171,10) ad[6] = 6
1294.63/171.60	c (171,10) h[0][0] = 0
1294.63/171.60	c (171,10) h[0][1] = 11
1294.63/171.60	c (171,10) h[0][2] = 9
1294.63/171.60	c (171,10) h[0][3] = 5
1294.63/171.60	c (171,10) h[0][4] = 9
1294.63/171.60	c (171,10) h[0][5] = 4
1294.63/171.60	c (171,10) h[0][6] = 6
1294.63/171.60	c (171,10) h[0][7] = 0
1294.63/171.60	c (171,10) h[0][8] = 1
1294.63/171.60	c (171,10) h[0][9] = 5
1294.63/171.60	c (171,10) h[0][10] = 2
1294.63/171.60	c (171,10) h[0][11] = 3
1294.63/171.60	c (171,10) h[0][12] = 3
1294.63/171.60	c (171,10) h[1][0] = 2
1294.63/171.60	c (171,10) h[1][1] = 1
1294.63/171.60	c (171,10) h[1][2] = 4
1294.63/171.60	c (171,10) h[1][3] = 1
1294.63/171.60	c (171,10) h[1][4] = 8
1294.63/171.60	c (171,10) h[1][5] = 0
1294.63/171.60	c (171,10) h[1][6] = 5
1294.63/171.60	c (171,10) h[1][7] = 11
1294.63/171.60	c (171,10) h[1][8] = 6
1294.63/171.60	c (171,10) h[1][9] = 4
1294.63/171.60	c (171,10) h[1][10] = 3
1294.63/171.60	c (171,10) h[1][11] = 0
1294.63/171.60	c (171,10) h[1][12] = 2
1294.63/171.60	c (171,10) h[2][0] = 4
1294.63/171.60	c (171,10) h[2][1] = 5
1294.63/171.60	c (171,10) h[2][2] = 2
1294.63/171.60	c (171,10) h[2][3] = 0
1294.63/171.60	c (171,10) h[2][4] = 1
1294.63/171.60	c (171,10) h[2][5] = 3
1294.63/171.60	c (171,10) h[2][6] = 2
1294.63/171.60	c (171,10) h[2][7] = 1
1294.63/171.60	c (171,10) h[2][8] = 0
1294.63/171.60	c (171,10) h[2][9] = 9
1294.63/171.60	c (171,10) h[2][10] = 7
1294.63/171.60	c (171,10) h[2][11] = 7
1294.63/171.60	c (171,10) h[2][12] = 6
1294.63/171.60	c (171,10) h[3][0] = 6
1294.63/171.60	c (171,10) h[3][1] = 3
1294.63/171.60	c (171,10) h[3][2] = 8
1294.63/171.60	c (171,10) h[3][3] = 8
1294.63/171.60	c (171,10) h[3][4] = 4
1294.63/171.60	c (171,10) h[3][5] = 2
1294.63/171.60	c (171,10) h[3][6] = 10
1294.63/171.60	c (171,10) h[3][7] = 2
1294.63/171.60	c (171,10) h[3][8] = 3
1294.63/171.60	c (171,10) h[3][9] = 0
1294.63/171.60	c (171,10) h[3][10] = 0
1294.63/171.60	c (171,10) h[3][11] = 5
1294.63/171.60	c (171,10) h[3][12] = 1
1294.63/171.60	c (171,10) h[4][0] = 8
1294.63/171.60	c (171,10) h[4][1] = 7
1294.63/171.60	c (171,10) h[4][2] = 0
1294.63/171.60	c (171,10) h[4][3] = 2
1294.63/171.60	c (171,10) h[4][4] = 2
1294.63/171.60	c (171,10) h[4][5] = 7
1294.63/171.60	c (171,10) h[4][6] = 1
1294.63/171.60	c (171,10) h[4][7] = 5
1294.63/171.60	c (171,10) h[4][8] = 8
1294.63/171.60	c (171,10) h[4][9] = 3
1294.63/171.60	c (171,10) h[4][10] = 1
1294.63/171.60	c (171,10) h[4][11] = 4
1294.63/171.60	c (171,10) h[4][12] = 5
1294.63/171.60	c (171,10) h[5][0] = 10
1294.63/171.60	c (171,10) h[5][1] = 0
1294.63/171.60	c (171,10) h[5][2] = 6
1294.63/171.60	c (171,10) h[5][3] = 7
1294.63/171.60	c (171,10) h[5][4] = 0
1294.63/171.60	c (171,10) h[5][5] = 1
1294.63/171.60	c (171,10) h[5][6] = 3
1294.63/171.60	c (171,10) h[5][7] = 3
1294.63/171.60	c (171,10) h[5][8] = 2
1294.63/171.60	c (171,10) h[5][9] = 6
1294.63/171.60	c (171,10) h[5][10] = 10
1294.63/171.60	c (171,10) h[5][11] = 1
1294.63/171.60	c (171,10) h[5][12] = 4
1294.63/171.60	c (171,10) h[6][0] = 12
1294.63/171.60	c (171,10) h[6][1] = 4
1294.63/171.60	c (171,10) h[6][2] = 1
1294.63/171.60	c (171,10) h[6][3] = 3
1294.63/171.60	c (171,10) h[6][4] = 7
1294.63/171.60	c (171,10) h[6][5] = 9
1294.63/171.60	c (171,10) h[6][6] = 0
1294.63/171.60	c (171,10) h[6][7] = 4
1294.63/171.60	c (171,10) h[6][8] = 5
1294.63/171.60	c (171,10) h[6][9] = 1
1294.63/171.60	c (171,10) h[6][10] = 6
1294.63/171.60	c (171,10) h[6][11] = 2
1294.63/171.60	c (171,10) h[6][12] = 0
1294.63/171.60	c (171,10) hd[0] = 2
1294.63/171.60	c (171,10) hd[1] = 9
1294.63/171.60	c (171,10) hd[2] = 8
1294.63/171.60	c (171,10) hd[3] = 1
1294.63/171.60	c (171,10) hd[4] = 0
1294.63/171.60	c (171,10) hd[5] = 4
1294.63/171.60	c (171,10) hd[6] = 3
1294.63/171.60	c (171,10) m[0][0] = 0
1294.63/171.60	c (171,10) m[0][1] = 89
1294.63/171.60	c (171,10) m[0][2] = 81
1294.63/171.60	c (171,10) m[0][3] = 55
1294.63/171.60	c (171,10) m[0][4] = 84
1294.63/171.60	c (171,10) m[0][5] = 52
1294.63/171.60	c (171,10) m[0][6] = 68
1294.63/171.60	c (171,10) m[0][7] = 7
1294.63/171.60	c (171,10) m[0][8] = 18
1294.63/171.60	c (171,10) m[0][9] = 56
1294.63/171.60	c (171,10) m[0][10] = 26
1294.63/171.60	c (171,10) m[0][11] = 42
1294.63/171.60	c (171,10) m[0][12] = 40
1294.63/171.60	c (171,10) m[1][0] = 25
1294.63/171.61	c (171,10) m[1][1] = 21
1294.63/171.61	c (171,10) m[1][2] = 48
1294.63/171.61	c (171,10) m[1][3] = 20
1294.63/171.61	c (171,10) m[1][4] = 77
1294.63/171.61	c (171,10) m[1][5] = 5
1294.63/171.61	c (171,10) m[1][6] = 57
1294.63/171.61	c (171,10) m[1][7] = 88
1294.63/171.61	c (171,10) m[1][8] = 67
1294.63/171.61	c (171,10) m[1][9] = 54
1294.63/171.61	c (171,10) m[1][10] = 37
1294.63/171.61	c (171,10) m[1][11] = 11
1294.63/171.61	c (171,10) m[1][12] = 29
1294.63/171.61	c (171,10) m[2][0] = 46
1294.63/171.61	c (171,10) m[2][1] = 61
1294.63/171.61	c (171,10) m[2][2] = 34
1294.63/171.61	c (171,10) m[2][3] = 3
1294.63/171.61	c (171,10) m[2][4] = 14
1294.63/171.61	c (171,10) m[2][5] = 45
1294.63/171.61	c (171,10) m[2][6] = 33
1294.63/171.61	c (171,10) m[2][7] = 17
1294.63/171.61	c (171,10) m[2][8] = 8
1294.63/171.61	c (171,10) m[2][9] = 82
1294.63/171.61	c (171,10) m[2][10] = 70
1294.63/171.61	c (171,10) m[2][11] = 75
1294.63/171.61	c (171,10) m[2][12] = 66
1294.63/171.61	c (171,10) m[3][0] = 63
1294.63/171.61	c (171,10) m[3][1] = 38
1294.63/171.61	c (171,10) m[3][2] = 78
1294.63/171.61	c (171,10) m[3][3] = 80
1294.63/171.61	c (171,10) m[3][4] = 53
1294.63/171.61	c (171,10) m[3][5] = 27
1294.63/171.61	c (171,10) m[3][6] = 87
1294.63/171.61	c (171,10) m[3][7] = 31
1294.63/171.61	c (171,10) m[3][8] = 36
1294.63/171.61	c (171,10) m[3][9] = 9
1294.63/171.61	c (171,10) m[3][10] = 10
1294.63/171.61	c (171,10) m[3][11] = 58
1294.63/171.61	c (171,10) m[3][12] = 23
1294.63/171.61	c (171,10) m[4][0] = 76
1294.63/171.61	c (171,10) m[4][1] = 71
1294.63/171.61	c (171,10) m[4][2] = 2
1294.63/171.61	c (171,10) m[4][3] = 32
1294.63/171.61	c (171,10) m[4][4] = 28
1294.63/171.61	c (171,10) m[4][5] = 72
1294.63/171.61	c (171,10) m[4][6] = 15
1294.63/171.61	c (171,10) m[4][7] = 62
1294.63/171.61	c (171,10) m[4][8] = 79
1294.63/171.61	c (171,10) m[4][9] = 44
1294.63/171.61	c (171,10) m[4][10] = 24
1294.63/171.61	c (171,10) m[4][11] = 47
1294.63/171.61	c (171,10) m[4][12] = 60
1294.63/171.61	c (171,10) m[5][0] = 85
1294.63/171.61	c (171,10) m[5][1] = 1
1294.63/171.61	c (171,10) m[5][2] = 69
1294.63/171.61	c (171,10) m[5][3] = 74
1294.63/171.61	c (171,10) m[5][4] = 4
1294.63/171.61	c (171,10) m[5][5] = 19
1294.63/171.61	c (171,10) m[5][6] = 41
1294.63/171.61	c (171,10) m[5][7] = 39
1294.63/171.61	c (171,10) m[5][8] = 35
1294.63/171.61	c (171,10) m[5][9] = 64
1294.63/171.61	c (171,10) m[5][10] = 86
1294.63/171.61	c (171,10) m[5][11] = 22
1294.63/171.61	c (171,10) m[5][12] = 50
1294.63/171.61	c (171,10) m[6][0] = 90
1294.63/171.61	c (171,10) m[6][1] = 49
1294.63/171.61	c (171,10) m[6][2] = 16
1294.63/171.61	c (171,10) m[6][3] = 43
1294.63/171.61	c (171,10) m[6][4] = 73
1294.63/171.61	c (171,10) m[6][5] = 83
1294.63/171.61	c (171,10) m[6][6] = 6
1294.63/171.61	c (171,10) m[6][7] = 51
1294.63/171.61	c (171,10) m[6][8] = 59
1294.63/171.61	c (171,10) m[6][9] = 13
1294.63/171.61	c (171,10) m[6][10] = 65
1294.63/171.61	c (171,10) m[6][11] = 30
1294.63/171.61	c (171,10) m[6][12] = 12
1294.63/171.61	s SATISFIABLE
1294.63/171.61	v <instantiation>
1294.63/171.61	v     <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[0][11] m[0][12] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[1][11] m[1][12] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[2][11] m[2][12] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[3][11] m[3][12] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[4][11] m[4][12] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] m[5][11] m[5][12] m[6][0] m[6][1] m[6][2] m[6][3] m[6][4] m[6][5] m[6][6] m[6][7] m[6][8] m[6][9] m[6][10] m[6][11] m[6][12] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] hd[6] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5] ad[6]</list>
1294.63/171.61	v     <values>0 11 9 5 9 4 6 0 1 5 2 3 3 2 1 4 1 8 0 5 11 6 4 3 0 2 4 5 2 0 1 3 2 1 0 9 7 7 6 6 3 8 8 4 2 10 2 3 0 0 5 1 8 7 0 2 2 7 1 5 8 3 1 4 5 10 0 6 7 0 1 3 3 2 6 10 1 4 12 4 1 3 7 9 0 4 5 1 6 2 0 1 13 10 6 13 11 12 8 7 7 4 10 8 3 10 7 9 10 6 8 12 11 13 5 12 7 5 12 12 4 3 13 11 6 9 11 8 13 10 7 6 11 13 12 5 13 9 4 10 11 9 12 9 9 3 10 6 10 4 13 12 12 13 6 11 11 2 13 12 5 8 9 7 13 8 12 11 9 13 8 5 11 11 12 7 10 10 2 9 8 13 0 89 81 55 84 52 68 7 18 56 26 42 40 25 21 48 20 77 5 57 88 67 54 37 11 29 46 61 34 3 14 45 33 17 8 82 70 75 66 63 38 78 80 53 27 87 31 36 9 10 58 23 76 71 2 32 28 72 15 62 79 44 24 47 60 85 1 69 74 4 19 41 39 35 64 86 22 50 90 49 16 43 73 83 6 51 59 13 65 30 12 2 9 8 1 0 4 3 12 13 10 7 11 5 6</values>
1294.63/171.61	v </instantiation>
1294.63/171.61	c (171,10) Show results End
1294.63/171.61	c (171,10) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
1294.63/171.61	c (171,10) 0,0,6,6,7,7,9,171,171,STOP-AFTER(ALL)
1294.63/171.61	c END-Prog: Fri Jul 27 10:22:16 CEST 2018

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297263-1532679565/watcher-4297263-1532679565 -o /tmp/evaluation-result-4297263-1532679565/solver-4297263-1532679565 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532676973-15610 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297263-1532679565.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=15890, runsolver pid=15887

[startup+0.100973 s]*
/proc/loadavg: 3.07 6.88 7.91 2/202 15910
/proc/meminfo: memFree=28148620/32770624 swapFree=67108744/67108860
[pid=15890] ppid=15887 vsize=27312552 memory=109164 CPUtime=0.11 cores=0-7
/proc/15890/stat : 15890 (java) S 15887 15890 15583 0 -1 1077944320 6302 0 0 0 8 3 0 0 20 0 20 0 85519685 27968053248 27291 33554432000 4194304 4196468 140734564953120 140734564935664 140009665777399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
/proc/15890/statm: 6828138 27291 2744 1 0 6790598 0
[pid=15890/tid=15892] ppid=15887 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15890/task/15892/stat : 15892 (java) R 15887 15890 15583 0 -1 4202560 4428 0 0 0 7 2 0 0 20 0 20 0 85519686 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009637582872 140009169271712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15893] ppid=15887 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15890/task/15893/stat : 15893 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009670019984 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15894] ppid=15887 vsize=27312552 memory=140500777031296 CPUtime=0 cores=0-7
/proc/15890/task/15894/stat : 15894 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009492515600 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15895] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15895/stat : 15895 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009087384720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15896] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15896/stat : 15896 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009086331920 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15897] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15897/stat : 15897 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009085278608 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15898] ppid=15887 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15890/task/15898/stat : 15898 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009084225808 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15899] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15899/stat : 15899 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009083173520 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15900] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15900/stat : 15900 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 27291 33554432000 4194304 4196468 140734564953120 140009082120720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15901] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15901/stat : 15901 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 27291 33554432000 4194304 4196468 140734564953120 140008657664624 140009665788546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15902] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15902/stat : 15902 (java) S 15887 15890 15583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 27291 33554432000 4194304 4196468 140734564953120 140007545234720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15903] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15903/stat : 15903 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 27291 33554432000 4194304 4196468 140734564953120 140007276799600 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15904] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15904/stat : 15904 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 27291 33554432000 4194304 4196468 140734564953120 140006902291024 140009665795995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15905] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15905/stat : 15905 (java) S 15887 15890 15583 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 27291 33554432000 4194304 4196468 140734564953120 140008656611440 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15906] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15906/stat : 15906 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 27291 33554432000 4194304 4196468 140734564953120 140008655558640 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15907] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15907/stat : 15907 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 27291 33554432000 4194304 4196468 140734564953120 140008654506352 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15908] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15908/stat : 15908 (java) S 15887 15890 15583 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 27291 33554432000 4194304 4196468 140734564953120 140008653453552 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15909] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15909/stat : 15909 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 27291 33554432000 4194304 4196468 140734564953120 140006404385632 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15910] ppid=15887 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15890/task/15910/stat : 15910 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 27291 33554432000 4194304 4196468 140734564953120 140008652401456 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109164 KiB

[startup+0.210636 s]*
/proc/loadavg: 3.07 6.88 7.91 2/202 15910
/proc/meminfo: memFree=28132000/32770624 swapFree=67108744/67108860
[pid=15890] ppid=15887 vsize=27312552 memory=123040 CPUtime=0.25 cores=0-7
/proc/15890/stat : 15890 (java) S 15887 15890 15583 0 -1 1077944320 10091 0 0 0 21 4 0 0 20 0 20 0 85519685 27968053248 30760 33554432000 4194304 4196468 140734564953120 140734564935664 140009665777399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
/proc/15890/statm: 6828138 30760 2842 1 0 6790598 0
[pid=15890/tid=15892] ppid=15887 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/15890/task/15892/stat : 15892 (java) R 15887 15890 15583 0 -1 4202560 8002 0 0 0 17 3 0 0 20 0 20 0 85519686 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009637568064 140009665799325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15893] ppid=15887 vsize=27312552 memory=13976 CPUtime=0 cores=0-7
/proc/15890/task/15893/stat : 15893 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009670019984 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15894] ppid=15887 vsize=27312552 memory=140500777047162 CPUtime=0 cores=0-7
/proc/15890/task/15894/stat : 15894 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009492515600 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15895] ppid=15887 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15890/task/15895/stat : 15895 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009087384720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15896] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15896/stat : 15896 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009086331920 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15897] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15897/stat : 15897 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009085278608 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15898] ppid=15887 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15890/task/15898/stat : 15898 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009084225808 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15899] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15899/stat : 15899 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009083173520 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15900] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15900/stat : 15900 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 30825 33554432000 4194304 4196468 140734564953120 140009082120720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15901] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15901/stat : 15901 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 30825 33554432000 4194304 4196468 140734564953120 140008657664624 140009665788546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15902] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15902/stat : 15902 (java) S 15887 15890 15583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 30825 33554432000 4194304 4196468 140734564953120 140007545234720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15903] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15903/stat : 15903 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 30825 33554432000 4194304 4196468 140734564953120 140007276799600 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15904] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15904/stat : 15904 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 30825 33554432000 4194304 4196468 140734564953120 140006902291024 140009665795995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15905] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15905/stat : 15905 (java) S 15887 15890 15583 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 30825 33554432000 4194304 4196468 140734564953120 140008656611440 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15906] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15906/stat : 15906 (java) S 15887 15890 15583 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 30825 33554432000 4194304 4196468 140734564953120 140008655558640 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15907] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15907/stat : 15907 (java) S 15887 15890 15583 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 30825 33554432000 4194304 4196468 140734564953120 140008654506352 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15908] ppid=15887 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/15890/task/15908/stat : 15908 (java) S 15887 15890 15583 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 20 0 85519693 27968053248 30825 33554432000 4194304 4196468 140734564953120 140008653453552 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15909] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15909/stat : 15909 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 30825 33554432000 4194304 4196468 140734564953120 140006404385632 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15910] ppid=15887 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15890/task/15910/stat : 15910 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 30825 33554432000 4194304 4196468 140734564953120 140008652401456 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123040 KiB

[startup+0.310514 s]*
/proc/loadavg: 3.07 6.88 7.91 2/202 15910
/proc/meminfo: memFree=28128092/32770624 swapFree=67108744/67108860
[pid=15890] ppid=15887 vsize=27312552 memory=127276 CPUtime=0.42 cores=0-7
/proc/15890/stat : 15890 (java) S 15887 15890 15583 0 -1 1077944320 10700 0 0 0 38 4 0 0 20 0 20 0 85519685 27968053248 31819 33554432000 4194304 4196468 140734564953120 140734564935664 140009665777399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
/proc/15890/statm: 6828138 31819 2954 1 0 6790598 0
[pid=15890/tid=15892] ppid=15887 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/15890/task/15892/stat : 15892 (java) R 15887 15890 15583 0 -1 4202560 8430 0 0 0 26 3 0 0 20 0 20 0 85519686 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009637581328 140009168301192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15893] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15893/stat : 15893 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009670019984 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15894] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15894/stat : 15894 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009492515600 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15895] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15895/stat : 15895 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009087384720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15896] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15896/stat : 15896 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009086331920 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15897] ppid=15887 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/15890/task/15897/stat : 15897 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009085278608 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15898] ppid=15887 vsize=27312552 memory=140500661269423 CPUtime=0 cores=0-7
/proc/15890/task/15898/stat : 15898 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009084225808 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15899] ppid=15887 vsize=27312552 memory=140500661271728 CPUtime=0 cores=0-7
/proc/15890/task/15899/stat : 15899 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009083173520 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15900] ppid=15887 vsize=27312552 memory=140500661274032 CPUtime=0 cores=0-7
/proc/15890/task/15900/stat : 15900 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519688 27968053248 31819 33554432000 4194304 4196468 140734564953120 140009082120720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15901] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15901/stat : 15901 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 31819 33554432000 4194304 4196468 140734564953120 140008657664624 140009665788546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15902] ppid=15887 vsize=27312552 memory=281001322555024 CPUtime=0 cores=0-7
/proc/15890/task/15902/stat : 15902 (java) S 15887 15890 15583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 31819 33554432000 4194304 4196468 140734564953120 140007545234720 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15903] ppid=15887 vsize=27312552 memory=281001322561936 CPUtime=0 cores=0-7
/proc/15890/task/15903/stat : 15903 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519690 27968053248 31819 33554432000 4194304 4196468 140734564953120 140007276799600 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15904] ppid=15887 vsize=27312552 memory=281001322503216 CPUtime=0 cores=0-7
/proc/15890/task/15904/stat : 15904 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 31819 33554432000 4194304 4196468 140734564953120 140006902291024 140009665795995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15905] ppid=15887 vsize=27312552 memory=281001322575760 CPUtime=0 cores=0-7
/proc/15890/task/15905/stat : 15905 (java) R 15887 15890 15583 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 31819 33554432000 4194304 4196468 140734564953120 140008656611440 140009665788546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15906] ppid=15887 vsize=27312552 memory=281001322582672 CPUtime=0 cores=0-7
/proc/15890/task/15906/stat : 15906 (java) R 15887 15890 15583 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 31819 33554432000 4194304 4196468 140734564953120 140008655558640 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15907] ppid=15887 vsize=27312552 memory=281001322580368 CPUtime=0.02 cores=0-7
/proc/15890/task/15907/stat : 15907 (java) S 15887 15890 15583 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 20 0 85519693 27968053248 31819 33554432000 4194304 4196468 140734564953120 140008654506352 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15908] ppid=15887 vsize=27312552 memory=281001322596976 CPUtime=0.07 cores=0-7
/proc/15890/task/15908/stat : 15908 (java) R 15887 15890 15583 0 -1 4202560 337 0 0 0 7 0 0 0 20 0 20 0 85519693 27968053248 31819 33554432000 4194304 4196468 140734564953120 140008653453552 140009649857886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15909] ppid=15887 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15909/stat : 15909 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 31819 33554432000 4194304 4196468 140734564953120 140006404385632 140009665787605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15910] ppid=15887 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/15890/task/15910/stat : 15910 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519693 27968053248 31819 33554432000 4194304 4196468 140734564953120 140008652401456 140009665788546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127276 KiB

[startup+0.700912 s]
/proc/loadavg: 3.07 6.88 7.91 2/202 15910
/proc/meminfo: memFree=28103660/32770624 swapFree=67108744/67108860
[pid=15890] ppid=15887 vsize=27320948 memory=165220 CPUtime=1 cores=0-7
/proc/15890/stat : 15890 (java) S 15887 15890 15583 0 -1 1077944320 17887 0 0 0 94 6 0 0 20 0 20 0 85519685 27976650752 41305 33554432000 4194304 4196468 140734564953120 140734564935664 140009665777399 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
/proc/15890/statm: 6830237 41305 3154 1 0 6791622 0
[pid=15890/tid=15892] ppid=15887 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/15890/task/15892/stat : 15892 (java) R 15887 15890 15583 0 -1 4202560 15124 0 0 0 62 5 0 0 20 0 20 0 85519686 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009637608704 140009649857886 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15893] ppid=15887 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15893/stat : 15893 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009670019984 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15894] ppid=15887 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15894/stat : 15894 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009492515600 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15895] ppid=15887 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15895/stat : 15895 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009087384720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15896] ppid=15887 vsize=27320948 memory=1228 CPUtime=0 cores=0-7
/proc/15890/task/15896/stat : 15896 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009086331920 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15897] ppid=15887 vsize=27320948 memory=1704 CPUtime=0 cores=0-7
/proc/15890/task/15897/stat : 15897 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009085278608 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15898] ppid=15887 vsize=27320948 memory=1952 CPUtime=0 cores=0-7
/proc/15890/task/15898/stat : 15898 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009084225808 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15899] ppid=15887 vsize=27320948 memory=10576 CPUtime=0 cores=0-7
/proc/15890/task/15899/stat : 15899 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009083173520 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15900] ppid=15887 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/15890/task/15900/stat : 15900 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85519688 27976650752 41305 33554432000 4194304 4196468 140734564953120 140009082120720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15901] ppid=15887 vsize=27320948 memory=18280 CPUtime=0 cores=0-7
/proc/15890/task/15901/stat : 15901 (java) S 15887 15890 15583 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85519690 27976650752 41305 33554432000 4194304 4196468 140734564953120 140008657664624 140009665788546 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0

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

/proc/15890/task/15900/stat : 15900 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009082120720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15901] ppid=15887 vsize=27984808 memory=7378692149137860203 CPUtime=0.01 cores=0-7
/proc/15890/task/15901/stat : 15901 (java) S 15887 15890 15583 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 85519690 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008657664624 140009665788546 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15902] ppid=15887 vsize=27984808 memory=7593460815964565865 CPUtime=0 cores=0-7
/proc/15890/task/15902/stat : 15902 (java) S 15887 15890 15583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85519690 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140007545234720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15903] ppid=15887 vsize=27984808 memory=7305235945994086758 CPUtime=0 cores=0-7
/proc/15890/task/15903/stat : 15903 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85519690 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140007276799600 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15904] ppid=15887 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/15890/task/15904/stat : 15904 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140006902291024 140009665795995 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15905] ppid=15887 vsize=27984808 memory=0 CPUtime=4.76 cores=0-7
/proc/15890/task/15905/stat : 15905 (java) S 15887 15890 15583 0 -1 1077944384 5675 0 0 0 473 3 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008656611440 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15906] ppid=15887 vsize=27984808 memory=14632 CPUtime=4.46 cores=0-7
/proc/15890/task/15906/stat : 15906 (java) S 15887 15890 15583 0 -1 1077944384 4933 0 0 0 445 1 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008655558640 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15907] ppid=15887 vsize=27984808 memory=4052 CPUtime=4.93 cores=0-7
/proc/15890/task/15907/stat : 15907 (java) S 15887 15890 15583 0 -1 1077944384 5234 0 0 0 491 2 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008654506352 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15908] ppid=15887 vsize=27984808 memory=644 CPUtime=1.57 cores=0-7
/proc/15890/task/15908/stat : 15908 (java) S 15887 15890 15583 0 -1 1077944384 4164 0 0 0 156 1 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008653453552 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15909] ppid=15887 vsize=27984808 memory=4868008 CPUtime=0 cores=0-7
/proc/15890/task/15909/stat : 15909 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140006404385632 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15910] ppid=15887 vsize=27984808 memory=-5155635673837301125 CPUtime=0.08 cores=0-7
/proc/15890/task/15910/stat : 15910 (java) S 15887 15890 15583 0 -1 1077944384 14 0 0 0 4 4 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008652401456 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15912] ppid=15887 vsize=27984808 memory=2340 CPUtime=0 cores=0-7
/proc/15890/task/15912/stat : 15912 (java) S 15887 15890 15583 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 85520756 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009022146368 140009665802009 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15914] ppid=15887 vsize=27984808 memory=4868008 CPUtime=0.02 cores=0-7
/proc/15890/task/15914/stat : 15914 (java) S 15887 15890 15583 0 -1 4202560 723 0 0 0 2 0 0 0 20 0 24 0 85520756 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140005733285360 140009665799325 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15915] ppid=15887 vsize=27984808 memory=1048068 CPUtime=0 cores=0-7
/proc/15890/task/15915/stat : 15915 (java) S 15887 15890 15583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85520756 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140006001720496 140009665799325 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15916] ppid=15887 vsize=27984808 memory=1844 CPUtime=0 cores=0-7
/proc/15890/task/15916/stat : 15916 (java) S 15887 15890 15583 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 85520758 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140005464857888 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
Current children cumulated CPU time: 1285.34 s
Current children cumulated vsize: 29354008 KiB
Current children cumulated memory: 5941604 KiB

[startup+171.202 s]
/proc/loadavg: 8.04 7.43 7.94 9/217 15933
/proc/meminfo: memFree=22293140/32770624 swapFree=67108744/67108860
[pid=15890] ppid=15887 vsize=27984808 memory=4868008 CPUtime=26.59 cores=0-7
/proc/15890/stat : 15890 (java) S 15887 15890 15583 0 -1 1077944320 41799 0 0 0 2568 91 0 0 20 0 24 0 85519685 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140734564935664 140009665777399 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
/proc/15890/statm: 6996202 1217002 3233 1 0 6957058 0
[pid=15911] ppid=15890 vsize=1369200 memory=1073596 CPUtime=1265.13 cores=0-7
/proc/15911/stat : 15911 (glucose-syrup) S 15890 15890 15583 0 -1 1077944320 886257 0 0 0 126347 166 0 0 20 0 9 0 85520756 1402060800 268399 33554432000 4194304 4373367 140731971416880 140731971415424 139985416321666 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
/proc/15911/statm: 342300 268399 387 44 0 337988 0
[pid=15911/tid=15917] ppid=15890 vsize=1369200 memory=1071548 CPUtime=157.91 cores=0-7
/proc/15911/task/15917/stat : 15917 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 94110 0 0 0 15766 25 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985367817488 4271619 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15911/tid=15918] ppid=15890 vsize=1369200 memory=-5155635673837301125 CPUtime=156.1 cores=0-7
/proc/15911/task/15918/stat : 15918 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 114103 0 0 0 15595 15 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985359424880 4272344 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15911/tid=15919] ppid=15890 vsize=1369200 memory=1952 CPUtime=158.32 cores=0-7
/proc/15911/task/15919/stat : 15919 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 100693 0 0 0 15815 17 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985351032176 4272080 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15911/tid=15920] ppid=15890 vsize=1369200 memory=10576 CPUtime=157.37 cores=0-7
/proc/15911/task/15920/stat : 15920 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 100292 0 0 0 15724 13 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985342639376 4258908 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15911/tid=15921] ppid=15890 vsize=1369200 memory=15872 CPUtime=158.38 cores=0-7
/proc/15911/task/15921/stat : 15921 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 103161 0 0 0 15813 25 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985334246672 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15911/tid=15922] ppid=15890 vsize=1369200 memory=18280 CPUtime=158.32 cores=0-7
/proc/15911/task/15922/stat : 15922 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 99665 0 0 0 15818 14 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985325854064 4258847 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15911/tid=15923] ppid=15890 vsize=1369200 memory=1236 CPUtime=158.31 cores=0-7
/proc/15911/task/15923/stat : 15923 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 102539 0 0 0 15810 21 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985317460936 4271897 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15911/tid=15924] ppid=15890 vsize=1369200 memory=14632 CPUtime=158.33 cores=0-7
/proc/15911/task/15924/stat : 15924 (glucose-syrup) R 15890 15890 15583 0 -1 4202560 97218 0 0 0 15814 19 0 0 20 0 9 0 85520955 1402060800 268399 33554432000 4194304 4373367 140731971416880 139985309068560 4271597 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 8359936 140731971421103 140731971421356 140731971421356 140731971424199 0
[pid=15890/tid=15892] ppid=15887 vsize=27984808 memory=1048068 CPUtime=10.7 cores=0-7
/proc/15890/task/15892/stat : 15892 (java) S 15887 15890 15583 0 -1 1077944384 19653 0 0 0 990 80 0 0 20 0 24 0 85519686 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009637616640 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15893] ppid=15887 vsize=27984808 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/15890/task/15893/stat : 15893 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009670019984 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15894] ppid=15887 vsize=27984808 memory=15534111569742379 CPUtime=0 cores=0-7
/proc/15890/task/15894/stat : 15894 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009492515600 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15895] ppid=15887 vsize=27984808 memory=4868008 CPUtime=0 cores=0-7
/proc/15890/task/15895/stat : 15895 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009087384720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15896] ppid=15887 vsize=27984808 memory=1077776 CPUtime=0 cores=0-7
/proc/15890/task/15896/stat : 15896 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009086331920 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15897] ppid=15887 vsize=27984808 memory=3696 CPUtime=0 cores=0-7
/proc/15890/task/15897/stat : 15897 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009085278608 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15898] ppid=15887 vsize=27984808 memory=4868008 CPUtime=0 cores=0-7
/proc/15890/task/15898/stat : 15898 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009084225808 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15899] ppid=15887 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/15890/task/15899/stat : 15899 (java) S 15887 15890 15583 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009083173520 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15900] ppid=15887 vsize=27984808 memory=25160 CPUtime=0 cores=0-7
/proc/15890/task/15900/stat : 15900 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85519688 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009082120720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15901] ppid=15887 vsize=27984808 memory=2396 CPUtime=0.01 cores=0-7
/proc/15890/task/15901/stat : 15901 (java) S 15887 15890 15583 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 85519690 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008657664624 140009665788546 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15902] ppid=15887 vsize=27984808 memory=1292 CPUtime=0 cores=0-7
/proc/15890/task/15902/stat : 15902 (java) S 15887 15890 15583 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85519690 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140007545234720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15903] ppid=15887 vsize=27984808 memory=1844 CPUtime=0 cores=0-7
/proc/15890/task/15903/stat : 15903 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85519690 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140007276799600 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15904] ppid=15887 vsize=27984808 memory=1008 CPUtime=0 cores=0-7
/proc/15890/task/15904/stat : 15904 (java) S 15887 15890 15583 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140006902291024 140009665795995 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15905] ppid=15887 vsize=27984808 memory=5404 CPUtime=4.76 cores=0-7
/proc/15890/task/15905/stat : 15905 (java) S 15887 15890 15583 0 -1 1077944384 5675 0 0 0 473 3 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008656611440 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15906] ppid=15887 vsize=27984808 memory=796 CPUtime=4.46 cores=0-7
/proc/15890/task/15906/stat : 15906 (java) S 15887 15890 15583 0 -1 1077944384 4933 0 0 0 445 1 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008655558640 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15907] ppid=15887 vsize=27984808 memory=4616 CPUtime=4.93 cores=0-7
/proc/15890/task/15907/stat : 15907 (java) S 15887 15890 15583 0 -1 1077944384 5234 0 0 0 491 2 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008654506352 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15908] ppid=15887 vsize=27984808 memory=1424 CPUtime=1.57 cores=0-7
/proc/15890/task/15908/stat : 15908 (java) S 15887 15890 15583 0 -1 1077944384 4164 0 0 0 156 1 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008653453552 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15909] ppid=15887 vsize=27984808 memory=1071376 CPUtime=0 cores=0-7
/proc/15890/task/15909/stat : 15909 (java) S 15887 15890 15583 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140006404385632 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15910] ppid=15887 vsize=27984808 memory=2396 CPUtime=0.08 cores=0-7
/proc/15890/task/15910/stat : 15910 (java) S 15887 15890 15583 0 -1 1077944384 14 0 0 0 4 4 0 0 20 0 24 0 85519693 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140008652401456 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15912] ppid=15887 vsize=27984808 memory=1292 CPUtime=0 cores=0-7
/proc/15890/task/15912/stat : 15912 (java) S 15887 15890 15583 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 85520756 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140009022146368 140009665802009 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15914] ppid=15887 vsize=27984808 memory=1844 CPUtime=0.02 cores=0-7
/proc/15890/task/15914/stat : 15914 (java) S 15887 15890 15583 0 -1 4202560 723 0 0 0 2 0 0 0 20 0 24 0 85520756 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140005733285360 140009665799325 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15915] ppid=15887 vsize=27984808 memory=1008 CPUtime=0 cores=0-7
/proc/15890/task/15915/stat : 15915 (java) S 15887 15890 15583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85520756 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140006001720496 140009665799325 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15916] ppid=15887 vsize=27984808 memory=5404 CPUtime=0 cores=0-7
/proc/15890/task/15916/stat : 15916 (java) S 15887 15890 15583 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 85520758 28656443392 1217002 33554432000 4194304 4196468 140734564953120 140005464857888 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
Current children cumulated CPU time: 1291.72 s
Current children cumulated vsize: 29354008 KiB
Current children cumulated memory: 5941604 KiB

[startup+171.601 s]
/proc/loadavg: 8.04 7.43 7.94 9/217 15933
/proc/meminfo: memFree=22293140/32770624 swapFree=67108744/67108860
[pid=15890] ppid=15887 vsize=27853732 memory=4876212 CPUtime=1294.63 cores=0-7
/proc/15890/stat : 15890 (java) S 15887 15890 15583 0 -1 1077944320 41871 886446 0 0 2587 92 126614 170 20 0 22 0 85519685 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140734564935664 140009665777399 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
/proc/15890/statm: 6963433 1219053 3233 1 0 6924289 0
[pid=15890/tid=15892] ppid=15887 vsize=27853732 memory=4052 CPUtime=1278.55 cores=0-7
/proc/15890/task/15892/stat : 15892 (java) R 15887 15890 15583 0 -1 4202560 19697 886446 0 0 991 80 126614 170 20 0 22 0 85519686 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009637607232 140009665789334 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15893] ppid=15887 vsize=27853732 memory=644 CPUtime=1267.84 cores=0-7
/proc/15890/task/15893/stat : 15893 (java) S 15887 15890 15583 0 -1 1077944384 2 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009670019984 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15894] ppid=15887 vsize=27853732 memory=1800 CPUtime=1267.84 cores=0-7
/proc/15890/task/15894/stat : 15894 (java) S 15887 15890 15583 0 -1 1077944384 1 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009492515600 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15895] ppid=15887 vsize=27853732 memory=956 CPUtime=1267.84 cores=0-7
/proc/15890/task/15895/stat : 15895 (java) S 15887 15890 15583 0 -1 1077944384 1 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009087384720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15896] ppid=15887 vsize=27853732 memory=4868008 CPUtime=1267.84 cores=0-7
/proc/15890/task/15896/stat : 15896 (java) S 15887 15890 15583 0 -1 1077944384 2 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009086331920 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15897] ppid=15887 vsize=27853732 memory=1073596 CPUtime=1267.84 cores=0-7
/proc/15890/task/15897/stat : 15897 (java) S 15887 15890 15583 0 -1 1077944384 1 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009085278608 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15898] ppid=15887 vsize=27853732 memory=-5155635673837301125 CPUtime=1267.84 cores=0-7
/proc/15890/task/15898/stat : 15898 (java) S 15887 15890 15583 0 -1 1077944384 2 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009084225808 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15899] ppid=15887 vsize=27853732 memory=4872558044660077418 CPUtime=1267.84 cores=0-7
/proc/15890/task/15899/stat : 15899 (java) S 15887 15890 15583 0 -1 1077944384 2 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009083173520 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15900] ppid=15887 vsize=27853732 memory=956 CPUtime=1267.84 cores=0-7
/proc/15890/task/15900/stat : 15900 (java) S 15887 15890 15583 0 -1 1077944384 3 886446 0 0 0 0 126614 170 20 0 22 0 85519688 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009082120720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15901] ppid=15887 vsize=27853732 memory=2340 CPUtime=1267.85 cores=0-7
/proc/15890/task/15901/stat : 15901 (java) S 15887 15890 15583 0 -1 1077944384 12 886446 0 0 1 0 126614 170 20 0 22 0 85519690 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140008657664624 140009665788546 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15902] ppid=15887 vsize=27853732 memory=928 CPUtime=1267.84 cores=0-7
/proc/15890/task/15902/stat : 15902 (java) S 15887 15890 15583 0 -1 1077944384 13 886446 0 0 0 0 126614 170 20 0 22 0 85519690 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140007545234720 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15903] ppid=15887 vsize=27853732 memory=1568 CPUtime=1267.84 cores=0-7
/proc/15890/task/15903/stat : 15903 (java) S 15887 15890 15583 0 -1 1077944384 1 886446 0 0 0 0 126614 170 20 0 22 0 85519690 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140007276799600 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15904] ppid=15887 vsize=27853732 memory=2240 CPUtime=1267.84 cores=0-7
/proc/15890/task/15904/stat : 15904 (java) S 15887 15890 15583 0 -1 1077944384 1 886446 0 0 0 0 126614 170 20 0 22 0 85519693 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140006902291024 140009665795995 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15905] ppid=15887 vsize=27853732 memory=4124 CPUtime=1272.66 cores=0-7
/proc/15890/task/15905/stat : 15905 (java) R 15887 15890 15583 0 -1 4202560 5675 886446 0 0 479 3 126614 170 20 0 22 0 85519693 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140008656601120 140009645471707 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15906] ppid=15887 vsize=27853732 memory=2196 CPUtime=1272.33 cores=0-7
/proc/15890/task/15906/stat : 15906 (java) S 15887 15890 15583 0 -1 1077944384 4933 886446 0 0 448 1 126614 170 20 0 22 0 85519693 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140008655558640 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15907] ppid=15887 vsize=27853732 memory=7636 CPUtime=1272.81 cores=0-7
/proc/15890/task/15907/stat : 15907 (java) R 15887 15890 15583 0 -1 1077944384 5234 886446 0 0 495 2 126614 170 20 0 22 0 85519693 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140008654506352 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15908] ppid=15887 vsize=27853732 memory=836 CPUtime=1269.43 cores=0-7
/proc/15890/task/15908/stat : 15908 (java) R 15887 15890 15583 0 -1 4202560 4169 886446 0 0 158 1 126614 170 20 0 22 0 85519693 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140008653453360 140009665789334 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15909] ppid=15887 vsize=27853732 memory=1692 CPUtime=1267.84 cores=0-7
/proc/15890/task/15909/stat : 15909 (java) S 15887 15890 15583 0 -1 1077944384 3 886446 0 0 0 0 126614 170 20 0 22 0 85519693 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140006404385632 140009665787605 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15910] ppid=15887 vsize=27853732 memory=4096 CPUtime=1267.92 cores=0-7
/proc/15890/task/15910/stat : 15910 (java) S 15887 15890 15583 0 -1 1077944384 14 886446 0 0 4 4 126614 170 20 0 22 0 85519693 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140008652401456 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15912] ppid=15887 vsize=27853732 memory=25160 CPUtime=1267.84 cores=0-7
/proc/15890/task/15912/stat : 15912 (java) S 15887 15890 15583 0 -1 1077944384 24 886446 0 0 0 0 126614 170 20 0 22 0 85520756 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140009022145552 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
[pid=15890/tid=15916] ppid=15887 vsize=27853732 memory=1844 CPUtime=1267.84 cores=0-7
/proc/15890/task/15916/stat : 15916 (java) S 15887 15890 15583 0 -1 1077944384 20 886446 0 0 0 0 126614 170 20 0 22 0 85520758 28522221568 1219053 33554432000 4194304 4196468 140734564953120 140005464859696 140009665788546 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37068800 140734564955098 140734564955397 140734564955397 140734564958159 0
Current children cumulated CPU time: 1294.63 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 4876212 KiB

Child status: 0
Real time (s): 171.66
CPU time (s): 1294.73
CPU user time (s): 1292.07
CPU system time (s): 2.66515
CPU usage (%): 754.242
Max. virtual memory (cumulated for all children) (KiB): 29435764
Max. memory (cumulated for all children) (KiB): 5949920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1292.07
system time used= 2.66515
maximum resident set size= 4881304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24856
involuntary context switches= 14484


# summary of solver processes directly reported to runsolver:
#   pid: 15890
#   total CPU time (s): 1294.73
#   total CPU user time (s): 1292.07
#   total CPU system time (s): 2.66515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51497 second user time and 2.428 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-27 10:19:25
IDJOB=4297263
IDBENCH=141595
IDSOLVER=2759
FILE ID=node134/4297263-1532679565
RUNJOBID= node134-1532676973-15610
PBS_JOBID= 21022259
Free space on /tmp= 55560 MiB

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

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

MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa
RANDOM SEED=1413863040

node134.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.68
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.68
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.68
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.68
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:        28244608 kB
MemAvailable:   31958488 kB
Buffers:          148544 kB
Cached:          3828940 kB
SwapCached:            0 kB
Active:          1730304 kB
Inactive:        2301980 kB
Active(anon):       3928 kB
Inactive(anon):    78848 kB
Active(file):    1726376 kB
Inactive(file):  2223132 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:              8768 kB
Writeback:             0 kB
AnonPages:         79312 kB
Mapped:            41748 kB
Shmem:             25132 kB
Slab:             188336 kB
SReclaimable:     160416 kB
SUnreclaim:        27920 kB
KernelStack:        3696 kB
PageTables:         5080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55552 MiB
End job on node134 at 2018-07-27 10:22:17