Trace number 4115997

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.52

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round23-7.opb
MD5SUM935c4ce5f931d101d829070a69f3ff5c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-27T00:09:42+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-4115997-1466978982.opb"]
0.00/0.01	c use --random-gen="1310247478 3852939847 4228328934 3791602441 3534144253 2125724262 2829517608 225349314 1331254777 1920857302 367867364 2606653234 1219554127 1721608620 1601700245 3105346058 129446769 3927977089 112510175 1475113358 3991501478 1862564157 1923874354 897798103 2201453896 3848785249 3932440567 1913932097 3246971412 4223306466 3598494289 298162569 4014782805 862175255 458504148 369488144 1377974678 1899556228 3513788561 3140727557 2958940486 1771537083 391659107 3195648943 2946732264 3603345214 2829852580 4291915273 4134353898 2604401530 904084217 2352073505 504608282 4237721356 1977115586 1815257800 1059811449 4063137414 3638066868 3949525663 2499665265 330504612 1464725401 220241084 2466630090 832223294 519827231 1862620544 3641704993 2507038585 368276022 1670490475 1003059784 3110237172 555786007 1993134937 34021093 1109613302 1452910200 2939537155 1616638143 3946118306 1028448153 2429885054 3989151438 375307428 1065318640 728616894 2711397946 2072691404 170525402 3199246694 3730538141 1730844677 822903029 1875576127 2187262898 4066382341 2424587478 402794439 3431631248 947998154 2060867357 2914643580 487739841 3082036105 679968655 3814999881 4116471690 1772191479 3139390626 3646387715 2401128543 1471986318 1898504270 3469978157 1420417975 1250139015 3911454038 3197600126 1585483277 2120198263 4195375833 3598490499 4091919989 3657100037 2357958483 27995962 3441883387 2290850916 2205544786 2427904438 2685495573 1748667433 117935175 2718924345 3275956391 1346363098 3617553817 580961148 2961778237 2560944837 443080739 4062937740 181666583 2302963952 3491990678 4237692655 2101466243 1082317080 2231588315 2372401810 1031878472 1148416950 1950645561 352288742 421647517 1628613775 1993431406 1768142179 1581433167 2018967819 3622616391 1466764510 270376953 1050744063 672153911 56134480 1261642720 2951954749 1328828438 19010419 2332509789 4039129649 2530374815 2708577617 3055827673 425532087 2912745738 3536417493 3211938406 799478314 1772190156 1043678196 640680849 2558060874 2770124556 3517712591 1972724168 3364615948 1620831756 2811862548 2991433617 2761500396 3613723086 3555329828 401958777 3198264488 3415305887 1631477584 3673313818 860592791 4142572304 2772774803 2053961883 2959511528 516204808 3588568056 3709937581 4207514337 2493161790 2933642223 4162856865 3486108052 1827703529 2625151780 3666539305 2473373035 915774866 3743551149 2970267885 2480576866 1825170187 2168813141 2943182057 2877760243 4057949564 3310397261 1569191275 2097723387 831466022 4147682330 3010821838 3443091638 2085513388 1961526881 3713360713 2691048040 2553813697 2954485816 3529923394 1418345378 1859269063 508449552 2902190178 1757185791 2492068216 90426945 4014268527 3440113795 3278236008 4243907870 3807113494 2100209739 3357336460 3527116434 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9504
0.09/0.57	c Solving starts ...
0.09/0.57	c ============================[ Search Statistics ]============================
0.09/0.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.57	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.57	c =============================================================================
0.09/0.57	c  0.0s |       0 |        0 |        0 |     4565      0 |      748 |        0
0.09/0.57	c  0.1s |       1 |     1147 |      100 |     4565      0 |      749 |      562
0.09/0.57	c  0.2s |       2 |     3038 |      250 |     5022      0 |      749 |      562
0.09/0.63	c  0.4s |       3 |     4989 |      475 |     5525      0 |      749 |      562
0.88/0.96	c  0.7s |       4 |     7134 |      813 |     6078      0 |      749 |      562
1.39/1.45	c  1.2s |       5 |    11745 |     1320 |     6686      0 |      749 |      562
1.88/1.93	c  1.7s |       6 |    17454 |     2081 |     8091      0 |      749 |      562
2.49/2.59	c  2.3s |       7 |    24756 |     3223 |     8901      0 |      750 |      562
3.80/3.83	c  3.6s |       8 |    31130 |     4936 |     9792      0 |      750 |      562
5.79/5.86	c  5.6s |       8 |    35814 |     6936 |     9792      0 |      750 |      562
6.69/6.75	c  6.5s |       9 |    36484 |     7506 |    10772      0 |      750 |      562
8.69/8.75	c  8.5s |       9 |    47987 |    10606 |    10772      0 |      750 |      562
9.20/9.25	c  9.0s |      10 |    51039 |    11361 |    11850      0 |      750 |      562
11.29/11.30	c 11.0s |      10 |    54427 |    13061 |    11850      0 |      750 |      562
13.29/13.30	c 13.0s |      10 |    56261 |    14461 |    11850      0 |      750 |      562
15.29/15.32	c 15.0s |      10 |    57567 |    15561 |    11850      1 |      750 |      562
17.49/17.50	c 17.2s |      10 |    58856 |    16661 |    11850      1 |      750 |      562
18.39/18.49	c 18.2s |      11 |    59411 |    17144 |    13036      1 |      750 |      562
20.49/20.56	c 20.3s |      11 |    67497 |    19444 |    13036      1 |      750 |      562
22.59/22.64	c 22.4s |      11 |    70153 |    21044 |    13036      1 |      750 |      562
24.79/24.81	c 24.5s |      11 |    72146 |    22344 |    13036      1 |      750 |      562
26.89/26.96	c 26.7s |      11 |    73489 |    23444 |    13036      1 |      750 |      562
29.09/29.17	c 28.9s |      11 |    74736 |    24444 |    13036      2 |      750 |      562
31.09/31.20	c 30.9s |      11 |    76339 |    25544 |    13036      2 |      750 |      562
31.79/31.83	c 31.6s |      12 |    76693 |    25819 |    14340      2 |      750 |      562
33.79/33.83	c 33.6s |      12 |    87975 |    28719 |    14340      2 |      750 |      562
35.89/35.95	c 35.7s |      12 |    91592 |    30819 |    14340      2 |      750 |      562
37.99/38.07	c 37.8s |      12 |    93719 |    32619 |    14340      2 |      750 |      562
40.09/40.12	c 39.8s |      12 |    94989 |    33819 |    14340      3 |      750 |      562
42.19/42.23	c 42.0s |      12 |    96420 |    35119 |    14340      3 |      750 |      562
44.29/44.40	c 44.1s |      12 |    97590 |    36219 |    14340      3 |      750 |      562
46.48/46.55	c 46.3s |      12 |    98664 |    37219 |    14340      3 |      750 |      562
48.58/48.61	c 48.3s |      12 |    99775 |    38219 |    14340      3 |      750 |      562
49.89/49.95	c 49.7s |      13 |   100439 |    38832 |    15775      3 |      750 |      562
51.98/52.04	c 51.8s |      13 |   102884 |    40632 |    15775      3 |      750 |      562
54.08/54.13	c 53.9s |      13 |   104438 |    42132 |    15775      3 |      750 |      562
56.08/56.19	c 55.9s |      13 |   105784 |    43432 |    15775      4 |      750 |      562
58.18/58.26	c 58.0s |      13 |   107126 |    44732 |    15775      4 |      750 |      562
60.38/60.47	c 60.2s |      13 |   116974 |    46832 |    15775      4 |      750 |      562
62.48/62.50	c 62.2s |      13 |   118618 |    48032 |    15775      4 |      750 |      562
64.58/64.60	c 64.3s |      13 |   120341 |    49232 |    15775      4 |      750 |      562
66.58/66.68	c 66.4s |      13 |   121752 |    50332 |    15775      4 |      750 |      562
68.78/68.86	c 68.6s |      13 |   122781 |    51232 |    15775      4 |      750 |      562
70.89/70.97	c 70.7s |      13 |   123827 |    52132 |    15775      4 |      750 |      562
72.99/73.02	c 72.7s |      13 |   124700 |    52932 |    15775      4 |      750 |      562
74.98/75.08	c 74.8s |      13 |   125954 |    53832 |    15775      5 |      750 |      562
77.08/77.16	c 76.9s |      13 |   127091 |    54732 |    15775      5 |      750 |      562
79.28/79.37	c 79.1s |      13 |   127934 |    55532 |    15775      5 |      750 |      562
81.48/81.56	c 81.3s |      13 |   128857 |    56332 |    15775      5 |      750 |      562
83.78/83.85	c 83.6s |      13 |   129805 |    57132 |    15775      5 |      750 |      562
85.88/85.92	c 85.6s |      13 |   130873 |    57932 |    15775      5 |      750 |      562
87.29/87.31	c 87.0s |      14 |   131340 |    58352 |    17353      5 |      750 |      562
89.28/89.33	c 89.1s |      14 |   140519 |    60452 |    17353      5 |      750 |      562
91.28/91.39	c 91.1s |      14 |   144904 |    62552 |    17353      5 |      750 |      562
93.37/93.42	c 93.2s |      14 |   146691 |    63852 |    17353      5 |      750 |      562
95.47/95.53	c 95.3s |      14 |   148959 |    65052 |    17353      6 |      750 |      562
97.57/97.66	c 97.4s |      14 |   150744 |    66052 |    17353      6 |      750 |      562
99.77/99.82	c 99.5s |      14 |   152217 |    67152 |    17353      6 |      750 |      562
101.97/102.08	c  101s |      14 |   153199 |    68052 |    17353      6 |      750 |      562
104.17/104.23	c  103s |      14 |   154141 |    68852 |    17353      6 |      750 |      562
106.17/106.29	c  106s |      14 |   154988 |    69552 |    17353      6 |      750 |      562
108.37/108.41	c  108s |      14 |   155548 |    70052 |    17353      6 |      750 |      562
110.77/110.88	c  110s |      14 |   156219 |    70652 |    17353      6 |      750 |      562
112.87/112.98	c  112s |      14 |   156756 |    71152 |    17353      6 |      750 |      562
115.17/115.24	c  114s |      14 |   157452 |    71752 |    17353      6 |      750 |      562
117.27/117.37	c  117s |      14 |   157992 |    72252 |    17353      6 |      750 |      562
119.57/119.68	c  119s |      14 |   158687 |    72852 |    17353      6 |      750 |      562
121.97/122.00	c  121s |      14 |   159350 |    73452 |    17353      6 |      750 |      562
124.37/124.42	c  124s |      14 |   159906 |    73952 |    17353      6 |      750 |      562
126.36/126.43	c  126s |      14 |   160366 |    74352 |    17353      6 |      750 |      562
128.57/128.70	c  128s |      14 |   160788 |    74752 |    17353      7 |      750 |      562
130.67/130.78	c  130s |      14 |   161468 |    75352 |    17353      7 |      750 |      562
132.87/132.96	c  132s |      14 |   162241 |    76052 |    17353      7 |      750 |      562
135.17/135.22	c  134s |      14 |   162891 |    76652 |    17353      7 |      750 |      562
137.27/137.32	c  137s |      14 |   163445 |    77152 |    17353      7 |      750 |      562
139.77/139.82	c  139s |      14 |   163982 |    77652 |    17353      7 |      750 |      562
142.17/142.23	c  141s |      14 |   164416 |    78052 |    17353      7 |      750 |      562
144.27/144.30	c  144s |      14 |   164972 |    78552 |    17353      7 |      750 |      562
146.27/146.39	c  146s |      14 |   165785 |    79252 |    17353      7 |      750 |      562
148.37/148.40	c  148s |      14 |   166580 |    79952 |    17353      7 |      750 |      562
150.47/150.51	c  150s |      14 |   167006 |    80352 |    17353      7 |      750 |      562
152.47/152.51	c  152s |      14 |   167427 |    80752 |    17353      7 |      750 |      562
154.57/154.64	c  154s |      14 |   167852 |    81152 |    17353      7 |      750 |      562
157.07/157.12	c  156s |      14 |   168418 |    81652 |    17353      7 |      750 |      562
159.27/159.39	c  159s |      14 |   168866 |    82052 |    17353      7 |      750 |      562
161.77/161.81	c  161s |      14 |   169291 |    82452 |    17353      7 |      750 |      562
163.97/164.08	c  163s |      14 |   169748 |    82852 |    17353      7 |      750 |      562
166.57/166.62	c  166s |      14 |   170178 |    83252 |    17353      7 |      750 |      562
169.07/169.15	c  168s |      14 |   170610 |    83652 |    17353      7 |      750 |      562
171.57/171.68	c  171s |      14 |   171020 |    84052 |    17353      7 |      750 |      562
173.67/173.70	c  173s |      14 |   171339 |    84352 |    17353      7 |      750 |      562
175.97/176.05	c  175s |      14 |   171763 |    84752 |    17353      7 |      750 |      562
178.76/178.85	c  178s |      14 |   172179 |    85152 |    17353      8 |      750 |      562
181.16/181.23	c  180s |      14 |   172723 |    85652 |    17353      8 |      750 |      562
183.46/183.58	c  183s |      14 |   173364 |    86252 |    17353      8 |      750 |      562
185.76/185.81	c  185s |      14 |   173781 |    86652 |    17353      8 |      750 |      562
187.86/187.90	c  187s |      14 |   174302 |    87152 |    19089      8 |      750 |      562
189.57/189.66	c  189s |      15 |   174832 |    87632 |    19089      8 |      750 |      562
191.56/191.68	c  191s |      15 |   185622 |    89832 |    19089      8 |      750 |      562
193.66/193.74	c  193s |      15 |   189156 |    91632 |    19089      8 |      750 |      562
195.66/195.74	c  195s |      15 |   190851 |    92932 |    19089      8 |      750 |      562
197.76/197.89	c  197s |      15 |   192239 |    94032 |    19089      8 |      750 |      562
199.86/199.99	c  199s |      15 |   193330 |    94932 |    19089      8 |      750 |      562
202.06/202.13	c  201s |      15 |   194747 |    96032 |    19089      8 |      750 |      562
204.16/204.22	c  203s |      15 |   196100 |    96932 |    19089      9 |      750 |      562
206.26/206.35	c  206s |      15 |   197455 |    97932 |    19089      9 |      750 |      562
208.46/208.51	c  208s |      15 |   198731 |    98932 |    19089      9 |      750 |      562
210.46/210.57	c  210s |      15 |   200037 |    99932 |    19089      9 |      750 |      562
212.56/212.66	c  212s |      15 |   200985 |   100732 |    19089      9 |      750 |      562
214.86/214.94	c  214s |      15 |   201961 |   101532 |    19089      9 |      750 |      562
216.86/216.98	c  216s |      15 |   202895 |   102332 |    19089      9 |      750 |      562
219.16/219.23	c  218s |      15 |   204027 |   103232 |    19089      9 |      750 |      562
221.36/221.41	c  221s |      15 |   205029 |   104032 |    19089      9 |      750 |      562
223.56/223.69	c  223s |      15 |   205938 |   104832 |    19089      9 |      750 |      562
225.86/225.94	c  225s |      15 |   206878 |   105632 |    19089      9 |      750 |      562
228.06/228.17	c  227s |      15 |   207789 |   106432 |    19089      9 |      750 |      562
230.26/230.40	c  230s |      15 |   208598 |   107132 |    19089      9 |      750 |      562
232.46/232.51	c  232s |      15 |   209758 |   107832 |    19089     10 |      750 |      562
234.66/234.71	c  234s |      15 |   211179 |   108732 |    19089     10 |      750 |      562
236.65/236.77	c  236s |      15 |   212192 |   109532 |    19089     10 |      750 |      562
238.75/238.80	c  238s |      15 |   213395 |   110432 |    19089     10 |      750 |      562
240.75/240.87	c  240s |      15 |   214476 |   111332 |    19089     10 |      750 |      562
242.85/242.90	c  242s |      15 |   215479 |   112132 |    19089     10 |      750 |      562
244.95/245.06	c  244s |      15 |   216489 |   112932 |    19089     10 |      750 |      562
247.15/247.29	c  247s |      15 |   217442 |   113732 |    19089     10 |      750 |      562
249.55/249.68	c  249s |      15 |   218262 |   114432 |    19089     10 |      750 |      562
251.85/251.92	c  251s |      15 |   219057 |   115132 |    19089     10 |      750 |      562
254.05/254.14	c  253s |      15 |   219919 |   115832 |    19089     10 |      750 |      562
256.05/256.16	c  255s |      15 |   220773 |   116532 |    19089     10 |      750 |      562
258.25/258.33	c  258s |      15 |   221348 |   117032 |    19089     10 |      750 |      562
260.25/260.37	c  260s |      15 |   222073 |   117632 |    19089     10 |      750 |      562
262.25/262.39	c  262s |      15 |   222808 |   118232 |    19089     10 |      750 |      562
264.54/264.62	c  264s |      15 |   223509 |   118832 |    19089     10 |      750 |      562
266.55/266.68	c  266s |      15 |   224086 |   119332 |    19089     11 |      750 |      562
268.75/268.81	c  268s |      15 |   224930 |   120032 |    19089     11 |      750 |      562
270.95/271.01	c  270s |      15 |   225737 |   120732 |    19089     11 |      750 |      562
273.04/273.12	c  272s |      15 |   226610 |   121432 |    19089     11 |      750 |      562
275.14/275.30	c  275s |      15 |   227324 |   122032 |    19089     11 |      750 |      562
277.24/277.38	c  277s |      15 |   228133 |   122732 |    19089     11 |      750 |      562
279.24/279.38	c  279s |      15 |   228812 |   123332 |    19089     11 |      750 |      562
281.54/281.64	c  281s |      15 |   229616 |   124032 |    19089     11 |      750 |      562
283.94/284.07	c  283s |      15 |   230413 |   124732 |    19089     11 |      750 |      562
286.04/286.19	c  285s |      15 |   231109 |   125332 |    19089     11 |      750 |      562
288.14/288.28	c  288s |      15 |   231710 |   125832 |    19089     11 |      750 |      562
290.54/290.60	c  290s |      15 |   232540 |   126532 |    19089     11 |      750 |      562
292.54/292.66	c  292s |      15 |   233277 |   127132 |    19089     11 |      750 |      562
294.64/294.71	c  294s |      15 |   233974 |   127732 |    19089     11 |      750 |      562
296.84/296.94	c  296s |      15 |   234834 |   128432 |    19089     11 |      750 |      562
299.34/299.42	c  299s |      15 |   235647 |   129132 |    19089     11 |      750 |      562
301.54/301.66	c  301s |      15 |   236470 |   129832 |    19089     11 |      750 |      562
303.64/303.70	c  303s |      15 |   237059 |   130332 |    19089     11 |      750 |      562
305.64/305.72	c  305s |      15 |   237640 |   130832 |    20998     12 |      750 |      562
307.54/307.66	c  307s |      16 |   238501 |   131552 |    20998     12 |      750 |      562
309.54/309.67	c  309s |      16 |   244481 |   133652 |    20998     12 |      750 |      562
311.64/311.72	c  311s |      16 |   250533 |   135852 |    20998     12 |      750 |      562
313.74/313.81	c  313s |      16 |   253129 |   137352 |    20998     12 |      750 |      562
315.74/315.87	c  315s |      16 |   255490 |   138652 |    20998     12 |      750 |      562
317.84/317.99	c  317s |      16 |   257904 |   140152 |    20998     12 |      750 |      562
320.04/320.10	c  319s |      16 |   259115 |   141052 |    20998     12 |      750 |      562
322.14/322.26	c  321s |      16 |   260251 |   141952 |    20998     12 |      750 |      562
324.24/324.30	c  324s |      16 |   261166 |   142652 |    20998     12 |      750 |      562
326.34/326.41	c  326s |      16 |   262362 |   143452 |    20998     13 |      750 |      562
328.54/328.63	c  328s |      16 |   263766 |   144552 |    20998     13 |      750 |      562
330.64/330.71	c  330s |      16 |   265189 |   145552 |    20998     13 |      750 |      562
332.65/332.73	c  332s |      16 |   266773 |   146552 |    20998     13 |      750 |      562
335.04/335.15	c  334s |      16 |   268163 |   147652 |    20998     13 |      750 |      562
337.34/337.44	c  337s |      16 |   268942 |   148252 |    20998     13 |      750 |      562
339.34/339.48	c  339s |      16 |   269616 |   148752 |    20998     13 |      750 |      562
341.54/341.66	c  341s |      16 |   270608 |   149552 |    20998     13 |      750 |      562
343.94/344.02	c  343s |      16 |   271457 |   150252 |    20998     13 |      750 |      562
346.04/346.11	c  345s |      16 |   272801 |   151052 |    20998     13 |      750 |      562
348.14/348.28	c  348s |      16 |   274295 |   152152 |    20998     13 |      750 |      562
350.14/350.29	c  350s |      16 |   275624 |   153152 |    20998     13 |      750 |      562
352.24/352.36	c  352s |      16 |   276837 |   154052 |    20998     13 |      750 |      562
354.34/354.40	c  354s |      16 |   277816 |   154852 |    20998     13 |      750 |      562
356.44/356.57	c  356s |      16 |   279040 |   155752 |    20998     13 |      750 |      562
358.64/358.74	c  358s |      16 |   279920 |   156452 |    20998     14 |      750 |      562
360.64/360.75	c  360s |      16 |   281167 |   157452 |    20998     14 |      750 |      562
362.74/362.83	c  362s |      16 |   282166 |   158252 |    20998     14 |      750 |      562
364.94/365.06	c  364s |      16 |   283253 |   159152 |    20998     14 |      750 |      562
367.13/367.25	c  366s |      16 |   284191 |   159952 |    20998     14 |      750 |      562
369.23/369.39	c  369s |      16 |   285381 |   160852 |    20998     14 |      750 |      562
371.33/371.46	c  371s |      16 |   286357 |   161652 |    20998     14 |      750 |      562
373.53/373.62	c  373s |      16 |   287527 |   162552 |    20998     14 |      750 |      562
375.63/375.72	c  375s |      16 |   288400 |   163252 |    20998     14 |      750 |      562
377.64/377.78	c  377s |      16 |   289247 |   163952 |    20998     14 |      750 |      562
379.94/380.07	c  379s |      16 |   290170 |   164752 |    20998     14 |      750 |      562
382.14/382.21	c  381s |      16 |   291059 |   165452 |    20998     14 |      750 |      562
384.13/384.30	c  384s |      16 |   292004 |   166152 |    20998     14 |      750 |      562
386.23/386.32	c  386s |      16 |   292901 |   166852 |    20998     14 |      750 |      562
388.23/388.39	c  388s |      16 |   293498 |   167352 |    20998     14 |      750 |      562
391.03/391.10	c  390s |      16 |   294367 |   168052 |    20998     15 |      750 |      562
393.23/393.39	c  393s |      16 |   295309 |   168852 |    20998     15 |      750 |      562
395.34/395.42	c  395s |      16 |   296671 |   169752 |    20998     15 |      750 |      562
397.44/397.56	c  397s |      16 |   297846 |   170652 |    20998     15 |      750 |      562
399.53/399.67	c  399s |      16 |   298904 |   171452 |    20998     15 |      750 |      562
401.73/401.82	c  401s |      16 |   299897 |   172252 |    20998     15 |      750 |      562
403.93/404.04	c  403s |      16 |   300790 |   172952 |    20998     15 |      750 |      562
406.03/406.12	c  405s |      16 |   301482 |   173552 |    20998     15 |      750 |      562
408.13/408.20	c  407s |      16 |   302385 |   174252 |    20998     15 |      750 |      562
410.43/410.52	c  410s |      16 |   303417 |   175052 |    20998     15 |      750 |      562
412.63/412.80	c  412s |      16 |   304240 |   175752 |    20998     15 |      750 |      562
414.73/414.83	c  414s |      16 |   304946 |   176352 |    20998     15 |      750 |      562
417.02/417.13	c  416s |      16 |   305791 |   177052 |    20998     15 |      750 |      562
419.22/419.30	c  419s |      16 |   306467 |   177652 |    20998     15 |      750 |      562
421.42/421.55	c  421s |      16 |   307174 |   178252 |    20998     15 |      750 |      562
423.72/423.90	c  423s |      16 |   307847 |   178852 |    20998     15 |      750 |      562
426.13/426.21	c  425s |      16 |   308557 |   179452 |    20998     15 |      750 |      562
428.12/428.22	c  427s |      16 |   309112 |   179952 |    20998     15 |      750 |      562
430.32/430.45	c  430s |      16 |   309838 |   180552 |    20998     16 |      750 |      562
432.42/432.51	c  432s |      16 |   310662 |   181252 |    20998     16 |      750 |      562
434.42/434.54	c  434s |      16 |   311511 |   181952 |    20998     16 |      750 |      562
436.72/436.85	c  436s |      16 |   312326 |   182652 |    20998     16 |      750 |      562
438.72/438.88	c  438s |      16 |   313014 |   183252 |    20998     16 |      750 |      562
441.02/441.16	c  440s |      16 |   313681 |   183852 |    20998     16 |      750 |      562
443.22/443.34	c  443s |      16 |   314363 |   184452 |    20998     16 |      750 |      562
445.52/445.61	c  445s |      16 |   315032 |   185052 |    20998     16 |      750 |      562
447.72/447.90	c  447s |      16 |   315874 |   185752 |    20998     16 |      750 |      562
450.02/450.10	c  449s |      16 |   316562 |   186352 |    20998     16 |      750 |      562
452.02/452.14	c  451s |      16 |   317251 |   186952 |    20998     16 |      750 |      562
454.32/454.44	c  454s |      16 |   317915 |   187552 |    20998     16 |      750 |      562
456.52/456.69	c  456s |      16 |   318617 |   188152 |    20998     16 |      750 |      562
458.92/459.01	c  458s |      16 |   319304 |   188752 |    20998     16 |      750 |      562
461.22/461.34	c  461s |      16 |   319830 |   189252 |    20998     16 |      750 |      562
463.32/463.46	c  463s |      16 |   320394 |   189752 |    20998     16 |      750 |      562
465.42/465.56	c  465s |      16 |   320936 |   190252 |    20998     16 |      750 |      562
467.61/467.71	c  467s |      16 |   321465 |   190752 |    20998     16 |      750 |      562
469.81/469.98	c  469s |      16 |   321995 |   191252 |    20998     16 |      750 |      562
472.22/472.38	c  472s |      16 |   322655 |   191852 |    20998     16 |      750 |      562
474.42/474.60	c  474s |      16 |   323103 |   192252 |    20998     17 |      750 |      562
476.73/476.87	c  476s |      16 |   323764 |   192852 |    20998     17 |      750 |      562
478.83/478.98	c  478s |      16 |   324414 |   193452 |    20998     17 |      750 |      562
481.03/481.15	c  480s |      16 |   325092 |   194052 |    20998     17 |      750 |      562
483.12/483.22	c  482s |      16 |   325985 |   194752 |    20998     17 |      750 |      562
485.32/485.44	c  485s |      16 |   326944 |   195552 |    20998     17 |      750 |      562
487.52/487.62	c  487s |      16 |   327918 |   196352 |    23098     17 |      750 |      562
489.82/489.93	c  489s |      16 |   328722 |   197052 |    23098     17 |      750 |      562
490.92/491.10	c  490s |      17 |   329155 |   197432 |    23098     17 |      750 |      562
493.02/493.11	c  492s |      17 |   334310 |   199032 |    23098     17 |      750 |      562
495.02/495.18	c  494s |      17 |   336521 |   201032 |    23098     17 |      750 |      562
497.22/497.30	c  497s |      17 |   338434 |   202732 |    23098     17 |      750 |      562
499.32/499.44	c  499s |      17 |   339972 |   204132 |    23098     17 |      750 |      562
501.42/501.56	c  501s |      17 |   341405 |   205432 |    23098     17 |      750 |      562
503.41/503.59	c  503s |      17 |   342530 |   206432 |    23098     18 |      750 |      562
505.61/505.70	c  505s |      17 |   343961 |   207732 |    23098     18 |      750 |      562
507.61/507.71	c  507s |      17 |   345159 |   208832 |    23098     18 |      750 |      562
509.72/509.82	c  509s |      17 |   346350 |   209932 |    23098     18 |      750 |      562
511.82/511.96	c  511s |      17 |   347284 |   210832 |    23098     18 |      750 |      562
514.02/514.14	c  513s |      17 |   348247 |   211732 |    23098     18 |      750 |      562
516.01/516.19	c  515s |      17 |   349202 |   212632 |    23098     18 |      750 |      562
518.21/518.30	c  518s |      17 |   350172 |   213532 |    23098     18 |      750 |      562
520.31/520.46	c  520s |      17 |   351160 |   214432 |    23098     18 |      750 |      562
522.51/522.61	c  522s |      17 |   352004 |   215232 |    23098     18 |      750 |      562
524.51/524.67	c  524s |      17 |   352864 |   216032 |    23098     18 |      750 |      562
526.71/526.87	c  526s |      17 |   353706 |   216832 |    23098     18 |      750 |      562
528.81/528.99	c  528s |      17 |   354568 |   217632 |    23098     18 |      750 |      562
531.01/531.17	c  530s |      17 |   355432 |   218432 |    23098     18 |      750 |      562
533.11/533.21	c  532s |      17 |   356194 |   219132 |    23098     18 |      750 |      562
535.11/535.22	c  534s |      17 |   356835 |   219732 |    23098     19 |      750 |      562
537.22/537.36	c  537s |      17 |   357678 |   220532 |    23098     19 |      750 |      562
539.42/539.52	c  539s |      17 |   358507 |   221332 |    23098     19 |      750 |      562
541.62/541.70	c  541s |      17 |   359356 |   222132 |    23098     19 |      750 |      562
543.82/543.95	c  543s |      17 |   360216 |   222932 |    23098     19 |      750 |      562
545.81/545.99	c  545s |      17 |   361087 |   223732 |    23098     19 |      750 |      562
548.01/548.14	c  547s |      17 |   362070 |   224632 |    23098     19 |      750 |      562
550.31/550.40	c  550s |      17 |   362942 |   225432 |    23098     19 |      750 |      562
552.41/552.55	c  552s |      17 |   363804 |   226232 |    23098     19 |      750 |      562
554.61/554.77	c  554s |      17 |   364659 |   227032 |    23098     19 |      750 |      562
556.71/556.83	c  556s |      17 |   365413 |   227732 |    23098     19 |      750 |      562
559.01/559.10	c  558s |      17 |   366294 |   228532 |    23098     19 |      750 |      562
561.01/561.12	c  560s |      17 |   367070 |   229232 |    23098     19 |      750 |      562
563.21/563.33	c  563s |      17 |   367829 |   229932 |    23098     19 |      750 |      562
565.21/565.37	c  565s |      17 |   368588 |   230632 |    23098     19 |      750 |      562
567.50/567.66	c  567s |      17 |   369361 |   231332 |    23098     19 |      750 |      562
569.50/569.69	c  569s |      17 |   370029 |   231932 |    23098     19 |      750 |      562
571.60/571.71	c  571s |      17 |   370689 |   232532 |    23098     19 |      750 |      562
573.70/573.84	c  573s |      17 |   371495 |   233232 |    23098     20 |      750 |      562
575.71/575.89	c  575s |      17 |   372590 |   234232 |    23098     20 |      750 |      562
577.91/578.03	c  577s |      17 |   373598 |   235132 |    23098     20 |      750 |      562
580.01/580.19	c  579s |      17 |   374588 |   236032 |    23098     20 |      750 |      562
582.10/582.30	c  582s |      17 |   375486 |   236832 |    23098     20 |      750 |      562
584.30/584.43	c  584s |      17 |   376338 |   237632 |    23098     20 |      750 |      562
586.40/586.52	c  586s |      17 |   377219 |   238432 |    23098     20 |      750 |      562
588.50/588.63	c  588s |      17 |   378116 |   239232 |    23098     20 |      750 |      562
590.70/590.82	c  590s |      17 |   378978 |   240032 |    23098     20 |      750 |      562
592.70/592.85	c  592s |      17 |   379739 |   240732 |    23098     20 |      750 |      562
594.90/595.03	c  594s |      17 |   380485 |   241432 |    23098     20 |      750 |      562
597.00/597.16	c  596s |      17 |   381251 |   242132 |    23098     20 |      750 |      562
599.20/599.38	c  599s |      17 |   382005 |   242832 |    23098     20 |      750 |      562
601.40/601.59	c  601s |      17 |   382765 |   243532 |    23098     20 |      750 |      562
603.60/603.78	c  603s |      17 |   383509 |   244232 |    23098     20 |      750 |      562
605.70/605.84	c  605s |      17 |   384281 |   244932 |    23098     20 |      750 |      562
607.80/607.91	c  607s |      17 |   384915 |   245532 |    23098     20 |      750 |      562
609.90/610.05	c  609s |      17 |   385544 |   246132 |    23098     21 |      750 |      562
612.00/612.16	c  611s |      17 |   386499 |   247032 |    23098     21 |      750 |      562
614.30/614.40	c  614s |      17 |   387463 |   247932 |    23098     21 |      750 |      562
616.50/616.62	c  616s |      17 |   388428 |   248832 |    23098     21 |      750 |      562
618.60/618.71	c  618s |      17 |   389282 |   249632 |    23098     21 |      750 |      562
620.60/620.71	c  620s |      17 |   390000 |   250332 |    23098     21 |      750 |      562
622.60/622.77	c  622s |      17 |   391388 |   251332 |    23098     21 |      750 |      562
624.70/624.87	c  624s |      17 |   393407 |   252332 |    23098     21 |      750 |      562
626.69/626.89	c  626s |      17 |   394737 |   253332 |    23098     21 |      750 |      562
628.79/628.97	c  628s |      17 |   397328 |   254732 |    23098     21 |      750 |      562
630.89/631.04	c  630s |      17 |   399706 |   256032 |    23098     21 |      750 |      562
632.99/633.13	c  632s |      17 |   401704 |   257132 |    23098     21 |      750 |      562
635.10/635.25	c  634s |      17 |   402603 |   257932 |    23098     21 |      750 |      562
637.09/637.30	c  637s |      17 |   403236 |   258532 |    23098     21 |      750 |      562
639.29/639.49	c  639s |      17 |   403874 |   259132 |    23098     22 |      750 |      562
641.49/641.70	c  641s |      17 |   405035 |   260132 |    23098     22 |      750 |      562
643.69/643.90	c  643s |      17 |   406039 |   261032 |    23098     22 |      750 |      562
645.89/646.01	c  645s |      17 |   407023 |   261932 |    23098     22 |      750 |      562
647.99/648.10	c  647s |      17 |   407887 |   262732 |    23098     22 |      750 |      562
650.09/650.25	c  649s |      17 |   408680 |   263432 |    23098     22 |      750 |      562
652.29/652.49	c  652s |      17 |   409457 |   264132 |    23098     22 |      750 |      562
654.39/654.53	c  654s |      17 |   410301 |   264832 |    23098     22 |      750 |      562
656.39/656.58	c  656s |      17 |   411225 |   265632 |    23098     22 |      750 |      562
658.59/658.75	c  658s |      17 |   412058 |   266332 |    23098     22 |      750 |      562
660.69/660.84	c  660s |      17 |   413008 |   267132 |    23098     22 |      750 |      562
662.89/663.05	c  662s |      17 |   414009 |   267932 |    23098     22 |      750 |      562
664.99/665.19	c  664s |      17 |   414872 |   268632 |    23098     22 |      750 |      562
667.39/667.51	c  667s |      17 |   415762 |   269332 |    23098     22 |      750 |      562
669.38/669.58	c  669s |      17 |   416469 |   269932 |    23098     22 |      750 |      562
671.58/671.74	c  671s |      17 |   417179 |   270532 |    23098     22 |      750 |      562
673.78/673.94	c  673s |      17 |   417943 |   271132 |    23098     22 |      750 |      562
676.08/676.24	c  675s |      17 |   418628 |   271732 |    23098     22 |      750 |      562
678.08/678.24	c  677s |      17 |   419206 |   272232 |    23098     23 |      750 |      562
680.28/680.48	c  680s |      17 |   420058 |   272932 |    23098     23 |      750 |      562
682.48/682.63	c  682s |      17 |   421161 |   273732 |    23098     23 |      750 |      562
684.59/684.73	c  684s |      17 |   422147 |   274632 |    23098     23 |      750 |      562
686.69/686.86	c  686s |      17 |   424907 |   275832 |    23098     23 |      750 |      562
688.89/689.09	c  688s |      17 |   426009 |   276832 |    23098     23 |      750 |      562
691.09/691.27	c  691s |      17 |   427029 |   277732 |    23098     23 |      750 |      562
693.29/693.42	c  693s |      17 |   427910 |   278532 |    23098     23 |      750 |      562
695.59/695.72	c  695s |      17 |   428683 |   279232 |    23098     23 |      750 |      562
697.58/697.73	c  697s |      17 |   429452 |   279932 |    23098     23 |      750 |      562
699.88/700.00	c  699s |      17 |   430418 |   280832 |    23098     23 |      750 |      562
701.98/702.12	c  701s |      17 |   431176 |   281532 |    23098     23 |      750 |      562
703.98/704.15	c  703s |      17 |   431921 |   282232 |    23098     23 |      750 |      562
706.18/706.34	c  706s |      17 |   432668 |   282932 |    23098     23 |      750 |      562
708.18/708.38	c  708s |      17 |   433329 |   283532 |    23098     23 |      750 |      562
710.28/710.43	c  710s |      17 |   433976 |   284132 |    23098     23 |      750 |      562
712.38/712.58	c  712s |      17 |   434600 |   284732 |    23098     23 |      750 |      562
714.88/715.07	c  714s |      17 |   435231 |   285332 |    23098     24 |      750 |      562
716.98/717.17	c  716s |      17 |   436069 |   286132 |    23098     24 |      750 |      562
719.07/719.28	c  719s |      17 |   436815 |   286832 |    23098     24 |      750 |      562
721.17/721.33	c  721s |      17 |   437542 |   287532 |    23098     24 |      750 |      562
723.28/723.44	c  723s |      17 |   438387 |   288332 |    23098     24 |      750 |      562
725.58/725.78	c  725s |      17 |   439236 |   289132 |    23098     24 |      750 |      562
727.78/727.96	c  727s |      17 |   439965 |   289832 |    23098     24 |      750 |      562
730.08/730.28	c  730s |      17 |   440698 |   290532 |    23098     24 |      750 |      562
732.18/732.33	c  732s |      17 |   441325 |   291132 |    23098     24 |      750 |      562
734.18/734.37	c  734s |      17 |   441942 |   291732 |    23098     24 |      750 |      562
736.29/736.43	c  736s |      17 |   442568 |   292332 |    23098     24 |      750 |      562
738.58/738.74	c  738s |      17 |   443295 |   293032 |    23098     24 |      750 |      562
740.59/740.78	c  740s |      17 |   443923 |   293632 |    23098     24 |      750 |      562
742.79/742.98	c  742s |      17 |   444545 |   294232 |    25408     24 |      750 |      562
745.18/745.32	c  745s |      17 |   445179 |   294832 |    25408     24 |      750 |      562
747.38/747.53	c  747s |      17 |   445794 |   295432 |    25408     24 |      750 |      562
749.58/749.78	c  749s |      17 |   446416 |   296032 |    25408     24 |      750 |      562
750.49/750.64	c  750s |      18 |   446641 |   296252 |    25408     24 |      750 |      562
752.58/752.73	c  752s |      18 |   451178 |   297852 |    25408     24 |      750 |      562
754.58/754.79	c  754s |      18 |   456339 |   299752 |    25408     24 |      750 |      562
756.98/757.14	c  756s |      18 |   457847 |   300952 |    25408     25 |      750 |      562
759.08/759.25	c  758s |      18 |   459119 |   302052 |    25408     25 |      750 |      562
761.18/761.34	c  761s |      18 |   460298 |   303052 |    25408     25 |      750 |      562
763.38/763.52	c  763s |      18 |   461706 |   304152 |    25408     25 |      750 |      562
765.57/765.71	c  765s |      18 |   463159 |   305252 |    25408     25 |      750 |      562
767.67/767.86	c  767s |      18 |   464093 |   306052 |    25408     25 |      750 |      562
769.97/770.13	c  769s |      18 |   465020 |   306852 |    25408     25 |      750 |      562
772.17/772.32	c  772s |      18 |   465825 |   307552 |    25408     25 |      750 |      562
774.17/774.37	c  774s |      18 |   466794 |   308352 |    25408     25 |      750 |      562
776.17/776.38	c  776s |      18 |   467750 |   309152 |    25408     25 |      750 |      562
778.37/778.52	c  778s |      18 |   468660 |   309952 |    25408     25 |      750 |      562
780.57/780.78	c  780s |      18 |   469450 |   310652 |    25408     25 |      750 |      562
782.57/782.79	c  782s |      18 |   470118 |   311252 |    25408     25 |      750 |      562
784.87/785.03	c  784s |      18 |   470933 |   311952 |    25408     25 |      750 |      562
787.07/787.21	c  786s |      18 |   471867 |   312752 |    25408     25 |      750 |      562
789.17/789.33	c  789s |      18 |   472653 |   313452 |    25408     25 |      750 |      562
791.28/791.46	c  791s |      18 |   473302 |   314052 |    25408     25 |      750 |      562
793.48/793.62	c  793s |      18 |   474002 |   314652 |    25408     25 |      750 |      562
795.68/795.89	c  795s |      18 |   474814 |   315352 |    25408     25 |      750 |      562
797.78/797.96	c  797s |      18 |   475380 |   315852 |    25408     26 |      750 |      562
799.98/800.20	c  799s |      18 |   476179 |   316552 |    25408     26 |      750 |      562
802.28/802.47	c  802s |      18 |   476815 |   317152 |    25408     26 |      750 |      562
804.47/804.67	c  804s |      18 |   477841 |   317952 |    25408     26 |      750 |      562
806.67/806.81	c  806s |      18 |   478690 |   318652 |    25408     26 |      750 |      562
808.67/808.86	c  808s |      18 |   479560 |   319352 |    25408     26 |      750 |      562
810.87/811.06	c  810s |      18 |   480363 |   320052 |    25408     26 |      750 |      562
813.27/813.43	c  813s |      18 |   481186 |   320752 |    25408     26 |      750 |      562
815.26/815.44	c  815s |      18 |   481723 |   321252 |    25408     26 |      750 |      562
817.67/817.83	c  817s |      18 |   482383 |   321852 |    25408     26 |      750 |      562
820.06/820.22	c  819s |      18 |   483069 |   322452 |    25408     26 |      750 |      562
822.07/822.23	c  821s |      18 |   483632 |   322952 |    25408     26 |      750 |      562
824.36/824.57	c  824s |      18 |   484318 |   323552 |    25408     26 |      750 |      562
826.76/826.91	c  826s |      18 |   485006 |   324152 |    25408     26 |      750 |      562
828.96/829.16	c  828s |      18 |   485573 |   324652 |    25408     26 |      750 |      562
831.36/831.54	c  831s |      18 |   486273 |   325252 |    25408     26 |      750 |      562
833.46/833.65	c  833s |      18 |   486878 |   325752 |    25408     26 |      750 |      562
835.66/835.80	c  835s |      18 |   487569 |   326352 |    25408     26 |      750 |      562
837.66/837.83	c  837s |      18 |   488157 |   326852 |    25408     26 |      750 |      562
839.86/840.07	c  839s |      18 |   488715 |   327352 |    25408     26 |      750 |      562
841.96/842.15	c  841s |      18 |   489145 |   327752 |    25408     26 |      750 |      562
844.26/844.48	c  844s |      18 |   489701 |   328252 |    25408     26 |      750 |      562
846.56/846.77	c  846s |      18 |   490243 |   328752 |    25408     26 |      750 |      562
848.86/849.05	c  848s |      18 |   490788 |   329252 |    25408     26 |      750 |      562
851.56/851.72	c  851s |      18 |   491381 |   329752 |    25408     27 |      750 |      562
853.76/853.99	c  853s |      18 |   492275 |   330452 |    25408     27 |      750 |      562
855.96/856.12	c  855s |      18 |   492960 |   331052 |    25408     27 |      750 |      562
858.16/858.32	c  858s |      18 |   493601 |   331652 |    25408     27 |      750 |      562
860.46/860.61	c  860s |      18 |   494250 |   332252 |    25408     27 |      750 |      562
862.66/862.83	c  862s |      18 |   495052 |   332952 |    25408     27 |      750 |      562
864.76/864.95	c  864s |      18 |   495751 |   333552 |    25408     27 |      750 |      562
866.96/867.16	c  866s |      18 |   496418 |   334152 |    25408     27 |      750 |      562
869.15/869.38	c  869s |      18 |   497094 |   334752 |    25408     27 |      750 |      562
871.46/871.69	c  871s |      18 |   497790 |   335352 |    25408     27 |      750 |      562
873.55/873.77	c  873s |      18 |   498492 |   335952 |    25408     27 |      750 |      562
875.75/875.91	c  875s |      18 |   499165 |   336552 |    25408     27 |      750 |      562
878.16/878.31	c  878s |      18 |   499825 |   337152 |    25408     27 |      750 |      562
880.36/880.51	c  880s |      18 |   500479 |   337752 |    25408     27 |      750 |      562
882.56/882.77	c  882s |      18 |   501167 |   338352 |    25408     27 |      750 |      562
884.66/884.85	c  884s |      18 |   501724 |   338852 |    25408     27 |      750 |      562
886.65/886.86	c  886s |      18 |   502284 |   339352 |    25408     27 |      750 |      562
888.65/888.86	c  888s |      18 |   502847 |   339852 |    25408     27 |      750 |      562
891.15/891.37	c  891s |      18 |   503492 |   340452 |    25408     27 |      750 |      562
893.65/893.82	c  893s |      18 |   504052 |   340952 |    25408     27 |      750 |      562
895.76/895.94	c  895s |      18 |   504493 |   341352 |    25408     27 |      750 |      562
898.05/898.22	c  897s |      18 |   505020 |   341852 |    25408     27 |      750 |      562
900.06/900.30	c  900s |      18 |   505617 |   342352 |    25408     27 |      750 |      562
902.15/902.31	c  902s |      18 |   506068 |   342752 |    25408     27 |      750 |      562
904.25/904.45	c  904s |      18 |   506614 |   343252 |    25408     27 |      750 |      562
906.35/906.57	c  906s |      18 |   507151 |   343752 |    25408     27 |      750 |      562
908.35/908.59	c  908s |      18 |   507582 |   344152 |    25408     27 |      750 |      562
910.85/911.00	c  910s |      18 |   508121 |   344652 |    25408     28 |      750 |      562
913.05/913.26	c  912s |      18 |   508791 |   345252 |    25408     28 |      750 |      562
915.35/915.59	c  915s |      18 |   509439 |   345852 |    25408     28 |      750 |      562
917.45/917.65	c  917s |      18 |   509979 |   346352 |    25408     28 |      750 |      562
919.55/919.72	c  919s |      18 |   510520 |   346852 |    25408     28 |      750 |      562
921.65/921.83	c  921s |      18 |   511084 |   347352 |    25408     28 |      750 |      562
923.85/924.00	c  923s |      18 |   511618 |   347852 |    25408     28 |      750 |      562
926.15/926.34	c  926s |      18 |   512263 |   348452 |    25408     28 |      750 |      562
928.44/928.69	c  928s |      18 |   512933 |   349052 |    25408     28 |      750 |      562
930.85/931.09	c  930s |      18 |   513601 |   349652 |    25408     28 |      750 |      562
933.24/933.44	c  933s |      18 |   514277 |   350252 |    25408     28 |      750 |      562
935.25/935.49	c  935s |      18 |   514822 |   350752 |    25408     28 |      750 |      562
937.55/937.73	c  937s |      18 |   515363 |   351252 |    25408     28 |      750 |      562
939.65/939.86	c  939s |      18 |   515945 |   351752 |    25408     28 |      750 |      562
941.74/941.95	c  941s |      18 |   516497 |   352252 |    25408     28 |      750 |      562
943.74/943.99	c  943s |      18 |   517056 |   352752 |    25408     28 |      750 |      562
946.14/946.32	c  946s |      18 |   517682 |   353352 |    25408     28 |      750 |      562
948.45/948.66	c  948s |      18 |   518348 |   353952 |    25408     28 |      750 |      562
950.54/950.72	c  950s |      18 |   518918 |   354452 |    25408     28 |      750 |      562
952.85/953.05	c  952s |      18 |   519447 |   354952 |    25408     28 |      750 |      562
955.24/955.45	c  955s |      18 |   519987 |   355452 |    25408     28 |      750 |      562
957.64/957.86	c  957s |      18 |   520537 |   355952 |    25408     28 |      750 |      562
959.74/959.94	c  959s |      18 |   521146 |   356452 |    25408     28 |      750 |      562
962.14/962.38	c  962s |      18 |   521714 |   356952 |    25408     28 |      750 |      562
964.34/964.58	c  964s |      18 |   522293 |   357452 |    25408     28 |      750 |      562
966.64/966.82	c  966s |      18 |   522730 |   357852 |    25408     28 |      750 |      562
968.64/968.89	c  968s |      18 |   523173 |   358252 |    25408     28 |      750 |      562
970.74/970.94	c  970s |      18 |   523497 |   358552 |    25408     29 |      750 |      562
972.84/973.08	c  972s |      18 |   524034 |   359052 |    25408     29 |      750 |      562
974.94/975.16	c  974s |      18 |   524708 |   359652 |    25408     29 |      750 |      562
977.24/977.43	c  977s |      18 |   525381 |   360252 |    25408     29 |      750 |      562
979.54/979.72	c  979s |      18 |   526281 |   360852 |    25408     29 |      750 |      562
981.64/981.89	c  981s |      18 |   528345 |   361852 |    25408     29 |      750 |      562
983.84/984.05	c  983s |      18 |   530529 |   362852 |    25408     29 |      750 |      562
985.95/986.16	c  985s |      18 |   531808 |   363652 |    25408     29 |      750 |      562
987.94/988.18	c  987s |      18 |   532541 |   364252 |    25408     29 |      750 |      562
990.25/990.42	c  990s |      18 |   533454 |   364952 |    25408     29 |      750 |      562
992.55/992.71	c  992s |      18 |   534126 |   365552 |    25408     29 |      750 |      562
994.54/994.77	c  994s |      18 |   534691 |   366052 |    25408     29 |      750 |      562
996.85/997.05	c  996s |      18 |   535382 |   366652 |    25408     29 |      750 |      562
999.15/999.35	c  999s |      18 |   536063 |   367252 |    25408     29 |      750 |      562
1001.44/1001.61	c 1001s |      18 |   536757 |   367852 |    25408     29 |      750 |      562
1003.55/1003.78	c 1003s |      18 |   537634 |   368552 |    25408     29 |      750 |      562
1005.84/1006.02	c 1005s |      18 |   538467 |   369252 |    25408     29 |      750 |      562
1007.84/1008.09	c 1007s |      18 |   539153 |   369852 |    25408     29 |      750 |      562
1010.04/1010.22	c 1009s |      18 |   539832 |   370452 |    25408     29 |      750 |      562
1012.34/1012.54	c 1012s |      18 |   540517 |   371052 |    25408     29 |      750 |      562
1014.54/1014.71	c 1014s |      18 |   541179 |   371652 |    25408     29 |      750 |      562
1016.64/1016.84	c 1016s |      18 |   541736 |   372152 |    25408     29 |      750 |      562
1018.64/1018.87	c 1018s |      18 |   542339 |   372552 |    25408     30 |      750 |      562
1020.84/1021.02	c 1020s |      18 |   543578 |   373552 |    25408     30 |      750 |      562
1022.94/1023.14	c 1022s |      18 |   544648 |   374452 |    25408     30 |      750 |      562
1025.14/1025.33	c 1025s |      18 |   545577 |   375252 |    25408     30 |      750 |      562
1027.13/1027.38	c 1027s |      18 |   546359 |   375952 |    25408     30 |      750 |      562
1029.33/1029.50	c 1029s |      18 |   547000 |   376552 |    25408     30 |      750 |      562
1031.33/1031.56	c 1031s |      18 |   547656 |   377152 |    25408     30 |      750 |      562
1033.53/1033.75	c 1033s |      18 |   548306 |   377752 |    25408     30 |      750 |      562
1035.63/1035.86	c 1035s |      18 |   549063 |   378452 |    25408     30 |      750 |      562
1037.64/1037.88	c 1037s |      18 |   549711 |   379052 |    25408     30 |      750 |      562
1040.03/1040.29	c 1040s |      18 |   550374 |   379652 |    25408     30 |      750 |      562
1042.23/1042.41	c 1042s |      18 |   550910 |   380152 |    25408     30 |      750 |      562
1044.43/1044.61	c 1044s |      18 |   551467 |   380652 |    25408     30 |      750 |      562
1046.73/1046.97	c 1046s |      18 |   552115 |   381252 |    25408     30 |      750 |      562
1048.83/1049.08	c 1048s |      18 |   552650 |   381752 |    25408     30 |      750 |      562
1050.93/1051.18	c 1050s |      18 |   553186 |   382252 |    25408     30 |      750 |      562
1053.33/1053.50	c 1053s |      18 |   553719 |   382752 |    25408     30 |      750 |      562
1055.33/1055.50	c 1055s |      18 |   554249 |   383252 |    25408     30 |      750 |      562
1057.44/1057.65	c 1057s |      18 |   554768 |   383752 |    25408     30 |      750 |      562
1059.64/1059.81	c 1059s |      18 |   555330 |   384252 |    25408     30 |      750 |      562
1061.93/1062.17	c 1061s |      18 |   555872 |   384752 |    25408     30 |      750 |      562
1064.33/1064.52	c 1064s |      18 |   556403 |   385252 |    25408     30 |      750 |      562
1066.43/1066.68	c 1066s |      18 |   557173 |   385852 |    25408     30 |      750 |      562
1068.73/1068.98	c 1068s |      18 |   557871 |   386452 |    25408     30 |      750 |      562
1071.63/1071.89	c 1071s |      18 |   558519 |   387052 |    25408     31 |      750 |      562
1073.73/1073.91	c 1073s |      18 |   559162 |   387652 |    25408     31 |      750 |      562
1076.03/1076.22	c 1075s |      18 |   559961 |   388352 |    25408     31 |      750 |      562
1078.33/1078.57	c 1078s |      18 |   560805 |   389052 |    25408     31 |      750 |      562
1080.53/1080.71	c 1080s |      18 |   561618 |   389752 |    25408     31 |      750 |      562
1082.63/1082.87	c 1082s |      18 |   562443 |   390452 |    25408     31 |      750 |      562
1084.83/1085.08	c 1084s |      18 |   563274 |   391152 |    25408     31 |      750 |      562
1086.92/1087.17	c 1086s |      18 |   564136 |   391852 |    25408     31 |      750 |      562
1089.02/1089.27	c 1089s |      18 |   564999 |   392552 |    25408     31 |      750 |      562
1091.22/1091.46	c 1091s |      18 |   565815 |   393252 |    25408     31 |      750 |      562
1093.42/1093.65	c 1093s |      18 |   566658 |   393952 |    25408     31 |      750 |      562
1095.62/1095.88	c 1095s |      18 |   567358 |   394552 |    25408     31 |      750 |      562
1097.62/1097.89	c 1097s |      18 |   568086 |   395152 |    25408     31 |      750 |      562
1099.72/1099.96	c 1099s |      18 |   568749 |   395752 |    25408     31 |      750 |      562
1101.82/1102.06	c 1101s |      18 |   569307 |   396252 |    25408     31 |      750 |      562
1103.92/1104.13	c 1103s |      18 |   570043 |   396852 |    25408     31 |      750 |      562
1106.22/1106.49	c 1106s |      18 |   570744 |   397452 |    25408     31 |      750 |      562
1108.72/1108.90	c 1108s |      18 |   571297 |   397952 |    25408     31 |      750 |      562
1111.12/1111.30	c 1111s |      18 |   571975 |   398552 |    25408     31 |      750 |      562
1113.12/1113.32	c 1113s |      18 |   572416 |   398952 |    25408     31 |      750 |      562
1115.52/1115.79	c 1115s |      18 |   572955 |   399452 |    25408     31 |      750 |      562
1117.72/1117.97	c 1117s |      18 |   573675 |   400052 |    25408     31 |      750 |      562
1120.22/1120.41	c 1120s |      18 |   574352 |   400652 |    25408     31 |      750 |      562
1122.42/1122.61	c 1122s |      18 |   574763 |   401052 |    25408     31 |      750 |      562
1124.62/1124.88	c 1124s |      18 |   575095 |   401352 |    25408     32 |      750 |      562
1126.92/1127.18	c 1126s |      18 |   575623 |   401852 |    25408     32 |      750 |      562
1129.22/1129.44	c 1129s |      18 |   576158 |   402352 |    25408     32 |      750 |      562
1131.62/1131.82	c 1131s |      18 |   576926 |   403052 |    25408     32 |      750 |      562
1133.81/1134.03	c 1133s |      18 |   577484 |   403552 |    25408     32 |      750 |      562
1135.91/1136.14	c 1135s |      18 |   578019 |   404052 |    25408     32 |      750 |      562
1138.11/1138.34	c 1138s |      18 |   578556 |   404552 |    25408     32 |      750 |      562
1140.21/1140.46	c 1140s |      18 |   579119 |   405052 |    25408     32 |      750 |      562
1142.51/1142.74	c 1142s |      18 |   579642 |   405552 |    25408     32 |      750 |      562
1144.51/1144.79	c 1144s |      18 |   580330 |   406152 |    25408     32 |      750 |      562
1146.61/1146.80	c 1146s |      18 |   581075 |   406752 |    25408     32 |      750 |      562
1148.81/1149.01	c 1148s |      18 |   581789 |   407352 |    25408     32 |      750 |      562
1150.82/1151.03	c 1150s |      18 |   582464 |   407952 |    25408     32 |      750 |      562
1153.21/1153.42	c 1153s |      18 |   583007 |   408452 |    25408     32 |      750 |      562
1155.41/1155.60	c 1155s |      18 |   583443 |   408852 |    25408     32 |      750 |      562
1157.71/1157.92	c 1157s |      18 |   583971 |   409352 |    25408     32 |      750 |      562
1159.72/1159.99	c 1159s |      18 |   584398 |   409752 |    25408     32 |      750 |      562
1162.01/1162.21	c 1161s |      18 |   584825 |   410152 |    25408     32 |      750 |      562
1164.31/1164.58	c 1164s |      18 |   585388 |   410652 |    25408     32 |      750 |      562
1166.51/1166.73	c 1166s |      18 |   586109 |   411252 |    25408     32 |      750 |      562
1168.91/1169.10	c 1168s |      18 |   586788 |   411852 |    25408     32 |      750 |      562
1171.01/1171.20	c 1170s |      18 |   587363 |   412352 |    25408     32 |      750 |      562
1173.01/1173.23	c 1172s |      18 |   587944 |   412852 |    25408     32 |      750 |      562
1175.21/1175.40	c 1175s |      18 |   588507 |   413352 |    25408     32 |      750 |      562
1177.41/1177.69	c 1177s |      18 |   589188 |   413952 |    25408     32 |      750 |      562
1179.52/1179.77	c 1179s |      18 |   589768 |   414452 |    25408     32 |      750 |      562
1181.81/1182.06	c 1181s |      18 |   590326 |   414952 |    25408     32 |      750 |      562
1184.01/1184.20	c 1183s |      18 |   590901 |   415452 |    25408     32 |      750 |      562
1186.41/1186.68	c 1186s |      18 |   591347 |   415852 |    25408     33 |      750 |      562
1188.71/1188.92	c 1188s |      18 |   592138 |   416552 |    25408     33 |      750 |      562
1190.71/1190.93	c 1190s |      18 |   592935 |   417252 |    25408     33 |      750 |      562
1193.01/1193.23	c 1192s |      18 |   593719 |   417952 |    25408     33 |      750 |      562
1195.31/1195.53	c 1195s |      18 |   594519 |   418652 |    25408     33 |      750 |      562
1197.31/1197.59	c 1197s |      18 |   595198 |   419252 |    25408     33 |      750 |      562
1199.51/1199.70	c 1199s |      18 |   595860 |   419852 |    25408     33 |      750 |      562
1201.91/1202.10	c 1201s |      18 |   596671 |   420552 |    25408     33 |      750 |      562
1203.91/1204.17	c 1203s |      18 |   597246 |   421052 |    25408     33 |      750 |      562
1206.01/1206.28	c 1206s |      18 |   597789 |   421552 |    25408     33 |      750 |      562
1208.11/1208.38	c 1208s |      18 |   598343 |   422052 |    25408     33 |      750 |      562
1210.41/1210.64	c 1210s |      18 |   598896 |   422552 |    25408     33 |      750 |      562
1212.81/1213.01	c 1212s |      18 |   599455 |   423052 |    25408     33 |      750 |      562
1215.01/1215.22	c 1214s |      18 |   599986 |   423552 |    25408     33 |      750 |      562
1217.31/1217.54	c 1217s |      18 |   600555 |   424052 |    25408     33 |      750 |      562
1219.60/1219.87	c 1219s |      18 |   601114 |   424552 |    25408     33 |      750 |      562
1221.90/1222.15	c 1221s |      18 |   601658 |   425052 |    25408     33 |      750 |      562
1223.90/1224.15	c 1223s |      18 |   602178 |   425452 |    25408     33 |      750 |      562
1226.40/1226.61	c 1226s |      18 |   602722 |   425952 |    25408     33 |      750 |      562
1228.80/1229.06	c 1228s |      18 |   603262 |   426452 |    25408     33 |      750 |      562
1231.40/1231.64	c 1231s |      18 |   603798 |   426952 |    25408     33 |      750 |      562
1233.60/1233.85	c 1233s |      18 |   604372 |   427452 |    25408     33 |      750 |      562
1235.70/1235.93	c 1235s |      18 |   604976 |   427952 |    25408     33 |      750 |      562
1237.90/1238.13	c 1237s |      18 |   605528 |   428452 |    25408     33 |      750 |      562
1240.30/1240.59	c 1240s |      18 |   606062 |   428952 |    25408     33 |      750 |      562
1242.70/1242.94	c 1242s |      18 |   606627 |   429452 |    25408     33 |      750 |      562
1244.70/1244.95	c 1244s |      18 |   607072 |   429852 |    25408     33 |      750 |      562
1247.00/1247.25	c 1246s |      18 |   607529 |   430252 |    25408     34 |      750 |      562
1249.10/1249.37	c 1249s |      18 |   608105 |   430752 |    25408     34 |      750 |      562
1251.29/1251.56	c 1251s |      18 |   608671 |   431252 |    25408     34 |      750 |      562
1253.59/1253.83	c 1253s |      18 |   609225 |   431752 |    25408     34 |      750 |      562
1255.89/1256.16	c 1255s |      18 |   609771 |   432252 |    25408     34 |      750 |      562
1258.09/1258.31	c 1258s |      18 |   610215 |   432652 |    25408     34 |      750 |      562
1260.19/1260.41	c 1260s |      18 |   610638 |   433052 |    25408     34 |      750 |      562
1262.59/1262.80	c 1262s |      18 |   611336 |   433652 |    25408     34 |      750 |      562
1264.99/1265.23	c 1264s |      18 |   611892 |   434152 |    25408     34 |      750 |      562
1267.40/1267.63	c 1267s |      18 |   612450 |   434652 |    25408     34 |      750 |      562
1269.39/1269.68	c 1269s |      18 |   612888 |   435052 |    25408     34 |      750 |      562
1271.89/1272.17	c 1271s |      18 |   613451 |   435552 |    25408     34 |      750 |      562
1274.28/1274.54	c 1274s |      18 |   614017 |   436052 |    25408     34 |      750 |      562
1276.38/1276.66	c 1276s |      18 |   614558 |   436552 |    25408     34 |      750 |      562
1278.39/1278.66	c 1278s |      18 |   614984 |   436952 |    25408     34 |      750 |      562
1280.69/1280.99	c 1280s |      18 |   615544 |   437452 |    25408     34 |      750 |      562
1282.79/1283.00	c 1282s |      18 |   615993 |   437852 |    25408     34 |      750 |      562
1284.88/1285.17	c 1284s |      18 |   616404 |   438252 |    25408     34 |      750 |      562
1287.48/1287.72	c 1287s |      18 |   616946 |   438752 |    25408     34 |      750 |      562
1289.68/1289.99	c 1289s |      18 |   617380 |   439152 |    25408     34 |      750 |      562
1291.88/1292.14	c 1291s |      18 |   617949 |   439652 |    25408     34 |      750 |      562
1294.17/1294.47	c 1294s |      18 |   618612 |   440252 |    25408     34 |      750 |      562
1296.27/1296.50	c 1296s |      18 |   619042 |   440652 |    25408     34 |      750 |      562
1298.37/1298.62	c 1298s |      18 |   619502 |   441052 |    25408     34 |      750 |      562
1300.57/1300.88	c 1300s |      18 |   619930 |   441452 |    27949     34 |      750 |      562
1303.07/1303.31	c 1303s |      18 |   620471 |   441952 |    27949     34 |      750 |      562
1305.27/1305.50	c 1305s |      18 |   621068 |   442452 |    27949     34 |      750 |      562
1307.27/1307.59	c 1307s |      18 |   621508 |   442852 |    27949     34 |      750 |      562
1309.57/1309.87	c 1309s |      18 |   621948 |   443252 |    27949     34 |      750 |      562
1311.77/1312.08	c 1311s |      18 |   622380 |   443652 |    27949     34 |      750 |      562
1314.27/1314.50	c 1314s |      18 |   622795 |   444052 |    27949     34 |      750 |      562
1316.26/1316.54	c 1316s |      19 |   623279 |   444482 |    27949     34 |      750 |      562
1318.26/1318.58	c 1318s |      19 |   628193 |   445182 |    27949     35 |      750 |      562
1320.46/1320.71	c 1320s |      19 |   632836 |   447382 |    27949     35 |      750 |      562
1322.47/1322.76	c 1322s |      19 |   636463 |   449082 |    27949     35 |      750 |      562
1324.66/1324.91	c 1324s |      19 |   639422 |   450782 |    27949     35 |      750 |      562
1326.66/1326.94	c 1326s |      19 |   640729 |   451882 |    27949     35 |      750 |      562
1328.76/1329.09	c 1328s |      19 |   642335 |   453082 |    27949     35 |      750 |      562
1330.76/1331.10	c 1330s |      19 |   643415 |   453982 |    27949     35 |      750 |      562
1332.96/1333.24	c 1332s |      19 |   644369 |   454782 |    27949     35 |      750 |      562
1335.25/1335.54	c 1335s |      19 |   645434 |   455682 |    27949     35 |      750 |      562
1337.45/1337.72	c 1337s |      19 |   646352 |   456482 |    27949     35 |      750 |      562
1339.65/1339.97	c 1339s |      19 |   647418 |   457382 |    27949     35 |      750 |      562
1341.85/1342.13	c 1341s |      19 |   648220 |   458082 |    27949     35 |      750 |      562
1343.95/1344.27	c 1343s |      19 |   649029 |   458782 |    27949     35 |      750 |      562
1346.25/1346.56	c 1346s |      19 |   649948 |   459582 |    27949     35 |      750 |      562
1348.55/1348.88	c 1348s |      19 |   650717 |   460282 |    27949     35 |      750 |      562
1350.85/1351.14	c 1350s |      19 |   651490 |   460982 |    27949     35 |      750 |      562
1353.04/1353.36	c 1353s |      19 |   652058 |   461482 |    27949     36 |      750 |      562
1355.04/1355.38	c 1355s |      19 |   652719 |   462082 |    27949     36 |      750 |      562
1357.34/1357.68	c 1357s |      19 |   653683 |   462882 |    27949     36 |      750 |      562
1359.44/1359.77	c 1359s |      19 |   654722 |   463682 |    27949     36 |      750 |      562
1361.54/1361.83	c 1361s |      19 |   655911 |   464582 |    27949     36 |      750 |      562
1363.64/1363.98	c 1363s |      19 |   656781 |   465282 |    27949     36 |      750 |      562
1365.84/1366.17	c 1365s |      19 |   657620 |   465982 |    27949     36 |      750 |      562
1368.14/1368.47	c 1368s |      19 |   658447 |   466682 |    27949     36 |      750 |      562
1370.23/1370.52	c 1370s |      19 |   659123 |   467282 |    27949     36 |      750 |      562
1372.33/1372.67	c 1372s |      19 |   659976 |   467982 |    27949     36 |      750 |      562
1374.43/1374.70	c 1374s |      19 |   660651 |   468582 |    27949     36 |      750 |      562
1376.43/1376.76	c 1376s |      19 |   661626 |   469282 |    27949     36 |      750 |      562
1378.63/1378.90	c 1378s |      19 |   662322 |   469882 |    27949     36 |      750 |      562
1380.83/1381.17	c 1380s |      19 |   663218 |   470582 |    27949     36 |      750 |      562
1383.23/1383.50	c 1383s |      19 |   664191 |   471282 |    27949     36 |      750 |      562
1385.23/1385.52	c 1385s |      19 |   665549 |   472182 |    27949     36 |      750 |      562
1387.43/1387.72	c 1387s |      19 |   666530 |   472982 |    27949     36 |      750 |      562
1389.55/1389.84	c 1389s |      19 |   667357 |   473682 |    27949     36 |      750 |      562
1391.75/1392.03	c 1391s |      19 |   668235 |   474382 |    27949     36 |      750 |      562
1394.04/1394.38	c 1394s |      19 |   669036 |   475082 |    27949     36 |      750 |      562
1396.04/1396.39	c 1396s |      19 |   669934 |   475782 |    27949     36 |      750 |      562
1398.24/1398.51	c 1398s |      19 |   671059 |   476582 |    27949     36 |      750 |      562
1400.24/1400.59	c 1400s |      19 |   671722 |   477082 |    27949     37 |      750 |      562
1402.54/1402.82	c 1402s |      19 |   672829 |   477982 |    27949     37 |      750 |      562
1404.73/1405.06	c 1404s |      19 |   673911 |   478882 |    27949     37 |      750 |      562
1407.04/1407.35	c 1407s |      19 |   674844 |   479682 |    27949     37 |      750 |      562
1409.24/1409.59	c 1409s |      19 |   675656 |   480382 |    27949     37 |      750 |      562
1411.44/1411.75	c 1411s |      19 |   676447 |   481082 |    27949     37 |      750 |      562
1413.53/1413.89	c 1413s |      19 |   677293 |   481782 |    27949     37 |      750 |      562
1415.63/1415.96	c 1415s |      19 |   677975 |   482382 |    27949     37 |      750 |      562
1417.73/1418.01	c 1417s |      19 |   678928 |   483182 |    27949     37 |      750 |      562
1419.73/1420.09	c 1419s |      19 |   679983 |   483982 |    27949     37 |      750 |      562
1421.93/1422.26	c 1421s |      19 |   680821 |   484682 |    27949     37 |      750 |      562
1424.13/1424.41	c 1424s |      19 |   681634 |   485382 |    27949     37 |      750 |      562
1426.43/1426.73	c 1426s |      19 |   682612 |   486182 |    27949     37 |      750 |      562
1428.53/1428.82	c 1428s |      19 |   683316 |   486782 |    27949     37 |      750 |      562
1430.73/1431.07	c 1430s |      19 |   684019 |   487382 |    27949     37 |      750 |      562
1432.73/1433.09	c 1432s |      19 |   684583 |   487882 |    27949     37 |      750 |      562
1435.12/1435.42	c 1435s |      19 |   685128 |   488382 |    27949     37 |      750 |      562
1437.52/1437.83	c 1437s |      19 |   685821 |   488982 |    27949     37 |      750 |      562
1439.82/1440.12	c 1439s |      19 |   686523 |   489582 |    27949     37 |      750 |      562
1442.02/1442.39	c 1442s |      19 |   687235 |   490182 |    27949     37 |      750 |      562
1444.32/1444.70	c 1444s |      19 |   687948 |   490782 |    27949     37 |      750 |      562
1446.73/1447.06	c 1446s |      19 |   688655 |   491382 |    27949     37 |      750 |      562
1448.93/1449.27	c 1448s |      19 |   689210 |   491882 |    27949     37 |      750 |      562
1451.32/1451.66	c 1451s |      19 |   689785 |   492382 |    27949     37 |      750 |      562
1453.33/1453.69	c 1453s |      19 |   690268 |   492782 |    27949     38 |      750 |      562
1455.43/1455.76	c 1455s |      19 |   690959 |   493382 |    27949     38 |      750 |      562
1457.72/1458.05	c 1457s |      19 |   691646 |   493982 |    27949     38 |      750 |      562
1459.72/1460.06	c 1459s |      19 |   692214 |   494482 |    27949     38 |      750 |      562
1461.92/1462.24	c 1461s |      19 |   692890 |   495082 |    27949     38 |      750 |      562
1464.12/1464.43	c 1464s |      19 |   693550 |   495682 |    27949     38 |      750 |      562
1466.42/1466.73	c 1466s |      19 |   694239 |   496282 |    27949     38 |      750 |      562
1468.62/1468.92	c 1468s |      19 |   694910 |   496882 |    27949     38 |      750 |      562
1470.61/1470.94	c 1470s |      19 |   695478 |   497382 |    27949     38 |      750 |      562
1472.81/1473.14	c 1472s |      19 |   696145 |   497982 |    27949     38 |      750 |      562
1475.22/1475.58	c 1475s |      19 |   696830 |   498582 |    27949     38 |      750 |      562
1477.31/1477.69	c 1477s |      19 |   697530 |   499182 |    27949     38 |      750 |      562
1479.41/1479.74	c 1479s |      19 |   698073 |   499682 |    27949     38 |      750 |      562
1481.61/1481.95	c 1481s |      19 |   698631 |   500182 |    27949     38 |      750 |      562
1484.12/1484.41	c 1484s |      19 |   699298 |   500782 |    27949     38 |      750 |      562
1486.22/1486.59	c 1486s |      19 |   699972 |   501382 |    27949     38 |      750 |      562
1488.71/1489.00	c 1488s |      19 |   700529 |   501882 |    27949     38 |      750 |      562
1491.11/1491.43	c 1491s |      19 |   701093 |   502382 |    27949     38 |      750 |      562
1493.31/1493.61	c 1493s |      19 |   701647 |   502882 |    27949     38 |      750 |      562
1495.51/1495.85	c 1495s |      19 |   702200 |   503382 |    27949     38 |      750 |      562
1497.62/1497.95	c 1497s |      19 |   702632 |   503782 |    27949     38 |      750 |      562
1499.72/1500.01	c 1499s |      19 |   703081 |   504182 |    27949     38 |      750 |      562
1501.72/1502.03	c 1501s |      19 |   703526 |   504582 |    27949     38 |      750 |      562
1503.92/1504.24	c 1503s |      19 |   704088 |   505082 |    27949     38 |      750 |      562
1505.91/1506.26	c 1505s |      19 |   704511 |   505482 |    27949     38 |      750 |      562
1508.01/1508.31	c 1508s |      19 |   704976 |   505882 |    27949     38 |      750 |      562
1510.11/1510.47	c 1510s |      19 |   705411 |   506282 |    27949     38 |      750 |      562
1512.31/1512.64	c 1512s |      19 |   705845 |   506682 |    27949     38 |      750 |      562
1514.51/1514.89	c 1514s |      19 |   706436 |   507182 |    27949     38 |      750 |      562
1516.61/1516.92	c 1516s |      19 |   706880 |   507582 |    27949     38 |      750 |      562
1518.81/1519.15	c 1518s |      19 |   707441 |   508082 |    27949     38 |      750 |      562
1521.11/1521.47	c 1521s |      19 |   707772 |   508382 |    27949     39 |      750 |      562
1523.51/1523.85	c 1523s |      19 |   708430 |   508982 |    27949     39 |      750 |      562
1525.81/1526.16	c 1525s |      19 |   709203 |   509682 |    27949     39 |      750 |      562
1528.01/1528.34	c 1528s |      19 |   709880 |   510282 |    27949     39 |      750 |      562
1530.31/1530.66	c 1530s |      19 |   710536 |   510882 |    27949     39 |      750 |      562
1532.41/1532.77	c 1532s |      19 |   711302 |   511482 |    27949     39 |      750 |      562
1534.71/1535.03	c 1534s |      19 |   712189 |   512182 |    27949     39 |      750 |      562
1537.00/1537.32	c 1537s |      19 |   712850 |   512782 |    27949     39 |      750 |      562
1539.30/1539.62	c 1539s |      19 |   713632 |   513482 |    27949     39 |      750 |      562
1541.50/1541.86	c 1541s |      19 |   714575 |   514182 |    27949     39 |      750 |      562
1543.50/1543.89	c 1543s |      19 |   715282 |   514782 |    27949     39 |      750 |      562
1545.70/1546.08	c 1545s |      19 |   716145 |   515482 |    27949     39 |      750 |      562
1547.99/1548.32	c 1548s |      19 |   716845 |   516082 |    27949     39 |      750 |      562
1550.10/1550.48	c 1550s |      19 |   717522 |   516682 |    27949     39 |      750 |      562
1552.09/1552.50	c 1552s |      19 |   718224 |   517282 |    27949     39 |      750 |      562
1554.50/1554.83	c 1554s |      19 |   719022 |   517982 |    27949     39 |      750 |      562
1556.70/1557.02	c 1556s |      19 |   719570 |   518482 |    27949     39 |      750 |      562
1558.80/1559.14	c 1558s |      19 |   720434 |   519082 |    27949     39 |      750 |      562
1561.00/1561.35	c 1561s |      19 |   721426 |   519782 |    27949     39 |      750 |      562
1563.20/1563.57	c 1563s |      19 |   722220 |   520382 |    27949     39 |      750 |      562
1565.39/1565.78	c 1565s |      19 |   722984 |   520982 |    27949     39 |      750 |      562
1567.69/1568.01	c 1567s |      19 |   723692 |   521582 |    27949     39 |      750 |      562
1569.68/1570.04	c 1569s |      19 |   724416 |   522182 |    27949     39 |      750 |      562
1571.88/1572.30	c 1572s |      19 |   725107 |   522782 |    27949     39 |      750 |      562
1574.08/1574.47	c 1574s |      19 |   726090 |   523482 |    27949     39 |      750 |      562
1576.28/1576.62	c 1576s |      19 |   726817 |   524082 |    27949     40 |      750 |      562
1578.28/1578.68	c 1578s |      19 |   727748 |   524882 |    27949     40 |      750 |      562
1580.37/1580.70	c 1580s |      19 |   728680 |   525682 |    27949     40 |      750 |      562
1582.37/1582.76	c 1582s |      19 |   729634 |   526482 |    27949     40 |      750 |      562
1584.37/1584.79	c 1584s |      19 |   730430 |   527182 |    27949     40 |      750 |      562
1586.57/1586.91	c 1586s |      19 |   731215 |   527882 |    27949     40 |      750 |      562
1588.87/1589.20	c 1588s |      19 |   731980 |   528582 |    27949     40 |      750 |      562
1591.07/1591.48	c 1591s |      19 |   732792 |   529282 |    27949     40 |      750 |      562
1593.27/1593.68	c 1593s |      19 |   733443 |   529882 |    27949     40 |      750 |      562
1595.56/1595.98	c 1595s |      19 |   734110 |   530482 |    27949     40 |      750 |      562
1597.76/1598.18	c 1597s |      19 |   734818 |   531082 |    27949     40 |      750 |      562
1600.16/1600.57	c 1600s |      19 |   735366 |   531582 |    27949     40 |      750 |      562
1602.47/1602.88	c 1602s |      19 |   736033 |   532182 |    27949     40 |      750 |      562
1604.46/1604.89	c 1604s |      19 |   736692 |   532782 |    27949     40 |      750 |      562
1606.56/1606.91	c 1606s |      19 |   737231 |   533282 |    27949     40 |      750 |      562
1608.66/1609.07	c 1608s |      19 |   737770 |   533782 |    27949     40 |      750 |      562
1610.86/1611.27	c 1610s |      19 |   738303 |   534282 |    27949     40 |      750 |      562
1612.96/1613.38	c 1613s |      19 |   738743 |   534682 |    27949     40 |      750 |      562
1615.26/1615.66	c 1615s |      19 |   739268 |   535182 |    27949     40 |      750 |      562
1617.36/1617.77	c 1617s |      19 |   739816 |   535682 |    27949     40 |      750 |      562
1619.66/1620.03	c 1619s |      19 |   740354 |   536182 |    27949     40 |      750 |      562
1621.76/1622.17	c 1621s |      19 |   740918 |   536682 |    27949     40 |      750 |      562
1623.95/1624.38	c 1624s |      19 |   741594 |   537282 |    27949     40 |      750 |      562
1626.25/1626.66	c 1626s |      19 |   742444 |   537982 |    27949     40 |      750 |      562
1628.45/1628.85	c 1628s |      19 |   743003 |   538482 |    27949     40 |      750 |      562
1630.45/1630.86	c 1630s |      19 |   743585 |   538982 |    27949     40 |      750 |      562
1633.25/1633.66	c 1633s |      19 |   744158 |   539482 |    27949     41 |      750 |      562
1635.45/1635.88	c 1635s |      19 |   744948 |   540182 |    27949     41 |      750 |      562
1637.65/1638.03	c 1637s |      19 |   745748 |   540882 |    27949     41 |      750 |      562
1639.95/1640.36	c 1640s |      19 |   746537 |   541582 |    27949     41 |      750 |      562
1642.05/1642.48	c 1642s |      19 |   747195 |   542182 |    27949     41 |      750 |      562
1644.24/1644.68	c 1644s |      19 |   747870 |   542782 |    27949     41 |      750 |      562
1646.44/1646.85	c 1646s |      19 |   748682 |   543482 |    27949     41 |      750 |      562
1648.54/1648.90	c 1648s |      19 |   749340 |   544082 |    27949     41 |      750 |      562
1650.74/1651.16	c 1650s |      19 |   750007 |   544682 |    27949     41 |      750 |      562
1652.94/1653.36	c 1653s |      19 |   750680 |   545282 |    27949     41 |      750 |      562
1655.14/1655.59	c 1655s |      19 |   751357 |   545882 |    27949     41 |      750 |      562
1657.44/1657.81	c 1657s |      19 |   752027 |   546482 |    27949     41 |      750 |      562
1659.64/1660.06	c 1659s |      19 |   752569 |   546982 |    27949     41 |      750 |      562
1662.14/1662.52	c 1662s |      19 |   753216 |   547582 |    27949     41 |      750 |      562
1664.34/1664.72	c 1664s |      19 |   753755 |   548082 |    27949     41 |      750 |      562
1666.83/1667.29	c 1667s |      19 |   754313 |   548582 |    27949     41 |      750 |      562
1669.13/1669.56	c 1669s |      19 |   754878 |   549082 |    27949     41 |      750 |      562
1671.23/1671.65	c 1671s |      19 |   755619 |   549682 |    27949     41 |      750 |      562
1673.33/1673.79	c 1673s |      19 |   756327 |   550282 |    27949     41 |      750 |      562
1675.52/1675.95	c 1675s |      19 |   757030 |   550882 |    27949     41 |      750 |      562
1677.63/1678.07	c 1677s |      19 |   757716 |   551482 |    27949     41 |      750 |      562
1680.02/1680.43	c 1680s |      19 |   758396 |   552082 |    27949     41 |      750 |      562
1682.42/1682.82	c 1682s |      19 |   759072 |   552682 |    27949     41 |      750 |      562
1684.52/1684.95	c 1684s |      19 |   759629 |   553182 |    27949     41 |      750 |      562
1686.92/1687.39	c 1687s |      19 |   760193 |   553682 |    27949     41 |      750 |      562
1689.02/1689.45	c 1689s |      19 |   760770 |   554182 |    27949     41 |      750 |      562
1691.12/1691.57	c 1691s |      19 |   761342 |   554682 |    27949     41 |      750 |      562
1693.82/1694.27	c 1693s |      19 |   761914 |   555182 |    27949     42 |      750 |      562
1695.81/1696.29	c 1696s |      19 |   762581 |   555782 |    27949     42 |      750 |      562
1698.11/1698.53	c 1698s |      19 |   763242 |   556382 |    27949     42 |      750 |      562
1700.11/1700.55	c 1700s |      19 |   763779 |   556882 |    27949     42 |      750 |      562
1702.31/1702.79	c 1702s |      19 |   764413 |   557482 |    27949     42 |      750 |      562
1704.60/1705.08	c 1704s |      19 |   765076 |   558082 |    27949     42 |      750 |      562
1706.60/1707.08	c 1706s |      19 |   765630 |   558582 |    27949     42 |      750 |      562
1709.00/1709.43	c 1709s |      19 |   766300 |   559182 |    27949     42 |      750 |      562
1711.20/1711.66	c 1711s |      19 |   766958 |   559782 |    27949     42 |      750 |      562
1713.20/1713.69	c 1713s |      19 |   767489 |   560282 |    27949     42 |      750 |      562
1715.30/1715.77	c 1715s |      19 |   768045 |   560782 |    27949     42 |      750 |      562
1717.50/1717.93	c 1717s |      19 |   769159 |   561382 |    27949     42 |      750 |      562
1719.60/1720.04	c 1719s |      19 |   770910 |   562382 |    27949     42 |      750 |      562
1721.70/1722.10	c 1721s |      19 |   771690 |   562982 |    27949     42 |      750 |      562
1723.99/1724.44	c 1724s |      19 |   772387 |   563582 |    27949     42 |      750 |      562
1726.29/1726.75	c 1726s |      19 |   773266 |   564282 |    27949     42 |      750 |      562
1728.59/1729.00	c 1728s |      19 |   774148 |   564982 |    27949     42 |      750 |      562
1730.69/1731.10	c 1730s |      19 |   774940 |   565582 |    27949     42 |      750 |      562
1732.79/1733.22	c 1732s |      19 |   775812 |   566282 |    27949     42 |      750 |      562
1734.79/1735.24	c 1734s |      19 |   776555 |   566882 |    27949     42 |      750 |      562
1736.99/1737.44	c 1737s |      19 |   777261 |   567482 |    27949     42 |      750 |      562
1739.19/1739.67	c 1739s |      19 |   777952 |   568082 |    27949     42 |      750 |      562
1741.39/1741.83	c 1741s |      19 |   778649 |   568682 |    27949     42 |      750 |      562
1743.49/1744.00	c 1743s |      19 |   779216 |   569182 |    27949     42 |      750 |      562
1745.88/1746.34	c 1746s |      19 |   779912 |   569782 |    27949     42 |      750 |      562
1748.18/1748.63	c 1748s |      19 |   780605 |   570382 |    27949     42 |      750 |      562
1750.38/1750.88	c 1750s |      19 |   781220 |   570882 |    27949     43 |      750 |      562
1752.48/1752.90	c 1752s |      19 |   782054 |   571582 |    27949     43 |      750 |      562
1754.48/1754.98	c 1754s |      19 |   782836 |   572282 |    27949     43 |      750 |      562
1756.47/1756.99	c 1756s |      19 |   783510 |   572882 |    27949     43 |      750 |      562
1758.77/1759.26	c 1758s |      19 |   784267 |   573582 |    27949     43 |      750 |      562
1761.08/1761.56	c 1761s |      19 |   785075 |   574282 |    27949     43 |      750 |      562
1763.07/1763.58	c 1763s |      19 |   785769 |   574882 |    27949     43 |      750 |      562
1765.16/1765.60	c 1765s |      19 |   786448 |   575482 |    27949     43 |      750 |      562
1767.16/1767.61	c 1767s |      19 |   787149 |   576082 |    27949     43 |      750 |      562
1769.37/1769.85	c 1769s |      19 |   787815 |   576682 |    27949     43 |      750 |      562
1771.67/1772.10	c 1771s |      19 |   788509 |   577282 |    27949     43 |      750 |      562
1773.87/1774.35	c 1774s |      19 |   789156 |   577882 |    27949     43 |      750 |      562
1776.27/1776.71	c 1776s |      19 |   789817 |   578482 |    27949     43 |      750 |      562
1778.47/1778.90	c 1778s |      19 |   790491 |   579082 |    27949     43 |      750 |      562
1780.77/1781.28	c 1781s |      19 |   791127 |   579682 |    27949     43 |      750 |      562
1782.87/1783.33	c 1783s |      19 |   791673 |   580182 |    27949     43 |      750 |      562
1785.06/1785.60	c 1785s |      19 |   792394 |   580782 |    27949     43 |      750 |      562
1787.16/1787.63	c 1787s |      19 |   793072 |   581382 |    27949     43 |      750 |      562
1789.46/1789.90	c 1789s |      19 |   793773 |   581982 |    27949     43 |      750 |      562
1791.46/1791.93	c 1791s |      19 |   794349 |   582482 |    27949     43 |      750 |      562
1793.86/1794.35	c 1794s |      19 |   795044 |   583082 |    27949     43 |      750 |      562
1796.15/1796.65	c 1796s |      19 |   795773 |   583682 |    27949     43 |      750 |      562
1798.35/1798.81	c 1798s |      19 |   796332 |   584182 |    27949     43 |      750 |      562

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-4115997-1466978982/watcher-4115997-1466978982 -o /tmp/evaluation-result-4115997-1466978982/solver-4115997-1466978982 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466975380-22732 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4115997-1466978982.opb 

pid=23081
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.15 2.13 2.09 3/179 23084
/proc/meminfo: memFree=30683536/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=822852 CPUtime=0 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 3091 0 0 0 0 0 0 0 20 0 4 0 30937916 842600448 2941 33554432000 4194304 16246674 140733927064080 140733927063504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 206481 2950 442 2943 0 203375 0
[pid=23084/tid=23085] ppid=23081 vsize=841284 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 861474816 3011 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=845380 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 865669120 3027 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=849476 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30937916 869863424 3044 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.15 2.13 2.09 3/179 23084
/proc/meminfo: memFree=30683536/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 28474 0 0 0 5 4 0 0 20 0 4 0 30937916 1249447936 28262 33554432000 4194304 16246674 140733927064080 140733927063392 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 305041 28262 802 2943 0 301935 0
[pid=23084/tid=23085] ppid=23081 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1249447936 28262 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1249447936 28262 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1249447936 28262 33554432000 4194304 16246674 140733927064080 139968233065648 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.677216 s]
/proc/loadavg: 2.15 2.13 2.09 3/179 23084
/proc/meminfo: memFree=30683536/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1301060 CPUtime=0.66 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 101303 0 0 0 51 15 0 0 20 0 4 0 30937916 1332285440 101092 33554432000 4194304 16246674 140733927064080 140733927045952 13194563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 325265 101097 883 2943 0 322159 0
[pid=23084/tid=23085] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 101101 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 101103 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 101105 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 1301060

[startup+0.700466 s]
/proc/loadavg: 2.15 2.13 2.09 3/179 23084
/proc/meminfo: memFree=30683536/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 104343 0 0 0 53 16 0 0 20 0 4 0 30937916 1332285440 104131 33554432000 4194304 16246674 140733927064080 140733927045952 6010789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 325265 104135 883 2943 0 322159 0
[pid=23084/tid=23085] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 104137 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 104139 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 104142 33554432000 4194304 16246674 140733927064080 139968233065648 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) 1301060

[startup+0.80046 s]
/proc/loadavg: 2.15 2.13 2.09 3/179 23084
/proc/meminfo: memFree=30683536/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1301060 CPUtime=0.79 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 116171 0 0 0 61 18 0 0 20 0 4 0 30937916 1332285440 115959 33554432000 4194304 16246674 140733927064080 140733927045952 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 325265 115963 883 2943 0 322159 0
[pid=23084/tid=23085] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 115965 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 115967 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 115972 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 23088
/proc/meminfo: memFree=29061032/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 208043 0 0 0 119 30 0 0 20 0 4 0 30937916 1332285440 207832 33554432000 4194304 16246674 140733927064080 140733927045952 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 325265 207834 883 2943 0 322159 0
[pid=23084/tid=23085] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 207849 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 207852 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1332285440 207855 33554432000 4194304 16246674 140733927064080 139968233065648 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) 1301060

[startup+3.10047 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 23088
/proc/meminfo: memFree=28608432/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 269319 0 0 0 270 39 0 0 20 0 4 0 30937916 1344868352 269107 33554432000 4194304 16246674 140733927064080 140733927045952 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 328337 269107 890 2943 0 325231 0
[pid=23084/tid=23085] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269107 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269107 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269107 33554432000 4194304 16246674 140733927064080 139968233065648 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) 1313348

[startup+6.30039 s]
/proc/loadavg: 2.14 2.13 2.09 4/183 23088
/proc/meminfo: memFree=28608048/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 269530 0 0 0 590 39 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 140733927045952 13780596 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 328337 269318 892 2943 0 325231 0
[pid=23084/tid=23085] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 139968233065648 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) 1313348

[startup+12.7005 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 23088
/proc/meminfo: memFree=28608340/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 269530 0 0 0 1230 39 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 140733927045952 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 328337 269318 892 2943 0 325231 0
[pid=23084/tid=23085] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269318 33554432000 4194304 16246674 140733927064080 139968233065648 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) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.10 2.12 2.09 3/184 23091
/proc/meminfo: memFree=28609528/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 269531 0 0 0 2510 39 0 0 20 0 4 0 30937916 1344868352 269319 33554432000 4194304 16246674 140733927064080 140733927045952 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 328337 269319 893 2943 0 325231 0
[pid=23084/tid=23085] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269319 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269319 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269319 33554432000 4194304 16246674 140733927064080 139968233065648 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) 1313348

[startup+51.1074 s]
/proc/loadavg: 2.14 2.12 2.09 4/184 23091
/proc/meminfo: memFree=28609920/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1313348 CPUtime=51.09 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 269532 0 0 0 5070 39 0 0 20 0 4 0 30937916 1344868352 269320 33554432000 4194304 16246674 140733927064080 140733927045952 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 328337 269320 893 2943 0 325231 0
[pid=23084/tid=23085] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269320 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269320 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1344868352 269320 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 23092
/proc/meminfo: memFree=28605028/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1318468 CPUtime=102.27 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 270779 0 0 0 10188 39 0 0 20 0 4 0 30937916 1350111232 270567 33554432000 4194304 16246674 140733927064080 140733927045952 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 329617 270567 893 2943 0 326511 0
[pid=23084/tid=23085] ppid=23081 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1350111232 270567 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1350111232 270567 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1350111232 270567 33554432000 4194304 16246674 140733927064080 139968233065648 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) 1318468


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

/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1338948

[startup+1362.31 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 23123
/proc/meminfo: memFree=28550836/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1362.05 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276009 0 0 0 136160 45 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 5676100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 23124
/proc/meminfo: memFree=28550504/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1422.03 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276029 0 0 0 142157 46 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 6843060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 23126
/proc/meminfo: memFree=28550404/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1482.01 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276042 0 0 0 148155 46 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1338948

[startup+1542.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 23127
/proc/meminfo: memFree=28550556/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1542 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276061 0 0 0 154153 47 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 13191423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.16 2.13 2.09 4/183 23128
/proc/meminfo: memFree=28550712/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1601.97 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276103 0 0 0 160149 48 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 13781168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.29 2.16 2.10 3/183 23129
/proc/meminfo: memFree=28550740/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1661.94 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276148 0 0 0 166146 48 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.22 2.16 2.10 3/183 23130
/proc/meminfo: memFree=28551024/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1721.9 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276193 0 0 0 172142 48 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 23132
/proc/meminfo: memFree=28550060/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1781.87 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276237 0 0 0 178138 49 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 23132
/proc/meminfo: memFree=28550276/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1800.05 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276252 0 0 0 179956 49 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1338948

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 23084 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.14 2.15 2.10 3/183 23132
/proc/meminfo: memFree=28550276/32872528 swapFree=870628/942168
[pid=23084] ppid=23081 vsize=1338948 CPUtime=1800.05 cores=0,2,4,6
/proc/23084/stat : 23084 (toysat) R 23081 23084 22716 0 -1 4202496 276252 0 0 0 179956 49 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 140733927045952 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23084/statm: 334737 275976 893 2943 0 331631 0
[pid=23084/tid=23085] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23085/stat : 23085 (toysat) S 23081 23084 22716 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968254029040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23084/tid=23086] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23086/stat : 23086 (toysat) S 23081 23084 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968243539184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23084/tid=23087] ppid=23081 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/23084/task/23087/stat : 23087 (toysat) S 23081 23084 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30937916 1371082752 275976 33554432000 4194304 16246674 140733927064080 139968233065648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.57
CPU system time (s): 0.502923
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.502923
maximum resident set size= 1103904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276252
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= 335
involuntary context switches= 1963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26535 second user time and 7.2389 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-27 00:09:42
IDJOB=4115997
IDBENCH=109415
IDSOLVER=2542
FILE ID=node113/4115997-1466978982
RUNJOBID= node113-1466975380-22732
PBS_JOBID= 19976383
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115997-1466978982/watcher-4115997-1466978982 -o /tmp/evaluation-result-4115997-1466978982/solver-4115997-1466978982 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466975380-22732 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4115997-1466978982.opb

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

MD5SUM BENCH= 935c4ce5f931d101d829070a69f3ff5c
RANDOM SEED=1484009898

node113.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.699
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.39
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.699
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.58
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.699
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.699
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.699
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.699
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.699
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.699
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	: 5325.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30686892 kB
Buffers:           58420 kB
Cached:           358056 kB
SwapCached:        18844 kB
Active:           161200 kB
Inactive:         349504 kB
Active(anon):      76444 kB
Inactive(anon):    20016 kB
Active(file):      84756 kB
Inactive(file):   329488 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             33420 kB
Writeback:             0 kB
AnonPages:       1019116 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             597952 kB
SReclaimable:      41952 kB
SUnreclaim:       556000 kB
KernelStack:        1424 kB
PageTables:         7440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2073260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71668 MiB
End job on node113 at 2016-06-27 00:39:43