Trace number 4079822

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark20.007
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T00:23:10+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-4079822-1465251789.opb"]
0.00/0.01	c use --random-gen="1998274968 2913805229 2912639648 3619523633 1826646544 2410088516 2072707617 2660737855 2534242983 2531928829 1975704011 3057331110 2259063585 2814159070 4212602929 3463989461 622187915 1417315599 304332581 2842868824 3130045757 4131983514 1115514632 2843623095 3822538926 88856480 927840221 2871448966 1373955861 4087620695 2825640289 3976379287 2701031412 555368740 1260389139 564635186 3798766926 1338950512 2375533876 1594983419 2574337764 1178162610 3821381970 1843483771 3195559832 2123791081 3960553631 1021755012 3353031385 2394670156 1665224672 3916274698 4027778153 3685320371 3532106781 2128094204 3259577421 992713607 3976876377 2198913711 2355578236 3021254561 628015266 2081514735 525863976 1411101412 901710364 1065071930 955240598 398127196 3104584410 773907370 4095602378 1986305938 1256426136 3499091083 2231520413 3079435689 1869124355 3255448104 2167962646 2958571207 972425696 2246539763 1822856149 990757194 1394243303 432527529 377378922 3326186023 2171672613 1143285854 211285865 3717614864 3275571729 1885966557 3418818815 2515592342 311994150 588338030 296973370 3299938912 4285501582 2636316996 3378372853 2699870133 2508415974 1954090397 2219140925 1211841676 1541181456 758486933 1066787230 3994488247 3930230551 2754514086 3943342686 2011772889 877881206 2683994898 3521069702 340938011 3441489715 1452313374 934620165 4113415194 1603889246 1493196552 6423716 3375190737 2948266143 2367711605 985992596 3029789972 1297947285 3711192151 2294871988 1322114702 3056328514 3171530125 521626174 2777549259 3701764741 3152927233 2447296803 2404603410 3051818135 304928759 968305312 2086738365 1192026569 44637721 1698626825 2968602972 4238620630 3384476946 1357945368 3214807194 2230716611 1778203329 3481926954 222813738 1512785618 3810323251 2393406542 2497677245 3385914086 2661812897 1261257044 63320372 1051166870 1547309181 2975140310 2232411382 3347873501 1724110556 2425431045 1799633320 2842099940 1421787196 783677325 3255367489 2233262257 878526748 85766706 1776550635 3905608593 1574901752 2870872007 3509782714 1377065640 1682100827 1051886201 3940346572 4289202573 2784533340 2066191999 2030925839 3392486476 3537451992 2548908624 3687176768 2324481221 3133398426 3338152931 3371016328 419044928 231245538 715068251 358773391 2648396263 1108636586 3526222245 3512580937 1982910436 352226422 4052261480 3878212406 3342800045 3223633368 3315988277 2898370265 1568237627 21335208 2692175905 2254846546 1920371441 1346809070 1461971741 2762209767 677579670 353697180 324983855 2432285596 4153468599 3966777934 2939858417 187656191 3418936604 2149248161 1572264900 582607981 127824396 1001958529 2356560652 1953493550 510764440 929156077 3699988470 3891640896 816101715 1236568759 976136144 2549925498 635297451 4062995661 255 362436" option to reproduce the execution
0.08/0.16	c #vars 6027
0.08/0.16	c #constraints 21278
0.39/0.43	c BCD2: Hardening is enabled.
0.39/0.43	c BCD2: BiasedSearch is enabled.
0.39/0.43	c Solving starts ...
0.39/0.43	c ============================[ Search Statistics ]============================
0.39/0.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.43	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.43	c =============================================================================
0.39/0.47	c  0.0s |       0 |        0 |        0 |     9100      0 |        5 |        0
0.78/0.83	c  0.4s |       1 |     4139 |      100 |     9100      0 |        5 |        0
1.29/1.37	c  0.9s |       2 |     7507 |      250 |    10010      0 |        5 |        0
2.30/2.38	c  1.9s |       3 |    15626 |      475 |    11011      0 |        5 |        0
3.19/3.29	c  2.8s |       4 |    23162 |      813 |    12113      0 |        5 |        0
4.29/4.35	c  3.9s |       5 |    29327 |     1320 |    13325      0 |        5 |        0
6.60/6.61	c  6.1s |       5 |    38382 |     1920 |    14658      0 |        5 |        0
7.09/7.12	c  6.6s |       6 |    41082 |     2081 |    16124      0 |        5 |        0
9.09/9.17	c  8.7s |       6 |    62509 |     2781 |    16124      0 |        5 |        0
9.69/9.76	c  9.3s |       7 |    71813 |     3223 |    17737      0 |        5 |        0
12.10/12.13	c 11.7s |       7 |    75433 |     3923 |    17737      0 |        5 |        0
14.19/14.21	c 13.7s |       7 |    83729 |     4723 |    17737      0 |        5 |        0
14.99/15.03	c 14.6s |       8 |    84426 |     4936 |    19511      0 |        5 |        0
17.19/17.28	c 16.8s |       8 |    98112 |     5536 |    19511      0 |        5 |        0
19.49/19.56	c 19.1s |       8 |   118116 |     6236 |    19511      0 |        5 |        0
21.69/21.77	c 21.3s |       8 |   131228 |     6936 |    19511      0 |        5 |        0
23.59/23.63	c 23.2s |       9 |   137583 |     7506 |    21463      0 |        5 |        0
25.59/25.65	c 25.2s |       9 |   154071 |     8206 |    21463      0 |        5 |        0
27.79/27.89	c 27.4s |       9 |   166211 |     8906 |    21463      0 |        5 |        0
29.89/29.91	c 29.4s |       9 |   171830 |     9606 |    21463      0 |        5 |        0
31.99/32.01	c 31.5s |       9 |   178851 |    10306 |    21463      0 |        5 |        0
34.09/34.20	c 33.7s |       9 |   184080 |    11006 |    21463      0 |        5 |        0
35.48/35.52	c 35.0s |      10 |   194140 |    11361 |    23610      0 |        5 |        0
37.58/37.65	c 37.2s |      10 |   199433 |    12061 |    23610      0 |        5 |        0
39.88/39.93	c 39.5s |      10 |   206027 |    12861 |    23610      0 |        5 |        0
41.89/41.94	c 41.5s |      10 |   209557 |    13461 |    23610      0 |        5 |        0
43.88/43.98	c 43.5s |      10 |   229315 |    14061 |    23610      0 |        5 |        0
46.08/46.19	c 45.7s |      10 |   236975 |    14661 |    23610      0 |        5 |        0
48.18/48.26	c 47.8s |      10 |   239913 |    15261 |    23610      0 |        5 |        0
50.28/50.30	c 49.8s |      10 |   252047 |    15861 |    23610      0 |        5 |        0
52.48/52.55	c 52.1s |      10 |   276980 |    16561 |    23610      0 |        5 |        0
54.38/54.41	c 53.9s |      11 |   289605 |    17144 |    25972      0 |        5 |        0
56.38/56.45	c 56.0s |      11 |   298558 |    17644 |    25972      0 |        5 |        0
58.39/58.49	c 58.0s |      11 |   315025 |    18244 |    25972      0 |        5 |        0
60.59/60.61	c 60.1s |      11 |   333192 |    18944 |    25972      0 |        5 |        0
62.69/62.79	c 62.3s |      11 |   348102 |    19644 |    25972      0 |        5 |        0
64.78/64.81	c 64.3s |      11 |   355117 |    20344 |    25972      0 |        5 |        0
66.78/66.86	c 66.4s |      11 |   360997 |    20944 |    25972      0 |        5 |        0
69.18/69.21	c 68.7s |      11 |   370452 |    21644 |    25972      0 |        5 |        0
71.49/71.52	c 71.1s |      11 |   382903 |    22344 |    25972      0 |        5 |        0
73.58/73.65	c 73.2s |      11 |   392858 |    23044 |    25972      0 |        5 |        0
75.58/75.66	c 75.2s |      11 |   402365 |    23744 |    25972      0 |        5 |        0
77.98/78.01	c 77.5s |      11 |   410882 |    24544 |    25972      0 |        5 |        0
80.18/80.27	c 79.8s |      11 |   418125 |    25044 |    25972      0 |        5 |        0
82.48/82.54	c 82.1s |      11 |   440996 |    25744 |    28570      0 |        5 |        0
82.78/82.88	c 82.4s |      12 |   442386 |    25819 |    28570      0 |        5 |        0
85.08/85.14	c 84.7s |      12 |   459737 |    26419 |    28570      0 |        5 |        0
87.18/87.26	c 86.8s |      12 |   475946 |    26919 |    28570      0 |        5 |        0
89.28/89.32	c 88.9s |      12 |   490437 |    27419 |    28570      0 |        5 |        0
91.28/91.33	c 90.9s |      12 |   506050 |    27919 |    28570      0 |        5 |        0
93.48/93.56	c 93.1s |      12 |   527067 |    28519 |    28570      0 |        5 |        0
95.78/95.81	c 95.3s |      12 |   551357 |    29219 |    28570      0 |        5 |        0
97.98/98.07	c 97.6s |      12 |   566840 |    29919 |    28570      1 |        5 |        0
100.08/100.13	c 99.7s |      12 |   589158 |    30719 |    28570      1 |        5 |        0
102.17/102.20	c  101s |      12 |   606952 |    31319 |    28570      1 |        5 |        0
104.27/104.35	c  103s |      12 |   618828 |    31919 |    28570      1 |        5 |        0
106.47/106.59	c  106s |      12 |   633518 |    32519 |    28570      1 |        5 |        0
108.57/108.65	c  108s |      12 |   657374 |    33119 |    28570      1 |        5 |        0
110.77/110.84	c  110s |      12 |   673291 |    33719 |    28570      1 |        5 |        0
112.87/112.96	c  112s |      12 |   692995 |    34419 |    28570      1 |        5 |        0
114.97/115.02	c  114s |      12 |   700026 |    34919 |    28570      1 |        5 |        0
116.97/117.03	c  116s |      12 |   712586 |    35719 |    28570      1 |        5 |        0
118.97/119.06	c  118s |      12 |   724389 |    36119 |    28570      1 |        5 |        0
121.07/121.18	c  120s |      12 |   738516 |    36719 |    28570      1 |        5 |        0
123.17/123.25	c  122s |      12 |   745461 |    37519 |    28570      1 |        5 |        0
125.17/125.29	c  124s |      12 |   747781 |    37919 |    28570      1 |        5 |        0
127.16/127.29	c  126s |      12 |   760302 |    38419 |    28570      1 |        5 |        0
128.77/128.85	c  128s |      13 |   763042 |    38832 |    31428      1 |        5 |        0
130.97/131.04	c  130s |      13 |   775287 |    39332 |    31428      1 |        5 |        0
133.18/133.23	c  132s |      13 |   783443 |    39832 |    31428      1 |        5 |        0
135.28/135.33	c  134s |      13 |   801216 |    40632 |    31428      1 |        5 |        0
137.37/137.42	c  136s |      13 |   806125 |    41232 |    31428      1 |        5 |        0
139.47/139.50	c  139s |      13 |   811294 |    41732 |    31428      1 |        5 |        0
141.77/141.81	c  141s |      13 |   822474 |    42332 |    31428      1 |        5 |        0
144.08/144.15	c  143s |      13 |   832433 |    42932 |    31428      1 |        5 |        0
146.47/146.55	c  146s |      13 |   840701 |    43432 |    31428      1 |        5 |        0
148.47/148.58	c  148s |      13 |   850524 |    43932 |    31428      1 |        5 |        0
150.67/150.75	c  150s |      13 |   858865 |    44432 |    31428      1 |        5 |        0
152.77/152.90	c  152s |      13 |   866054 |    44932 |    31428      1 |        5 |        0
154.87/154.92	c  154s |      13 |   870702 |    45432 |    31428      1 |        5 |        0
156.97/157.09	c  156s |      13 |   875002 |    45932 |    31428      1 |        5 |        0
159.07/159.13	c  158s |      13 |   877214 |    46432 |    31428      1 |        5 |        0
161.27/161.31	c  160s |      13 |   880032 |    46932 |    31428      1 |        5 |        0
163.37/163.40	c  162s |      13 |   883073 |    47432 |    31428      2 |        5 |        0
165.66/165.76	c  165s |      13 |   887686 |    48132 |    31428      2 |        5 |        0
167.86/167.97	c  167s |      13 |   890269 |    48732 |    31428      2 |        5 |        0
169.96/170.02	c  169s |      13 |   893007 |    49332 |    31428      2 |        5 |        0
172.06/172.18	c  171s |      13 |   895372 |    49932 |    31428      2 |        5 |        0
174.36/174.46	c  173s |      13 |   897356 |    50532 |    31428      2 |        5 |        0
176.46/176.55	c  176s |      13 |   911403 |    51232 |    31428      2 |        5 |        0
178.66/178.72	c  178s |      13 |   914522 |    51932 |    31428      2 |        5 |        0
180.96/181.08	c  180s |      13 |   916624 |    52532 |    31428      2 |        5 |        0
183.16/183.20	c  182s |      13 |   925418 |    53132 |    31428      2 |        5 |        0
185.16/185.21	c  184s |      13 |   930638 |    53732 |    31428      2 |        5 |        0
187.26/187.39	c  186s |      13 |   938191 |    54232 |    31428      2 |        5 |        0
189.66/189.72	c  189s |      13 |   941474 |    54832 |    31428      2 |        5 |        0
192.96/193.03	c  192s |      13 |   944879 |    55232 |    31428      2 |        5 |        0
195.16/195.28	c  194s |      13 |   954779 |    55732 |    31428      2 |        5 |        0
197.36/197.49	c  197s |      13 |   957461 |    56332 |    31428      2 |        5 |        0
199.66/199.79	c  199s |      13 |   963615 |    56932 |    31428      2 |        5 |        0
202.06/202.14	c  201s |      13 |   967862 |    57432 |    31428      2 |        5 |        0
204.06/204.15	c  203s |      13 |   970372 |    57932 |    31428      2 |        5 |        0
206.06/206.15	c  205s |      13 |   971566 |    58332 |    34571      2 |        5 |        0
206.16/206.28	c  205s |      14 |   971724 |    58352 |    34571      2 |        5 |        0
208.26/208.39	c  207s |      14 |   977032 |    58752 |    34571      2 |        5 |        0
210.56/210.65	c  210s |      14 |   983060 |    59352 |    34571      2 |        5 |        0
212.66/212.77	c  212s |      14 |   988699 |    59952 |    34571      2 |        5 |        0
214.76/214.83	c  214s |      14 |   993365 |    60452 |    34571      2 |        5 |        0
216.86/216.96	c  216s |      14 |   996791 |    60952 |    34571      2 |        5 |        0
219.05/219.16	c  218s |      14 |  1001457 |    61452 |    34571      2 |        5 |        0
221.16/221.20	c  220s |      14 |  1006872 |    61952 |    34571      2 |        5 |        0
223.15/223.30	c  222s |      14 |  1016964 |    62552 |    34571      2 |        5 |        0
225.35/225.48	c  225s |      14 |  1024274 |    63052 |    34571      2 |        5 |        0
227.95/228.06	c  227s |      14 |  1027213 |    63652 |    34571      2 |        5 |        0
230.05/230.13	c  229s |      14 |  1030557 |    64152 |    34571      2 |        5 |        0
232.25/232.30	c  231s |      14 |  1035233 |    64752 |    34571      2 |        5 |        0
234.26/234.38	c  233s |      14 |  1042063 |    65352 |    34571      2 |        5 |        0
236.46/236.56	c  236s |      14 |  1056417 |    65952 |    34571      2 |        5 |        0
238.45/238.57	c  238s |      14 |  1064364 |    66552 |    34571      2 |        5 |        0
240.75/240.81	c  240s |      14 |  1066693 |    67052 |    34571      3 |        5 |        0
244.05/244.18	c  243s |      14 |  1069007 |    67452 |    34571      3 |        5 |        0
246.25/246.40	c  245s |      14 |  1071772 |    68052 |    34571      3 |        5 |        0
248.66/248.76	c  248s |      14 |  1082586 |    68752 |    34571      3 |        5 |        0
251.05/251.11	c  250s |      14 |  1098814 |    69452 |    34571      3 |        5 |        0
253.15/253.23	c  252s |      14 |  1103123 |    70052 |    34571      3 |        5 |        0
255.35/255.43	c  254s |      14 |  1106141 |    70652 |    34571      3 |        5 |        0
257.55/257.67	c  257s |      14 |  1108409 |    71252 |    34571      3 |        5 |        0
259.65/259.74	c  259s |      14 |  1115844 |    71852 |    34571      3 |        5 |        0
261.75/261.81	c  261s |      14 |  1118478 |    72452 |    34571      3 |        5 |        0
264.05/264.11	c  263s |      14 |  1130006 |    72952 |    34571      3 |        5 |        0
266.55/266.64	c  266s |      14 |  1152837 |    73652 |    34571      3 |        5 |        0
268.65/268.74	c  268s |      14 |  1156967 |    74052 |    34571      3 |        5 |        0
270.75/270.82	c  270s |      14 |  1160229 |    74452 |    34571      3 |        5 |        0
272.95/273.02	c  272s |      14 |  1166166 |    74952 |    34571      3 |        5 |        0
275.25/275.39	c  274s |      14 |  1176241 |    75552 |    34571      3 |        5 |        0
277.44/277.56	c  277s |      14 |  1180951 |    75952 |    34571      3 |        5 |        0
279.54/279.60	c  279s |      14 |  1198419 |    76552 |    34571      3 |        5 |        0
281.55/281.62	c  281s |      14 |  1203705 |    76952 |    34571      3 |        5 |        0
283.54/283.66	c  283s |      14 |  1208647 |    77352 |    34571      3 |        5 |        0
285.95/286.08	c  285s |      14 |  1222003 |    77852 |    34571      3 |        5 |        0
288.25/288.37	c  287s |      14 |  1237790 |    78352 |    34571      3 |        5 |        0
290.35/290.50	c  290s |      14 |  1252523 |    78852 |    34571      3 |        5 |        0
292.55/292.68	c  292s |      14 |  1262875 |    79352 |    34571      3 |        5 |        0
294.94/295.08	c  294s |      14 |  1266062 |    79752 |    34571      3 |        5 |        0
297.05/297.16	c  296s |      14 |  1274201 |    80252 |    34571      3 |        5 |        0
299.15/299.24	c  298s |      14 |  1296798 |    80852 |    34571      3 |        5 |        0
301.35/301.50	c  301s |      14 |  1309885 |    81452 |    34571      3 |        5 |        0
303.84/303.99	c  303s |      14 |  1323409 |    81952 |    34571      3 |        5 |        0
306.24/306.32	c  305s |      14 |  1334783 |    82452 |    34571      3 |        5 |        0
308.34/308.49	c  308s |      14 |  1341042 |    82952 |    34571      3 |        5 |        0
310.54/310.68	c  310s |      14 |  1350794 |    83452 |    34571      3 |        5 |        0
312.64/312.73	c  312s |      14 |  1353783 |    83852 |    34571      3 |        5 |        0
315.34/315.47	c  315s |      14 |  1356807 |    84352 |    34571      4 |        5 |        0
317.44/317.50	c  317s |      14 |  1373881 |    84952 |    34571      4 |        5 |        0
319.44/319.56	c  319s |      14 |  1387556 |    85552 |    34571      4 |        5 |        0
321.84/321.91	c  321s |      14 |  1396419 |    86152 |    34571      4 |        5 |        0
323.94/324.09	c  323s |      14 |  1401445 |    86852 |    34571      4 |        5 |        0
326.14/326.27	c  325s |      14 |  1404908 |    87352 |    38029      4 |        5 |        0
327.04/327.13	c  326s |      15 |  1406304 |    87632 |    38029      4 |        5 |        0
329.34/329.49	c  329s |      15 |  1410551 |    88232 |    38029      4 |        5 |        0
331.54/331.70	c  331s |      15 |  1416971 |    88832 |    38029      4 |        5 |        0
333.84/333.93	c  333s |      15 |  1423811 |    89432 |    38029      4 |        5 |        0
336.04/336.15	c  335s |      15 |  1431329 |    90132 |    38029      4 |        5 |        0
338.34/338.41	c  337s |      15 |  1434745 |    90732 |    38029      4 |        5 |        0
340.44/340.55	c  340s |      15 |  1439237 |    91232 |    38029      4 |        5 |        0
342.53/342.69	c  342s |      15 |  1443489 |    91732 |    38029      4 |        5 |        0
344.83/344.90	c  344s |      15 |  1447049 |    92332 |    38029      4 |        5 |        0
347.13/347.28	c  346s |      15 |  1450152 |    93032 |    38029      4 |        5 |        0
349.33/349.43	c  348s |      15 |  1457381 |    93632 |    38029      4 |        5 |        0
351.43/351.56	c  351s |      15 |  1465169 |    94232 |    38029      4 |        5 |        0
353.63/353.71	c  353s |      15 |  1475585 |    94832 |    38029      4 |        5 |        0
355.63/355.76	c  355s |      15 |  1483219 |    95432 |    38029      4 |        5 |        0
357.83/357.93	c  357s |      15 |  1486101 |    96032 |    38029      4 |        5 |        0
359.93/360.00	c  359s |      15 |  1488457 |    96632 |    38029      4 |        5 |        0
362.23/362.33	c  361s |      15 |  1492049 |    97332 |    38029      4 |        5 |        0
364.33/364.48	c  364s |      15 |  1496073 |    98032 |    38029      4 |        5 |        0
366.53/366.64	c  366s |      15 |  1502601 |    98732 |    38029      4 |        5 |        0
368.73/368.85	c  368s |      15 |  1505446 |    99532 |    38029      4 |        5 |        0
370.83/370.95	c  370s |      15 |  1508088 |   100232 |    38029      4 |        5 |        0
373.24/373.37	c  372s |      15 |  1509747 |   100432 |    38029      4 |        5 |        0
375.53/375.60	c  375s |      15 |  1517609 |   100932 |    38029      4 |        5 |        0
377.83/377.91	c  377s |      15 |  1527466 |   101432 |    38029      4 |        5 |        0
379.93/380.08	c  379s |      15 |  1538979 |   101932 |    38029      4 |        5 |        0
382.23/382.39	c  381s |      15 |  1554502 |   102432 |    38029      4 |        5 |        0
384.73/384.80	c  384s |      15 |  1565121 |   102932 |    38029      4 |        5 |        0
386.83/386.97	c  386s |      15 |  1582917 |   103532 |    38029      4 |        5 |        0
389.03/389.18	c  388s |      15 |  1594565 |   104132 |    38029      4 |        5 |        0
391.43/391.53	c  391s |      15 |  1617031 |   104732 |    38029      4 |        5 |        0
393.43/393.57	c  393s |      15 |  1629226 |   105232 |    38029      4 |        5 |        0
395.43/395.58	c  395s |      15 |  1631704 |   105832 |    38029      4 |        5 |        0
397.73/397.80	c  397s |      15 |  1651096 |   106332 |    38029      5 |        5 |        0
399.83/399.95	c  399s |      15 |  1653979 |   106732 |    38029      5 |        5 |        0
402.12/402.21	c  401s |      15 |  1665415 |   107332 |    38029      5 |        5 |        0
404.22/404.35	c  403s |      15 |  1684305 |   107932 |    38029      5 |        5 |        0
406.52/406.61	c  406s |      15 |  1698882 |   108532 |    38029      5 |        5 |        0
408.52/408.66	c  408s |      15 |  1711058 |   109132 |    38029      5 |        5 |        0
410.82/410.91	c  410s |      15 |  1719954 |   109832 |    38029      5 |        5 |        0
412.92/413.09	c  412s |      15 |  1736120 |   110432 |    38029      5 |        5 |        0
415.22/415.39	c  414s |      15 |  1746096 |   111032 |    38029      5 |        5 |        0
417.42/417.57	c  417s |      15 |  1763286 |   111632 |    38029      5 |        5 |        0
419.72/419.81	c  419s |      15 |  1772979 |   112232 |    38029      5 |        5 |        0
421.72/421.82	c  421s |      15 |  1783195 |   112732 |    38029      5 |        5 |        0
423.92/424.01	c  423s |      15 |  1785778 |   113332 |    38029      5 |        5 |        0
426.22/426.39	c  425s |      15 |  1792655 |   113832 |    38029      5 |        5 |        0
428.42/428.59	c  428s |      15 |  1803392 |   114432 |    38029      5 |        5 |        0
430.82/430.96	c  430s |      15 |  1815994 |   115032 |    38029      5 |        5 |        0
433.02/433.14	c  432s |      15 |  1829941 |   115632 |    38029      5 |        5 |        0
435.02/435.18	c  434s |      15 |  1833537 |   116132 |    38029      5 |        5 |        0
437.02/437.18	c  436s |      15 |  1846382 |   116732 |    38029      5 |        5 |        0
439.42/439.50	c  439s |      15 |  1850284 |   117432 |    38029      5 |        5 |        0
441.62/441.70	c  441s |      15 |  1852615 |   118032 |    38029      5 |        5 |        0
443.82/443.91	c  443s |      15 |  1863253 |   118632 |    38029      5 |        5 |        0
446.02/446.19	c  445s |      15 |  1871241 |   119232 |    38029      5 |        5 |        0
448.11/448.21	c  447s |      15 |  1887706 |   119832 |    38029      5 |        5 |        0
450.21/450.33	c  449s |      15 |  1898793 |   120432 |    38029      5 |        5 |        0
452.41/452.56	c  452s |      15 |  1908435 |   121032 |    38029      5 |        5 |        0
454.51/454.63	c  454s |      15 |  1910741 |   121532 |    38029      5 |        5 |        0
456.81/456.93	c  456s |      15 |  1913017 |   122132 |    38029      5 |        5 |        0
458.81/458.99	c  458s |      15 |  1924158 |   122832 |    38029      5 |        5 |        0
461.01/461.11	c  460s |      15 |  1926891 |   123532 |    38029      5 |        5 |        0
463.02/463.15	c  462s |      15 |  1929197 |   124132 |    38029      5 |        5 |        0
465.32/465.42	c  464s |      15 |  1945708 |   124732 |    38029      5 |        5 |        0
467.31/467.48	c  467s |      15 |  1959212 |   125332 |    38029      5 |        5 |        0
470.11/470.20	c  469s |      15 |  1979573 |   126032 |    38029      6 |        5 |        0
472.11/472.29	c  471s |      15 |  1992944 |   126532 |    38029      6 |        5 |        0
474.21/474.39	c  473s |      15 |  2001583 |   127232 |    38029      6 |        5 |        0
476.31/476.48	c  476s |      15 |  2005869 |   127732 |    38029      6 |        5 |        0
478.51/478.67	c  478s |      15 |  2016284 |   128232 |    38029      6 |        5 |        0
480.71/480.84	c  480s |      15 |  2024277 |   128832 |    38029      6 |        5 |        0
483.10/483.27	c  482s |      15 |  2040810 |   129432 |    38029      6 |        5 |        0
485.20/485.34	c  484s |      15 |  2059440 |   129932 |    38029      6 |        5 |        0
487.30/487.43	c  486s |      15 |  2068337 |   130432 |    38029      6 |        5 |        0
489.60/489.71	c  489s |      15 |  2082201 |   131132 |    41832      6 |        5 |        0
491.10/491.20	c  490s |      16 |  2083294 |   131552 |    41832      6 |        5 |        0
493.40/493.53	c  493s |      16 |  2092120 |   132052 |    41832      6 |        5 |        0
500.99/501.14	c  500s |      16 |  2094703 |   132152 |    41832      6 |        5 |        0
502.99/503.19	c  502s |      16 |  2110016 |   132652 |    41832      6 |        5 |        0
505.09/505.28	c  504s |      16 |  2116841 |   133252 |    41832      6 |        5 |        0
507.29/507.41	c  506s |      16 |  2125610 |   133952 |    41832      6 |        5 |        0
509.59/509.79	c  509s |      16 |  2138104 |   134552 |    41832      6 |        5 |        0
511.99/512.14	c  511s |      16 |  2149937 |   135052 |    41832      6 |        5 |        0
514.29/514.47	c  514s |      16 |  2162670 |   135752 |    41832      6 |        5 |        0
516.59/516.78	c  516s |      16 |  2178877 |   136452 |    41832      6 |        5 |        0
518.99/519.18	c  518s |      16 |  2187175 |   137052 |    41832      6 |        5 |        0
521.39/521.51	c  521s |      16 |  2193486 |   137552 |    41832      6 |        5 |        0
523.69/523.81	c  523s |      16 |  2198921 |   138252 |    41832      6 |        5 |        0
525.89/526.07	c  525s |      16 |  2202869 |   138752 |    41832      6 |        5 |        0
528.29/528.40	c  527s |      16 |  2206056 |   139252 |    41832      6 |        5 |        0
530.69/530.81	c  530s |      16 |  2212708 |   139852 |    41832      6 |        5 |        0
532.79/532.94	c  532s |      16 |  2230649 |   140352 |    41832      6 |        5 |        0
534.88/535.04	c  534s |      16 |  2240793 |   140952 |    41832      6 |        5 |        0
536.98/537.15	c  536s |      16 |  2247132 |   141552 |    41832      6 |        5 |        0
539.28/539.45	c  538s |      16 |  2251653 |   142152 |    41832      6 |        5 |        0
541.48/541.62	c  541s |      16 |  2255218 |   142752 |    41832      6 |        5 |        0
543.68/543.83	c  543s |      16 |  2259053 |   143252 |    41832      6 |        5 |        0
545.98/546.17	c  545s |      16 |  2266189 |   143852 |    41832      6 |        5 |        0
548.18/548.35	c  547s |      16 |  2269694 |   144452 |    41832      6 |        5 |        0
550.38/550.58	c  550s |      16 |  2275121 |   145052 |    41832      6 |        5 |        0
552.68/552.83	c  552s |      16 |  2284868 |   145652 |    41832      6 |        5 |        0
554.78/554.94	c  554s |      16 |  2298144 |   146252 |    41832      6 |        5 |        0
556.78/556.96	c  556s |      16 |  2312588 |   146852 |    41832      6 |        5 |        0
558.88/559.01	c  558s |      16 |  2328716 |   147452 |    41832      6 |        5 |        0
560.98/561.11	c  560s |      16 |  2343717 |   148052 |    41832      6 |        5 |        0
563.18/563.31	c  562s |      16 |  2347687 |   148552 |    41832      6 |        5 |        0
565.18/565.37	c  564s |      16 |  2351552 |   149052 |    41832      7 |        5 |        0
567.27/567.50	c  567s |      16 |  2363426 |   149652 |    41832      7 |        5 |        0
569.37/569.56	c  569s |      16 |  2373085 |   150352 |    41832      7 |        5 |        0
571.37/571.59	c  571s |      16 |  2381192 |   151052 |    41832      7 |        5 |        0
573.47/573.60	c  573s |      16 |  2386233 |   151652 |    41832      7 |        5 |        0
575.57/575.74	c  575s |      16 |  2394818 |   152252 |    41832      7 |        5 |        0
577.77/577.91	c  577s |      16 |  2400192 |   153052 |    41832      7 |        5 |        0
579.87/580.00	c  579s |      16 |  2408311 |   153752 |    41832      7 |        5 |        0
581.88/582.04	c  581s |      16 |  2413091 |   154352 |    41832      7 |        5 |        0
583.98/584.11	c  583s |      16 |  2416872 |   155052 |    41832      7 |        5 |        0
586.28/586.41	c  585s |      16 |  2423125 |   155752 |    41832      7 |        5 |        0
588.38/588.53	c  588s |      16 |  2426043 |   156452 |    41832      7 |        5 |        0
590.37/590.57	c  590s |      16 |  2428868 |   157152 |    41832      7 |        5 |        0
592.47/592.65	c  592s |      16 |  2431380 |   157852 |    41832      7 |        5 |        0
594.57/594.77	c  594s |      16 |  2436377 |   158552 |    41832      7 |        5 |        0
596.77/596.98	c  596s |      16 |  2442192 |   159152 |    41832      7 |        5 |        0
598.87/599.08	c  598s |      16 |  2450657 |   159652 |    41832      7 |        5 |        0
600.96/601.13	c  600s |      16 |  2461066 |   160352 |    41832      7 |        5 |        0
603.26/603.47	c  603s |      16 |  2465074 |   160952 |    41832      7 |        5 |        0
605.46/605.69	c  605s |      16 |  2484612 |   161452 |    41832      7 |        5 |        0
607.86/608.07	c  607s |      16 |  2494701 |   162052 |    41832      7 |        5 |        0
609.96/610.19	c  609s |      16 |  2500095 |   162652 |    41832      7 |        5 |        0
613.26/613.46	c  612s |      16 |  2502398 |   162952 |    41832      7 |        5 |        0
615.46/615.68	c  615s |      16 |  2512573 |   163552 |    41832      7 |        5 |        0
617.85/618.04	c  617s |      16 |  2522083 |   164152 |    41832      7 |        5 |        0
620.05/620.22	c  619s |      16 |  2531226 |   164652 |    41832      7 |        5 |        0
622.05/622.29	c  621s |      16 |  2541143 |   165152 |    41832      7 |        5 |        0
624.15/624.35	c  623s |      16 |  2560708 |   165752 |    41832      7 |        5 |        0
626.45/626.62	c  626s |      16 |  2568856 |   166452 |    41832      7 |        5 |        0
628.64/628.89	c  628s |      16 |  2573856 |   167052 |    41832      7 |        5 |        0
630.74/630.97	c  630s |      16 |  2582390 |   167452 |    41832      7 |        5 |        0
633.04/633.21	c  632s |      16 |  2591715 |   167952 |    41832      7 |        5 |        0
635.24/635.48	c  635s |      16 |  2596806 |   168552 |    41832      7 |        5 |        0
637.44/637.66	c  637s |      16 |  2603820 |   168952 |    41832      7 |        5 |        0
639.44/639.67	c  639s |      16 |  2612334 |   169452 |    41832      7 |        5 |        0
641.64/641.82	c  641s |      16 |  2619987 |   169852 |    41832      7 |        5 |        0
643.74/643.91	c  643s |      16 |  2629501 |   170452 |    41832      7 |        5 |        0
646.14/646.36	c  645s |      16 |  2633921 |   170952 |    41832      8 |        5 |        0
648.44/648.60	c  648s |      16 |  2639267 |   171652 |    41832      8 |        5 |        0
650.64/650.83	c  650s |      16 |  2647952 |   172152 |    41832      8 |        5 |        0
652.64/652.86	c  652s |      16 |  2660464 |   172652 |    41832      8 |        5 |        0
654.84/655.01	c  654s |      16 |  2674776 |   173252 |    41832      8 |        5 |        0
656.84/657.09	c  656s |      16 |  2689050 |   173852 |    41832      8 |        5 |        0
658.93/659.11	c  658s |      16 |  2694927 |   174452 |    41832      8 |        5 |        0
661.13/661.35	c  660s |      16 |  2709098 |   175052 |    41832      8 |        5 |        0
663.33/663.56	c  663s |      16 |  2713472 |   175652 |    41832      8 |        5 |        0
665.33/665.59	c  665s |      16 |  2724243 |   176252 |    41832      8 |        5 |        0
667.42/667.63	c  667s |      16 |  2733154 |   176952 |    41832      8 |        5 |        0
669.73/669.91	c  669s |      16 |  2740634 |   177652 |    41832      8 |        5 |        0
672.22/672.42	c  671s |      16 |  2747003 |   178352 |    41832      8 |        5 |        0
674.42/674.65	c  674s |      16 |  2755295 |   179052 |    41832      8 |        5 |        0
676.43/676.66	c  676s |      16 |  2758522 |   179652 |    41832      8 |        5 |        0
678.71/678.97	c  678s |      16 |  2766237 |   180352 |    41832      8 |        5 |        0
681.01/681.27	c  680s |      16 |  2770443 |   180952 |    41832      8 |        5 |        0
683.21/683.47	c  683s |      16 |  2777325 |   181652 |    41832      8 |        5 |        0
685.51/685.79	c  685s |      16 |  2780291 |   182352 |    41832      8 |        5 |        0
687.61/687.84	c  687s |      16 |  2783698 |   182952 |    41832      8 |        5 |        0
689.81/690.00	c  689s |      16 |  2788230 |   183652 |    41832      8 |        5 |        0
692.01/692.20	c  691s |      16 |  2793876 |   184452 |    41832      8 |        5 |        0
694.11/694.33	c  693s |      16 |  2799445 |   185052 |    41832      8 |        5 |        0
696.41/696.65	c  696s |      16 |  2806563 |   185752 |    41832      8 |        5 |        0
698.60/698.81	c  698s |      16 |  2812002 |   186352 |    41832      8 |        5 |        0
700.90/701.11	c  700s |      16 |  2817711 |   187052 |    41832      8 |        5 |        0
703.00/703.26	c  702s |      16 |  2821580 |   187752 |    41832      8 |        5 |        0
705.30/705.51	c  705s |      16 |  2825124 |   188452 |    41832      8 |        5 |        0
707.40/707.64	c  707s |      16 |  2828753 |   189052 |    41832      8 |        5 |        0
709.80/710.00	c  709s |      16 |  2832725 |   189752 |    41832      8 |        5 |        0
712.20/712.42	c  711s |      16 |  2840370 |   190252 |    41832      8 |        5 |        0
714.30/714.52	c  714s |      16 |  2844786 |   190752 |    41832      8 |        5 |        0
716.50/716.74	c  716s |      16 |  2847602 |   191252 |    41832      8 |        5 |        0
718.49/718.76	c  718s |      16 |  2850234 |   191652 |    41832      8 |        5 |        0
720.59/720.89	c  720s |      16 |  2852893 |   192152 |    41832      8 |        5 |        0
722.89/723.17	c  722s |      16 |  2854969 |   192552 |    41832      9 |        5 |        0
724.89/725.18	c  724s |      16 |  2864516 |   193152 |    41832      9 |        5 |        0
727.00/727.24	c  726s |      16 |  2871237 |   193852 |    41832      9 |        5 |        0
729.10/729.37	c  728s |      16 |  2877671 |   194552 |    41832      9 |        5 |        0
731.49/731.70	c  731s |      16 |  2882604 |   195152 |    41832      9 |        5 |        0
733.50/733.80	c  733s |      16 |  2885607 |   195752 |    41832      9 |        5 |        0
735.59/735.85	c  735s |      16 |  2889887 |   196252 |    46016      9 |        5 |        0
737.69/737.90	c  737s |      16 |  2894555 |   196852 |    46016      9 |        5 |        0
739.89/740.16	c  739s |      16 |  2898039 |   197352 |    46016      9 |        5 |        0
740.19/740.46	c  739s |      17 |  2898780 |   197432 |    46016      9 |        5 |        0
742.19/742.48	c  742s |      17 |  2905580 |   197932 |    46016      9 |        5 |        0
744.59/744.84	c  744s |      17 |  2908987 |   198532 |    46016      9 |        5 |        0
746.88/747.17	c  746s |      17 |  2919321 |   199132 |    46016      9 |        5 |        0
749.08/749.34	c  748s |      17 |  2925760 |   199732 |    46016      9 |        5 |        0
751.08/751.39	c  750s |      17 |  2933720 |   200332 |    46016      9 |        5 |        0
753.48/753.77	c  753s |      17 |  2936807 |   200932 |    46016      9 |        5 |        0
755.88/756.14	c  755s |      17 |  2940269 |   201532 |    46016      9 |        5 |        0
757.87/758.16	c  757s |      17 |  2945840 |   202032 |    46016      9 |        5 |        0
760.17/760.48	c  760s |      17 |  2951635 |   202632 |    46016      9 |        5 |        0
762.37/762.64	c  762s |      17 |  2965852 |   203232 |    46016      9 |        5 |        0
764.47/764.77	c  764s |      17 |  2969257 |   203832 |    46016      9 |        5 |        0
766.67/766.91	c  766s |      17 |  2972159 |   204432 |    46016      9 |        5 |        0
768.97/769.23	c  768s |      17 |  2974721 |   205032 |    46016      9 |        5 |        0
771.07/771.37	c  770s |      17 |  2979912 |   205632 |    46016      9 |        5 |        0
773.17/773.46	c  772s |      17 |  2982358 |   206232 |    46016      9 |        5 |        0
775.27/775.60	c  775s |      17 |  2989579 |   206832 |    46016      9 |        5 |        0
777.47/777.78	c  777s |      17 |  2993392 |   207332 |    46016      9 |        5 |        0
779.67/779.95	c  779s |      17 |  3003775 |   208032 |    46016      9 |        5 |        0
781.96/782.26	c  781s |      17 |  3010651 |   208732 |    46016      9 |        5 |        0
784.26/784.51	c  784s |      17 |  3014730 |   209332 |    46016      9 |        5 |        0
786.26/786.60	c  786s |      17 |  3016916 |   209932 |    46016      9 |        5 |        0
788.56/788.84	c  788s |      17 |  3019952 |   210632 |    46016      9 |        5 |        0
790.76/791.04	c  790s |      17 |  3022293 |   211132 |    46016      9 |        5 |        0
799.46/799.75	c  799s |      17 |  3026517 |   211632 |    46016      9 |        5 |        0
801.46/801.76	c  801s |      17 |  3033400 |   212032 |    46016      9 |        5 |        0
803.96/804.29	c  803s |      17 |  3041093 |   212632 |    46016      9 |        5 |        0
806.25/806.59	c  806s |      17 |  3045912 |   213132 |    46016      9 |        5 |        0
808.55/808.88	c  808s |      17 |  3056241 |   213732 |    46016      9 |        5 |        0
810.75/811.06	c  810s |      17 |  3059822 |   214132 |    46016      9 |        5 |        0
812.95/813.26	c  812s |      17 |  3065462 |   214532 |    46016      9 |        5 |        0
815.25/815.52	c  815s |      17 |  3069266 |   215132 |    46016      9 |        5 |        0
817.34/817.60	c  817s |      17 |  3075060 |   215632 |    46016      9 |        5 |        0
819.44/819.75	c  819s |      17 |  3080105 |   216032 |    46016      9 |        5 |        0
821.84/822.14	c  821s |      17 |  3084288 |   216532 |    46016      9 |        5 |        0
824.24/824.59	c  824s |      17 |  3088125 |   217232 |    46016      9 |        5 |        0
826.64/826.95	c  826s |      17 |  3092146 |   217632 |    46016     10 |        5 |        0
828.94/829.26	c  828s |      17 |  3098314 |   218232 |    46016     10 |        5 |        0
831.34/831.61	c  831s |      17 |  3105115 |   218832 |    46016     10 |        5 |        0
833.64/833.98	c  833s |      17 |  3125785 |   219532 |    46016     10 |        5 |        0
836.04/836.34	c  835s |      17 |  3128276 |   220132 |    46016     10 |        5 |        0
838.23/838.52	c  838s |      17 |  3131429 |   220832 |    46016     10 |        5 |        0
840.43/840.76	c  840s |      17 |  3136669 |   221432 |    46016     10 |        5 |        0
842.53/842.89	c  842s |      17 |  3138932 |   222032 |    46016     10 |        5 |        0
844.83/845.13	c  844s |      17 |  3143106 |   222632 |    46016     10 |        5 |        0
847.03/847.39	c  846s |      17 |  3150378 |   223232 |    46016     10 |        5 |        0
849.33/849.66	c  849s |      17 |  3161727 |   223932 |    46016     10 |        5 |        0
851.53/851.88	c  851s |      17 |  3167491 |   224532 |    46016     10 |        5 |        0
853.73/854.01	c  853s |      17 |  3171643 |   225232 |    46016     10 |        5 |        0
855.82/856.15	c  855s |      17 |  3174484 |   225932 |    46016     10 |        5 |        0
857.92/858.28	c  857s |      17 |  3177541 |   226732 |    46016     10 |        5 |        0
859.93/860.30	c  859s |      17 |  3180018 |   227332 |    46016     10 |        5 |        0
862.02/862.36	c  861s |      17 |  3183113 |   227932 |    46016     10 |        5 |        0
864.43/864.73	c  864s |      17 |  3187873 |   228632 |    46016     10 |        5 |        0
866.82/867.10	c  866s |      17 |  3189617 |   229132 |    46016     10 |        5 |        0
869.02/869.33	c  868s |      17 |  3193022 |   229632 |    46016     10 |        5 |        0
871.12/871.45	c  870s |      17 |  3198826 |   230132 |    46016     10 |        5 |        0
873.42/873.74	c  873s |      17 |  3202893 |   230732 |    46016     10 |        5 |        0
875.61/875.92	c  875s |      17 |  3230418 |   231432 |    46016     10 |        5 |        0
877.62/877.94	c  877s |      17 |  3244284 |   231932 |    46016     10 |        5 |        0
879.82/880.15	c  879s |      17 |  3247209 |   232332 |    46016     10 |        5 |        0
882.11/882.44	c  881s |      17 |  3254105 |   232832 |    46016     10 |        5 |        0
884.31/884.68	c  884s |      17 |  3263291 |   233432 |    46016     10 |        5 |        0
886.61/886.93	c  886s |      17 |  3268908 |   234032 |    46016     10 |        5 |        0
888.91/889.27	c  888s |      17 |  3286947 |   234732 |    46016     10 |        5 |        0
891.41/891.76	c  891s |      17 |  3293655 |   235232 |    46016     10 |        5 |        0
893.71/894.06	c  893s |      17 |  3302718 |   235932 |    46016     10 |        5 |        0
895.80/896.14	c  895s |      17 |  3312569 |   236532 |    46016     10 |        5 |        0
897.90/898.25	c  897s |      17 |  3328665 |   237032 |    46016     10 |        5 |        0
899.90/900.29	c  899s |      17 |  3340440 |   237532 |    46016     10 |        5 |        0
902.30/902.67	c  902s |      17 |  3350470 |   238232 |    46016     10 |        5 |        0
904.70/905.07	c  904s |      17 |  3360055 |   238732 |    46016     10 |        5 |        0
907.00/907.37	c  906s |      17 |  3366889 |   239232 |    46016     10 |        5 |        0
909.00/909.39	c  908s |      17 |  3379650 |   239732 |    46016     10 |        5 |        0
911.20/911.56	c  911s |      17 |  3392216 |   240432 |    46016     10 |        5 |        0
913.30/913.63	c  913s |      17 |  3406534 |   241032 |    46016     10 |        5 |        0
915.60/915.90	c  915s |      17 |  3417771 |   241532 |    46016     11 |        5 |        0
917.59/917.94	c  917s |      17 |  3423553 |   242132 |    46016     11 |        5 |        0
919.69/920.07	c  919s |      17 |  3428386 |   242732 |    46016     11 |        5 |        0
921.79/922.19	c  921s |      17 |  3448081 |   243432 |    46016     11 |        5 |        0
924.19/924.56	c  924s |      17 |  3459236 |   244132 |    46016     11 |        5 |        0
926.49/926.81	c  926s |      17 |  3463873 |   244832 |    46016     11 |        5 |        0
928.69/929.06	c  928s |      17 |  3467459 |   245532 |    46016     11 |        5 |        0
930.89/931.24	c  930s |      17 |  3470787 |   246232 |    46016     11 |        5 |        0
932.99/933.38	c  932s |      17 |  3488892 |   246932 |    46016     11 |        5 |        0
935.09/935.47	c  935s |      17 |  3501702 |   247532 |    46016     11 |        5 |        0
937.19/937.57	c  937s |      17 |  3504637 |   248132 |    46016     11 |        5 |        0
939.59/939.90	c  939s |      17 |  3508477 |   248832 |    46016     11 |        5 |        0
941.89/942.27	c  941s |      17 |  3512086 |   249432 |    46016     11 |        5 |        0
944.09/944.46	c  943s |      17 |  3518467 |   249932 |    46016     11 |        5 |        0
946.19/946.58	c  946s |      17 |  3522014 |   250532 |    46016     11 |        5 |        0
948.29/948.63	c  948s |      17 |  3523859 |   251032 |    46016     11 |        5 |        0
950.29/950.66	c  950s |      17 |  3532220 |   251532 |    46016     11 |        5 |        0
952.39/952.72	c  952s |      17 |  3544140 |   252032 |    46016     11 |        5 |        0
954.69/955.01	c  954s |      17 |  3552661 |   252632 |    46016     11 |        5 |        0
957.19/957.50	c  957s |      17 |  3556620 |   253232 |    46016     11 |        5 |        0
959.49/959.83	c  959s |      17 |  3563317 |   253932 |    46016     11 |        5 |        0
961.78/962.12	c  961s |      17 |  3570236 |   254532 |    46016     11 |        5 |        0
963.98/964.31	c  963s |      17 |  3577275 |   255232 |    46016     11 |        5 |        0
965.98/966.36	c  965s |      17 |  3578856 |   255732 |    46016     11 |        5 |        0
968.28/968.63	c  968s |      17 |  3582093 |   256432 |    46016     11 |        5 |        0
970.48/970.86	c  970s |      17 |  3585598 |   257032 |    46016     11 |        5 |        0
972.98/973.31	c  972s |      17 |  3588469 |   257632 |    46016     11 |        5 |        0
975.28/975.61	c  975s |      17 |  3591977 |   258432 |    46016     11 |        5 |        0
977.48/977.84	c  977s |      17 |  3597011 |   259132 |    46016     11 |        5 |        0
979.48/979.84	c  979s |      17 |  3598936 |   259632 |    46016     11 |        5 |        0
981.67/982.05	c  981s |      17 |  3601773 |   260332 |    46016     11 |        5 |        0
983.87/984.22	c  983s |      17 |  3604510 |   261032 |    46016     11 |        5 |        0
986.07/986.40	c  985s |      17 |  3607325 |   261732 |    46016     11 |        5 |        0
988.27/988.61	c  988s |      17 |  3610002 |   262432 |    46016     11 |        5 |        0
990.27/990.62	c  990s |      17 |  3613293 |   263132 |    46016     11 |        5 |        0
992.57/992.90	c  992s |      17 |  3616704 |   263932 |    46016     11 |        5 |        0
994.67/995.09	c  994s |      17 |  3619872 |   264832 |    46016     11 |        5 |        0
997.07/997.43	c  996s |      17 |  3622739 |   265532 |    46016     12 |        5 |        0
999.07/999.46	c  998s |      17 |  3628466 |   266132 |    46016     12 |        5 |        0
1001.36/1001.78	c 1001s |      17 |  3634462 |   266532 |    46016     12 |        5 |        0
1003.46/1003.81	c 1003s |      17 |  3643085 |   267132 |    46016     12 |        5 |        0
1005.86/1006.27	c 1005s |      17 |  3654708 |   267732 |    46016     12 |        5 |        0
1007.96/1008.36	c 1007s |      17 |  3660620 |   268232 |    46016     12 |        5 |        0
1010.16/1010.59	c 1010s |      17 |  3666265 |   268832 |    46016     12 |        5 |        0
1012.46/1012.81	c 1012s |      17 |  3676491 |   269332 |    46016     12 |        5 |        0
1014.56/1014.97	c 1014s |      17 |  3681354 |   269932 |    46016     12 |        5 |        0
1016.96/1017.30	c 1016s |      17 |  3683465 |   270432 |    46016     12 |        5 |        0
1018.95/1019.36	c 1018s |      17 |  3685019 |   270932 |    46016     12 |        5 |        0
1021.15/1021.59	c 1021s |      17 |  3688864 |   271532 |    46016     12 |        5 |        0
1023.25/1023.67	c 1023s |      17 |  3692468 |   272032 |    46016     12 |        5 |        0
1025.65/1026.01	c 1025s |      17 |  3696460 |   272632 |    46016     12 |        5 |        0
1027.95/1028.34	c 1027s |      17 |  3702352 |   273232 |    46016     12 |        5 |        0
1030.05/1030.44	c 1029s |      17 |  3705778 |   273832 |    46016     12 |        5 |        0
1032.05/1032.49	c 1032s |      17 |  3708298 |   274432 |    46016     12 |        5 |        0
1034.25/1034.63	c 1034s |      17 |  3710703 |   275032 |    46016     12 |        5 |        0
1036.45/1036.87	c 1036s |      17 |  3715587 |   275632 |    46016     12 |        5 |        0
1038.85/1039.20	c 1038s |      17 |  3718720 |   276332 |    46016     12 |        5 |        0
1041.15/1041.52	c 1041s |      17 |  3721404 |   277032 |    46016     12 |        5 |        0
1043.35/1043.80	c 1043s |      17 |  3726828 |   277732 |    46016     12 |        5 |        0
1045.45/1045.85	c 1045s |      17 |  3729199 |   278332 |    46016     12 |        5 |        0
1047.45/1047.87	c 1047s |      17 |  3731140 |   278932 |    46016     12 |        5 |        0
1049.75/1050.10	c 1049s |      17 |  3739905 |   279632 |    46016     12 |        5 |        0
1051.75/1052.14	c 1051s |      17 |  3748256 |   280332 |    46016     12 |        5 |        0
1053.95/1054.33	c 1053s |      17 |  3750196 |   280932 |    46016     12 |        5 |        0
1056.05/1056.42	c 1055s |      17 |  3753101 |   281532 |    46016     12 |        5 |        0
1058.25/1058.61	c 1058s |      17 |  3768351 |   282132 |    46016     12 |        5 |        0
1060.35/1060.72	c 1060s |      17 |  3770294 |   282632 |    46016     12 |        5 |        0
1062.45/1062.85	c 1062s |      17 |  3784504 |   283132 |    46016     12 |        5 |        0
1064.65/1065.08	c 1064s |      17 |  3789606 |   283632 |    46016     12 |        5 |        0
1066.85/1067.27	c 1066s |      17 |  3790897 |   284032 |    46016     12 |        5 |        0
1069.25/1069.67	c 1069s |      17 |  3794644 |   284632 |    46016     12 |        5 |        0
1071.35/1071.75	c 1071s |      17 |  3801763 |   285032 |    46016     12 |        5 |        0
1073.44/1073.84	c 1073s |      17 |  3812247 |   285532 |    46016     12 |        5 |        0
1075.55/1075.91	c 1075s |      17 |  3816952 |   286132 |    46016     12 |        5 |        0
1077.84/1078.23	c 1077s |      17 |  3828992 |   286732 |    46016     12 |        5 |        0
1079.95/1080.34	c 1079s |      17 |  3833374 |   287232 |    46016     12 |        5 |        0
1082.34/1082.72	c 1082s |      17 |  3836155 |   287732 |    46016     12 |        5 |        0
1084.64/1085.04	c 1084s |      17 |  3850706 |   288332 |    46016     12 |        5 |        0
1086.64/1087.06	c 1086s |      17 |  3854977 |   288832 |    46016     12 |        5 |        0
1088.84/1089.22	c 1088s |      17 |  3866098 |   289332 |    46016     13 |        5 |        0
1090.85/1091.26	c 1090s |      17 |  3870647 |   289932 |    46016     13 |        5 |        0
1093.15/1093.51	c 1093s |      17 |  3881616 |   290732 |    46016     13 |        5 |        0
1095.25/1095.64	c 1095s |      17 |  3887767 |   291332 |    46016     13 |        5 |        0
1097.34/1097.79	c 1097s |      17 |  3896733 |   292032 |    46016     13 |        5 |        0
1099.65/1100.03	c 1099s |      17 |  3908632 |   292732 |    46016     13 |        5 |        0
1101.74/1102.10	c 1101s |      17 |  3915414 |   293532 |    46016     13 |        5 |        0
1103.94/1104.31	c 1103s |      17 |  3921994 |   294232 |    50618     13 |        5 |        0
1106.14/1106.53	c 1106s |      17 |  3926498 |   294832 |    50618     13 |        5 |        0
1108.45/1108.83	c 1108s |      17 |  3928484 |   295432 |    50618     13 |        5 |        0
1110.54/1111.00	c 1110s |      17 |  3930614 |   296132 |    50618     13 |        5 |        0
1111.04/1111.45	c 1110s |      18 |  3931853 |   296252 |    50618     13 |        5 |        0
1120.84/1121.28	c 1120s |      18 |  3935819 |   296852 |    50618     13 |        5 |        0
1130.34/1130.77	c 1130s |      18 |  3936331 |   296952 |    50618     13 |        5 |        0
1132.44/1132.80	c 1132s |      18 |  3939811 |   297652 |    50618     13 |        5 |        0
1134.74/1135.13	c 1134s |      18 |  3942762 |   298252 |    50618     13 |        5 |        0
1136.74/1137.16	c 1136s |      18 |  3947149 |   298852 |    50618     13 |        5 |        0
1138.93/1139.33	c 1138s |      18 |  3950524 |   299352 |    50618     13 |        5 |        0
1141.23/1141.60	c 1141s |      18 |  3954955 |   300052 |    50618     13 |        5 |        0
1143.33/1143.71	c 1143s |      18 |  3962700 |   300552 |    50618     13 |        5 |        0
1145.43/1145.82	c 1145s |      18 |  3967817 |   301052 |    50618     13 |        5 |        0
1147.53/1147.91	c 1147s |      18 |  3970733 |   301752 |    50618     13 |        5 |        0
1149.73/1150.10	c 1149s |      18 |  3974542 |   302352 |    50618     13 |        5 |        0
1151.83/1152.20	c 1151s |      18 |  3976864 |   302852 |    50618     13 |        5 |        0
1153.93/1154.31	c 1153s |      18 |  3985494 |   303452 |    50618     13 |        5 |        0
1155.93/1156.34	c 1155s |      18 |  3994497 |   303952 |    50618     13 |        5 |        0
1158.04/1158.48	c 1158s |      18 |  3997166 |   304652 |    50618     13 |        5 |        0
1160.43/1160.83	c 1160s |      18 |  3999433 |   305252 |    50618     13 |        5 |        0
1162.73/1163.16	c 1162s |      18 |  4002835 |   305852 |    50618     13 |        5 |        0
1164.93/1165.31	c 1164s |      18 |  4006380 |   306552 |    50618     13 |        5 |        0
1167.04/1167.48	c 1167s |      18 |  4009223 |   307152 |    50618     13 |        5 |        0
1169.14/1169.53	c 1169s |      18 |  4011331 |   307752 |    50618     13 |        5 |        0
1171.25/1171.70	c 1171s |      18 |  4014422 |   308552 |    50618     13 |        5 |        0
1173.34/1173.77	c 1173s |      18 |  4017276 |   309452 |    50618     13 |        5 |        0
1175.54/1175.95	c 1175s |      18 |  4020287 |   310352 |    50618     13 |        5 |        0
1177.64/1178.04	c 1177s |      18 |  4023283 |   311152 |    50618     13 |        5 |        0
1179.94/1180.32	c 1179s |      18 |  4025589 |   311852 |    50618     13 |        5 |        0
1182.14/1182.55	c 1182s |      18 |  4027952 |   312452 |    50618     13 |        5 |        0
1184.44/1184.83	c 1184s |      18 |  4030264 |   313052 |    50618     13 |        5 |        0
1186.44/1186.88	c 1186s |      18 |  4032904 |   313652 |    50618     13 |        5 |        0
1188.74/1189.11	c 1188s |      18 |  4034042 |   314052 |    50618     13 |        5 |        0
1190.74/1191.13	c 1190s |      18 |  4035144 |   314452 |    50618     13 |        5 |        0
1193.03/1193.48	c 1193s |      18 |  4037606 |   314952 |    50618     13 |        5 |        0
1195.34/1195.76	c 1195s |      18 |  4041662 |   315652 |    50618     13 |        5 |        0
1197.54/1197.92	c 1197s |      18 |  4044354 |   316152 |    50618     13 |        5 |        0
1199.63/1200.06	c 1199s |      18 |  4047848 |   316552 |    50618     13 |        5 |        0
1201.73/1202.18	c 1201s |      18 |  4050273 |   317052 |    50618     13 |        5 |        0
1204.24/1204.65	c 1204s |      18 |  4052899 |   317652 |    50618     14 |        5 |        0
1206.53/1206.95	c 1206s |      18 |  4056592 |   318352 |    50618     14 |        5 |        0
1208.93/1209.35	c 1208s |      18 |  4059540 |   319052 |    50618     14 |        5 |        0
1211.13/1211.54	c 1211s |      18 |  4061620 |   319752 |    50618     14 |        5 |        0
1214.03/1214.49	c 1214s |      18 |  4063133 |   320152 |    50618     14 |        5 |        0
1216.53/1216.99	c 1216s |      18 |  4067528 |   320852 |    50618     14 |        5 |        0
1218.63/1219.00	c 1218s |      18 |  4074001 |   321252 |    50618     14 |        5 |        0
1220.93/1221.39	c 1220s |      18 |  4078423 |   321852 |    50618     14 |        5 |        0
1223.13/1223.54	c 1223s |      18 |  4081215 |   322452 |    50618     14 |        5 |        0
1225.33/1225.75	c 1225s |      18 |  4084883 |   322852 |    50618     14 |        5 |        0
1227.53/1227.90	c 1227s |      18 |  4096390 |   323352 |    50618     14 |        5 |        0
1229.53/1229.93	c 1229s |      18 |  4109137 |   323952 |    50618     14 |        5 |        0
1231.82/1232.23	c 1231s |      18 |  4121117 |   324552 |    50618     14 |        5 |        0
1233.93/1234.30	c 1233s |      18 |  4128034 |   325052 |    50618     14 |        5 |        0
1235.92/1236.31	c 1235s |      18 |  4130918 |   325552 |    50618     14 |        5 |        0
1238.23/1238.61	c 1238s |      18 |  4145019 |   326152 |    50618     14 |        5 |        0
1240.32/1240.78	c 1240s |      18 |  4152948 |   326852 |    50618     14 |        5 |        0
1242.32/1242.78	c 1242s |      18 |  4162915 |   327352 |    50618     14 |        5 |        0
1244.32/1244.80	c 1244s |      18 |  4165575 |   327952 |    50618     14 |        5 |        0
1246.62/1247.05	c 1246s |      18 |  4167142 |   328452 |    50618     14 |        5 |        0
1248.92/1249.30	c 1248s |      18 |  4171425 |   329052 |    50618     14 |        5 |        0
1251.02/1251.45	c 1250s |      18 |  4174121 |   329652 |    50618     14 |        5 |        0
1253.22/1253.64	c 1253s |      18 |  4177061 |   330152 |    50618     14 |        5 |        0
1255.32/1255.72	c 1255s |      18 |  4185472 |   330752 |    50618     14 |        5 |        0
1257.32/1257.76	c 1257s |      18 |  4193794 |   331352 |    50618     14 |        5 |        0
1259.82/1260.29	c 1259s |      18 |  4197343 |   331952 |    50618     14 |        5 |        0
1262.02/1262.46	c 1261s |      18 |  4210758 |   332552 |    50618     14 |        5 |        0
1264.22/1264.64	c 1264s |      18 |  4224557 |   333252 |    50618     14 |        5 |        0
1266.42/1266.83	c 1266s |      18 |  4228590 |   333952 |    50618     14 |        5 |        0
1268.52/1268.95	c 1268s |      18 |  4235218 |   334552 |    50618     14 |        5 |        0
1270.52/1270.97	c 1270s |      18 |  4237305 |   335052 |    50618     14 |        5 |        0
1272.82/1273.26	c 1272s |      18 |  4239335 |   335552 |    50618     14 |        5 |        0
1275.02/1275.44	c 1274s |      18 |  4241159 |   336152 |    50618     14 |        5 |        0
1277.22/1277.68	c 1277s |      18 |  4242916 |   336652 |    50618     14 |        5 |        0
1279.42/1279.84	c 1279s |      18 |  4244690 |   337152 |    50618     14 |        5 |        0
1281.52/1281.99	c 1281s |      18 |  4246612 |   337652 |    50618     14 |        5 |        0
1283.91/1284.37	c 1283s |      18 |  4248754 |   338252 |    50618     14 |        5 |        0
1286.21/1286.61	c 1286s |      18 |  4250791 |   338852 |    50618     14 |        5 |        0
1288.41/1288.86	c 1288s |      18 |  4252919 |   339452 |    50618     14 |        5 |        0
1290.61/1291.04	c 1290s |      18 |  4256172 |   340052 |    50618     14 |        5 |        0
1292.71/1293.15	c 1292s |      18 |  4258991 |   340652 |    50618     14 |        5 |        0
1294.81/1295.21	c 1294s |      18 |  4261580 |   341352 |    50618     14 |        5 |        0
1297.01/1297.42	c 1296s |      18 |  4264625 |   342152 |    50618     14 |        5 |        0
1299.31/1299.78	c 1299s |      18 |  4266711 |   342852 |    50618     14 |        5 |        0
1301.51/1301.90	c 1301s |      18 |  4269715 |   343252 |    50618     14 |        5 |        0
1303.61/1304.06	c 1303s |      18 |  4270831 |   343652 |    50618     15 |        5 |        0
1305.71/1306.14	c 1305s |      18 |  4272333 |   344052 |    50618     15 |        5 |        0
1308.01/1308.47	c 1308s |      18 |  4282222 |   344552 |    50618     15 |        5 |        0
1310.31/1310.70	c 1310s |      18 |  4290263 |   345152 |    50618     15 |        5 |        0
1312.31/1312.73	c 1312s |      18 |  4298443 |   345652 |    50618     15 |        5 |        0
1314.81/1315.22	c 1314s |      18 |  4303199 |   346252 |    50618     15 |        5 |        0
1317.11/1317.54	c 1317s |      18 |  4313242 |   346752 |    50618     15 |        5 |        0
1319.31/1319.72	c 1319s |      18 |  4335344 |   347352 |    50618     15 |        5 |        0
1321.71/1322.19	c 1321s |      18 |  4341216 |   347952 |    50618     15 |        5 |        0
1323.81/1324.29	c 1323s |      18 |  4346622 |   348452 |    50618     15 |        5 |        0
1326.01/1326.47	c 1325s |      18 |  4354092 |   349052 |    50618     15 |        5 |        0
1328.11/1328.59	c 1328s |      18 |  4362182 |   349552 |    50618     15 |        5 |        0
1330.31/1330.75	c 1330s |      18 |  4365269 |   350052 |    50618     15 |        5 |        0
1332.41/1332.81	c 1332s |      18 |  4370765 |   350652 |    50618     15 |        5 |        0
1334.41/1334.86	c 1334s |      18 |  4383637 |   351352 |    50618     15 |        5 |        0
1336.70/1337.15	c 1336s |      18 |  4393728 |   352052 |    50618     15 |        5 |        0
1339.10/1339.51	c 1339s |      18 |  4396486 |   352752 |    50618     15 |        5 |        0
1341.10/1341.55	c 1341s |      18 |  4402028 |   353252 |    50618     15 |        5 |        0
1343.30/1343.70	c 1343s |      18 |  4404645 |   353852 |    50618     15 |        5 |        0
1345.50/1345.90	c 1345s |      18 |  4412767 |   354452 |    50618     15 |        5 |        0
1347.60/1348.07	c 1347s |      18 |  4417885 |   354952 |    50618     15 |        5 |        0
1349.80/1350.29	c 1349s |      18 |  4421038 |   355652 |    50618     15 |        5 |        0
1352.00/1352.42	c 1351s |      18 |  4424024 |   356152 |    50618     15 |        5 |        0
1354.00/1354.45	c 1353s |      18 |  4426611 |   356752 |    50618     15 |        5 |        0
1356.01/1356.47	c 1356s |      18 |  4427566 |   357152 |    50618     15 |        5 |        0
1358.21/1358.67	c 1358s |      18 |  4429296 |   357652 |    50618     15 |        5 |        0
1360.31/1360.71	c 1360s |      18 |  4431287 |   358252 |    50618     15 |        5 |        0
1362.40/1362.85	c 1362s |      18 |  4436112 |   358852 |    50618     15 |        5 |        0
1364.71/1365.12	c 1364s |      18 |  4437915 |   359552 |    50618     15 |        5 |        0
1366.80/1367.24	c 1366s |      18 |  4440910 |   360352 |    50618     15 |        5 |        0
1368.90/1369.35	c 1368s |      18 |  4443104 |   361152 |    50618     15 |        5 |        0
1371.20/1371.69	c 1371s |      18 |  4445108 |   361852 |    50618     15 |        5 |        0
1373.40/1373.80	c 1373s |      18 |  4446832 |   362452 |    50618     15 |        5 |        0
1375.50/1375.95	c 1375s |      18 |  4449485 |   363052 |    50618     15 |        5 |        0
1377.60/1378.09	c 1377s |      18 |  4451599 |   363652 |    50618     15 |        5 |        0
1379.70/1380.19	c 1379s |      18 |  4453306 |   364152 |    50618     15 |        5 |        0
1382.10/1382.52	c 1382s |      18 |  4454904 |   364752 |    50618     15 |        5 |        0
1384.10/1384.56	c 1384s |      18 |  4456912 |   365352 |    50618     15 |        5 |        0
1386.20/1386.61	c 1386s |      18 |  4458466 |   365852 |    50618     15 |        5 |        0
1388.20/1388.64	c 1388s |      18 |  4460464 |   366452 |    50618     15 |        5 |        0
1390.20/1390.65	c 1390s |      18 |  4461906 |   367052 |    50618     15 |        5 |        0
1392.30/1392.71	c 1392s |      18 |  4463757 |   367652 |    50618     15 |        5 |        0
1394.50/1394.95	c 1394s |      18 |  4465711 |   368252 |    50618     15 |        5 |        0
1396.99/1397.44	c 1396s |      18 |  4467780 |   368752 |    50618     15 |        5 |        0
1399.29/1399.73	c 1399s |      18 |  4470004 |   369352 |    50618     15 |        5 |        0
1401.39/1401.83	c 1401s |      18 |  4472362 |   369952 |    50618     15 |        5 |        0
1403.99/1404.41	c 1403s |      18 |  4474437 |   370652 |    50618     16 |        5 |        0
1405.99/1406.43	c 1405s |      18 |  4476633 |   371452 |    50618     16 |        5 |        0
1408.20/1408.67	c 1408s |      18 |  4478199 |   372052 |    50618     16 |        5 |        0
1410.70/1411.11	c 1410s |      18 |  4483154 |   372652 |    50618     16 |        5 |        0
1412.90/1413.36	c 1412s |      18 |  4485003 |   373252 |    50618     16 |        5 |        0
1414.90/1415.37	c 1414s |      18 |  4486957 |   373852 |    50618     16 |        5 |        0
1417.40/1417.87	c 1417s |      18 |  4488120 |   374352 |    50618     16 |        5 |        0
1419.81/1420.22	c 1419s |      18 |  4489783 |   374952 |    50618     16 |        5 |        0
1422.01/1422.41	c 1421s |      18 |  4494775 |   375452 |    50618     16 |        5 |        0
1424.11/1424.55	c 1424s |      18 |  4497830 |   376152 |    50618     16 |        5 |        0
1426.41/1426.81	c 1426s |      18 |  4500389 |   376952 |    50618     16 |        5 |        0
1428.40/1428.89	c 1428s |      18 |  4502944 |   377752 |    50618     16 |        5 |        0
1430.60/1431.00	c 1430s |      18 |  4505665 |   378552 |    50618     16 |        5 |        0
1432.70/1433.10	c 1432s |      18 |  4507341 |   379252 |    50618     16 |        5 |        0
1434.70/1435.12	c 1434s |      18 |  4509194 |   379852 |    50618     16 |        5 |        0
1436.80/1437.29	c 1436s |      18 |  4512786 |   380652 |    50618     16 |        5 |        0
1438.90/1439.33	c 1438s |      18 |  4514274 |   381252 |    50618     16 |        5 |        0
1441.00/1441.48	c 1441s |      18 |  4516104 |   381852 |    50618     16 |        5 |        0
1443.10/1443.51	c 1443s |      18 |  4517916 |   382452 |    50618     16 |        5 |        0
1445.10/1445.52	c 1445s |      18 |  4519509 |   383052 |    50618     16 |        5 |        0
1447.10/1447.53	c 1447s |      18 |  4520801 |   383552 |    50618     16 |        5 |        0
1449.30/1449.80	c 1449s |      18 |  4522434 |   384052 |    50618     16 |        5 |        0
1451.70/1452.19	c 1451s |      18 |  4524494 |   384752 |    50618     16 |        5 |        0
1453.80/1454.27	c 1453s |      18 |  4525852 |   385252 |    50618     16 |        5 |        0
1455.89/1456.34	c 1455s |      18 |  4527488 |   385852 |    50618     16 |        5 |        0
1458.20/1458.65	c 1458s |      18 |  4529342 |   386552 |    50618     16 |        5 |        0
1460.40/1460.80	c 1460s |      18 |  4531516 |   387252 |    50618     16 |        5 |        0
1462.39/1462.89	c 1462s |      18 |  4534080 |   388052 |    50618     16 |        5 |        0
1464.49/1464.97	c 1464s |      18 |  4536437 |   388652 |    50618     16 |        5 |        0
1466.59/1467.06	c 1466s |      18 |  4537589 |   389052 |    50618     16 |        5 |        0
1468.69/1469.12	c 1468s |      18 |  4540120 |   389452 |    50618     16 |        5 |        0
1470.89/1471.30	c 1470s |      18 |  4544711 |   389952 |    50618     16 |        5 |        0
1472.99/1473.41	c 1472s |      18 |  4557458 |   390552 |    50618     16 |        5 |        0
1475.29/1475.78	c 1475s |      18 |  4561175 |   391052 |    50618     16 |        5 |        0
1477.59/1478.00	c 1477s |      18 |  4562112 |   391452 |    50618     16 |        5 |        0
1479.59/1480.05	c 1479s |      18 |  4562978 |   391852 |    50618     16 |        5 |        0
1481.79/1482.25	c 1481s |      18 |  4564412 |   392452 |    50618     16 |        5 |        0
1484.09/1484.53	c 1484s |      18 |  4566323 |   393152 |    50618     16 |        5 |        0
1486.19/1486.66	c 1486s |      18 |  4567986 |   393752 |    50618     16 |        5 |        0
1488.49/1488.94	c 1488s |      18 |  4570304 |   394352 |    50618     16 |        5 |        0
1490.69/1491.17	c 1490s |      18 |  4572436 |   394952 |    50618     16 |        5 |        0
1492.99/1493.46	c 1492s |      18 |  4578898 |   395452 |    50618     16 |        5 |        0
1495.09/1495.54	c 1495s |      18 |  4586731 |   395952 |    50618     16 |        5 |        0
1497.09/1497.58	c 1497s |      18 |  4593093 |   396352 |    50618     17 |        5 |        0
1499.19/1499.61	c 1499s |      18 |  4594748 |   396752 |    50618     17 |        5 |        0
1501.19/1501.69	c 1501s |      18 |  4596952 |   397352 |    50618     17 |        5 |        0
1503.29/1503.71	c 1503s |      18 |  4598483 |   397952 |    50618     17 |        5 |        0
1505.39/1505.87	c 1505s |      18 |  4600833 |   398752 |    50618     17 |        5 |        0
1507.39/1507.89	c 1507s |      18 |  4602925 |   399352 |    50618     17 |        5 |        0
1509.59/1510.05	c 1509s |      18 |  4605235 |   399952 |    50618     17 |        5 |        0
1511.69/1512.19	c 1511s |      18 |  4608467 |   400552 |    50618     17 |        5 |        0
1513.78/1514.25	c 1513s |      18 |  4610844 |   401052 |    50618     17 |        5 |        0
1515.88/1516.39	c 1515s |      18 |  4612877 |   401652 |    50618     17 |        5 |        0
1518.18/1518.62	c 1518s |      18 |  4614765 |   402252 |    50618     17 |        5 |        0
1520.18/1520.66	c 1520s |      18 |  4616942 |   402952 |    50618     17 |        5 |        0
1522.38/1522.88	c 1522s |      18 |  4619262 |   403752 |    50618     17 |        5 |        0
1524.48/1524.92	c 1524s |      18 |  4620917 |   404452 |    50618     17 |        5 |        0
1526.78/1527.26	c 1526s |      18 |  4622355 |   405052 |    50618     17 |        5 |        0
1528.88/1529.38	c 1528s |      18 |  4624163 |   405652 |    50618     17 |        5 |        0
1531.18/1531.62	c 1531s |      18 |  4626071 |   406152 |    50618     17 |        5 |        0
1533.28/1533.77	c 1533s |      18 |  4627626 |   406752 |    50618     17 |        5 |        0
1535.48/1535.98	c 1535s |      18 |  4629396 |   407352 |    50618     17 |        5 |        0
1537.68/1538.14	c 1537s |      18 |  4631444 |   408052 |    50618     17 |        5 |        0
1539.69/1540.17	c 1539s |      18 |  4634176 |   408652 |    50618     17 |        5 |        0
1541.89/1542.39	c 1541s |      18 |  4638117 |   409352 |    50618     17 |        5 |        0
1544.28/1544.73	c 1544s |      18 |  4640144 |   409952 |    50618     17 |        5 |        0
1546.38/1546.89	c 1546s |      18 |  4642030 |   410552 |    50618     17 |        5 |        0
1548.49/1548.98	c 1548s |      18 |  4644660 |   411252 |    50618     17 |        5 |        0
1550.78/1551.26	c 1550s |      18 |  4646218 |   411752 |    50618     17 |        5 |        0
1552.79/1553.29	c 1552s |      18 |  4647871 |   412252 |    50618     17 |        5 |        0
1555.08/1555.58	c 1555s |      18 |  4649020 |   412752 |    50618     17 |        5 |        0
1557.18/1557.65	c 1557s |      18 |  4651045 |   413452 |    50618     17 |        5 |        0
1559.58/1560.05	c 1559s |      18 |  4652698 |   414052 |    50618     17 |        5 |        0
1561.58/1562.06	c 1561s |      18 |  4654216 |   414652 |    50618     17 |        5 |        0
1563.58/1564.09	c 1563s |      18 |  4655223 |   415052 |    50618     17 |        5 |        0
1565.98/1566.41	c 1565s |      18 |  4656059 |   415452 |    50618     17 |        5 |        0
1568.18/1568.67	c 1568s |      18 |  4658030 |   416052 |    50618     17 |        5 |        0
1570.57/1571.04	c 1570s |      18 |  4660124 |   416652 |    50618     17 |        5 |        0
1572.58/1573.05	c 1572s |      18 |  4661657 |   417252 |    50618     17 |        5 |        0
1574.67/1575.14	c 1574s |      18 |  4663185 |   417952 |    50618     17 |        5 |        0
1576.67/1577.19	c 1576s |      18 |  4664561 |   418452 |    50618     17 |        5 |        0
1579.28/1579.71	c 1579s |      18 |  4666061 |   418952 |    50618     17 |        5 |        0
1581.27/1581.75	c 1581s |      18 |  4667422 |   419452 |    50618     17 |        5 |        0
1583.58/1584.03	c 1583s |      18 |  4669663 |   420152 |    50618     17 |        5 |        0
1585.88/1586.36	c 1585s |      18 |  4671282 |   420752 |    50618     17 |        5 |        0
1588.08/1588.55	c 1588s |      18 |  4672918 |   421352 |    50618     17 |        5 |        0
1590.37/1590.82	c 1590s |      18 |  4674551 |   421952 |    50618     17 |        5 |        0
1592.38/1592.84	c 1592s |      18 |  4675856 |   422552 |    50618     17 |        5 |        0
1594.47/1594.92	c 1594s |      18 |  4677702 |   423052 |    50618     18 |        5 |        0
1596.78/1597.23	c 1596s |      18 |  4679819 |   423752 |    50618     18 |        5 |        0
1598.87/1599.30	c 1598s |      18 |  4681682 |   424452 |    50618     18 |        5 |        0
1600.87/1601.32	c 1600s |      18 |  4683286 |   425152 |    50618     18 |        5 |        0
1602.87/1603.32	c 1602s |      18 |  4685246 |   425852 |    50618     18 |        5 |        0
1620.16/1620.69	c 1620s |      18 |  4686508 |   426152 |    50618     18 |        5 |        0
1623.17/1623.68	c 1623s |      18 |  4687114 |   426252 |    50618     18 |        5 |        0
1625.57/1626.04	c 1625s |      18 |  4688478 |   426752 |    50618     18 |        5 |        0
1627.87/1628.38	c 1627s |      18 |  4689776 |   427152 |    50618     18 |        5 |        0
1630.37/1630.84	c 1630s |      18 |  4691947 |   427652 |    50618     18 |        5 |        0
1632.56/1633.07	c 1632s |      18 |  4693538 |   428052 |    50618     18 |        5 |        0
1634.86/1635.32	c 1634s |      18 |  4694422 |   428452 |    50618     18 |        5 |        0
1637.26/1637.72	c 1637s |      18 |  4695196 |   428852 |    50618     18 |        5 |        0
1639.67/1640.11	c 1639s |      18 |  4696930 |   429352 |    50618     18 |        5 |        0
1641.97/1642.43	c 1641s |      18 |  4697688 |   429752 |    50618     18 |        5 |        0
1644.17/1644.65	c 1644s |      18 |  4698929 |   430252 |    50618     18 |        5 |        0
1646.66/1647.11	c 1646s |      18 |  4700341 |   430752 |    50618     18 |        5 |        0
1648.86/1649.33	c 1648s |      18 |  4701442 |   431252 |    50618     18 |        5 |        0
1650.96/1651.42	c 1650s |      18 |  4702801 |   431852 |    50618     18 |        5 |        0
1653.06/1653.57	c 1653s |      18 |  4703932 |   432352 |    50618     18 |        5 |        0
1655.17/1655.68	c 1655s |      18 |  4706533 |   432852 |    50618     18 |        5 |        0
1657.66/1658.11	c 1657s |      18 |  4708848 |   433352 |    50618     18 |        5 |        0
1659.76/1660.28	c 1659s |      18 |  4712694 |   433952 |    50618     18 |        5 |        0
1662.16/1662.64	c 1662s |      18 |  4714920 |   434652 |    50618     18 |        5 |        0
1664.26/1664.72	c 1664s |      18 |  4716432 |   435052 |    50618     18 |        5 |        0
1666.66/1667.16	c 1666s |      18 |  4717776 |   435552 |    50618     18 |        5 |        0
1668.96/1669.45	c 1668s |      18 |  4721343 |   436052 |    50618     18 |        5 |        0
1671.57/1672.03	c 1671s |      18 |  4723606 |   436752 |    50618     18 |        5 |        0
1673.56/1674.05	c 1673s |      18 |  4724871 |   437152 |    50618     18 |        5 |        0
1675.86/1676.36	c 1675s |      18 |  4726720 |   437652 |    50618     18 |        5 |        0
1678.06/1678.59	c 1678s |      18 |  4729858 |   438252 |    50618     18 |        5 |        0
1680.26/1680.73	c 1680s |      18 |  4733350 |   438752 |    50618     18 |        5 |        0
1682.66/1683.15	c 1682s |      18 |  4737491 |   439352 |    50618     18 |        5 |        0
1684.76/1685.26	c 1684s |      18 |  4742661 |   439752 |    50618     18 |        5 |        0
1687.06/1687.59	c 1687s |      18 |  4746155 |   440252 |    50618     18 |        5 |        0
1689.46/1689.95	c 1689s |      18 |  4747921 |   440752 |    50618     18 |        5 |        0
1691.86/1692.30	c 1691s |      18 |  4750859 |   441452 |    55680     18 |        5 |        0
1693.96/1694.48	c 1694s |      18 |  4752862 |   441952 |    55680     18 |        5 |        0
1696.26/1696.76	c 1696s |      18 |  4754740 |   442552 |    55680     18 |        5 |        0
1698.55/1699.09	c 1698s |      18 |  4757041 |   443252 |    55680     18 |        5 |        0
1700.75/1701.25	c 1700s |      18 |  4759011 |   443852 |    55680     18 |        5 |        0
1702.85/1703.38	c 1702s |      18 |  4760500 |   444452 |    55680     18 |        5 |        0
1703.05/1703.52	c 1703s |      19 |  4760597 |   444482 |    55680     18 |        5 |        0
1705.15/1705.60	c 1705s |      19 |  4761996 |   444982 |    55680     18 |        5 |        0
1707.55/1708.01	c 1707s |      19 |  4764287 |   445682 |    55680     18 |        5 |        0
1715.45/1715.98	c 1715s |      19 |  4766270 |   446282 |    55680     18 |        5 |        0
1717.65/1718.16	c 1717s |      19 |  4768029 |   446682 |    55680     18 |        5 |        0
1719.85/1720.32	c 1719s |      19 |  4770078 |   447082 |    55680     18 |        5 |        0
1721.85/1722.34	c 1721s |      19 |  4771169 |   447382 |    55680     18 |        5 |        0
1724.14/1724.63	c 1724s |      19 |  4773732 |   447982 |    55680     18 |        5 |        0
1726.84/1727.35	c 1726s |      19 |  4774789 |   448382 |    55680     18 |        5 |        0
1728.85/1729.35	c 1728s |      19 |  4776415 |   448682 |    55680     18 |        5 |        0
1731.24/1731.71	c 1731s |      19 |  4778838 |   449082 |    55680     18 |        5 |        0
1733.84/1734.35	c 1733s |      19 |  4780093 |   449482 |    55680     18 |        5 |        0
1736.14/1736.68	c 1736s |      19 |  4782118 |   449982 |    55680     18 |        5 |        0
1738.65/1739.13	c 1738s |      19 |  4784073 |   450482 |    55680     18 |        5 |        0
1740.85/1741.37	c 1740s |      19 |  4785775 |   450982 |    55680     18 |        5 |        0
1743.44/1743.99	c 1743s |      19 |  4787101 |   451482 |    55680     18 |        5 |        0
1745.84/1746.33	c 1745s |      19 |  4796377 |   451982 |    55680     18 |        5 |        0
1748.34/1748.86	c 1748s |      19 |  4801423 |   452482 |    55680     18 |        5 |        0
1751.44/1751.96	c 1751s |      19 |  4815386 |   452982 |    55680     19 |        5 |        0
1753.65/1754.17	c 1753s |      19 |  4825795 |   453482 |    55680     19 |        5 |        0
1756.05/1756.56	c 1756s |      19 |  4829941 |   454182 |    55680     19 |        5 |        0
1758.15/1758.62	c 1758s |      19 |  4831828 |   454582 |    55680     19 |        5 |        0
1760.25/1760.71	c 1760s |      19 |  4833604 |   455082 |    55680     19 |        5 |        0
1762.45/1762.98	c 1762s |      19 |  4835956 |   455682 |    55680     19 |        5 |        0
1764.75/1765.24	c 1764s |      19 |  4838279 |   456182 |    55680     19 |        5 |        0
1767.05/1767.59	c 1767s |      19 |  4840618 |   456782 |    55680     19 |        5 |        0
1769.25/1769.74	c 1769s |      19 |  4842986 |   457282 |    55680     19 |        5 |        0
1771.25/1771.77	c 1771s |      19 |  4845211 |   457882 |    55680     19 |        5 |        0
1773.35/1773.89	c 1773s |      19 |  4847263 |   458382 |    55680     19 |        5 |        0
1775.45/1775.96	c 1775s |      19 |  4850253 |   458982 |    55680     19 |        5 |        0
1777.44/1777.97	c 1777s |      19 |  4852587 |   459582 |    55680     19 |        5 |        0
1779.64/1780.20	c 1779s |      19 |  4856652 |   460182 |    55680     19 |        5 |        0
1781.84/1782.30	c 1781s |      19 |  4859916 |   460782 |    55680     19 |        5 |        0
1783.85/1784.38	c 1783s |      19 |  4863479 |   461482 |    55680     19 |        5 |        0
1785.84/1786.38	c 1785s |      19 |  4866214 |   462082 |    55680     19 |        5 |        0
1788.04/1788.56	c 1788s |      19 |  4868097 |   462682 |    55680     19 |        5 |        0
1790.35/1790.87	c 1790s |      19 |  4869898 |   463382 |    55680     19 |        5 |        0
1792.44/1792.90	c 1792s |      19 |  4872124 |   463982 |    55680     19 |        5 |        0
1794.44/1794.95	c 1794s |      19 |  4874020 |   464782 |    55680     19 |        5 |        0
1796.54/1797.05	c 1796s |      19 |  4876806 |   465682 |    55680     19 |        5 |        0
1799.64/1800.18	c 1799s |      19 |  4879035 |   466382 |    55680     19 |        5 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=4732
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.24 2.11 2.05 3/179 4735
/proc/meminfo: memFree=30358952/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=658876 CPUtime=0 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 2448 0 0 0 0 0 0 0 20 0 4 0 107114429 674689024 2298 33554432000 4194304 16246674 140734221615120 140734221614544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 165231 2306 441 2943 0 162125 0
[pid=4735/tid=4736] ppid=4732 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 692514816 2366 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=681404 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 697757696 2384 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107114429 701952000 2400 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.24 2.11 2.05 3/179 4735
/proc/meminfo: memFree=30358952/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 25765 0 0 0 5 3 0 0 20 0 4 0 107114429 1250496512 25553 33554432000 4194304 16246674 140734221615120 140734221614432 4206649 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 305297 25553 798 2943 0 302191 0
[pid=4735/tid=4736] ppid=4732 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1250496512 25553 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1250496512 25553 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1250496512 25553 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200515 s]
/proc/loadavg: 2.24 2.11 2.05 3/179 4735
/proc/meminfo: memFree=30358952/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 45791 0 0 0 12 7 0 0 20 0 4 0 107114429 1333334016 45579 33554432000 4194304 16246674 140734221615120 140734221614432 6759656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 325521 45579 832 2943 0 322415 0
[pid=4735/tid=4736] ppid=4732 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1333334016 45579 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1333334016 45579 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1333334016 45579 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300483 s]
/proc/loadavg: 2.24 2.11 2.05 3/179 4735
/proc/meminfo: memFree=30358952/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 62605 0 0 0 18 11 0 0 20 0 4 0 107114429 1333334016 62393 33554432000 4194304 16246674 140734221615120 140734221614432 6757465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 325521 62400 832 2943 0 322415 0
[pid=4735/tid=4736] ppid=4732 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1333334016 62404 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1333334016 62409 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1333334016 62414 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700387 s]
/proc/loadavg: 2.24 2.11 2.05 3/179 4735
/proc/meminfo: memFree=30358952/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 89603 0 0 0 54 14 0 0 20 0 4 0 107114429 1345916928 89391 33554432000 4194304 16246674 140734221615120 140734221614432 5830022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 328593 89391 881 2943 0 325487 0
[pid=4735/tid=4736] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 89391 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 89391 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 89391 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.24 2.11 2.05 3/183 4739
/proc/meminfo: memFree=29873344/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 179585 0 0 0 125 24 0 0 20 0 4 0 107114429 1345916928 179373 33554432000 4194304 16246674 140734221615120 140734221596992 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 328593 179377 881 2943 0 325487 0
[pid=4735/tid=4736] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 179380 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 179382 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 179385 33554432000 4194304 16246674 140734221615120 139850492660912 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) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.24 2.11 2.05 3/183 4739
/proc/meminfo: memFree=29281592/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 269776 0 0 0 273 36 0 0 20 0 4 0 107114429 1345916928 269564 33554432000 4194304 16246674 140734221615120 140734221596992 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 328593 269564 884 2943 0 325487 0
[pid=4735/tid=4736] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269564 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269564 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269564 33554432000 4194304 16246674 140734221615120 139850492660912 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) 1314372

[startup+6.3004 s]
/proc/loadavg: 2.22 2.11 2.05 3/183 4739
/proc/meminfo: memFree=29281156/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 269779 0 0 0 593 36 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 140734221596992 13820888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 328593 269567 886 2943 0 325487 0
[pid=4735/tid=4736] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850492660912 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) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.29 2.12 2.05 3/183 4739
/proc/meminfo: memFree=29281920/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 269779 0 0 0 1233 36 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 140734221596992 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 328593 269567 886 2943 0 325487 0
[pid=4735/tid=4736] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850492660912 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) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.22 2.12 2.05 3/183 4739
/proc/meminfo: memFree=29282668/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 269779 0 0 0 2513 36 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 140734221596992 5522898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 328593 269567 886 2943 0 325487 0
[pid=4735/tid=4736] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850492660912 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) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.15 2.11 2.05 3/183 4739
/proc/meminfo: memFree=29282500/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 269779 0 0 0 5072 36 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 140734221596992 5661226 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 328593 269567 886 2943 0 325487 0
[pid=4735/tid=4736] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1345916928 269567 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.06 2.09 2.05 3/183 4740
/proc/meminfo: memFree=29269704/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 272941 0 0 0 10192 36 0 0 20 0 4 0 107114429 1359548416 272729 33554432000 4194304 16246674 140734221615120 140734221596992 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 331921 272729 892 2943 0 328815 0
[pid=4735/tid=4736] ppid=4732 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1359548416 272729 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1359548416 272729 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1359548416 272729 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1381956

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 4868
/proc/meminfo: memFree=29424896/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1381956 CPUtime=1361.9 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 286984 0 0 0 136147 43 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 140734221596992 5823194 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 345489 286726 893 2943 0 342383 0
[pid=4735/tid=4736] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1381956

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/183 4869
/proc/meminfo: memFree=29424552/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1381956 CPUtime=1421.91 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 286984 0 0 0 142147 44 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 140734221596992 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 345489 286726 893 2943 0 342383 0
[pid=4735/tid=4736] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1381956

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 4870
/proc/meminfo: memFree=29423604/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1381956 CPUtime=1481.89 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 286984 0 0 0 148145 44 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 140734221596992 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 345489 286726 893 2943 0 342383 0
[pid=4735/tid=4736] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1381956

[startup+1542.31 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 4872
/proc/meminfo: memFree=29423000/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1381956 CPUtime=1541.89 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 286984 0 0 0 154145 44 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 140734221596992 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 345489 286726 893 2943 0 342383 0
[pid=4735/tid=4736] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1381956

[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 4873
/proc/meminfo: memFree=29423724/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1381956 CPUtime=1601.87 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 286984 0 0 0 160143 44 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 140734221596992 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 345489 286726 893 2943 0 342383 0
[pid=4735/tid=4736] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1415122944 286726 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1381956

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 4877
/proc/meminfo: memFree=29419252/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1386052 CPUtime=1661.86 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 288008 0 0 0 166140 46 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 140734221596992 5674276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 346513 287750 893 2943 0 343407 0
[pid=4735/tid=4736] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1386052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 4878
/proc/meminfo: memFree=29419408/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1386052 CPUtime=1721.85 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 288008 0 0 0 172139 46 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 140734221596992 5827632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 346513 287750 893 2943 0 343407 0
[pid=4735/tid=4736] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1386052

[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 4879
/proc/meminfo: memFree=29419184/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1386052 CPUtime=1781.84 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 288008 0 0 0 178137 47 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 140734221596992 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 346513 287750 893 2943 0 343407 0
[pid=4735/tid=4736] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1386052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 4881
/proc/meminfo: memFree=29419772/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1386052 CPUtime=1800.04 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 288008 0 0 0 179957 47 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 140734221614296 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 346513 287750 893 2943 0 343407 0
[pid=4735/tid=4736] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1386052

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

[startup+1800.5 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 4881
/proc/meminfo: memFree=29419772/32872528 swapFree=10676/249824
[pid=4735] ppid=4732 vsize=1386052 CPUtime=1800.04 cores=0,2,4,6
/proc/4735/stat : 4735 (toysat) R 4732 4735 1222 0 -1 4202496 288008 0 0 0 179957 47 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 140734221614296 4225320 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4735/statm: 346513 287750 893 2943 0 343407 0
[pid=4735/tid=4736] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4736/stat : 4736 (toysat) S 4732 4735 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850513624304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4735/tid=4737] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4737/stat : 4737 (toysat) S 4732 4735 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850503134448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4735/tid=4738] ppid=4732 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/4735/task/4738/stat : 4738 (toysat) S 4732 4735 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107114429 1419317248 287750 33554432000 4194304 16246674 140734221615120 139850492660912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1386052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.58
CPU system time (s): 0.471928
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1386052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.471928
maximum resident set size= 1151000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288008
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= 318
involuntary context switches= 1947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99609 second user time and 7.36788 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-07 00:23:10
IDJOB=4079822
IDBENCH=25015
IDSOLVER=2542
FILE ID=node103/4079822-1465251789
RUNJOBID= node103-1465221288-1238
PBS_JOBID= 19843228
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=1727779378

node103.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.760
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.52
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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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.56
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.760
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.760
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.760
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.760
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.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30359216 kB
Buffers:           58680 kB
Cached:           157252 kB
SwapCached:         1716 kB
Active:          1459504 kB
Inactive:          97736 kB
Active(anon):    1342900 kB
Inactive(anon):     1160 kB
Active(file):     116604 kB
Inactive(file):    96576 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096644 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       1541744 kB
Mapped:            10928 kB
Shmem:                 0 kB
Slab:             570196 kB
SReclaimable:      14340 kB
SUnreclaim:       555856 kB
KernelStack:        1520 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1735676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    999424 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= 71704 MiB
End job on node103 at 2016-06-07 00:53:10