Trace number 4079825

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
MD5SUMd90f6236f870e45ceb3cd4a6e4593f30
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark223.698
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables14352
Total number of constraints53247
Number of constraints which are clauses53237
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint1
Maximum length of a constraint1036
Number of terms in the objective function 1036
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1036
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1068
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T00:23:26+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079825-1465251806.opb"]
0.00/0.01	c use --random-gen="2981843995 3614647692 3749479341 680590602 2662587818 3706255160 2649161884 1946674703 1180886957 1052442662 2202505500 3835633560 2931022428 760908666 2600695656 3537679967 151691246 872523871 2276939581 2557063058 607066759 1856997425 1148192009 135804101 1350366063 427366883 3907936397 2755109924 1908785925 1368013459 3493135714 2820300423 2249798125 637267528 2517016204 3948626721 2653653762 2942402543 932127103 974450789 814694243 2688589138 205973559 1551497131 84941195 2130371330 3274671499 3657619170 1649915989 3369799161 73948342 946997165 1958758664 2679143014 779899916 305696633 3430484059 1185498117 114962681 391694079 2465253161 1725640243 2364624766 3152017854 4192967019 2181668456 3181370751 1966364292 3189511275 3229688165 2980415190 59917327 4227527694 1203224111 3672165544 4048018868 3678411246 4007694112 3239507655 3909314196 37145409 3045172285 2191749922 92222910 210340715 2036322596 4199010852 3810945294 3904852183 1046262521 1543747927 1041035916 2828136943 4151160573 2486819708 4073219202 467268454 4232969866 951924111 10204228 2307161143 284336010 4281652988 2189658673 2180278110 1151132505 3719922662 31846930 2301585672 2242954154 565843579 759444669 1407883368 1098794039 2217123183 3081616729 1000759805 555194581 3690140570 923462890 76410253 3879575600 2753900740 3626851097 2182483522 3581164336 2328865220 2339657747 4126515133 136047197 1267836318 2428450986 3386728870 412306824 3156618932 4233989070 1572432923 2734820422 441903792 2720449642 1984094420 2178880926 1783344577 110159798 3013717997 3354324839 1618962470 331805390 1470530291 4060112594 1737230917 1811787948 466128982 2594108565 2014737107 2787580086 3086013482 3827419771 755784041 3824254085 1192722636 2033372892 282681429 928520053 4272071532 905980117 2957848236 2646508189 3956187157 287325911 1357617005 3722635887 1076172137 2438295712 592331795 820014977 3231767743 1445075857 1239470329 1592666060 3278593127 3930159696 1575253393 2313172833 1597494464 4013027404 4109805197 1706085255 2574541453 4202361717 1542379100 933959133 4073798571 3574188576 984370298 966784286 2281335902 851665627 2239199771 3680060601 2225724045 1428478993 3938267255 3783756426 780806937 978125552 108267446 1993967444 317657697 438834524 1919240304 1276593328 665318726 3409588959 1033261386 1316639358 2298421731 1274617395 3009349372 1153070011 2735877150 4029030871 2045843379 667513841 3264206643 2946603994 2434883739 2256739836 3162039826 3685575401 3197550203 776332771 3386763201 3819637127 727984827 1944779028 1095906281 1679801695 3892925321 933669042 3379824870 906405759 4203181777 278623944 3524498174 2672569513 2091312823 218490567 491936398 2766988179 311272966 3029594337 3510268193 1302831685 542364679 1287623296 255 362436" option to reproduce the execution
0.29/0.36	c #vars 14352
0.29/0.36	c #constraints 53247
1.09/1.14	c BCD2: Hardening is enabled.
1.09/1.14	c BCD2: BiasedSearch is enabled.
1.09/1.14	c Solving starts ...
1.09/1.14	c ============================[ Search Statistics ]============================
1.09/1.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.09/1.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1.09/1.14	c =============================================================================
1.09/1.15	c  0.0s |       0 |        0 |        0 |    22531      0 |        5 |        0
1.99/2.00	c  0.9s |       1 |     2563 |      100 |    22531      0 |        5 |        0
3.89/3.97	c  2.8s |       2 |     8244 |      250 |    24785      0 |        5 |        0
6.09/6.15	c  5.0s |       2 |     9210 |      450 |    27264      0 |        5 |        0
6.39/6.44	c  5.3s |       3 |     9360 |      475 |    27264      0 |        5 |        0
9.29/9.35	c  8.2s |       3 |    11835 |      775 |    29991      0 |        5 |        0
9.59/9.61	c  8.5s |       4 |    12001 |      813 |    29991      0 |        5 |        0
11.59/11.66	c 10.5s |       4 |    13671 |     1113 |    32991      0 |        5 |        0
13.69/13.70	c 12.6s |       5 |    17425 |     1320 |    32991      0 |        5 |        0
16.09/16.16	c 15.0s |       5 |    26016 |     1520 |    36291      0 |        5 |        0
18.39/18.47	c 17.3s |       5 |    35025 |     1720 |    36291      0 |        5 |        0
20.79/20.83	c 19.7s |       5 |    43233 |     1920 |    36291      0 |        5 |        0
22.69/22.72	c 21.6s |       6 |    51992 |     2081 |    39921      0 |        5 |        0
26.09/26.19	c 25.1s |       6 |    71392 |     2281 |    39921      0 |        5 |        0
29.59/29.66	c 28.5s |       6 |    81626 |     2481 |    39921      0 |        5 |        0
32.09/32.16	c 31.0s |       6 |    89288 |     2681 |    39921      0 |        5 |        0
35.89/35.94	c 34.8s |       6 |   109098 |     2981 |    39921      0 |        5 |        0
39.29/39.30	c 38.2s |       6 |   129479 |     3181 |    39921      0 |        5 |        0
39.98/40.02	c 38.9s |       7 |   132049 |     3223 |    43914      0 |        5 |        0
42.58/42.66	c 41.5s |       7 |   137933 |     3423 |    43914      0 |        5 |        0
46.08/46.11	c 45.0s |       7 |   157480 |     3723 |    43914      0 |        5 |        0
48.68/48.71	c 47.6s |       7 |   176434 |     3923 |    43914      0 |        5 |        0
51.08/51.14	c 50.0s |       7 |   183580 |     4123 |    43914      0 |        5 |        0
54.28/54.30	c 53.2s |       7 |   195418 |     4423 |    43914      0 |        5 |        0
56.38/56.41	c 55.3s |       7 |   202401 |     4623 |    43914      0 |        5 |        0
58.88/58.94	c 57.8s |       7 |   221115 |     4823 |    43914      0 |        5 |        0
60.38/60.42	c 59.3s |       8 |   226179 |     4936 |    48306      0 |        5 |        0
63.38/63.40	c 62.3s |       8 |   238336 |     5236 |    48306      0 |        5 |        0
65.38/65.45	c 64.3s |       8 |   244332 |     5436 |    48306      0 |        5 |        0
67.98/68.06	c 66.9s |       8 |   254778 |     5836 |    48306      0 |        5 |        0
70.49/70.52	c 69.4s |       8 |   263836 |     6236 |    48306      0 |        5 |        0
73.08/73.17	c 72.0s |       8 |   279833 |     6536 |    48306      0 |        5 |        0
75.08/75.19	c 74.0s |       8 |   286655 |     6736 |    48306      0 |        5 |        0
77.58/77.65	c 76.5s |       8 |   292244 |     7136 |    48306      0 |        5 |        0
80.68/80.74	c 79.6s |       8 |   301076 |     7436 |    48306      0 |        5 |        0
81.58/81.60	c 80.5s |       9 |   303156 |     7506 |    53137      0 |        5 |        0
83.58/83.63	c 82.5s |       9 |   310501 |     7706 |    53137      0 |        5 |        0
86.47/86.54	c 85.4s |       9 |   332338 |     7906 |    53137      0 |        5 |        0
88.87/88.98	c 87.8s |       9 |   343755 |     8106 |    53137      0 |        5 |        0
91.67/91.78	c 90.6s |       9 |   363658 |     8406 |    53137      0 |        5 |        0
94.37/94.41	c 93.3s |       9 |   381081 |     8606 |    53137      0 |        5 |        0
97.17/97.22	c 96.1s |       9 |   386713 |     8806 |    53137      0 |        5 |        0
99.18/99.25	c 98.1s |       9 |   395375 |     9106 |    53137      0 |        5 |        0
102.38/102.41	c  101s |       9 |   415836 |     9506 |    53137      0 |        5 |        0
105.37/105.47	c  104s |       9 |   429094 |     9706 |    53137      0 |        5 |        0
107.47/107.51	c  106s |       9 |   436923 |     9906 |    53137      0 |        5 |        0
109.47/109.54	c  108s |       9 |   444190 |    10206 |    53137      0 |        5 |        0
111.57/111.61	c  110s |       9 |   459017 |    10406 |    53137      0 |        5 |        0
114.27/114.36	c  113s |       9 |   471414 |    10606 |    53137      0 |        5 |        0
116.78/116.81	c  115s |       9 |   480658 |    10906 |    53137      0 |        5 |        0
120.08/120.17	c  119s |       9 |   496449 |    11306 |    58451      0 |        5 |        0
121.18/121.24	c  120s |      10 |   502900 |    11361 |    58451      0 |        5 |        0
124.87/124.94	c  123s |      10 |   518910 |    11561 |    58451      0 |        5 |        0
127.17/127.24	c  126s |      10 |   526423 |    11761 |    58451      0 |        5 |        0
129.97/130.01	c  128s |      10 |   547761 |    11961 |    58451      0 |        5 |        0
133.07/133.13	c  131s |      10 |   557550 |    12161 |    58451      0 |        5 |        0
135.27/135.36	c  134s |      10 |   562476 |    12361 |    58451      0 |        5 |        0
137.47/137.50	c  136s |      10 |   567531 |    12561 |    58451      0 |        5 |        0
139.97/140.04	c  138s |      10 |   576677 |    12761 |    58451      0 |        5 |        0
142.57/142.68	c  141s |      10 |   580781 |    13061 |    58451      0 |        5 |        0
144.77/144.87	c  143s |      10 |   588265 |    13361 |    58451      0 |        5 |        0
147.26/147.37	c  146s |      10 |   594514 |    13661 |    58451      0 |        5 |        0
150.26/150.32	c  149s |      10 |   603358 |    13961 |    58451      0 |        5 |        0
153.96/154.07	c  152s |      10 |   625578 |    14261 |    58451      0 |        5 |        0
157.66/157.78	c  156s |      10 |   643367 |    14461 |    58451      0 |        5 |        0
159.76/159.83	c  158s |      10 |   652093 |    14661 |    58451      0 |        5 |        0
162.56/162.68	c  161s |      10 |   664652 |    14961 |    58451      0 |        5 |        0
165.86/165.99	c  164s |      10 |   682875 |    15261 |    58451      0 |        5 |        0
168.37/168.49	c  167s |      10 |   705011 |    15461 |    58451      0 |        5 |        0
170.96/171.01	c  169s |      10 |   717409 |    15761 |    58451      0 |        5 |        0
173.26/173.38	c  172s |      10 |   727177 |    16161 |    58451      0 |        5 |        0
175.86/175.94	c  174s |      10 |   751807 |    16361 |    58451      0 |        5 |        0
178.06/178.18	c  177s |      10 |   765900 |    16661 |    58451      0 |        5 |        0
180.16/180.24	c  179s |      10 |   783544 |    16961 |    58451      0 |        5 |        0
183.16/183.21	c  182s |      11 |   798388 |    17144 |    64297      0 |        5 |        0
185.96/186.03	c  184s |      11 |   807285 |    17344 |    64297      0 |        5 |        0
188.46/188.53	c  187s |      11 |   817801 |    17644 |    64297      0 |        5 |        0
191.26/191.31	c  190s |      11 |   839449 |    17844 |    64297      0 |        5 |        0
194.46/194.54	c  193s |      11 |   850281 |    18044 |    64297      0 |        5 |        0
196.96/197.09	c  195s |      11 |   861433 |    18344 |    64297      0 |        5 |        0
199.85/199.90	c  198s |      11 |   877905 |    18544 |    64297      0 |        5 |        0
202.95/203.05	c  201s |      11 |   894056 |    18744 |    64297      0 |        5 |        0
205.25/205.35	c  204s |      11 |   902394 |    18944 |    64297      0 |        5 |        0
207.55/207.65	c  206s |      11 |   915162 |    19244 |    64297      0 |        5 |        0
210.16/210.26	c  209s |      11 |   939995 |    19544 |    64297      0 |        5 |        0
212.46/212.51	c  211s |      11 |   958708 |    19844 |    64297      0 |        5 |        0
214.85/214.98	c  213s |      11 |   972638 |    20044 |    64297      0 |        5 |        0
217.05/217.17	c  216s |      11 |   984463 |    20244 |    64297      0 |        5 |        0
219.06/219.18	c  218s |      11 |   998454 |    20444 |    64297      0 |        5 |        0
221.65/221.71	c  220s |      11 |  1020828 |    20744 |    64297      0 |        5 |        0
224.15/224.29	c  223s |      11 |  1031999 |    20944 |    64297      0 |        5 |        0
226.35/226.43	c  225s |      11 |  1038641 |    21144 |    64297      0 |        5 |        0
229.15/229.21	c  228s |      11 |  1062466 |    21444 |    64297      0 |        5 |        0
231.55/231.61	c  230s |      11 |  1068345 |    21644 |    64297      0 |        5 |        0
234.05/234.18	c  233s |      11 |  1084449 |    21944 |    64297      0 |        5 |        0
236.15/236.28	c  235s |      11 |  1098593 |    22144 |    64297      0 |        5 |        0
238.65/238.76	c  237s |      11 |  1112209 |    22444 |    64297      0 |        5 |        0
240.75/240.85	c  239s |      11 |  1127322 |    22644 |    64297      0 |        5 |        0
243.26/243.34	c  242s |      11 |  1135447 |    22944 |    64297      0 |        5 |        0
245.25/245.36	c  244s |      11 |  1147233 |    23344 |    64297      0 |        5 |        0
247.45/247.51	c  246s |      11 |  1154124 |    23644 |    64297      0 |        5 |        0
250.15/250.24	c  249s |      11 |  1165061 |    24044 |    64297      0 |        5 |        0
252.25/252.39	c  251s |      11 |  1173765 |    24544 |    64297      0 |        5 |        0
255.15/255.28	c  254s |      11 |  1179477 |    24944 |    64297      0 |        5 |        0
257.35/257.43	c  256s |      11 |  1180749 |    25144 |    64297      0 |        5 |        0
259.55/259.61	c  258s |      11 |  1199684 |    25344 |    64297      0 |        5 |        0
261.85/262.00	c  260s |      11 |  1210262 |    25544 |    64297      0 |        5 |        0
264.34/264.42	c  263s |      11 |  1218932 |    25744 |    70727      0 |        5 |        0
265.34/265.43	c  264s |      12 |  1221180 |    25819 |    70727      0 |        5 |        0
268.14/268.23	c  267s |      12 |  1244664 |    26019 |    70727      0 |        5 |        0
271.85/271.91	c  270s |      12 |  1255933 |    26219 |    70727      0 |        5 |        0
274.54/274.66	c  273s |      12 |  1263863 |    26419 |    70727      0 |        5 |        0
277.04/277.19	c  276s |      12 |  1274389 |    26619 |    70727      0 |        5 |        0
280.14/280.21	c  279s |      12 |  1300024 |    26919 |    70727      0 |        5 |        0
283.04/283.13	c  281s |      12 |  1307434 |    27119 |    70727      0 |        5 |        0
286.34/286.43	c  285s |      12 |  1334556 |    27419 |    70727      0 |        5 |        0
288.44/288.50	c  287s |      12 |  1342172 |    27619 |    70727      0 |        5 |        0
291.94/292.00	c  290s |      12 |  1369203 |    27919 |    70727      0 |        5 |        0
294.34/294.45	c  293s |      12 |  1380116 |    28119 |    70727      0 |        5 |        0
296.64/296.79	c  295s |      12 |  1388313 |    28319 |    70727      0 |        5 |        0
299.84/299.93	c  298s |      12 |  1412914 |    28619 |    70727      0 |        5 |        0
302.55/302.67	c  301s |      12 |  1417782 |    28819 |    70727      0 |        5 |        0
304.94/305.02	c  303s |      12 |  1440454 |    29019 |    70727      0 |        5 |        0
307.74/307.84	c  306s |      12 |  1448802 |    29219 |    70727      0 |        5 |        0
310.14/310.28	c  309s |      12 |  1456423 |    29419 |    70727      0 |        5 |        0
313.14/313.26	c  312s |      12 |  1483411 |    29719 |    70727      0 |        5 |        0
316.04/316.16	c  315s |      12 |  1488827 |    29919 |    70727      0 |        5 |        0
318.64/318.78	c  317s |      12 |  1496839 |    30119 |    70727      0 |        5 |        0
321.84/321.93	c  320s |      12 |  1522519 |    30419 |    70727      0 |        5 |        0
324.24/324.30	c  323s |      12 |  1530735 |    30619 |    70727      0 |        5 |        0
326.54/326.62	c  325s |      12 |  1538285 |    30819 |    70727      0 |        5 |        0
329.93/330.06	c  328s |      12 |  1564801 |    31119 |    70727      0 |        5 |        0
332.13/332.30	c  331s |      12 |  1571746 |    31319 |    70727      0 |        5 |        0
335.54/335.61	c  334s |      12 |  1596146 |    31619 |    70727      0 |        5 |        0
338.63/338.72	c  337s |      12 |  1603227 |    31819 |    70727      0 |        5 |        0
340.83/340.98	c  339s |      12 |  1624009 |    32019 |    70727      0 |        5 |        0
343.74/343.84	c  342s |      12 |  1638562 |    32319 |    70727      0 |        5 |        0
346.14/346.29	c  345s |      12 |  1650543 |    32619 |    70727      0 |        5 |        0
348.54/348.61	c  347s |      12 |  1672426 |    32819 |    70727      0 |        5 |        0
351.44/351.57	c  350s |      12 |  1679451 |    33019 |    70727      0 |        5 |        0
353.84/353.97	c  352s |      12 |  1689846 |    33219 |    70727      0 |        5 |        0
357.04/357.14	c  355s |      12 |  1700779 |    33519 |    70727      0 |        5 |        0
359.64/359.78	c  358s |      12 |  1721214 |    33719 |    70727      0 |        5 |        0
362.84/362.92	c  361s |      12 |  1727996 |    33919 |    70727      0 |        5 |        0
365.54/365.61	c  364s |      12 |  1735161 |    34119 |    70727      0 |        5 |        0
367.74/367.83	c  366s |      12 |  1743019 |    34319 |    70727      0 |        5 |        0
370.34/370.42	c  369s |      12 |  1764492 |    34519 |    70727      0 |        5 |        0
373.04/373.11	c  371s |      12 |  1771288 |    34719 |    70727      0 |        5 |        0
375.94/376.07	c  374s |      12 |  1795845 |    35019 |    70727      0 |        5 |        0
378.24/378.38	c  377s |      12 |  1803395 |    35219 |    70727      0 |        5 |        0
380.74/380.84	c  379s |      12 |  1826620 |    35519 |    70727      0 |        5 |        0
382.74/382.87	c  381s |      12 |  1843419 |    35719 |    70727      0 |        5 |        0
385.04/385.11	c  383s |      12 |  1852312 |    35919 |    70727      0 |        5 |        0
387.04/387.12	c  385s |      12 |  1871729 |    36119 |    70727      0 |        5 |        0
389.13/389.20	c  388s |      12 |  1880158 |    36319 |    70727      0 |        5 |        0
391.93/392.01	c  390s |      12 |  1902564 |    36619 |    70727      0 |        5 |        0
394.23/394.32	c  393s |      12 |  1908788 |    36819 |    70727      0 |        5 |        0
397.33/397.46	c  396s |      12 |  1933436 |    37119 |    70727      0 |        5 |        0
399.83/399.90	c  398s |      12 |  1954434 |    37419 |    70727      0 |        5 |        0
402.43/402.56	c  401s |      12 |  1966618 |    37719 |    70727      0 |        5 |        0
405.53/405.67	c  404s |      12 |  1992660 |    38019 |    70727      0 |        5 |        0
408.24/408.39	c  407s |      12 |  2000318 |    38319 |    70727      0 |        5 |        0
410.93/411.04	c  409s |      12 |  2025198 |    38619 |    77800      0 |        5 |        0
412.33/412.46	c  411s |      13 |  2048937 |    38832 |    77800      0 |        5 |        0
415.03/415.10	c  413s |      13 |  2057298 |    39032 |    77800      0 |        5 |        0
417.04/417.11	c  415s |      13 |  2073696 |    39232 |    77800      0 |        5 |        0
419.24/419.33	c  418s |      13 |  2089730 |    39532 |    77800      0 |        5 |        0
421.63/421.75	c  420s |      13 |  2108002 |    39732 |    77800      0 |        5 |        0
424.43/424.50	c  423s |      13 |  2114853 |    39932 |    77800      0 |        5 |        0
426.43/426.53	c  425s |      13 |  2124729 |    40332 |    77800      0 |        5 |        0
428.53/428.65	c  427s |      13 |  2138058 |    40532 |    77800      0 |        5 |        0
430.83/430.90	c  429s |      13 |  2145614 |    40732 |    77800      0 |        5 |        0
433.43/433.58	c  432s |      13 |  2158090 |    41032 |    77800      0 |        5 |        0
436.33/436.49	c  435s |      13 |  2182587 |    41432 |    77800      0 |        5 |        0
439.33/439.46	c  438s |      13 |  2199079 |    41732 |    77800      0 |        5 |        0
441.92/442.08	c  440s |      13 |  2213611 |    42032 |    77800      0 |        5 |        0
444.02/444.14	c  443s |      13 |  2221418 |    42232 |    77800      0 |        5 |        0
447.02/447.11	c  445s |      13 |  2244246 |    42532 |    77800      0 |        5 |        0
449.12/449.27	c  448s |      13 |  2261365 |    42732 |    77800      0 |        5 |        0
452.02/452.16	c  451s |      13 |  2279655 |    43032 |    77800      0 |        5 |        0
454.52/454.67	c  453s |      13 |  2292481 |    43232 |    77800      0 |        5 |        0
456.72/456.88	c  455s |      13 |  2299616 |    43432 |    77800      0 |        5 |        0
458.92/459.09	c  457s |      13 |  2325217 |    43732 |    77800      0 |        5 |        0
461.92/462.02	c  460s |      13 |  2344658 |    44032 |    77800      0 |        5 |        0
465.12/465.21	c  464s |      13 |  2361788 |    44332 |    77800      0 |        5 |        0
468.22/468.36	c  467s |      13 |  2377520 |    44632 |    77800      0 |        5 |        0
471.12/471.23	c  470s |      13 |  2392938 |    44932 |    77800      0 |        5 |        0
473.62/473.75	c  472s |      13 |  2411184 |    45232 |    77800      0 |        5 |        0
476.02/476.15	c  475s |      13 |  2431243 |    45532 |    77800      0 |        5 |        0
478.12/478.26	c  477s |      13 |  2442051 |    45732 |    77800      0 |        5 |        0
480.73/480.90	c  479s |      13 |  2458266 |    46032 |    77800      0 |        5 |        0
482.82/482.98	c  481s |      13 |  2473918 |    46532 |    77800      0 |        5 |        0
485.32/485.47	c  484s |      13 |  2489015 |    46832 |    77800      0 |        5 |        0
487.42/487.53	c  486s |      13 |  2499232 |    47132 |    77800      0 |        5 |        0
489.72/489.86	c  488s |      13 |  2507986 |    47432 |    77800      0 |        5 |        0
491.82/491.98	c  490s |      13 |  2513655 |    47632 |    77800      0 |        5 |        0
494.22/494.32	c  493s |      13 |  2524183 |    47832 |    77800      0 |        5 |        0
496.62/496.73	c  495s |      13 |  2544474 |    48032 |    77800      0 |        5 |        0
500.02/500.10	c  498s |      13 |  2550383 |    48232 |    77800      0 |        5 |        0
503.12/503.24	c  502s |      13 |  2573756 |    48532 |    77800      0 |        5 |        0
506.72/506.87	c  505s |      13 |  2588069 |    48732 |    77800      0 |        5 |        0
509.91/510.09	c  508s |      13 |  2596862 |    48932 |    77800      0 |        5 |        0
512.11/512.26	c  511s |      13 |  2607793 |    49132 |    77800      0 |        5 |        0
514.21/514.38	c  513s |      13 |  2638075 |    49432 |    77800      0 |        5 |        0
516.61/516.75	c  515s |      13 |  2645716 |    49632 |    77800      0 |        5 |        0
519.01/519.14	c  517s |      13 |  2666442 |    49932 |    77800      0 |        5 |        0
521.61/521.71	c  520s |      13 |  2688057 |    50132 |    77800      0 |        5 |        0
524.51/524.61	c  523s |      13 |  2695878 |    50332 |    77800      0 |        5 |        0
528.12/528.22	c  527s |      13 |  2716058 |    50632 |    77800      0 |        5 |        0
531.51/531.66	c  530s |      13 |  2733073 |    50932 |    77800      0 |        5 |        0
533.91/534.04	c  532s |      13 |  2743885 |    51132 |    77800      0 |        5 |        0
536.51/536.68	c  535s |      13 |  2763527 |    51432 |    77800      0 |        5 |        0
538.51/538.68	c  537s |      13 |  2790213 |    51732 |    77800      0 |        5 |        0
541.11/541.28	c  540s |      13 |  2795962 |    51932 |    77800      0 |        5 |        0
543.61/543.79	c  542s |      13 |  2808756 |    52132 |    77800      0 |        5 |        0
546.91/547.04	c  545s |      13 |  2823942 |    52432 |    77800      0 |        5 |        0
549.01/549.18	c  548s |      13 |  2843734 |    52632 |    77800      0 |        5 |        0
551.51/551.63	c  550s |      13 |  2848303 |    52832 |    77800      0 |        5 |        0
553.71/553.84	c  552s |      13 |  2872203 |    53132 |    77800      0 |        5 |        0
556.51/556.62	c  555s |      13 |  2877545 |    53332 |    77800      0 |        5 |        0
558.71/558.84	c  557s |      13 |  2890853 |    53632 |    77800      0 |        5 |        0
560.90/561.02	c  559s |      13 |  2906682 |    53832 |    77800      0 |        5 |        0
562.90/563.06	c  561s |      13 |  2912440 |    54032 |    77800      0 |        5 |        0
565.41/565.51	c  564s |      13 |  2929193 |    54332 |    77800      0 |        5 |        0
568.60/568.75	c  567s |      13 |  2941178 |    54532 |    77800      0 |        5 |        0
570.91/571.05	c  569s |      13 |  2946405 |    54732 |    77800      0 |        5 |        0
572.90/573.07	c  571s |      13 |  2963938 |    54932 |    77800      0 |        5 |        0
575.31/575.48	c  574s |      13 |  2971972 |    55132 |    77800      0 |        5 |        0
577.61/577.74	c  576s |      13 |  2995435 |    55532 |    77800      0 |        5 |        0
579.90/580.00	c  578s |      13 |  3004453 |    55732 |    77800      0 |        5 |        0
581.91/582.03	c  580s |      13 |  3020195 |    55932 |    77800      0 |        5 |        0
584.11/584.22	c  583s |      13 |  3032298 |    56232 |    77800      0 |        5 |        0
586.90/587.05	c  585s |      13 |  3049864 |    56532 |    77800      0 |        5 |        0
589.61/589.72	c  588s |      13 |  3072608 |    57032 |    77800      0 |        5 |        0
591.91/592.09	c  590s |      13 |  3080562 |    57232 |    77800      0 |        5 |        0
594.60/594.74	c  593s |      13 |  3100885 |    57532 |    77800      0 |        5 |        0
597.00/597.19	c  596s |      13 |  3115987 |    57832 |    77800      0 |        5 |        0
599.90/600.04	c  598s |      13 |  3130681 |    58232 |    85580      0 |        5 |        0
601.00/601.15	c  600s |      14 |  3142363 |    58352 |    85580      0 |        5 |        0
603.80/603.94	c  602s |      14 |  3156739 |    58552 |    85580      0 |        5 |        0
606.20/606.32	c  605s |      14 |  3166861 |    58752 |    85580      0 |        5 |        0
608.20/608.34	c  607s |      14 |  3187019 |    58952 |    85580      0 |        5 |        0
610.30/610.43	c  609s |      14 |  3203772 |    59252 |    85580      0 |        5 |        0
612.40/612.57	c  611s |      14 |  3221509 |    59452 |    85580      0 |        5 |        0
614.90/615.06	c  613s |      14 |  3231040 |    59652 |    85580      0 |        5 |        0
617.80/617.99	c  616s |      14 |  3254618 |    59952 |    85580      0 |        5 |        0
620.50/620.61	c  619s |      14 |  3265383 |    60152 |    85580      0 |        5 |        0
622.80/622.91	c  621s |      14 |  3282502 |    60352 |    85580      0 |        5 |        0
625.00/625.18	c  624s |      14 |  3293686 |    60552 |    85580      0 |        5 |        0
627.19/627.30	c  626s |      14 |  3308607 |    60752 |    85580      0 |        5 |        0
629.39/629.55	c  628s |      14 |  3321308 |    60952 |    85580      0 |        5 |        0
631.79/631.90	c  630s |      14 |  3333807 |    61152 |    85580      0 |        5 |        0
634.70/634.82	c  633s |      14 |  3345171 |    61352 |    85580      0 |        5 |        0
638.00/638.19	c  637s |      14 |  3361243 |    61752 |    85580      0 |        5 |        0
640.39/640.50	c  639s |      14 |  3372764 |    61952 |    85580      0 |        5 |        0
642.89/643.06	c  641s |      14 |  3393419 |    62452 |    85580      0 |        5 |        0
644.89/645.06	c  643s |      14 |  3407322 |    62752 |    85580      0 |        5 |        0
646.99/647.17	c  646s |      14 |  3409706 |    63152 |    85580      0 |        5 |        0
649.49/649.64	c  648s |      14 |  3438913 |    63452 |    85580      0 |        5 |        0
651.69/651.82	c  650s |      14 |  3453406 |    63652 |    85580      0 |        5 |        0
653.79/653.92	c  652s |      14 |  3471035 |    63852 |    85580      0 |        5 |        0
656.39/656.50	c  655s |      14 |  3476323 |    64052 |    85580      0 |        5 |        0
658.69/658.87	c  657s |      14 |  3503910 |    64352 |    85580      0 |        5 |        0
661.59/661.70	c  660s |      14 |  3522619 |    64552 |    85580      0 |        5 |        0
664.89/665.08	c  663s |      14 |  3528647 |    64752 |    85580      0 |        5 |        0
667.80/667.96	c  666s |      14 |  3537454 |    64952 |    85580      0 |        5 |        0
670.00/670.11	c  668s |      14 |  3560533 |    65152 |    85580      0 |        5 |        0
673.09/673.28	c  672s |      14 |  3565672 |    65352 |    85580      0 |        5 |        0
676.69/676.80	c  675s |      14 |  3592072 |    65652 |    85580      0 |        5 |        0
679.49/679.63	c  678s |      14 |  3599661 |    65852 |    85580      0 |        5 |        0
682.69/682.84	c  681s |      14 |  3622142 |    66152 |    85580      0 |        5 |        0
685.29/685.47	c  684s |      14 |  3627136 |    66352 |    85580      0 |        5 |        0
688.49/688.65	c  687s |      14 |  3651942 |    66652 |    85580      0 |        5 |        0
690.79/690.99	c  689s |      14 |  3660006 |    66852 |    85580      0 |        5 |        0
693.98/694.15	c  693s |      14 |  3684788 |    67152 |    85580      0 |        5 |        0
696.68/696.87	c  695s |      14 |  3691269 |    67352 |    85580      0 |        5 |        0
698.78/698.97	c  697s |      14 |  3698602 |    67552 |    85580      0 |        5 |        0
701.18/701.33	c  700s |      14 |  3717412 |    67752 |    85580      0 |        5 |        0
703.99/704.13	c  702s |      14 |  3722580 |    67952 |    85580      0 |        5 |        0
706.29/706.41	c  705s |      14 |  3730359 |    68152 |    85580      0 |        5 |        0
709.38/709.51	c  708s |      14 |  3754538 |    68452 |    85580      0 |        5 |        0
711.69/711.84	c  710s |      14 |  3761826 |    68652 |    85580      0 |        5 |        0
714.18/714.39	c  713s |      14 |  3788072 |    68952 |    85580      0 |        5 |        0
716.78/716.94	c  715s |      14 |  3794446 |    69152 |    85580      0 |        5 |        0
719.88/720.07	c  718s |      14 |  3816525 |    69452 |    85580      0 |        5 |        0
722.58/722.78	c  721s |      14 |  3822830 |    69652 |    85580      0 |        5 |        0
725.38/725.51	c  724s |      14 |  3843430 |    69952 |    85580      0 |        5 |        0
728.38/728.55	c  727s |      14 |  3851625 |    70152 |    85580      0 |        5 |        0
730.48/730.66	c  729s |      14 |  3858803 |    70352 |    85580      0 |        5 |        0
732.48/732.70	c  731s |      14 |  3876273 |    70552 |    85580      0 |        5 |        0
734.78/734.99	c  733s |      14 |  3882816 |    70752 |    85580      0 |        5 |        0
737.38/737.53	c  736s |      14 |  3903423 |    71052 |    85580      0 |        5 |        0
739.97/740.11	c  738s |      14 |  3914354 |    71252 |    85580      0 |        5 |        0
742.17/742.32	c  741s |      14 |  3928414 |    71452 |    85580      0 |        5 |        0
744.68/744.89	c  743s |      14 |  3935956 |    71652 |    85580      0 |        5 |        0
747.37/747.52	c  746s |      14 |  3952792 |    71952 |    85580      0 |        5 |        0
749.67/749.87	c  748s |      14 |  3962060 |    72152 |    85580      0 |        5 |        0
752.07/752.26	c  751s |      14 |  3976522 |    72452 |    85580      0 |        5 |        0
754.17/754.39	c  753s |      14 |  3996453 |    72752 |    85580      0 |        5 |        0
756.47/756.66	c  755s |      14 |  4001955 |    72952 |    85580      0 |        5 |        0
758.97/759.11	c  757s |      14 |  4015299 |    73252 |    85580      0 |        5 |        0
761.27/761.45	c  760s |      14 |  4027226 |    73652 |    85580      0 |        5 |        0
764.76/764.90	c  763s |      14 |  4037186 |    73952 |    85580      0 |        5 |        0
767.06/767.24	c  766s |      14 |  4047380 |    74152 |    85580      0 |        5 |        0
770.66/770.83	c  769s |      14 |  4073582 |    74452 |    85580      0 |        5 |        0
772.86/773.05	c  771s |      14 |  4082608 |    74652 |    85580      0 |        5 |        0
775.46/775.66	c  774s |      14 |  4100011 |    74852 |    85580      0 |        5 |        0
778.16/778.39	c  777s |      14 |  4107037 |    75052 |    85580      0 |        5 |        0
780.96/781.19	c  780s |      14 |  4114315 |    75252 |    85580      0 |        5 |        0
783.75/783.95	c  782s |      14 |  4137947 |    75552 |    85580      0 |        5 |        0
786.35/786.51	c  785s |      14 |  4146105 |    75752 |    85580      0 |        5 |        0
788.35/788.53	c  787s |      14 |  4153919 |    75952 |    85580      0 |        5 |        0
790.65/790.84	c  789s |      14 |  4175767 |    76252 |    85580      0 |        5 |        0
793.65/793.87	c  792s |      14 |  4194686 |    76552 |    85580      0 |        5 |        0
796.15/796.32	c  795s |      14 |  4203510 |    76852 |    85580      0 |        5 |        0
798.15/798.35	c  797s |      14 |  4225026 |    77052 |    85580      0 |        5 |        0
801.45/801.60	c  800s |      14 |  4238854 |    77252 |    85580      0 |        5 |        0
803.95/804.17	c  803s |      14 |  4243392 |    77452 |    85580      0 |        5 |        0
806.45/806.65	c  805s |      14 |  4261094 |    77652 |    85580      0 |        5 |        0
809.55/809.71	c  808s |      14 |  4267929 |    77852 |    85580      0 |        5 |        0
811.85/812.05	c  810s |      14 |  4273497 |    78052 |    85580      0 |        5 |        0
814.05/814.22	c  813s |      14 |  4278396 |    78252 |    85580      0 |        5 |        0
816.05/816.24	c  815s |      14 |  4282753 |    78452 |    85580      0 |        5 |        0
818.25/818.45	c  817s |      14 |  4299129 |    78852 |    85580      0 |        5 |        0
820.65/820.88	c  819s |      14 |  4312235 |    79052 |    85580      0 |        5 |        0
822.94/823.13	c  821s |      14 |  4317369 |    79252 |    85580      0 |        5 |        0
825.34/825.50	c  824s |      14 |  4326647 |    79652 |    85580      0 |        5 |        0
827.44/827.69	c  826s |      14 |  4332554 |    80152 |    85580      0 |        5 |        0
829.64/829.87	c  828s |      14 |  4343430 |    80452 |    85580      0 |        5 |        0
832.04/832.20	c  831s |      14 |  4360534 |    80652 |    85580      0 |        5 |        0
834.74/834.95	c  833s |      14 |  4367846 |    80852 |    85580      0 |        5 |        0
836.84/837.05	c  835s |      14 |  4384029 |    81052 |    85580      0 |        5 |        0
839.74/839.98	c  838s |      14 |  4392808 |    81252 |    85580      0 |        5 |        0
842.74/842.97	c  841s |      14 |  4413614 |    81552 |    85580      0 |        5 |        0
845.24/845.42	c  844s |      14 |  4421654 |    81752 |    85580      0 |        5 |        0
848.14/848.36	c  847s |      14 |  4447781 |    82052 |    85580      0 |        5 |        0
851.03/851.23	c  850s |      14 |  4452581 |    82252 |    85580      0 |        5 |        0
854.13/854.37	c  853s |      14 |  4481857 |    82552 |    85580      0 |        5 |        0
857.13/857.34	c  856s |      14 |  4487623 |    82752 |    85580      0 |        5 |        0
859.33/859.51	c  858s |      14 |  4496517 |    82952 |    85580      0 |        5 |        0
862.13/862.36	c  861s |      14 |  4503153 |    83152 |    85580      0 |        5 |        0
864.13/864.38	c  863s |      14 |  4510129 |    83352 |    85580      0 |        5 |        0
867.13/867.33	c  866s |      14 |  4527593 |    83652 |    85580      0 |        5 |        0
869.93/870.16	c  869s |      14 |  4541800 |    83852 |    85580      0 |        5 |        0
872.53/872.73	c  871s |      14 |  4546286 |    84052 |    85580      0 |        5 |        0
874.83/875.09	c  873s |      14 |  4567889 |    84252 |    85580      0 |        5 |        0
877.73/877.99	c  876s |      14 |  4576919 |    84452 |    85580      0 |        5 |        0
879.82/880.09	c  878s |      14 |  4585997 |    84652 |    85580      0 |        5 |        0
881.92/882.15	c  881s |      14 |  4608836 |    84852 |    85580      0 |        5 |        0
885.12/885.30	c  884s |      14 |  4615168 |    85052 |    85580      0 |        5 |        0
888.73/888.97	c  887s |      14 |  4635513 |    85352 |    85580      0 |        5 |        0
891.22/891.44	c  890s |      14 |  4648388 |    85552 |    85580      0 |        5 |        0
893.72/893.98	c  892s |      14 |  4653503 |    85752 |    85580      0 |        5 |        0
896.22/896.44	c  895s |      14 |  4678203 |    86052 |    85580      0 |        5 |        0
899.12/899.36	c  898s |      14 |  4689858 |    86252 |    85580      0 |        5 |        0
901.41/901.61	c  900s |      14 |  4696382 |    86452 |    85580      0 |        5 |        0
903.51/903.78	c  902s |      14 |  4712543 |    86752 |    85580      0 |        5 |        0
906.21/906.46	c  905s |      14 |  4724162 |    86952 |    85580      0 |        5 |        0
908.62/908.81	c  907s |      14 |  4735971 |    87352 |    94139      0 |        5 |        0
911.01/911.26	c  910s |      15 |  4749837 |    87632 |    94139      0 |        5 |        0
913.11/913.39	c  912s |      15 |  4771596 |    87832 |    94139      0 |        5 |        0
916.11/916.33	c  915s |      15 |  4778431 |    88032 |    94139      0 |        5 |        0
918.42/918.68	c  917s |      15 |  4786862 |    88232 |    94139      0 |        5 |        0
921.71/921.96	c  920s |      15 |  4815448 |    88532 |    94139      0 |        5 |        0
924.81/925.03	c  923s |      15 |  4819173 |    88732 |    94139      0 |        5 |        0
926.81/927.08	c  925s |      15 |  4841281 |    88932 |    94139      0 |        5 |        0
930.01/930.26	c  929s |      15 |  4852541 |    89132 |    94139      0 |        5 |        0
932.50/932.77	c  931s |      15 |  4864031 |    89332 |    94139      0 |        5 |        0
934.50/934.78	c  933s |      15 |  4875331 |    89532 |    94139      0 |        5 |        0
938.10/938.36	c  937s |      15 |  4899867 |    89832 |    94139      0 |        5 |        0
941.21/941.48	c  940s |      15 |  4912411 |    90032 |    94139      0 |        5 |        0
944.01/944.22	c  943s |      15 |  4916980 |    90232 |    94139      0 |        5 |        0
946.61/946.86	c  945s |      15 |  4943352 |    90532 |    94139      0 |        5 |        0
949.40/949.62	c  948s |      15 |  4953166 |    90732 |    94139      0 |        5 |        0
952.61/952.87	c  951s |      15 |  4978089 |    91032 |    94139      0 |        5 |        0
955.30/955.53	c  954s |      15 |  4986152 |    91232 |    94139      0 |        5 |        0
957.40/957.67	c  956s |      15 |  5011079 |    91532 |    94139      0 |        5 |        0
960.21/960.45	c  959s |      15 |  5017797 |    91732 |    94139      0 |        5 |        0
962.79/963.06	c  961s |      15 |  5032335 |    91932 |    94139      0 |        5 |        0
965.70/965.97	c  964s |      15 |  5041525 |    92132 |    94139      0 |        5 |        0
968.19/968.45	c  967s |      15 |  5051221 |    92432 |    94139      0 |        5 |        0
970.69/970.99	c  969s |      15 |  5069350 |    92632 |    94139      0 |        5 |        0
973.50/973.71	c  972s |      15 |  5076958 |    92832 |    94139      0 |        5 |        0
976.79/977.08	c  975s |      15 |  5097177 |    93132 |    94139      0 |        5 |        0
979.69/979.98	c  978s |      15 |  5106264 |    93332 |    94139      0 |        5 |        0
982.38/982.69	c  981s |      15 |  5130720 |    93632 |    94139      0 |        5 |        0
984.68/984.91	c  983s |      15 |  5136642 |    93832 |    94139      0 |        5 |        0
986.98/987.29	c  986s |      15 |  5145954 |    94232 |    94139      0 |        5 |        0
990.08/990.31	c  989s |      15 |  5162922 |    94732 |    94139      0 |        5 |        0
992.68/992.91	c  991s |      15 |  5175151 |    94932 |    94139      0 |        5 |        0
994.68/994.99	c  993s |      15 |  5185414 |    95232 |    94139      0 |        5 |        0
996.98/997.25	c  996s |      15 |  5196658 |    95532 |    94139      0 |        5 |        0
999.28/999.50	c  998s |      15 |  5201673 |    95932 |    94139      0 |        5 |        0
1001.57/1001.89	c 1000s |      15 |  5204977 |    96232 |    94139      1 |        5 |        0
1004.57/1004.88	c 1003s |      15 |  5216105 |    96432 |    94139      1 |        5 |        0
1006.77/1007.00	c 1005s |      15 |  5235063 |    96632 |    94139      1 |        5 |        0
1009.57/1009.81	c 1008s |      15 |  5239336 |    96832 |    94139      1 |        5 |        0
1037.86/1038.18	c 1037s |      15 |  5248507 |    97032 |    94139      1 |        5 |        0
1039.96/1040.24	c 1039s |      15 |  5268637 |    97232 |    94139      1 |        5 |        0
1043.36/1043.68	c 1042s |      15 |  5274836 |    97432 |    94139      1 |        5 |        0
1045.76/1046.09	c 1044s |      15 |  5289087 |    97632 |    94139      1 |        5 |        0
1048.56/1048.84	c 1047s |      15 |  5310412 |    97832 |    94139      1 |        5 |        0
1051.35/1051.70	c 1050s |      15 |  5316653 |    98032 |    94139      1 |        5 |        0
1053.55/1053.85	c 1052s |      15 |  5319678 |    98232 |    94139      1 |        5 |        0
1056.55/1056.84	c 1055s |      15 |  5338903 |    98432 |    94139      1 |        5 |        0
1058.65/1058.96	c 1057s |      15 |  5345472 |    98532 |    94139      1 |        5 |        0
1061.45/1061.75	c 1060s |      15 |  5351962 |    98732 |    94139      1 |        5 |        0
1063.95/1064.23	c 1063s |      15 |  5359053 |    98932 |    94139      1 |        5 |        0
1066.35/1066.68	c 1065s |      15 |  5376200 |    99132 |    94139      1 |        5 |        0
1069.65/1069.90	c 1068s |      15 |  5389603 |    99332 |    94139      1 |        5 |        0
1072.35/1072.64	c 1071s |      15 |  5396950 |    99532 |    94139      1 |        5 |        0
1075.34/1075.68	c 1074s |      15 |  5422826 |    99832 |    94139      1 |        5 |        0
1078.84/1079.13	c 1077s |      15 |  5431229 |   100032 |    94139      1 |        5 |        0
1082.34/1082.65	c 1081s |      15 |  5458919 |   100332 |    94139      1 |        5 |        0
1085.54/1085.85	c 1084s |      15 |  5467144 |   100532 |    94139      1 |        5 |        0
1087.84/1088.14	c 1086s |      15 |  5485041 |   100732 |    94139      1 |        5 |        0
1090.74/1091.06	c 1089s |      15 |  5493946 |   100932 |    94139      1 |        5 |        0
1093.43/1093.78	c 1092s |      15 |  5511554 |   101232 |    94139      1 |        5 |        0
1096.03/1096.31	c 1095s |      15 |  5522366 |   101432 |    94139      1 |        5 |        0
1098.13/1098.42	c 1097s |      15 |  5528148 |   101632 |    94139      1 |        5 |        0
1100.43/1100.79	c 1099s |      15 |  5552741 |   101932 |    94139      1 |        5 |        0
1103.14/1103.48	c 1102s |      15 |  5558585 |   102132 |    94139      1 |        5 |        0
1105.63/1105.95	c 1104s |      15 |  5578494 |   102432 |    94139      1 |        5 |        0
1108.43/1108.75	c 1107s |      15 |  5592652 |   102632 |    94139      1 |        5 |        0
1111.32/1111.64	c 1110s |      15 |  5601254 |   102932 |    94139      1 |        5 |        0
1113.42/1113.76	c 1112s |      15 |  5619450 |   103132 |    94139      1 |        5 |        0
1115.82/1116.19	c 1115s |      15 |  5625478 |   103332 |    94139      1 |        5 |        0
1118.92/1119.26	c 1118s |      15 |  5645384 |   103632 |    94139      1 |        5 |        0
1122.01/1122.35	c 1121s |      15 |  5659035 |   103932 |    94139      1 |        5 |        0
1124.02/1124.38	c 1123s |      15 |  5666400 |   104132 |    94139      1 |        5 |        0
1126.11/1126.43	c 1125s |      15 |  5677942 |   104432 |    94139      1 |        5 |        0
1128.91/1129.22	c 1128s |      15 |  5686610 |   104932 |    94139      1 |        5 |        0
1130.91/1131.26	c 1130s |      15 |  5706474 |   105132 |    94139      1 |        5 |        0
1133.31/1133.69	c 1132s |      15 |  5714250 |   105332 |    94139      1 |        5 |        0
1136.51/1136.81	c 1135s |      15 |  5750741 |   105732 |    94139      1 |        5 |        0
1138.61/1138.93	c 1137s |      15 |  5766434 |   106032 |    94139      1 |        5 |        0
1141.71/1142.05	c 1140s |      15 |  5790139 |   106332 |    94139      1 |        5 |        0
1144.00/1144.31	c 1143s |      15 |  5810324 |   106632 |    94139      1 |        5 |        0
1146.11/1146.48	c 1145s |      15 |  5816807 |   106832 |    94139      1 |        5 |        0
1148.70/1149.02	c 1147s |      15 |  5831110 |   107032 |    94139      1 |        5 |        0
1150.90/1151.24	c 1150s |      15 |  5842187 |   107332 |    94139      1 |        5 |        0
1154.00/1154.32	c 1153s |      15 |  5866776 |   107632 |    94139      1 |        5 |        0
1156.50/1156.89	c 1155s |      15 |  5890512 |   107932 |    94139      1 |        5 |        0
1158.79/1159.12	c 1157s |      15 |  5910707 |   108232 |    94139      1 |        5 |        0
1160.99/1161.35	c 1160s |      15 |  5912162 |   108532 |    94139      1 |        5 |        0
1163.39/1163.77	c 1162s |      15 |  5912907 |   108732 |    94139      1 |        5 |        0
1165.69/1166.04	c 1164s |      15 |  5938004 |   109032 |    94139      1 |        5 |        0
1168.39/1168.71	c 1167s |      15 |  5949932 |   109232 |    94139      1 |        5 |        0
1171.09/1171.47	c 1170s |      15 |  5952015 |   109432 |    94139      1 |        5 |        0
1173.59/1173.98	c 1172s |      15 |  5987559 |   109732 |    94139      1 |        5 |        0
1177.09/1177.42	c 1176s |      15 |  6001820 |   109932 |    94139      1 |        5 |        0
1179.79/1180.17	c 1179s |      15 |  6006544 |   110132 |    94139      1 |        5 |        0
1182.98/1183.30	c 1182s |      15 |  6027553 |   110332 |    94139      1 |        5 |        0
1185.69/1186.07	c 1184s |      15 |  6035593 |   110532 |    94139      1 |        5 |        0
1188.28/1188.65	c 1187s |      15 |  6036781 |   110732 |    94139      1 |        5 |        0
1190.28/1190.66	c 1189s |      15 |  6048066 |   110932 |    94139      1 |        5 |        0
1192.58/1192.97	c 1191s |      15 |  6049115 |   111132 |    94139      1 |        5 |        0
1195.88/1196.27	c 1195s |      15 |  6050245 |   111432 |    94139      1 |        5 |        0
1199.08/1199.42	c 1198s |      15 |  6074626 |   111732 |    94139      1 |        5 |        0
1202.27/1202.61	c 1201s |      15 |  6080207 |   111932 |    94139      1 |        5 |        0
1204.67/1205.09	c 1203s |      15 |  6081059 |   112132 |    94139      1 |        5 |        0
1207.58/1207.91	c 1206s |      15 |  6086083 |   112332 |    94139      1 |        5 |        0
1210.67/1211.04	c 1209s |      15 |  6109022 |   112532 |    94139      1 |        5 |        0
1213.97/1214.34	c 1213s |      15 |  6118014 |   112732 |    94139      1 |        5 |        0
1216.07/1216.43	c 1215s |      15 |  6136180 |   112932 |    94139      1 |        5 |        0
1218.87/1219.27	c 1218s |      15 |  6148456 |   113132 |    94139      1 |        5 |        0
1221.36/1221.73	c 1220s |      15 |  6161953 |   113332 |    94139      1 |        5 |        0
1223.46/1223.83	c 1222s |      15 |  6175790 |   113532 |    94139      1 |        5 |        0
1226.16/1226.55	c 1225s |      15 |  6197716 |   113832 |    94139      1 |        5 |        0
1228.96/1229.39	c 1228s |      15 |  6219655 |   114132 |    94139      1 |        5 |        0
1231.46/1231.86	c 1230s |      15 |  6236836 |   114332 |    94139      1 |        5 |        0
1233.46/1233.86	c 1232s |      15 |  6240082 |   114532 |    94139      1 |        5 |        0
1236.56/1236.98	c 1235s |      15 |  6263976 |   114832 |    94139      1 |        5 |        0
1239.76/1240.17	c 1239s |      15 |  6272426 |   115032 |    94139      1 |        5 |        0
1242.06/1242.46	c 1241s |      15 |  6278946 |   115232 |    94139      1 |        5 |        0
1244.65/1245.07	c 1243s |      15 |  6310247 |   115532 |    94139      1 |        5 |        0
1247.26/1247.68	c 1246s |      15 |  6317261 |   115732 |    94139      1 |        5 |        0
1249.85/1250.22	c 1249s |      15 |  6329741 |   116032 |    94139      1 |        5 |        0
1252.25/1252.62	c 1251s |      15 |  6353765 |   116332 |    94139      1 |        5 |        0
1254.55/1254.91	c 1253s |      15 |  6365190 |   116532 |    94139      1 |        5 |        0
1256.95/1257.37	c 1256s |      15 |  6386035 |   116832 |    94139      1 |        5 |        0
1259.25/1259.65	c 1258s |      15 |  6397881 |   117132 |    94139      1 |        5 |        0
1261.24/1261.67	c 1260s |      15 |  6404714 |   117532 |    94139      1 |        5 |        0
1263.34/1263.74	c 1262s |      15 |  6416395 |   118132 |    94139      1 |        5 |        0
1265.44/1265.87	c 1264s |      15 |  6435712 |   118432 |    94139      1 |        5 |        0
1268.05/1268.45	c 1267s |      15 |  6449069 |   118632 |    94139      1 |        5 |        0
1270.44/1270.83	c 1269s |      15 |  6461285 |   118832 |    94139      1 |        5 |        0
1273.34/1273.76	c 1272s |      15 |  6474250 |   119132 |    94139      1 |        5 |        0
1275.34/1275.78	c 1274s |      15 |  6484786 |   119332 |    94139      1 |        5 |        0
1277.74/1278.18	c 1277s |      15 |  6506585 |   119632 |    94139      1 |        5 |        0
1280.44/1280.83	c 1279s |      15 |  6531649 |   119932 |    94139      1 |        5 |        0
1282.63/1283.08	c 1281s |      15 |  6552921 |   120132 |    94139      1 |        5 |        0
1285.64/1286.06	c 1284s |      15 |  6566675 |   120332 |    94139      1 |        5 |        0
1288.13/1288.50	c 1287s |      15 |  6571823 |   120532 |    94139      1 |        5 |        0
1291.43/1291.85	c 1290s |      15 |  6598884 |   120832 |    94139      1 |        5 |        0
1294.43/1294.85	c 1293s |      15 |  6602870 |   121032 |    94139      1 |        5 |        0
1296.53/1296.95	c 1295s |      15 |  6613468 |   121232 |    94139      1 |        5 |        0
1298.83/1299.23	c 1298s |      15 |  6635519 |   121432 |    94139      1 |        5 |        0
1302.02/1302.44	c 1301s |      15 |  6641896 |   121632 |    94139      1 |        5 |        0
1304.52/1304.93	c 1303s |      15 |  6665225 |   121932 |    94139      1 |        5 |        0
1307.42/1307.86	c 1306s |      15 |  6676934 |   122132 |    94139      1 |        5 |        0
1310.22/1310.69	c 1309s |      15 |  6687432 |   122432 |    94139      1 |        5 |        0
1312.52/1312.98	c 1311s |      15 |  6718562 |   122732 |    94139      1 |        5 |        0
1315.52/1315.96	c 1314s |      15 |  6728626 |   122932 |    94139      1 |        5 |        0
1318.02/1318.42	c 1317s |      15 |  6750545 |   123232 |    94139      1 |        5 |        0
1321.22/1321.61	c 1320s |      15 |  6773790 |   123532 |    94139      1 |        5 |        0
1323.62/1324.02	c 1322s |      15 |  6783546 |   123832 |    94139      1 |        5 |        0
1326.22/1326.63	c 1325s |      15 |  6805058 |   124132 |    94139      1 |        5 |        0
1328.42/1328.90	c 1327s |      15 |  6811571 |   124332 |    94139      1 |        5 |        0
1331.41/1331.83	c 1330s |      15 |  6835478 |   124632 |    94139      1 |        5 |        0
1333.71/1334.13	c 1332s |      15 |  6846087 |   125032 |    94139      1 |        5 |        0
1336.91/1337.31	c 1336s |      15 |  6866207 |   125332 |    94139      1 |        5 |        0
1339.71/1340.10	c 1338s |      15 |  6876324 |   125532 |    94139      1 |        5 |        0
1342.01/1342.43	c 1341s |      15 |  6885651 |   125832 |    94139      1 |        5 |        0
1344.21/1344.66	c 1343s |      15 |  6906480 |   126332 |    94139      1 |        5 |        0
1346.61/1347.05	c 1345s |      15 |  6931445 |   126632 |    94139      1 |        5 |        0
1349.20/1349.60	c 1348s |      15 |  6954726 |   126932 |    94139      1 |        5 |        0
1351.40/1351.89	c 1350s |      15 |  6961664 |   127132 |    94139      1 |        5 |        0
1354.50/1354.97	c 1353s |      15 |  6991351 |   127632 |    94139      1 |        5 |        0
1356.80/1357.20	c 1356s |      15 |  6997493 |   127832 |    94139      1 |        5 |        0
1359.50/1359.97	c 1358s |      15 |  7011202 |   128132 |    94139      1 |        5 |        0
1362.70/1363.13	c 1361s |      15 |  7042684 |   128532 |    94139      1 |        5 |        0
1365.60/1366.09	c 1364s |      15 |  7072378 |   128832 |    94139      1 |        5 |        0
1368.31/1368.71	c 1367s |      15 |  7079662 |   129132 |    94139      1 |        5 |        0
1371.60/1372.03	c 1370s |      15 |  7106367 |   129432 |    94139      1 |        5 |        0
1374.10/1374.54	c 1373s |      15 |  7114639 |   129632 |    94139      1 |        5 |        0
1377.30/1377.77	c 1376s |      15 |  7142252 |   129932 |    94139      1 |        5 |        0
1379.90/1380.38	c 1379s |      15 |  7148248 |   130132 |    94139      1 |        5 |        0
1382.90/1383.30	c 1382s |      15 |  7173189 |   130432 |    94139      1 |        5 |        0
1385.10/1385.58	c 1384s |      15 |  7177249 |   130632 |    94139      1 |        5 |        0
1387.30/1387.77	c 1386s |      15 |  7185971 |   131132 |   103553      1 |        5 |        0
1390.30/1390.74	c 1389s |      15 |  7205081 |   131532 |   103553      1 |        5 |        0
1390.60/1391.04	c 1389s |      16 |  7206412 |   131552 |   103553      1 |        5 |        0
1393.20/1393.64	c 1392s |      16 |  7231229 |   131852 |   103553      1 |        5 |        0
1395.50/1396.00	c 1394s |      16 |  7248087 |   132052 |   103553      1 |        5 |        0
1398.10/1398.58	c 1397s |      16 |  7253865 |   132252 |   103553      1 |        5 |        0
1400.50/1400.99	c 1399s |      16 |  7280003 |   132552 |   103553      1 |        5 |        0
1403.30/1403.78	c 1402s |      16 |  7285674 |   132752 |   103553      1 |        5 |        0
1406.09/1406.53	c 1405s |      16 |  7309836 |   133052 |   103553      1 |        5 |        0
1408.49/1408.93	c 1407s |      16 |  7318771 |   133252 |   103553      1 |        5 |        0
1411.69/1412.12	c 1410s |      16 |  7326888 |   133552 |   103553      1 |        5 |        0
1414.19/1414.69	c 1413s |      16 |  7355167 |   133852 |   103553      1 |        5 |        0
1416.39/1416.90	c 1415s |      16 |  7370369 |   134052 |   103553      1 |        5 |        0
1418.89/1419.30	c 1418s |      16 |  7387042 |   134352 |   103553      1 |        5 |        0
1421.09/1421.53	c 1420s |      16 |  7400825 |   134552 |   103553      1 |        5 |        0
1423.39/1423.83	c 1422s |      16 |  7412076 |   134752 |   103553      1 |        5 |        0
1426.09/1426.56	c 1425s |      16 |  7427832 |   134952 |   103553      1 |        5 |        0
1428.39/1428.89	c 1427s |      16 |  7433913 |   135152 |   103553      1 |        5 |        0
1430.49/1430.99	c 1429s |      16 |  7454469 |   135452 |   103553      1 |        5 |        0
1433.39/1433.80	c 1432s |      16 |  7464679 |   135652 |   103553      1 |        5 |        0
1436.19/1436.64	c 1435s |      16 |  7487738 |   135952 |   103553      1 |        5 |        0
1438.50/1438.93	c 1437s |      16 |  7493675 |   136152 |   103553      1 |        5 |        0
1441.39/1441.84	c 1440s |      16 |  7523972 |   136552 |   103553      1 |        5 |        0
1443.39/1443.89	c 1442s |      16 |  7542975 |   136752 |   103553      1 |        5 |        0
1446.09/1446.54	c 1445s |      16 |  7556440 |   137052 |   103553      1 |        5 |        0
1448.59/1449.04	c 1447s |      16 |  7571606 |   137252 |   103553      1 |        5 |        0
1451.09/1451.50	c 1450s |      16 |  7577264 |   137452 |   103553      1 |        5 |        0
1454.09/1454.50	c 1453s |      16 |  7598981 |   137752 |   103553      1 |        5 |        0
1456.69/1457.15	c 1456s |      16 |  7607690 |   137952 |   103553      1 |        5 |        0
1459.49/1459.94	c 1458s |      16 |  7626481 |   138252 |   103553      1 |        5 |        0
1462.09/1462.59	c 1461s |      16 |  7635925 |   138452 |   103553      1 |        5 |        0
1464.29/1464.73	c 1463s |      16 |  7655828 |   138752 |   103553      1 |        5 |        0
1467.09/1467.59	c 1466s |      16 |  7677859 |   139052 |   103553      1 |        5 |        0
1469.98/1470.42	c 1469s |      16 |  7686511 |   139252 |   103553      1 |        5 |        0
1472.18/1472.61	c 1471s |      16 |  7702291 |   139552 |   103553      1 |        5 |        0
1474.18/1474.69	c 1473s |      16 |  7717285 |   140152 |   103553      1 |        5 |        0
1476.68/1477.11	c 1475s |      16 |  7734952 |   140452 |   103553      1 |        5 |        0
1479.78/1480.28	c 1479s |      16 |  7753386 |   140852 |   103553      1 |        5 |        0
1482.18/1482.61	c 1481s |      16 |  7764921 |   141052 |   103553      1 |        5 |        0
1484.48/1484.93	c 1483s |      16 |  7773291 |   141552 |   103553      1 |        5 |        0
1486.89/1487.34	c 1486s |      16 |  7779683 |   141852 |   103553      1 |        5 |        0
1489.28/1489.71	c 1488s |      16 |  7785561 |   142152 |   103553      1 |        5 |        0
1492.58/1493.01	c 1491s |      16 |  7807046 |   142452 |   103553      1 |        5 |        0
1494.98/1495.41	c 1494s |      16 |  7815135 |   142652 |   103553      1 |        5 |        0
1498.18/1498.62	c 1497s |      16 |  7834998 |   142952 |   103553      1 |        5 |        0
1501.38/1501.83	c 1500s |      16 |  7844897 |   143252 |   103553      1 |        5 |        0
1504.08/1504.59	c 1503s |      16 |  7847986 |   143452 |   103553      1 |        5 |        0
1506.48/1506.99	c 1505s |      16 |  7853025 |   143652 |   103553      1 |        5 |        0
1509.18/1509.63	c 1508s |      16 |  7855211 |   143852 |   103553      1 |        5 |        0
1511.78/1512.27	c 1511s |      16 |  7858477 |   144052 |   103553      1 |        5 |        0
1514.58/1515.07	c 1513s |      16 |  7877133 |   144252 |   103553      1 |        5 |        0
1517.68/1518.16	c 1517s |      16 |  7882887 |   144452 |   103553      1 |        5 |        0
1520.58/1521.10	c 1519s |      16 |  7886732 |   144652 |   103553      1 |        5 |        0
1522.98/1523.46	c 1522s |      16 |  7903263 |   144852 |   103553      1 |        5 |        0
1525.88/1526.34	c 1525s |      16 |  7917765 |   145052 |   103553      1 |        5 |        0
1528.48/1528.98	c 1527s |      16 |  7921192 |   145252 |   103553      1 |        5 |        0
1531.38/1531.81	c 1530s |      16 |  7922593 |   145452 |   103553      1 |        5 |        0
1533.97/1534.46	c 1533s |      16 |  7954615 |   145752 |   103553      1 |        5 |        0
1537.48/1537.94	c 1536s |      16 |  7967020 |   145952 |   103553      1 |        5 |        0
1540.27/1540.72	c 1539s |      16 |  7977411 |   146152 |   103553      1 |        5 |        0
1542.47/1542.98	c 1541s |      16 |  7997147 |   146352 |   103553      1 |        5 |        0
1545.47/1545.99	c 1544s |      16 |  8001866 |   146552 |   103553      1 |        5 |        0
1548.27/1548.79	c 1547s |      16 |  8026169 |   146852 |   103553      1 |        5 |        0
1550.87/1551.37	c 1550s |      16 |  8048583 |   147052 |   103553      1 |        5 |        0
1553.98/1554.49	c 1553s |      16 |  8054513 |   147252 |   103553      1 |        5 |        0
1556.28/1556.71	c 1555s |      16 |  8055704 |   147452 |   103553      1 |        5 |        0
1558.48/1558.98	c 1557s |      16 |  8065826 |   147652 |   103553      1 |        5 |        0
1561.27/1561.79	c 1560s |      16 |  8088112 |   147852 |   103553      1 |        5 |        0
1563.98/1564.44	c 1563s |      16 |  8096623 |   148052 |   103553      1 |        5 |        0
1566.08/1566.56	c 1565s |      16 |  8103069 |   148252 |   103553      1 |        5 |        0
1568.07/1568.57	c 1567s |      16 |  8105124 |   148452 |   103553      1 |        5 |        0
1570.87/1571.33	c 1570s |      16 |  8118529 |   148752 |   103553      1 |        5 |        0
1572.97/1573.45	c 1572s |      16 |  8129900 |   149052 |   103553      1 |        5 |        0
1576.17/1576.61	c 1575s |      16 |  8142210 |   149352 |   103553      1 |        5 |        0
1578.87/1579.33	c 1578s |      16 |  8165535 |   149652 |   103553      1 |        5 |        0
1581.57/1582.08	c 1580s |      16 |  8191478 |   149952 |   103553      1 |        5 |        0
1584.67/1585.10	c 1583s |      16 |  8204309 |   150252 |   103553      1 |        5 |        0
1586.87/1587.39	c 1586s |      16 |  8213620 |   150452 |   103553      1 |        5 |        0
1588.97/1589.42	c 1588s |      16 |  8238654 |   150752 |   103553      1 |        5 |        0
1591.87/1592.31	c 1591s |      16 |  8256655 |   151052 |   103553      1 |        5 |        0
1594.67/1595.14	c 1593s |      16 |  8272689 |   151352 |   103553      1 |        5 |        0
1597.77/1598.27	c 1597s |      16 |  8273280 |   151552 |   103553      1 |        5 |        0
1600.86/1601.30	c 1600s |      16 |  8297532 |   151852 |   103553      1 |        5 |        0
1603.66/1604.13	c 1602s |      16 |  8308068 |   152052 |   103553      1 |        5 |        0
1605.96/1606.45	c 1605s |      16 |  8337147 |   152352 |   103553      1 |        5 |        0
1608.06/1608.56	c 1607s |      16 |  8341369 |   152552 |   103553      1 |        5 |        0
1610.17/1610.69	c 1609s |      16 |  8347675 |   152752 |   103553      1 |        5 |        0
1613.16/1613.65	c 1612s |      16 |  8377858 |   153052 |   103553      1 |        5 |        0
1616.56/1617.01	c 1615s |      16 |  8386408 |   153252 |   103553      1 |        5 |        0
1624.16/1624.63	c 1623s |      16 |  8389500 |   153352 |   103553      2 |        5 |        0
1626.46/1627.00	c 1625s |      16 |  8395619 |   153552 |   103553      2 |        5 |        0
1630.25/1630.73	c 1629s |      16 |  8410236 |   153652 |   103553      2 |        5 |        0
1633.55/1634.03	c 1632s |      16 |  8423961 |   153852 |   103553      2 |        5 |        0
1635.85/1636.30	c 1635s |      16 |  8430790 |   154052 |   103553      2 |        5 |        0
1637.85/1638.32	c 1637s |      16 |  8457271 |   154352 |   103553      2 |        5 |        0
1640.35/1640.85	c 1639s |      16 |  8462172 |   154552 |   103553      2 |        5 |        0
1642.35/1642.89	c 1641s |      16 |  8471110 |   154752 |   103553      2 |        5 |        0
1644.75/1645.29	c 1644s |      16 |  8496239 |   155052 |   103553      2 |        5 |        0
1647.35/1647.89	c 1646s |      16 |  8507110 |   155352 |   103553      2 |        5 |        0
1650.65/1651.11	c 1649s |      16 |  8529951 |   155652 |   103553      2 |        5 |        0
1652.85/1653.31	c 1652s |      16 |  8536316 |   155852 |   103553      2 |        5 |        0
1655.06/1655.56	c 1654s |      16 |  8554899 |   156152 |   103553      2 |        5 |        0
1657.37/1657.84	c 1656s |      16 |  8573066 |   156752 |   103553      2 |        5 |        0
1659.76/1660.24	c 1659s |      16 |  8602389 |   157252 |   103553      2 |        5 |        0
1662.06/1662.56	c 1661s |      16 |  8609349 |   157452 |   103553      2 |        5 |        0
1664.16/1664.60	c 1663s |      16 |  8632017 |   157852 |   103553      2 |        5 |        0
1666.26/1666.74	c 1665s |      16 |  8654310 |   158052 |   103553      2 |        5 |        0
1668.96/1669.48	c 1668s |      16 |  8661555 |   158252 |   103553      2 |        5 |        0
1671.76/1672.29	c 1671s |      16 |  8677293 |   158552 |   103553      2 |        5 |        0
1673.86/1674.35	c 1673s |      16 |  8701731 |   158852 |   103553      2 |        5 |        0
1676.55/1677.04	c 1675s |      16 |  8709720 |   159052 |   103553      2 |        5 |        0
1678.65/1679.19	c 1678s |      16 |  8716276 |   159252 |   103553      2 |        5 |        0
1681.95/1682.42	c 1681s |      16 |  8741895 |   159552 |   103553      2 |        5 |        0
1684.86/1685.32	c 1684s |      16 |  8763834 |   159852 |   103553      2 |        5 |        0
1686.85/1687.36	c 1686s |      16 |  8771180 |   160052 |   103553      2 |        5 |        0
1689.55/1690.05	c 1688s |      16 |  8792582 |   160352 |   103553      2 |        5 |        0
1691.95/1692.49	c 1691s |      16 |  8815396 |   160652 |   103553      2 |        5 |        0
1694.25/1694.79	c 1693s |      16 |  8829254 |   160952 |   103553      2 |        5 |        0
1696.45/1696.98	c 1695s |      16 |  8844440 |   161252 |   103553      2 |        5 |        0
1699.25/1699.75	c 1698s |      16 |  8862109 |   161652 |   103553      2 |        5 |        0
1701.85/1702.34	c 1701s |      16 |  8876987 |   162152 |   103553      2 |        5 |        0
1705.05/1705.57	c 1704s |      16 |  8899033 |   162452 |   103553      2 |        5 |        0
1707.14/1707.64	c 1706s |      16 |  8906448 |   162752 |   103553      2 |        5 |        0
1709.84/1710.31	c 1709s |      16 |  8932018 |   163152 |   103553      2 |        5 |        0
1712.14/1712.60	c 1711s |      16 |  8938632 |   163552 |   103553      2 |        5 |        0
1714.44/1714.92	c 1713s |      16 |  8962030 |   163852 |   103553      2 |        5 |        0
1717.34/1717.89	c 1716s |      16 |  8985221 |   164152 |   103553      2 |        5 |        0
1719.74/1720.21	c 1719s |      16 |  8990489 |   164452 |   103553      2 |        5 |        0
1722.94/1723.45	c 1722s |      16 |  8995901 |   164752 |   103553      2 |        5 |        0
1725.55/1726.02	c 1724s |      16 |  8999208 |   164952 |   103553      2 |        5 |        0
1727.64/1728.19	c 1727s |      16 |  9031855 |   165252 |   103553      2 |        5 |        0
1729.84/1730.38	c 1729s |      16 |  9036015 |   165452 |   103553      2 |        5 |        0
1732.04/1732.57	c 1731s |      16 |  9049457 |   165652 |   103553      2 |        5 |        0
1734.14/1734.60	c 1733s |      16 |  9068636 |   165852 |   103553      2 |        5 |        0
1736.65/1737.15	c 1736s |      16 |  9077542 |   166052 |   103553      2 |        5 |        0
1739.24/1739.79	c 1738s |      16 |  9083306 |   166252 |   103553      2 |        5 |        0
1741.44/1741.99	c 1740s |      16 |  9106670 |   166452 |   103553      2 |        5 |        0
1744.74/1745.27	c 1744s |      16 |  9115766 |   166652 |   103553      2 |        5 |        0
1746.94/1747.41	c 1746s |      16 |  9121990 |   166852 |   103553      2 |        5 |        0
1750.04/1750.56	c 1749s |      16 |  9147704 |   167152 |   103553      2 |        5 |        0
1753.04/1753.58	c 1752s |      16 |  9158398 |   167352 |   103553      2 |        5 |        0
1755.54/1756.08	c 1754s |      16 |  9165104 |   167552 |   103553      2 |        5 |        0
1757.94/1758.47	c 1757s |      16 |  9183801 |   167852 |   103553      2 |        5 |        0
1760.94/1761.41	c 1760s |      16 |  9200358 |   168052 |   103553      2 |        5 |        0
1763.64/1764.17	c 1763s |      16 |  9207030 |   168252 |   103553      2 |        5 |        0
1765.74/1766.22	c 1765s |      16 |  9212920 |   168452 |   103553      2 |        5 |        0
1768.34/1768.80	c 1767s |      16 |  9239629 |   168752 |   103553      2 |        5 |        0
1770.93/1771.45	c 1770s |      16 |  9249055 |   168952 |   103553      2 |        5 |        0
1773.94/1774.49	c 1773s |      16 |  9258788 |   169252 |   103553      2 |        5 |        0
1776.24/1776.74	c 1775s |      16 |  9275660 |   169552 |   103553      2 |        5 |        0
1779.03/1779.53	c 1778s |      16 |  9290928 |   169752 |   103553      2 |        5 |        0
1781.83/1782.31	c 1781s |      16 |  9305715 |   169952 |   103553      2 |        5 |        0
1784.63/1785.17	c 1784s |      16 |  9317584 |   170252 |   103553      2 |        5 |        0
1786.93/1787.43	c 1786s |      16 |  9331521 |   170552 |   103553      2 |        5 |        0
1790.03/1790.50	c 1789s |      16 |  9338999 |   170852 |   103553      2 |        5 |        0
1792.03/1792.53	c 1791s |      16 |  9342579 |   171052 |   103553      2 |        5 |        0
1794.43/1794.97	c 1793s |      16 |  9355632 |   171352 |   103553      2 |        5 |        0
1796.93/1797.49	c 1796s |      16 |  9378358 |   171652 |   103553      2 |        5 |        0
1799.53/1800.04	c 1798s |      16 |  9396937 |   171852 |   103553      2 |        5 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079825-1465251806/watcher-4079825-1465251806 -o /tmp/evaluation-result-4079825-1465251806/solver-4079825-1465251806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079825-1465251806.opb 

pid=12719
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 12722
/proc/meminfo: memFree=30523216/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=646588 CPUtime=0 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 2396 0 0 0 0 0 0 0 20 0 4 0 107114076 662106112 3269 33554432000 4194304 16246674 140735452972464 140735452971888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 162159 3278 441 2943 0 159053 0
[pid=12722/tid=12723] ppid=12719 vsize=663996 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 679931904 3338 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 684126208 3354 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=673212 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107114076 689369088 3371 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 12722
/proc/meminfo: memFree=30523216/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 28370 0 0 0 6 3 0 0 20 0 4 0 107114076 1249447936 29180 33554432000 4194304 16246674 140735452972464 140735452971776 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 305041 29180 800 2943 0 301935 0
[pid=12722/tid=12723] ppid=12719 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1249447936 29180 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1249447936 29180 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1249447936 29180 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200536 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 12722
/proc/meminfo: memFree=30523216/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 50612 0 0 0 12 7 0 0 20 0 4 0 107114076 1343819776 51933 33554432000 4194304 16246674 140735452972464 140735452971776 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 328081 51940 800 2943 0 324975 0
[pid=12722/tid=12723] ppid=12719 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1343819776 51944 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1343819776 51948 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1343819776 51953 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300491 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 12722
/proc/meminfo: memFree=30523216/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 59650 0 0 0 21 8 0 0 20 0 4 0 107114076 1344868352 60971 33554432000 4194304 16246674 140735452972464 140735452971776 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 328337 60971 800 2943 0 325231 0
[pid=12722/tid=12723] ppid=12719 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1344868352 60971 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1344868352 60971 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1344868352 60971 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700408 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 12722
/proc/meminfo: memFree=30523216/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 98920 0 0 0 52 17 0 0 20 0 4 0 107114076 1344868352 100241 33554432000 4194304 16246674 140735452972464 140735452971776 5889452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 328337 100249 834 2943 0 325231 0
[pid=12722/tid=12723] ppid=12719 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1344868352 100255 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1344868352 100261 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1344868352 100266 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 12726
/proc/meminfo: memFree=29876060/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1330756 CPUtime=1.49 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 164178 0 0 0 121 28 0 0 20 0 4 0 107114076 1362694144 165499 33554432000 4194304 16246674 140735452972464 140735452954368 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 332689 165499 884 2943 0 329583 0
[pid=12722/tid=12723] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 165499 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 165499 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 165499 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1330756

[startup+3.10042 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 12726
/proc/meminfo: memFree=29773140/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1330756 CPUtime=3.09 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 273359 0 0 0 267 42 0 0 20 0 4 0 107114076 1362694144 274680 33554432000 4194304 16246674 140735452972464 140735452954368 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 332689 274680 887 2943 0 329583 0
[pid=12722/tid=12723] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274680 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274680 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274680 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1330756

[startup+6.3004 s]
/proc/loadavg: 2.05 2.06 2.01 3/183 12726
/proc/meminfo: memFree=29424968/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1330756 CPUtime=6.29 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 273364 0 0 0 587 42 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140735452954368 5672056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 332689 274685 890 2943 0 329583 0
[pid=12722/tid=12723] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1330756

[startup+12.7004 s]
/proc/loadavg: 2.05 2.06 2.01 4/183 12726
/proc/meminfo: memFree=29425376/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1330756 CPUtime=12.69 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 273364 0 0 0 1227 42 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140735452954368 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 332689 274685 890 2943 0 329583 0
[pid=12722/tid=12723] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1330756

[startup+25.5072 s]
/proc/loadavg: 2.04 2.06 2.01 3/183 12726
/proc/meminfo: memFree=29425656/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1330756 CPUtime=25.49 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 273364 0 0 0 2507 42 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140735452954368 12483632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 332689 274685 890 2943 0 329583 0
[pid=12722/tid=12723] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1330756

[startup+51.1004 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 12726
/proc/meminfo: memFree=29424992/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1330756 CPUtime=51.08 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 273364 0 0 0 5066 42 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140735452954368 5662756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 332689 274685 890 2943 0 329583 0
[pid=12722/tid=12723] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1330756

[startup+102.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/183 12727
/proc/meminfo: memFree=29424232/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1330756 CPUtime=102.27 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 273364 0 0 0 10185 42 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140735452954368 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 332689 274685 890 2943 0 329583 0
[pid=12722/tid=12723] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1362694144 274685 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1330756


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

/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1338948

[startup+1302.3 s]
/proc/loadavg: 2.09 2.10 2.06 3/183 12757
/proc/meminfo: memFree=29383128/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1338948 CPUtime=1301.92 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 275752 0 0 0 130119 73 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140735452954368 5677216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 334737 276742 895 2943 0 331631 0
[pid=12722/tid=12723] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.10 2.10 2.06 3/183 12758
/proc/meminfo: memFree=29382944/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1338948 CPUtime=1361.9 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 275776 0 0 0 136117 73 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140735452954368 12483524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 334737 276742 895 2943 0 331631 0
[pid=12722/tid=12723] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.07 2.09 2.06 3/183 12759
/proc/meminfo: memFree=29374920/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1338948 CPUtime=1421.89 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 275782 0 0 0 142115 74 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140735452954368 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 334737 276742 895 2943 0 331631 0
[pid=12722/tid=12723] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.19 2.12 2.07 3/183 12760
/proc/meminfo: memFree=29375420/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1338948 CPUtime=1481.88 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 275782 0 0 0 148114 74 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140735452954368 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 334737 276742 895 2943 0 331631 0
[pid=12722/tid=12723] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1338948

[startup+1542.3 s]
/proc/loadavg: 2.11 2.11 2.07 3/183 12762
/proc/meminfo: memFree=29375300/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1338948 CPUtime=1541.88 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 275782 0 0 0 154114 74 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140735452954368 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 334737 276742 895 2943 0 331631 0
[pid=12722/tid=12723] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.07 3/184 12766
/proc/meminfo: memFree=29374236/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1338948 CPUtime=1601.86 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 275782 0 0 0 160112 74 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140735452954368 5823008 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 334737 276742 895 2943 0 331631 0
[pid=12722/tid=12723] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1371082752 276742 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1338948

[startup+1662.31 s]
/proc/loadavg: 2.06 2.09 2.07 3/183 12767
/proc/meminfo: memFree=29361920/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1352260 CPUtime=1661.86 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 279110 0 0 0 166094 92 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140735452954368 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 338065 280070 895 2943 0 334959 0
[pid=12722/tid=12723] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/183 12768
/proc/meminfo: memFree=29361920/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1352260 CPUtime=1721.84 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 279110 0 0 0 172092 92 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140735452954368 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 338065 280070 895 2943 0 334959 0
[pid=12722/tid=12723] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1352260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.07 2/173 12800
/proc/meminfo: memFree=30511336/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1352260 CPUtime=1781.83 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 279110 0 0 0 178089 94 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140735452954368 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 338065 280070 895 2943 0 334959 0
[pid=12722/tid=12723] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.80 2.02 2.05 2/173 12800
/proc/meminfo: memFree=30512208/32872528 swapFree=11196/354588
[pid=12722] ppid=12719 vsize=1352260 CPUtime=1800.03 cores=0,2,4,6
/proc/12722/stat : 12722 (toysat) R 12719 12722 8429 0 -1 4202496 279110 0 0 0 179909 94 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140735452954368 12483544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12722/statm: 338065 280070 895 2943 0 334959 0
[pid=12722/tid=12723] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12723/stat : 12723 (toysat) S 12719 12722 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031247232240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12722/tid=12724] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12724/stat : 12724 (toysat) S 12719 12722 8429 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031167540464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12722/tid=12725] ppid=12719 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/12722/task/12725/stat : 12725 (toysat) S 12719 12722 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114076 1384714240 280070 33554432000 4194304 16246674 140735452972464 140031157066928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1352260

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12722 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.1
CPU system time (s): 0.946856
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.946856
maximum resident set size= 1120280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 379
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43333 second user time and 7.07492 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 00:23:26
IDJOB=4079825
IDBENCH=25016
IDSOLVER=2542
FILE ID=node126/4079825-1465251806
RUNJOBID= node126-1465218023-8445
PBS_JOBID= 19843210
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079825-1465251806/watcher-4079825-1465251806 -o /tmp/evaluation-result-4079825-1465251806/solver-4079825-1465251806 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079825-1465251806.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d90f6236f870e45ceb3cd4a6e4593f30
RANDOM SEED=915009361

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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
cpu MHz		: 2666.500
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 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 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 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
cpu MHz		: 2666.500
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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 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 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 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
cpu MHz		: 2666.500
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.500
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 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 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 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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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 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 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 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:       32872528 kB
MemFree:        30523356 kB
Buffers:           57772 kB
Cached:           140672 kB
SwapCached:         2244 kB
Active:          1178828 kB
Inactive:         114212 kB
Active(anon):    1094624 kB
Inactive(anon):     2384 kB
Active(file):      84204 kB
Inactive(file):   111828 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098552 kB
Dirty:             35784 kB
Writeback:             0 kB
AnonPages:       1448284 kB
Mapped:            10656 kB
Shmem:                 0 kB
Slab:             568868 kB
SReclaimable:      12780 kB
SUnreclaim:       556088 kB
KernelStack:        1464 kB
PageTables:         6960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1590924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node126 at 2016-06-07 00:53:27