Trace number 4078923

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K102.opb
MD5SUM2946edf6ae8af40eb44098433ff3dcec
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark549.21
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6936
Total number of constraints7142
Number of constraints which are clauses7040
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint102
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 103
Number of bits of the biggest sum of numbers7
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-07T08:42:23+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-4078923-1465281743.opb"]
0.00/0.01	c use --random-gen="553059133 767424541 155053919 2269553955 3829951556 516663388 840333746 430334201 2172050998 2382554425 3515526494 1972239222 3955278911 525378876 3304678935 1539321844 2146426125 4040098223 4154755001 3826555395 4144094280 631978092 3940717863 140152445 3148151427 1286457925 546151010 1524688266 544654430 308241382 1908649880 4209049492 308782444 1336234324 1998037379 3094996319 2672144614 4040320279 1595838755 676328145 403762612 1705238501 628058410 242400256 3480377302 3575956341 45722037 1798323321 3068452872 3736974713 152500245 108711934 3472192119 589751334 4277802512 1376544487 3389457488 425971023 2316227902 3419643380 4293671588 3653248475 400962737 2043176386 3764354490 3768690537 26409385 1216864445 3323547683 3951312362 3554530057 2936476020 300966469 755790534 922473335 3163663090 2060942933 3687754995 169784433 2465660471 1866884109 2340452415 3809667700 3691714638 196194088 1355099076 3060643513 4168776055 1046215552 1323534431 2974116319 3418503668 599596557 2164154563 942544416 184527068 3574302437 1700199855 1328991043 3866713904 3627326811 516746357 962895067 510343037 2248762603 50981963 3073031697 4263468189 3995039479 3279452151 924027237 3414994214 2995170664 2571125328 997509629 3860757896 1908193953 4276801552 3022533009 1095928015 2616303398 4113988133 3237693762 4010773347 292117184 3386195473 981782746 1874442829 3972164149 1248330692 3727686567 3258704241 3097197989 2761968415 3853607457 3719632093 726524164 173130168 822114601 243304858 2723653549 2401387643 3638039006 101229352 3468977205 254410659 2141839845 1200670142 2845962834 2471073386 1142204677 2248017578 2698936819 4069700644 1460805968 400341379 2128541247 242855127 252927771 4117399362 2525716400 177948770 1005407036 736565314 3276451313 3288362277 4185971927 2805857187 919321202 3327443416 4122422339 3011748519 1947968480 734198964 1918216907 1869626701 2498881690 2659462194 609157211 2379282815 1988749906 1269911994 2189390034 1343884738 1905144218 2661398117 2094769307 711552151 706500097 1147468815 2094126688 2579919995 3981901310 2148591805 3571628920 655449535 2213824254 2384199531 2256922526 2836326270 4148645709 444308103 1140097189 640991997 4284104599 4124102812 352859446 3081462301 24927685 2742901523 47627670 4009787277 3684032893 360459879 2302811805 2884966055 2286717194 2672399762 1003016223 2486031128 133698162 585003465 2833740762 3617730792 3845567314 653987267 3837857000 837032849 2129097022 738956567 1508436031 2504343649 4191446481 3186688692 229259326 2768557299 4076027056 531397758 2141296748 971279736 3389933024 4194500310 2141647644 4216203477 3605731396 2828071351 3097296909 2752820196 3809333426 1723325091 1536970780 659225858 87223408 100469201 2863622107 1978509595 255 362436" option to reproduce the execution
0.09/0.11	c #vars 6936
0.09/0.11	c #constraints 7142
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4692      0 |      362 |        0
0.39/0.41	c  0.2s |       1 |     5971 |      100 |     4692      0 |      363 |      304
0.59/0.62	c  0.4s |       2 |    11148 |      250 |     5162      0 |      364 |      305
0.99/1.08	c  0.8s |       3 |    15400 |      475 |     5679      0 |      364 |      305
1.49/1.58	c  1.3s |       4 |    23118 |      813 |     6247      0 |      364 |      305
2.09/2.13	c  1.9s |       5 |    32694 |     1320 |     6872      0 |      364 |      305
3.09/3.14	c  2.9s |       6 |    50333 |     2081 |     8316      0 |      364 |      305
4.59/4.63	c  4.4s |       7 |    74125 |     3223 |     9148      0 |      364 |      305
6.59/6.67	c  6.4s |       7 |   113268 |     4723 |     9148      0 |      368 |      309
6.89/6.95	c  6.7s |       8 |   118292 |     4936 |    10063      0 |      369 |      310
8.99/9.05	c  8.8s |       8 |   150797 |     6436 |    10063      0 |      373 |      314
10.49/10.51	c 10.3s |       9 |   172787 |     7506 |    11070      0 |      373 |      314
12.69/12.70	c 12.4s |       9 |   200456 |     8906 |    11070      0 |      375 |      316
14.69/14.78	c 14.5s |       9 |   221803 |    10006 |    11070      0 |      376 |      317
16.79/16.81	c 16.6s |       9 |   235085 |    11206 |    11070      0 |      376 |      317
17.09/17.13	c 16.9s |      10 |   235959 |    11361 |    12178      0 |      376 |      317
19.19/19.22	c 19.0s |      10 |   253252 |    12461 |    12178      0 |      377 |      318
21.18/21.24	c 21.0s |      10 |   273591 |    13661 |    12178      1 |      377 |      318
23.28/23.38	c 23.1s |      10 |   302825 |    15161 |    12178      1 |      378 |      319
25.29/25.38	c 25.1s |      10 |   321687 |    16361 |    12178      1 |      380 |      321
26.58/26.63	c 26.4s |      11 |   337194 |    17144 |    13396      1 |      380 |      321
28.69/28.72	c 28.5s |      11 |   359052 |    18444 |    13396      1 |      381 |      322
30.79/30.84	c 30.6s |      11 |   382355 |    19744 |    13396      1 |      381 |      322
32.88/32.92	c 32.7s |      11 |   409963 |    21144 |    13396      2 |      381 |      322
34.88/34.97	c 34.7s |      11 |   428404 |    22644 |    13396      2 |      381 |      322
36.99/37.05	c 36.8s |      11 |   444871 |    23844 |    13396      2 |      381 |      322
39.09/39.11	c 38.9s |      11 |   466019 |    25244 |    13396      2 |      381 |      322
39.89/39.98	c 39.7s |      12 |   471600 |    25819 |    14736      2 |      381 |      322
42.19/42.21	c 42.0s |      12 |   493887 |    27219 |    14736      2 |      381 |      322
44.19/44.29	c 44.0s |      12 |   495990 |    27919 |    14736      2 |      381 |      322
46.39/46.49	c 46.2s |      12 |   507241 |    29019 |    14736      2 |      381 |      322
48.58/48.62	c 48.4s |      12 |   526013 |    30119 |    14736      3 |      381 |      322
50.59/50.70	c 50.4s |      12 |   550481 |    31519 |    14736      3 |      383 |      324
52.68/52.78	c 52.5s |      12 |   568571 |    32719 |    14736      3 |      384 |      325
55.09/55.11	c 54.9s |      12 |   574734 |    33719 |    14736      3 |      384 |      325
57.48/57.53	c 57.3s |      12 |   576430 |    34419 |    14736      3 |      384 |      325
59.49/59.55	c 59.3s |      12 |   589072 |    35519 |    14736      3 |      384 |      325
61.59/61.62	c 61.4s |      12 |   605594 |    37019 |    14736      3 |      384 |      325
63.58/63.64	c 63.4s |      12 |   615793 |    38119 |    14736      4 |      384 |      325
64.58/64.67	c 64.4s |      13 |   623859 |    38832 |    16210      4 |      384 |      325
66.58/66.69	c 66.4s |      13 |   648807 |    40132 |    16210      4 |      384 |      325
68.68/68.76	c 68.5s |      13 |   668042 |    41432 |    16210      4 |      384 |      325
70.68/70.78	c 70.5s |      13 |   693549 |    42632 |    16210      4 |      384 |      325
72.78/72.84	c 72.6s |      13 |   712005 |    43832 |    16210      4 |      384 |      325
74.79/74.89	c 74.6s |      13 |   724668 |    44932 |    16210      4 |      384 |      325
76.88/76.90	c 76.6s |      13 |   738909 |    46332 |    16210      4 |      384 |      325
78.88/78.96	c 78.7s |      13 |   756724 |    47532 |    16210      5 |      384 |      325
80.98/81.08	c 80.8s |      13 |   776051 |    48932 |    16210      5 |      384 |      325
83.08/83.10	c 82.8s |      13 |   793439 |    50232 |    16210      5 |      384 |      325
85.18/85.25	c 85.0s |      13 |   801256 |    51132 |    16210      5 |      384 |      325
87.28/87.32	c 87.1s |      13 |   802113 |    51532 |    16210      5 |      384 |      325
89.28/89.33	c 89.1s |      13 |   809827 |    52332 |    16210      5 |      384 |      325
91.38/91.47	c 91.2s |      13 |   830501 |    53532 |    16210      5 |      384 |      325
93.48/93.54	c 93.3s |      13 |   846532 |    54832 |    16210      5 |      384 |      325
95.47/95.57	c 95.3s |      13 |   864981 |    55932 |    16210      6 |      384 |      325
97.67/97.73	c 97.5s |      13 |   881780 |    57332 |    16210      6 |      384 |      325
99.47/99.52	c 99.3s |      14 |   899913 |    58352 |    17831      6 |      384 |      325
101.47/101.59	c  101s |      14 |   918517 |    59652 |    17831      6 |      385 |      326
103.57/103.64	c  103s |      14 |   930674 |    61052 |    17831      6 |      385 |      326
105.58/105.67	c  105s |      14 |   952575 |    62352 |    17831      6 |      385 |      326
107.67/107.78	c  107s |      14 |   957561 |    63352 |    17831      6 |      385 |      326
109.77/109.81	c  109s |      14 |   976276 |    64652 |    17831      6 |      385 |      326
111.77/111.87	c  111s |      14 |   987238 |    65852 |    17831      6 |      385 |      326
113.87/113.93	c  113s |      14 |  1008502 |    66952 |    17831      7 |      385 |      326
115.97/116.03	c  115s |      14 |  1022911 |    68252 |    17831      7 |      385 |      326
118.17/118.22	c  117s |      14 |  1029947 |    69352 |    17831      7 |      385 |      326
120.27/120.37	c  120s |      14 |  1044414 |    70552 |    17831      7 |      385 |      326
122.47/122.54	c  122s |      14 |  1049448 |    71352 |    17831      7 |      385 |      326
124.87/124.94	c  124s |      14 |  1051804 |    71952 |    17831      7 |      385 |      326
128.17/128.25	c  127s |      14 |  1052845 |    72352 |    17831      7 |      385 |      326
130.68/130.71	c  130s |      14 |  1054531 |    72752 |    17831      7 |      385 |      326
133.27/133.34	c  133s |      14 |  1055282 |    73052 |    17831      7 |      385 |      326
135.38/135.44	c  135s |      14 |  1055473 |    73152 |    17831      7 |      385 |      326
137.37/137.45	c  137s |      14 |  1056001 |    73352 |    17831      7 |      385 |      326
139.57/139.64	c  139s |      14 |  1058619 |    73852 |    17831      7 |      385 |      326
141.57/141.67	c  141s |      14 |  1059852 |    74152 |    17831      7 |      385 |      326
143.67/143.75	c  143s |      14 |  1068210 |    75152 |    17831      7 |      385 |      326
145.77/145.80	c  145s |      14 |  1073206 |    75952 |    17831      7 |      385 |      326
148.07/148.16	c  147s |      14 |  1082631 |    76652 |    17831      8 |      385 |      326
150.17/150.21	c  149s |      14 |  1095252 |    77552 |    17831      8 |      385 |      326
152.27/152.31	c  152s |      14 |  1101592 |    78452 |    17831      8 |      385 |      326
154.27/154.38	c  154s |      14 |  1115535 |    79552 |    17831      8 |      385 |      326
156.47/156.59	c  156s |      14 |  1118301 |    80252 |    17831      8 |      385 |      326
158.56/158.69	c  158s |      14 |  1124214 |    80852 |    17831      8 |      385 |      326
160.86/160.93	c  160s |      14 |  1127593 |    81552 |    17831      8 |      385 |      326
163.26/163.37	c  163s |      14 |  1129222 |    81952 |    17831      8 |      385 |      326
165.36/165.41	c  165s |      14 |  1138905 |    82652 |    17831      8 |      385 |      326
167.36/167.47	c  167s |      14 |  1144216 |    83452 |    17831      8 |      385 |      326
169.47/169.56	c  169s |      14 |  1145364 |    83952 |    17831      8 |      385 |      326
171.57/171.62	c  171s |      14 |  1155063 |    84852 |    17831      8 |      385 |      326
173.66/173.73	c  173s |      14 |  1158390 |    85552 |    17831      8 |      385 |      326
176.66/176.76	c  176s |      14 |  1160142 |    85952 |    17831      8 |      385 |      326
178.76/178.90	c  178s |      14 |  1162488 |    86452 |    17831      9 |      385 |      326
180.96/181.03	c  180s |      14 |  1179530 |    87552 |    19615      9 |      385 |      326
181.06/181.16	c  180s |      15 |  1181396 |    87632 |    19615      9 |      385 |      326
183.16/183.28	c  183s |      15 |  1199347 |    88932 |    19615      9 |      386 |      327
185.26/185.32	c  185s |      15 |  1215874 |    90332 |    19615      9 |      386 |      327
187.36/187.44	c  187s |      15 |  1232681 |    91932 |    19615      9 |      386 |      327
189.66/189.76	c  189s |      15 |  1239510 |    93032 |    19615      9 |      386 |      327
191.86/191.92	c  191s |      15 |  1260149 |    94132 |    19615      9 |      386 |      327
193.96/194.00	c  193s |      15 |  1280998 |    95432 |    19615      9 |      386 |      327
196.16/196.22	c  195s |      15 |  1288218 |    96532 |    19615      9 |      386 |      327
198.16/198.22	c  197s |      15 |  1296615 |    97432 |    19615     10 |      386 |      327
200.27/200.34	c  200s |      15 |  1302901 |    98632 |    19615     10 |      386 |      327
202.26/202.39	c  202s |      15 |  1307920 |    99732 |    19615     10 |      386 |      327
204.36/204.47	c  204s |      15 |  1310929 |   100632 |    19615     10 |      386 |      327
206.46/206.54	c  206s |      15 |  1321719 |   101932 |    19615     10 |      386 |      327
208.66/208.75	c  208s |      15 |  1327533 |   103032 |    19615     10 |      386 |      327
210.96/211.09	c  210s |      15 |  1329294 |   103332 |    19615     10 |      386 |      327
213.96/214.09	c  213s |      15 |  1329879 |   103532 |    19615     10 |      386 |      327
217.96/218.07	c  217s |      15 |  1331196 |   103832 |    19615     10 |      386 |      327
220.76/220.80	c  220s |      15 |  1331413 |   103932 |    19615     10 |      386 |      327
222.76/222.84	c  222s |      15 |  1334763 |   104532 |    19615     10 |      386 |      327
224.86/224.97	c  224s |      15 |  1341813 |   105732 |    19615     10 |      386 |      327
226.96/227.08	c  226s |      15 |  1345297 |   106432 |    19615     10 |      386 |      327
229.05/229.18	c  228s |      15 |  1347422 |   107132 |    19615     10 |      386 |      327
231.25/231.37	c  231s |      15 |  1348937 |   107632 |    19615     10 |      386 |      327
233.45/233.60	c  233s |      15 |  1349663 |   107932 |    19615     10 |      386 |      327
235.55/235.60	c  235s |      15 |  1351492 |   108332 |    19615     10 |      386 |      327
238.45/238.57	c  238s |      15 |  1353164 |   108732 |    19615     10 |      386 |      327
241.55/241.64	c  241s |      15 |  1353465 |   108832 |    19615     10 |      386 |      327
244.35/244.44	c  244s |      15 |  1354042 |   109032 |    19615     10 |      386 |      327
246.65/246.79	c  246s |      15 |  1358506 |   109732 |    19615     10 |      386 |      327
248.75/248.83	c  248s |      15 |  1360238 |   110032 |    19615     10 |      386 |      327
250.75/250.89	c  250s |      15 |  1360978 |   110232 |    19615     11 |      386 |      327
252.96/253.03	c  252s |      15 |  1362643 |   110632 |    19615     11 |      386 |      327
256.06/256.10	c  255s |      15 |  1363289 |   110832 |    19615     11 |      386 |      327
260.15/260.26	c  260s |      15 |  1363877 |   111032 |    19615     11 |      386 |      327
263.15/263.21	c  262s |      15 |  1364616 |   111232 |    19615     11 |      386 |      327
267.05/267.16	c  266s |      15 |  1364787 |   111332 |    19615     11 |      386 |      327
270.15/270.21	c  269s |      15 |  1365045 |   111432 |    19615     11 |      386 |      327
274.25/274.39	c  274s |      15 |  1365297 |   111532 |    19615     11 |      386 |      327
277.16/277.24	c  276s |      15 |  1365611 |   111632 |    19615     11 |      386 |      327
281.56/281.62	c  281s |      15 |  1365911 |   111732 |    19615     11 |      386 |      327
285.45/285.53	c  285s |      15 |  1366178 |   111832 |    19615     11 |      386 |      327
287.75/287.88	c  287s |      15 |  1366504 |   111932 |    19615     11 |      386 |      327
290.15/290.25	c  289s |      15 |  1368157 |   112332 |    19615     11 |      386 |      327
294.05/294.16	c  293s |      15 |  1368796 |   112532 |    19615     11 |      386 |      327
296.25/296.32	c  296s |      15 |  1369871 |   112832 |    19615     11 |      386 |      327
298.65/298.77	c  298s |      15 |  1370378 |   113032 |    19615     11 |      386 |      327
301.64/301.76	c  301s |      15 |  1370621 |   113132 |    19615     11 |      386 |      327
304.94/305.03	c  304s |      15 |  1370817 |   113232 |    19615     11 |      386 |      327
307.74/307.87	c  307s |      15 |  1372416 |   113532 |    19615     11 |      386 |      327
310.34/310.41	c  310s |      15 |  1373211 |   113732 |    19615     11 |      386 |      327
313.44/313.60	c  313s |      15 |  1373662 |   113932 |    19615     11 |      386 |      327
315.74/315.88	c  315s |      15 |  1374492 |   114132 |    19615     11 |      386 |      327
318.83/318.98	c  318s |      15 |  1375578 |   114432 |    19615     11 |      386 |      327
321.24/321.38	c  321s |      15 |  1376183 |   114632 |    19615     11 |      386 |      327
324.54/324.68	c  324s |      15 |  1377000 |   114832 |    19615     11 |      386 |      327
327.53/327.69	c  327s |      15 |  1377500 |   115032 |    19615     11 |      386 |      327
330.83/330.97	c  330s |      15 |  1377845 |   115232 |    19615     11 |      386 |      327
333.73/333.87	c  333s |      15 |  1378029 |   115332 |    19615     11 |      386 |      327
335.93/336.09	c  335s |      15 |  1378215 |   115432 |    19615     11 |      386 |      327
338.83/338.99	c  338s |      15 |  1378885 |   115632 |    19615     11 |      386 |      327
342.23/342.30	c  342s |      15 |  1380153 |   115932 |    19615     11 |      386 |      327
344.23/344.39	c  344s |      15 |  1380931 |   116132 |    19615     11 |      386 |      327
347.92/348.06	c  347s |      15 |  1381513 |   116332 |    19615     11 |      386 |      327
352.62/352.76	c  352s |      15 |  1381914 |   116532 |    19615     11 |      386 |      327
355.82/355.94	c  355s |      15 |  1382046 |   116632 |    19615     11 |      386 |      327
359.12/359.27	c  359s |      15 |  1382808 |   116932 |    19615     11 |      386 |      327
361.61/361.74	c  361s |      15 |  1384541 |   117332 |    19615     11 |      386 |      327
363.81/363.92	c  363s |      15 |  1385405 |   117532 |    19615     11 |      386 |      327
366.61/366.70	c  366s |      15 |  1386172 |   117832 |    19615     11 |      386 |      327
370.51/370.63	c  370s |      15 |  1386656 |   118032 |    19615     11 |      386 |      327
373.81/374.00	c  373s |      15 |  1387149 |   118232 |    19615     11 |      386 |      327
376.91/377.10	c  376s |      15 |  1387681 |   118432 |    19615     11 |      386 |      327
380.40/380.57	c  380s |      15 |  1388192 |   118632 |    19615     11 |      386 |      327
383.60/383.76	c  383s |      15 |  1389813 |   119032 |    19615     11 |      386 |      327
387.01/387.16	c  386s |      15 |  1391369 |   119432 |    19615     11 |      386 |      327
390.21/390.35	c  390s |      15 |  1391935 |   119632 |    19615     11 |      386 |      327
394.61/394.73	c  394s |      15 |  1392440 |   119832 |    19615     11 |      386 |      327
396.71/396.83	c  396s |      15 |  1392764 |   119932 |    19615     11 |      386 |      327
399.91/400.04	c  399s |      15 |  1392938 |   120032 |    19615     11 |      386 |      327
402.71/402.82	c  402s |      15 |  1393232 |   120132 |    19615     11 |      386 |      327
404.81/404.96	c  404s |      15 |  1393513 |   120232 |    19615     11 |      386 |      327
406.91/407.05	c  406s |      15 |  1393835 |   120332 |    19615     11 |      386 |      327
409.50/409.62	c  409s |      15 |  1394003 |   120432 |    19615     11 |      386 |      327
412.80/412.95	c  412s |      15 |  1394305 |   120532 |    19615     11 |      386 |      327
416.50/416.69	c  416s |      15 |  1394479 |   120632 |    19615     11 |      386 |      327
419.01/419.13	c  418s |      15 |  1394876 |   120732 |    19615     11 |      386 |      327
421.99/422.13	c  421s |      15 |  1395480 |   120832 |    19615     11 |      386 |      327
426.49/426.66	c  426s |      15 |  1395653 |   120932 |    19615     11 |      386 |      327
429.09/429.21	c  428s |      15 |  1396427 |   121132 |    19615     11 |      386 |      327
431.29/431.40	c  431s |      15 |  1398153 |   121532 |    19615     11 |      386 |      327
433.89/434.04	c  433s |      15 |  1398675 |   121732 |    19615     11 |      386 |      327
437.99/438.16	c  437s |      15 |  1399475 |   122032 |    19615     12 |      386 |      327
440.09/440.22	c  439s |      15 |  1400090 |   122232 |    19615     12 |      386 |      327
442.10/442.27	c  442s |      15 |  1400682 |   122432 |    19615     12 |      386 |      327
445.19/445.30	c  445s |      15 |  1401818 |   122732 |    19615     12 |      386 |      327
448.19/448.33	c  448s |      15 |  1402346 |   122932 |    19615     12 |      386 |      327
450.59/450.78	c  450s |      15 |  1403004 |   123132 |    19615     12 |      386 |      327
453.59/453.71	c  453s |      15 |  1403632 |   123332 |    19615     12 |      386 |      327
456.29/456.42	c  456s |      15 |  1404183 |   123532 |    19615     12 |      386 |      327
459.98/460.13	c  459s |      15 |  1406132 |   123832 |    19615     12 |      386 |      327
463.28/463.44	c  463s |      15 |  1406290 |   123932 |    19615     12 |      386 |      327
466.58/466.73	c  466s |      15 |  1407016 |   124132 |    19615     12 |      386 |      327
469.28/469.48	c  469s |      15 |  1407183 |   124232 |    19615     12 |      386 |      327
471.48/471.68	c  471s |      15 |  1407546 |   124332 |    19615     12 |      386 |      327
473.98/474.15	c  473s |      15 |  1408367 |   124532 |    19615     12 |      386 |      327
476.58/476.73	c  476s |      15 |  1408896 |   124732 |    19615     12 |      386 |      327
479.58/479.72	c  479s |      15 |  1409993 |   125032 |    19615     12 |      386 |      327
481.78/481.92	c  481s |      15 |  1411181 |   125432 |    19615     12 |      386 |      327
484.57/484.75	c  484s |      15 |  1413179 |   125932 |    19615     12 |      386 |      327
488.07/488.26	c  488s |      15 |  1413740 |   126132 |    19615     12 |      386 |      327
490.67/490.86	c  490s |      15 |  1416210 |   126632 |    19615     12 |      386 |      327
492.86/493.08	c  492s |      15 |  1416854 |   126832 |    19615     12 |      386 |      327
496.36/496.54	c  496s |      15 |  1417620 |   127132 |    19615     12 |      386 |      327
499.46/499.64	c  499s |      15 |  1418193 |   127332 |    19615     12 |      386 |      327
502.46/502.65	c  502s |      15 |  1418952 |   127532 |    19615     12 |      386 |      327
505.26/505.41	c  505s |      15 |  1419482 |   127732 |    19615     12 |      386 |      327
509.35/509.57	c  509s |      15 |  1419952 |   127932 |    19615     12 |      386 |      327
513.06/513.29	c  513s |      15 |  1420403 |   128132 |    19615     12 |      386 |      327
515.36/515.50	c  515s |      15 |  1421233 |   128332 |    19615     12 |      386 |      327
518.76/518.95	c  518s |      15 |  1421575 |   128532 |    19615     12 |      386 |      327
521.15/521.32	c  521s |      15 |  1422159 |   128732 |    19615     12 |      386 |      327
523.56/523.79	c  523s |      15 |  1422720 |   128932 |    19615     12 |      386 |      327
526.55/526.75	c  526s |      15 |  1423360 |   129132 |    19615     12 |      386 |      327
529.15/529.34	c  529s |      15 |  1423525 |   129232 |    19615     12 |      386 |      327
532.75/532.93	c  532s |      15 |  1424109 |   129432 |    19615     12 |      386 |      327
535.94/536.13	c  535s |      15 |  1424277 |   129532 |    19615     12 |      386 |      327
538.85/539.02	c  538s |      15 |  1424446 |   129632 |    19615     12 |      386 |      327
542.25/542.45	c  542s |      15 |  1425167 |   129832 |    19615     12 |      386 |      327
546.14/546.33	c  546s |      15 |  1425644 |   130032 |    19615     12 |      386 |      327
549.74/549.94	c  549s |      15 |  1426034 |   130232 |    19615     12 |      386 |      327
552.23/552.47	c  552s |      15 |  1426309 |   130332 |    19615     12 |      386 |      327
554.43/554.61	c  554s |      15 |  1426469 |   130432 |    19615     12 |      386 |      327
559.13/559.33	c  559s |      15 |  1426884 |   130632 |    19615     12 |      386 |      327
561.43/561.62	c  561s |      15 |  1427140 |   130732 |    21577     12 |      386 |      327
564.63/564.89	c  564s |      15 |  1427557 |   130932 |    21577     12 |      386 |      327
567.03/567.20	c  566s |      15 |  1428159 |   131132 |    21577     12 |      386 |      327
569.23/569.44	c  569s |      15 |  1429228 |   131332 |    21577     12 |      386 |      327
572.03/572.23	c  571s |      15 |  1429811 |   131532 |    21577     12 |      386 |      327
572.33/572.55	c  572s |      16 |  1429841 |   131552 |    21577     12 |      386 |      327
575.43/575.63	c  575s |      16 |  1454162 |   132752 |    21577     13 |      387 |      328
577.44/577.63	c  577s |      16 |  1479634 |   134352 |    21577     13 |      387 |      328
579.53/579.71	c  579s |      16 |  1495428 |   135752 |    21577     13 |      387 |      328
581.54/581.79	c  581s |      16 |  1520625 |   137252 |    21577     13 |      387 |      328
583.64/583.89	c  583s |      16 |  1546216 |   138652 |    21577     13 |      387 |      328
585.74/585.99	c  585s |      16 |  1559299 |   139752 |    21577     13 |      387 |      328
588.04/588.26	c  588s |      16 |  1572443 |   141052 |    21577     13 |      387 |      328
590.23/590.45	c  590s |      16 |  1582199 |   142252 |    21577     13 |      387 |      328
592.33/592.57	c  592s |      16 |  1601082 |   143352 |    21577     13 |      387 |      328
594.43/594.64	c  594s |      16 |  1614659 |   144552 |    21577     13 |      387 |      328
596.43/596.65	c  596s |      16 |  1621743 |   145452 |    21577     14 |      387 |      328
598.53/598.73	c  598s |      16 |  1639099 |   147052 |    21577     14 |      387 |      328
600.63/600.86	c  600s |      16 |  1658373 |   148452 |    21577     14 |      387 |      328
602.64/602.90	c  602s |      16 |  1676059 |   149652 |    21577     14 |      387 |      328
604.73/604.93	c  604s |      16 |  1689617 |   150752 |    21577     14 |      387 |      328
606.83/607.06	c  606s |      16 |  1713369 |   152252 |    21577     14 |      387 |      328
609.03/609.20	c  608s |      16 |  1732661 |   153452 |    21577     14 |      387 |      328
611.02/611.27	c  611s |      16 |  1753079 |   154652 |    21577     14 |      387 |      328
613.02/613.29	c  613s |      16 |  1762637 |   155852 |    21577     14 |      387 |      328
615.12/615.30	c  615s |      16 |  1773604 |   156952 |    21577     15 |      387 |      328
617.22/617.40	c  617s |      16 |  1787782 |   158452 |    21577     15 |      387 |      328
619.23/619.47	c  619s |      16 |  1801129 |   159852 |    21577     15 |      387 |      328
621.22/621.49	c  621s |      16 |  1808191 |   160652 |    21577     15 |      387 |      328
623.42/623.60	c  623s |      16 |  1822692 |   161552 |    21577     15 |      388 |      329
625.52/625.75	c  625s |      16 |  1836908 |   163052 |    21577     15 |      388 |      329
627.72/627.90	c  627s |      16 |  1846805 |   164452 |    21577     15 |      388 |      329
629.72/629.93	c  629s |      16 |  1856403 |   165652 |    21577     15 |      388 |      329
631.72/631.98	c  631s |      16 |  1862881 |   166552 |    21577     15 |      388 |      329
633.91/634.17	c  633s |      16 |  1872471 |   167552 |    21577     15 |      388 |      329
636.31/636.54	c  636s |      16 |  1880304 |   168352 |    21577     16 |      388 |      329
638.31/638.54	c  638s |      16 |  1886936 |   169452 |    21577     16 |      388 |      329
640.31/640.59	c  640s |      16 |  1900187 |   170552 |    21577     16 |      388 |      329
642.40/642.64	c  642s |      16 |  1918234 |   172152 |    21577     16 |      388 |      329
644.51/644.75	c  644s |      16 |  1939705 |   173552 |    21577     16 |      388 |      329
646.50/646.79	c  646s |      16 |  1955591 |   174852 |    21577     16 |      388 |      329
648.60/648.82	c  648s |      16 |  1968531 |   175952 |    21577     16 |      388 |      329
650.70/650.96	c  650s |      16 |  1982062 |   177052 |    21577     16 |      388 |      329
652.80/653.02	c  652s |      16 |  1998972 |   178152 |    21577     16 |      388 |      329
655.31/655.54	c  655s |      16 |  2002330 |   178952 |    21577     16 |      388 |      329
657.41/657.60	c  657s |      16 |  2006120 |   179752 |    21577     16 |      388 |      329
659.41/659.62	c  659s |      16 |  2011576 |   180752 |    21577     16 |      388 |      329
661.80/662.01	c  661s |      16 |  2015471 |   181552 |    21577     16 |      388 |      329
664.00/664.26	c  664s |      16 |  2020318 |   182452 |    21577     17 |      388 |      329
666.20/666.45	c  666s |      16 |  2024340 |   183352 |    21577     17 |      388 |      329
668.40/668.65	c  668s |      16 |  2030069 |   184152 |    21577     17 |      388 |      329
670.50/670.71	c  670s |      16 |  2037265 |   185152 |    21577     17 |      388 |      329
672.50/672.71	c  672s |      16 |  2055790 |   186352 |    21577     17 |      388 |      329
674.50/674.75	c  674s |      16 |  2066013 |   187152 |    21577     17 |      388 |      329
676.60/676.81	c  676s |      16 |  2088167 |   188452 |    21577     17 |      388 |      329
678.60/678.83	c  678s |      16 |  2103880 |   189652 |    21577     17 |      388 |      329
680.59/680.88	c  680s |      16 |  2119785 |   190752 |    21577     17 |      388 |      329
683.00/683.24	c  682s |      16 |  2128935 |   191752 |    21577     18 |      389 |      330
684.99/685.26	c  685s |      16 |  2148536 |   193152 |    21577     18 |      389 |      330
687.09/687.37	c  687s |      16 |  2165485 |   194552 |    21577     18 |      389 |      330
689.19/689.47	c  689s |      16 |  2182799 |   196052 |    21577     18 |      389 |      330
691.08/691.37	c  691s |      17 |  2206555 |   197432 |    23735     18 |      389 |      330
693.08/693.39	c  693s |      17 |  2219657 |   198832 |    23735     18 |      389 |      330
695.18/695.45	c  695s |      17 |  2243747 |   200332 |    23735     18 |      389 |      330
697.29/697.54	c  697s |      17 |  2255983 |   201632 |    23735     18 |      389 |      330
699.28/699.55	c  699s |      17 |  2272522 |   202932 |    23735     18 |      389 |      330
701.37/701.65	c  701s |      17 |  2290194 |   204132 |    23735     18 |      389 |      330
703.47/703.72	c  703s |      17 |  2293979 |   204732 |    23735     18 |      389 |      330
705.47/705.75	c  705s |      17 |  2306365 |   205932 |    23735     18 |      389 |      330
707.97/708.22	c  707s |      17 |  2318102 |   207232 |    23735     19 |      389 |      330
710.17/710.45	c  710s |      17 |  2329255 |   208432 |    23735     19 |      389 |      330
712.47/712.78	c  712s |      17 |  2336363 |   209632 |    23735     19 |      389 |      330
714.77/715.01	c  714s |      17 |  2339185 |   210332 |    23735     19 |      389 |      330
716.77/717.02	c  716s |      17 |  2347565 |   211432 |    23735     19 |      389 |      330
718.87/719.18	c  718s |      17 |  2349771 |   211932 |    23735     19 |      389 |      330
721.07/721.36	c  721s |      17 |  2362901 |   213332 |    23735     19 |      389 |      330
723.27/723.56	c  723s |      17 |  2372473 |   214632 |    23735     19 |      389 |      330
725.57/725.80	c  725s |      17 |  2374520 |   215232 |    23735     19 |      389 |      330
727.57/727.85	c  727s |      17 |  2382352 |   216232 |    23735     19 |      389 |      330
729.57/729.86	c  729s |      17 |  2391537 |   217232 |    23735     19 |      389 |      330
731.66/731.90	c  731s |      17 |  2396972 |   218132 |    23735     19 |      389 |      330
733.86/734.13	c  733s |      17 |  2403938 |   219032 |    23735     19 |      389 |      330
735.86/736.17	c  735s |      17 |  2407260 |   219732 |    23735     19 |      389 |      330
738.36/738.64	c  738s |      17 |  2412365 |   220532 |    23735     20 |      389 |      330
740.46/740.71	c  740s |      17 |  2424083 |   221932 |    23735     20 |      389 |      330
742.46/742.71	c  742s |      17 |  2430911 |   222932 |    23735     20 |      389 |      330
744.46/744.76	c  744s |      17 |  2439415 |   224432 |    23735     20 |      389 |      330
746.56/746.80	c  746s |      17 |  2442600 |   225132 |    23735     20 |      389 |      330
748.56/748.81	c  748s |      17 |  2445902 |   226032 |    23735     20 |      389 |      330
750.75/751.09	c  750s |      17 |  2449225 |   226832 |    23735     20 |      389 |      330
753.26/753.52	c  753s |      17 |  2452045 |   227432 |    23735     20 |      389 |      330
755.25/755.58	c  755s |      17 |  2454028 |   228032 |    23735     20 |      389 |      330
757.55/757.89	c  757s |      17 |  2455953 |   228632 |    23735     20 |      389 |      330
759.65/759.90	c  759s |      17 |  2463116 |   229532 |    23735     20 |      389 |      330
761.74/762.08	c  761s |      17 |  2469400 |   230532 |    23735     20 |      389 |      330
763.94/764.23	c  763s |      17 |  2474303 |   231332 |    23735     20 |      389 |      330
765.94/766.29	c  766s |      17 |  2479961 |   232232 |    23735     20 |      389 |      330
768.54/768.82	c  768s |      17 |  2484935 |   233232 |    23735     20 |      389 |      330
770.94/771.28	c  771s |      17 |  2487420 |   233832 |    23735     20 |      389 |      330
773.04/773.35	c  773s |      17 |  2490244 |   234632 |    23735     21 |      389 |      330
775.24/775.60	c  775s |      17 |  2493123 |   235432 |    23735     21 |      389 |      330
777.74/778.06	c  777s |      17 |  2495313 |   236032 |    23735     21 |      389 |      330
780.04/780.36	c  780s |      17 |  2496439 |   236432 |    23735     21 |      389 |      330
782.44/782.79	c  782s |      17 |  2498325 |   236832 |    23735     21 |      389 |      330
785.33/785.62	c  785s |      17 |  2499670 |   237232 |    23735     21 |      389 |      330
787.93/788.20	c  787s |      17 |  2500389 |   237532 |    23735     21 |      389 |      330
790.12/790.42	c  790s |      17 |  2501589 |   237832 |    23735     21 |      389 |      330
792.22/792.57	c  792s |      17 |  2502041 |   238032 |    23735     21 |      389 |      330
794.52/794.89	c  794s |      17 |  2503137 |   238332 |    23735     21 |      389 |      330
797.12/797.44	c  797s |      17 |  2503603 |   238532 |    23735     21 |      389 |      330
799.72/800.06	c  799s |      17 |  2504349 |   238832 |    23735     21 |      389 |      330
802.21/802.54	c  802s |      17 |  2505013 |   239032 |    23735     21 |      389 |      330
804.21/804.58	c  804s |      17 |  2509650 |   239832 |    23735     21 |      389 |      330
806.41/806.72	c  806s |      17 |  2512707 |   240832 |    23735     21 |      389 |      330
808.61/808.94	c  808s |      17 |  2515240 |   241632 |    23735     21 |      389 |      330
810.71/811.07	c  810s |      17 |  2517133 |   242232 |    23735     21 |      389 |      330
813.22/813.53	c  813s |      17 |  2519359 |   242832 |    23735     21 |      389 |      330
815.42/815.77	c  815s |      17 |  2524706 |   243632 |    23735     21 |      389 |      330
817.51/817.81	c  817s |      17 |  2528511 |   244332 |    23735     21 |      389 |      330
819.61/819.93	c  819s |      17 |  2534278 |   245232 |    23735     21 |      389 |      330
821.71/822.07	c  821s |      17 |  2538461 |   245932 |    23735     21 |      389 |      330
824.01/824.35	c  824s |      17 |  2540295 |   246532 |    23735     21 |      389 |      330
826.31/826.69	c  826s |      17 |  2542213 |   246932 |    23735     21 |      389 |      330
829.01/829.38	c  829s |      17 |  2544774 |   247532 |    23735     22 |      389 |      330
831.10/831.48	c  831s |      17 |  2563820 |   249232 |    23735     22 |      389 |      330
833.10/833.49	c  833s |      17 |  2571736 |   250432 |    23735     22 |      389 |      330
835.20/835.59	c  835s |      17 |  2574555 |   251432 |    23735     22 |      389 |      330
837.30/837.69	c  837s |      17 |  2587961 |   252832 |    23735     22 |      389 |      330
839.40/839.70	c  839s |      17 |  2612754 |   254332 |    23735     22 |      389 |      330
841.50/841.84	c  841s |      17 |  2623130 |   255632 |    23735     22 |      389 |      330
843.50/843.88	c  843s |      17 |  2643042 |   257132 |    23735     22 |      389 |      330
845.79/846.19	c  845s |      17 |  2649203 |   258032 |    23735     22 |      389 |      330
847.99/848.31	c  848s |      17 |  2655233 |   258832 |    23735     22 |      389 |      330
850.29/850.64	c  850s |      17 |  2661198 |   259732 |    23735     22 |      389 |      330
852.59/852.98	c  852s |      17 |  2665668 |   260432 |    23735     22 |      389 |      330
854.79/855.19	c  854s |      17 |  2674873 |   261332 |    23735     23 |      389 |      330
857.39/857.74	c  857s |      17 |  2677675 |   261932 |    23735     23 |      389 |      330
859.48/859.81	c  859s |      17 |  2678441 |   262232 |    23735     23 |      389 |      330
861.48/861.82	c  861s |      17 |  2686006 |   262932 |    23735     23 |      389 |      330
864.08/864.41	c  864s |      17 |  2698365 |   264332 |    23735     23 |      389 |      330
866.08/866.42	c  866s |      17 |  2709587 |   265432 |    23735     23 |      389 |      330
868.08/868.46	c  868s |      17 |  2722010 |   266632 |    23735     23 |      389 |      330
870.07/870.47	c  870s |      17 |  2732156 |   267732 |    23735     23 |      389 |      330
872.17/872.50	c  872s |      17 |  2752072 |   269432 |    23735     23 |      389 |      330
874.28/874.61	c  874s |      17 |  2775098 |   271032 |    23735     23 |      390 |      331
876.27/876.63	c  876s |      17 |  2793738 |   272332 |    23735     24 |      390 |      331
878.27/878.67	c  878s |      17 |  2818833 |   274032 |    23735     24 |      390 |      331
880.27/880.68	c  880s |      17 |  2844056 |   275732 |    23735     24 |      390 |      331
882.36/882.70	c  882s |      17 |  2860658 |   277332 |    23735     24 |      390 |      331
884.46/884.81	c  884s |      17 |  2865395 |   278432 |    23735     24 |      390 |      331
886.87/887.21	c  886s |      17 |  2869857 |   279432 |    23735     24 |      390 |      331
888.87/889.23	c  888s |      17 |  2871280 |   279832 |    23735     24 |      390 |      331
891.17/891.50	c  891s |      17 |  2874098 |   280632 |    23735     24 |      390 |      331
893.16/893.55	c  893s |      17 |  2875954 |   281232 |    23735     24 |      390 |      331
895.66/896.04	c  895s |      17 |  2877208 |   281632 |    23735     24 |      390 |      331
897.87/898.25	c  897s |      17 |  2878758 |   282032 |    23735     24 |      390 |      331
900.36/900.75	c  900s |      17 |  2879700 |   282432 |    23735     24 |      390 |      331
902.46/902.82	c  902s |      17 |  2880522 |   282732 |    23735     24 |      390 |      331
904.65/905.04	c  904s |      17 |  2881252 |   283032 |    23735     24 |      390 |      331
907.17/907.59	c  907s |      17 |  2881832 |   283332 |    23735     24 |      390 |      331
909.56/909.96	c  909s |      17 |  2882492 |   283632 |    23735     24 |      390 |      331
911.56/911.97	c  911s |      17 |  2892339 |   284732 |    23735     24 |      390 |      331
913.76/914.11	c  913s |      17 |  2898465 |   285732 |    23735     25 |      390 |      331
915.75/916.19	c  915s |      17 |  2906696 |   286932 |    23735     25 |      390 |      331
917.95/918.39	c  918s |      17 |  2908959 |   287532 |    23735     25 |      390 |      331
920.04/920.41	c  920s |      17 |  2913507 |   288432 |    23735     25 |      390 |      331
922.14/922.59	c  922s |      17 |  2915918 |   289232 |    23735     25 |      390 |      331
924.44/924.80	c  924s |      17 |  2916752 |   289632 |    23735     25 |      390 |      331
926.44/926.89	c  926s |      17 |  2917408 |   289932 |    23735     25 |      390 |      331
928.54/928.92	c  928s |      17 |  2918770 |   290432 |    23735     25 |      390 |      331
930.64/931.08	c  930s |      17 |  2920151 |   290932 |    23735     25 |      390 |      331
933.04/933.47	c  933s |      17 |  2921358 |   291432 |    23735     25 |      390 |      331
935.45/935.86	c  935s |      17 |  2922438 |   291832 |    23735     25 |      390 |      331
938.34/938.77	c  938s |      17 |  2923084 |   292232 |    23735     25 |      390 |      331
940.54/940.98	c  940s |      17 |  2923578 |   292532 |    23735     25 |      390 |      331
942.64/943.04	c  942s |      17 |  2924075 |   292832 |    23735     25 |      390 |      331
945.04/945.41	c  945s |      17 |  2924608 |   293132 |    23735     25 |      390 |      331
947.14/947.53	c  947s |      17 |  2925516 |   293532 |    23735     25 |      390 |      331
949.34/949.71	c  949s |      17 |  2926284 |   293832 |    23735     25 |      390 |      331
951.74/952.18	c  951s |      17 |  2927497 |   294232 |    26109     25 |      390 |      331
954.04/954.48	c  954s |      17 |  2928116 |   294532 |    26109     25 |      390 |      331
956.54/957.00	c  956s |      17 |  2928996 |   294932 |    26109     25 |      390 |      331
959.24/959.63	c  959s |      17 |  2929599 |   295232 |    26109     25 |      390 |      331
961.24/961.65	c  961s |      17 |  2930502 |   295532 |    26109     25 |      390 |      331
963.35/963.72	c  963s |      17 |  2931289 |   295832 |    26109     25 |      390 |      331
965.45/965.87	c  965s |      17 |  2931993 |   296132 |    26109     25 |      390 |      331
966.74/967.13	c  966s |      18 |  2932175 |   296252 |    26109     25 |      390 |      331
968.84/969.21	c  968s |      18 |  2949957 |   297152 |    26109     25 |      391 |      332
970.84/971.26	c  971s |      18 |  2959630 |   297852 |    26109     26 |      391 |      332
972.94/973.31	c  973s |      18 |  2966269 |   299352 |    26109     26 |      391 |      332
974.94/975.31	c  975s |      18 |  2990079 |   301152 |    26109     26 |      391 |      332
976.94/977.33	c  977s |      18 |  3016843 |   302852 |    26109     26 |      391 |      332
979.04/979.41	c  979s |      18 |  3040546 |   304552 |    26109     26 |      391 |      332
981.03/981.43	c  981s |      18 |  3057008 |   305852 |    26109     26 |      391 |      332
983.33/983.75	c  983s |      18 |  3066787 |   306852 |    26109     26 |      391 |      332
985.43/985.87	c  985s |      18 |  3068511 |   307352 |    26109     26 |      391 |      332
987.63/988.00	c  987s |      18 |  3072587 |   307952 |    26109     26 |      391 |      332
989.64/990.03	c  989s |      18 |  3080354 |   308852 |    26109     26 |      391 |      332
991.84/992.21	c  991s |      18 |  3083884 |   309752 |    26109     26 |      391 |      332
993.83/994.26	c  994s |      18 |  3085755 |   310452 |    26109     26 |      391 |      332
996.24/996.61	c  996s |      18 |  3088893 |   311352 |    26109     26 |      391 |      332
998.24/998.63	c  998s |      18 |  3091039 |   311952 |    26109     26 |      391 |      332
1000.53/1000.93	c 1000s |      18 |  3093577 |   312652 |    26109     26 |      391 |      332
1002.94/1003.33	c 1003s |      18 |  3095299 |   313152 |    26109     27 |      391 |      332
1005.04/1005.46	c 1005s |      18 |  3099251 |   314252 |    26109     27 |      391 |      332
1007.34/1007.77	c 1007s |      18 |  3101473 |   314852 |    26109     27 |      391 |      332
1009.73/1010.18	c 1009s |      18 |  3103163 |   315352 |    26109     27 |      391 |      332
1011.93/1012.35	c 1012s |      18 |  3105860 |   316152 |    26109     27 |      391 |      332
1014.13/1014.53	c 1014s |      18 |  3107338 |   316652 |    26109     27 |      391 |      332
1016.33/1016.75	c 1016s |      18 |  3111069 |   317352 |    26109     27 |      391 |      332
1018.43/1018.82	c 1018s |      18 |  3115330 |   318052 |    26109     27 |      391 |      332
1020.53/1020.95	c 1020s |      18 |  3118421 |   318852 |    26109     27 |      391 |      332
1022.74/1023.17	c 1022s |      18 |  3121385 |   319552 |    26109     27 |      391 |      332
1025.23/1025.61	c 1025s |      18 |  3122723 |   320052 |    26109     27 |      391 |      332
1027.63/1028.04	c 1027s |      18 |  3123696 |   320452 |    26109     27 |      391 |      332
1029.93/1030.39	c 1030s |      18 |  3125352 |   320952 |    26109     27 |      391 |      332
1032.32/1032.74	c 1032s |      18 |  3126761 |   321452 |    26109     27 |      391 |      332
1035.03/1035.41	c 1035s |      18 |  3128212 |   321852 |    26109     27 |      391 |      332
1037.33/1037.77	c 1037s |      18 |  3128996 |   322152 |    26109     27 |      391 |      332
1039.63/1040.01	c 1039s |      18 |  3130576 |   322552 |    26109     27 |      391 |      332
1042.12/1042.51	c 1042s |      18 |  3134159 |   323252 |    26109     27 |      391 |      332
1044.12/1044.55	c 1044s |      18 |  3137895 |   323952 |    26109     27 |      391 |      332
1046.22/1046.67	c 1046s |      18 |  3143744 |   324652 |    26109     27 |      391 |      332
1048.62/1049.01	c 1048s |      18 |  3146012 |   325252 |    26109     27 |      391 |      332
1050.82/1051.25	c 1050s |      18 |  3148283 |   325752 |    26109     27 |      391 |      332
1053.12/1053.53	c 1053s |      18 |  3154408 |   326552 |    26109     27 |      391 |      332
1055.53/1055.94	c 1055s |      18 |  3155963 |   327052 |    26109     27 |      391 |      332
1057.63/1058.05	c 1057s |      18 |  3158607 |   327452 |    26109     28 |      391 |      332
1059.72/1060.11	c 1059s |      18 |  3163620 |   328552 |    26109     28 |      391 |      332
1061.72/1062.12	c 1061s |      18 |  3167820 |   329352 |    26109     28 |      391 |      332
1063.82/1064.28	c 1064s |      18 |  3173339 |   330452 |    26109     28 |      391 |      332
1065.92/1066.35	c 1066s |      18 |  3175729 |   331152 |    26109     28 |      391 |      332
1067.92/1068.37	c 1068s |      18 |  3177971 |   331852 |    26109     28 |      391 |      332
1070.22/1070.68	c 1070s |      18 |  3180568 |   332452 |    26109     28 |      391 |      332
1072.32/1072.77	c 1072s |      18 |  3181645 |   332852 |    26109     28 |      391 |      332
1074.53/1074.92	c 1074s |      18 |  3182703 |   333252 |    26109     28 |      391 |      332
1076.72/1077.13	c 1076s |      18 |  3184192 |   333752 |    26109     28 |      391 |      332
1078.83/1079.24	c 1078s |      18 |  3185175 |   334152 |    26109     28 |      391 |      332
1080.93/1081.33	c 1081s |      18 |  3187173 |   334552 |    26109     28 |      391 |      332
1083.13/1083.60	c 1083s |      18 |  3189245 |   335052 |    26109     28 |      391 |      332
1085.43/1085.81	c 1085s |      18 |  3191882 |   335752 |    26109     28 |      391 |      332
1087.52/1087.90	c 1087s |      18 |  3194204 |   336452 |    26109     28 |      391 |      332
1089.62/1090.01	c 1089s |      18 |  3197382 |   337152 |    26109     28 |      391 |      332
1092.12/1092.52	c 1092s |      18 |  3199125 |   337652 |    26109     28 |      391 |      332
1094.82/1095.23	c 1094s |      18 |  3200265 |   338052 |    26109     28 |      391 |      332
1097.53/1097.94	c 1097s |      18 |  3201499 |   338452 |    26109     28 |      391 |      332
1099.63/1100.03	c 1099s |      18 |  3202269 |   338752 |    26109     28 |      391 |      332
1102.12/1102.55	c 1102s |      18 |  3203636 |   339152 |    26109     28 |      391 |      332
1104.72/1105.19	c 1104s |      18 |  3204289 |   339452 |    26109     28 |      391 |      332
1107.02/1107.44	c 1107s |      18 |  3205675 |   339852 |    26109     28 |      391 |      332
1109.21/1109.67	c 1109s |      18 |  3206917 |   340252 |    26109     28 |      391 |      332
1111.41/1111.86	c 1111s |      18 |  3207712 |   340552 |    26109     28 |      391 |      332
1113.82/1114.30	c 1114s |      18 |  3208390 |   340852 |    26109     28 |      391 |      332
1116.32/1116.74	c 1116s |      18 |  3209143 |   341152 |    26109     28 |      391 |      332
1118.51/1118.91	c 1118s |      18 |  3214836 |   341952 |    26109     29 |      391 |      332
1120.52/1120.97	c 1120s |      18 |  3216999 |   342552 |    26109     29 |      391 |      332
1122.61/1123.10	c 1122s |      18 |  3221052 |   343352 |    26109     29 |      391 |      332
1124.72/1125.16	c 1124s |      18 |  3223182 |   343952 |    26109     29 |      391 |      332
1126.82/1127.29	c 1127s |      18 |  3227219 |   344752 |    26109     29 |      391 |      332
1129.02/1129.50	c 1129s |      18 |  3231556 |   345652 |    26109     29 |      391 |      332
1131.22/1131.61	c 1131s |      18 |  3233762 |   346352 |    26109     29 |      391 |      332
1133.41/1133.82	c 1133s |      18 |  3236088 |   347052 |    26109     29 |      391 |      332
1135.61/1136.07	c 1135s |      18 |  3239410 |   347752 |    26109     29 |      391 |      332
1137.91/1138.32	c 1138s |      18 |  3242541 |   348352 |    26109     29 |      391 |      332
1140.01/1140.44	c 1140s |      18 |  3244154 |   348852 |    26109     29 |      391 |      332
1142.22/1142.60	c 1142s |      18 |  3247721 |   349452 |    26109     29 |      391 |      332
1144.41/1144.82	c 1144s |      18 |  3251282 |   350252 |    26109     29 |      391 |      332
1146.51/1146.99	c 1146s |      18 |  3253896 |   350852 |    26109     29 |      391 |      332
1148.81/1149.26	c 1149s |      18 |  3256231 |   351352 |    26109     29 |      391 |      332
1151.01/1151.45	c 1151s |      18 |  3258957 |   351952 |    26109     29 |      391 |      332
1153.11/1153.56	c 1153s |      18 |  3261779 |   352552 |    26109     29 |      391 |      332
1155.82/1156.21	c 1155s |      18 |  3264494 |   353252 |    26109     29 |      391 |      332
1157.81/1158.29	c 1158s |      18 |  3265626 |   353652 |    26109     29 |      391 |      332
1159.90/1160.39	c 1160s |      18 |  3266508 |   353952 |    26109     29 |      391 |      332
1162.32/1162.71	c 1162s |      18 |  3267560 |   354352 |    26109     29 |      391 |      332
1164.31/1164.72	c 1164s |      18 |  3269227 |   354852 |    26109     29 |      391 |      332
1166.31/1166.79	c 1166s |      18 |  3272463 |   355452 |    26109     30 |      391 |      332
1168.51/1168.95	c 1168s |      18 |  3278083 |   356552 |    26109     30 |      391 |      332
1170.61/1171.04	c 1170s |      18 |  3280455 |   357252 |    26109     30 |      391 |      332
1172.70/1173.12	c 1172s |      18 |  3282883 |   357852 |    26109     30 |      391 |      332
1175.00/1175.46	c 1175s |      18 |  3284347 |   358352 |    26109     30 |      391 |      332
1177.20/1177.61	c 1177s |      18 |  3285819 |   358852 |    26109     30 |      391 |      332
1179.21/1179.61	c 1179s |      18 |  3287336 |   359352 |    26109     30 |      391 |      332
1181.41/1181.82	c 1181s |      18 |  3288996 |   359852 |    26109     30 |      391 |      332
1183.41/1183.88	c 1183s |      18 |  3291836 |   360452 |    26109     30 |      391 |      332
1185.71/1186.12	c 1185s |      18 |  3295392 |   361052 |    26109     30 |      391 |      332
1187.90/1188.38	c 1188s |      18 |  3297275 |   361452 |    26109     30 |      391 |      332
1190.50/1190.93	c 1190s |      18 |  3299267 |   362052 |    26109     30 |      391 |      332
1192.50/1192.95	c 1192s |      18 |  3300890 |   362552 |    26109     30 |      391 |      332
1194.71/1195.19	c 1194s |      18 |  3301931 |   362952 |    26109     30 |      391 |      332
1196.90/1197.32	c 1197s |      18 |  3302854 |   363352 |    26109     30 |      391 |      332
1199.20/1199.67	c 1199s |      18 |  3304399 |   363852 |    26109     30 |      391 |      332
1201.60/1202.07	c 1201s |      18 |  3305424 |   364252 |    26109     30 |      391 |      332
1204.11/1204.53	c 1204s |      18 |  3306447 |   364652 |    26109     30 |      391 |      332
1206.61/1207.06	c 1206s |      18 |  3307935 |   365052 |    26109     30 |      391 |      332
1208.71/1209.13	c 1208s |      18 |  3308910 |   365352 |    26109     30 |      391 |      332
1210.81/1211.28	c 1211s |      18 |  3309691 |   365652 |    26109     30 |      391 |      332
1213.40/1213.83	c 1213s |      18 |  3310254 |   365952 |    26109     30 |      391 |      332
1215.80/1216.23	c 1215s |      18 |  3310972 |   366252 |    26109     30 |      391 |      332
1218.00/1218.43	c 1218s |      18 |  3311239 |   366452 |    26109     30 |      391 |      332
1220.80/1221.28	c 1221s |      18 |  3311810 |   366752 |    26109     30 |      391 |      332
1223.20/1223.60	c 1223s |      18 |  3312159 |   366952 |    26109     30 |      391 |      332
1225.70/1226.14	c 1225s |      18 |  3313030 |   367252 |    26109     30 |      391 |      332
1228.00/1228.44	c 1228s |      18 |  3314104 |   367652 |    26109     30 |      391 |      332
1231.29/1231.79	c 1231s |      18 |  3315583 |   368052 |    26109     31 |      391 |      332
1233.39/1233.85	c 1233s |      18 |  3320318 |   369052 |    26109     31 |      391 |      332
1235.59/1236.05	c 1235s |      18 |  3324992 |   369952 |    26109     31 |      391 |      332
1237.90/1238.38	c 1238s |      18 |  3327079 |   370552 |    26109     31 |      391 |      332
1240.30/1240.70	c 1240s |      18 |  3328347 |   371052 |    26109     31 |      391 |      332
1242.50/1242.96	c 1242s |      18 |  3329105 |   371452 |    26109     31 |      391 |      332
1244.69/1245.19	c 1244s |      18 |  3330104 |   371852 |    26109     31 |      391 |      332
1247.01/1247.43	c 1247s |      18 |  3330895 |   372252 |    26109     31 |      391 |      332
1249.00/1249.44	c 1249s |      18 |  3332520 |   372652 |    26109     31 |      391 |      332
1251.09/1251.52	c 1251s |      18 |  3334175 |   373152 |    26109     31 |      391 |      332
1253.19/1253.69	c 1253s |      18 |  3336300 |   373652 |    26109     31 |      391 |      332
1255.50/1255.92	c 1255s |      18 |  3337126 |   374052 |    26109     31 |      391 |      332
1257.70/1258.17	c 1257s |      18 |  3338581 |   374452 |    26109     31 |      391 |      332
1260.09/1260.52	c 1260s |      18 |  3339538 |   374852 |    26109     31 |      391 |      332
1262.29/1262.76	c 1262s |      18 |  3340663 |   375252 |    26109     31 |      391 |      332
1264.49/1264.97	c 1264s |      18 |  3341314 |   375552 |    26109     31 |      391 |      332
1266.90/1267.35	c 1267s |      18 |  3341967 |   375852 |    26109     31 |      391 |      332
1269.00/1269.46	c 1269s |      18 |  3342760 |   376152 |    26109     31 |      391 |      332
1271.20/1271.65	c 1271s |      18 |  3343396 |   376452 |    26109     31 |      391 |      332
1273.89/1274.36	c 1274s |      18 |  3344040 |   376752 |    26109     31 |      391 |      332
1276.79/1277.25	c 1276s |      18 |  3344670 |   377052 |    26109     31 |      391 |      332
1279.00/1279.44	c 1279s |      18 |  3345239 |   377352 |    26109     31 |      391 |      332
1281.79/1282.24	c 1281s |      18 |  3345817 |   377652 |    26109     31 |      391 |      332
1284.29/1284.77	c 1284s |      18 |  3346450 |   377952 |    26109     31 |      391 |      332
1286.79/1287.22	c 1286s |      18 |  3348709 |   378352 |    26109     31 |      391 |      332
1289.29/1289.75	c 1289s |      18 |  3352125 |   379052 |    26109     31 |      391 |      332
1291.59/1292.05	c 1291s |      18 |  3353422 |   379552 |    26109     31 |      391 |      332
1293.69/1294.11	c 1293s |      18 |  3354951 |   380052 |    26109     31 |      391 |      332
1295.99/1296.42	c 1296s |      18 |  3357019 |   380652 |    26109     31 |      391 |      332
1298.59/1299.01	c 1298s |      18 |  3358051 |   381052 |    26109     32 |      391 |      332
1300.79/1301.26	c 1301s |      18 |  3361034 |   381952 |    26109     32 |      391 |      332
1302.98/1303.41	c 1303s |      18 |  3362753 |   382552 |    26109     32 |      391 |      332
1305.18/1305.60	c 1305s |      18 |  3366115 |   383352 |    26109     32 |      391 |      332
1307.39/1307.82	c 1307s |      18 |  3367153 |   383852 |    26109     32 |      391 |      332
1309.59/1310.07	c 1309s |      18 |  3369290 |   384552 |    26109     32 |      391 |      332
1311.79/1312.30	c 1312s |      18 |  3371511 |   385252 |    26109     32 |      391 |      332
1313.89/1314.35	c 1314s |      18 |  3373174 |   385852 |    26109     32 |      391 |      332
1316.08/1316.52	c 1316s |      18 |  3384778 |   386852 |    26109     32 |      391 |      332
1318.18/1318.65	c 1318s |      18 |  3403038 |   388152 |    26109     32 |      391 |      332
1320.18/1320.65	c 1320s |      18 |  3422912 |   389452 |    26109     32 |      391 |      332
1322.48/1322.92	c 1322s |      18 |  3428101 |   390252 |    26109     32 |      391 |      332
1324.48/1324.96	c 1324s |      18 |  3443527 |   391352 |    26109     33 |      391 |      332
1326.58/1327.03	c 1326s |      18 |  3461759 |   393152 |    26109     33 |      391 |      332
1328.68/1329.11	c 1328s |      18 |  3472608 |   394052 |    26109     33 |      391 |      332
1330.69/1331.14	c 1330s |      18 |  3476430 |   395052 |    26109     33 |      391 |      332
1332.89/1333.35	c 1333s |      18 |  3478717 |   395752 |    26109     33 |      391 |      332
1335.28/1335.77	c 1335s |      18 |  3484304 |   396652 |    26109     33 |      391 |      332
1337.58/1338.04	c 1337s |      18 |  3486619 |   397252 |    26109     33 |      391 |      332
1339.68/1340.19	c 1339s |      18 |  3488516 |   397752 |    26109     33 |      391 |      332
1342.08/1342.54	c 1342s |      18 |  3490299 |   398252 |    26109     33 |      391 |      332
1344.28/1344.72	c 1344s |      18 |  3491869 |   398752 |    26109     33 |      391 |      332
1346.58/1347.04	c 1346s |      18 |  3493819 |   399352 |    26109     33 |      391 |      332
1348.58/1349.09	c 1348s |      18 |  3494869 |   399752 |    26109     33 |      391 |      332
1350.78/1351.29	c 1351s |      18 |  3495974 |   400152 |    26109     33 |      391 |      332
1353.18/1353.64	c 1353s |      18 |  3496982 |   400552 |    26109     33 |      391 |      332
1355.38/1355.84	c 1355s |      18 |  3498176 |   400952 |    26109     33 |      391 |      332
1357.38/1357.87	c 1357s |      18 |  3499881 |   401352 |    26109     33 |      391 |      332
1359.68/1360.15	c 1359s |      18 |  3502166 |   401952 |    26109     33 |      391 |      332
1361.88/1362.35	c 1362s |      18 |  3503924 |   402552 |    26109     33 |      391 |      332
1364.08/1364.53	c 1364s |      18 |  3504882 |   402952 |    26109     33 |      391 |      332
1366.18/1366.69	c 1366s |      18 |  3509257 |   403852 |    26109     34 |      391 |      332
1368.68/1369.12	c 1368s |      18 |  3513827 |   404852 |    26109     34 |      391 |      332
1370.88/1371.32	c 1371s |      18 |  3516753 |   405552 |    26109     34 |      391 |      332
1373.08/1373.50	c 1373s |      18 |  3518791 |   406052 |    26109     34 |      391 |      332
1375.38/1375.86	c 1375s |      18 |  3521501 |   406752 |    26109     34 |      391 |      332
1377.57/1378.08	c 1377s |      18 |  3523358 |   407452 |    26109     34 |      391 |      332
1379.97/1380.42	c 1380s |      18 |  3525812 |   408052 |    26109     34 |      391 |      332
1382.38/1382.82	c 1382s |      18 |  3527193 |   408452 |    26109     34 |      391 |      332
1384.48/1384.91	c 1384s |      18 |  3528205 |   408752 |    26109     34 |      391 |      332
1386.87/1387.37	c 1387s |      18 |  3528827 |   409052 |    26109     34 |      391 |      332
1388.88/1389.38	c 1389s |      18 |  3529722 |   409352 |    26109     34 |      391 |      332
1391.08/1391.52	c 1391s |      18 |  3530354 |   409652 |    26109     34 |      391 |      332
1393.58/1394.09	c 1393s |      18 |  3531148 |   410052 |    26109     34 |      391 |      332
1396.17/1396.64	c 1396s |      18 |  3548847 |   411252 |    26109     35 |      392 |      333
1398.17/1398.69	c 1398s |      18 |  3558897 |   412352 |    26109     35 |      392 |      333
1400.37/1400.85	c 1400s |      18 |  3561538 |   412852 |    26109     35 |      392 |      333
1403.18/1403.68	c 1403s |      18 |  3564845 |   413452 |    26109     35 |      392 |      333
1405.27/1405.77	c 1405s |      18 |  3566894 |   413852 |    26109     35 |      392 |      333
1407.68/1408.13	c 1407s |      18 |  3568666 |   414252 |    26109     35 |      392 |      333
1409.78/1410.25	c 1409s |      18 |  3592828 |   415552 |    26109     35 |      392 |      333
1411.87/1412.31	c 1412s |      18 |  3600471 |   416752 |    26109     35 |      393 |      334
1414.37/1414.80	c 1414s |      18 |  3602274 |   417452 |    26109     35 |      393 |      334
1416.38/1416.81	c 1416s |      18 |  3617689 |   418752 |    26109     35 |      393 |      334
1418.47/1418.96	c 1418s |      18 |  3621393 |   419652 |    26109     35 |      393 |      334
1420.57/1421.00	c 1420s |      18 |  3635158 |   420852 |    26109     36 |      393 |      334
1422.57/1423.08	c 1422s |      18 |  3649494 |   422352 |    26109     36 |      393 |      334
1424.87/1425.33	c 1425s |      18 |  3652651 |   423252 |    26109     36 |      393 |      334
1426.97/1427.45	c 1427s |      18 |  3654441 |   423852 |    26109     36 |      393 |      334
1428.97/1429.48	c 1429s |      18 |  3659024 |   424952 |    26109     36 |      393 |      334
1431.27/1431.72	c 1431s |      18 |  3663421 |   425952 |    26109     36 |      393 |      334
1433.26/1433.77	c 1433s |      18 |  3665391 |   426552 |    26109     36 |      393 |      334
1435.36/1435.80	c 1435s |      18 |  3667642 |   427252 |    26109     36 |      393 |      334
1437.37/1437.82	c 1437s |      18 |  3669388 |   427752 |    26109     36 |      393 |      334
1439.87/1440.36	c 1440s |      18 |  3671298 |   428352 |    26109     36 |      393 |      334
1442.17/1442.65	c 1442s |      18 |  3672596 |   428852 |    26109     36 |      393 |      334
1444.57/1445.05	c 1444s |      18 |  3673804 |   429352 |    26109     36 |      393 |      334
1447.27/1447.76	c 1447s |      18 |  3674871 |   429852 |    26109     36 |      393 |      334
1449.37/1449.90	c 1449s |      18 |  3678678 |   430552 |    26109     36 |      393 |      334
1451.57/1452.10	c 1451s |      18 |  3684898 |   431552 |    26109     36 |      393 |      334
1453.96/1454.47	c 1454s |      18 |  3688065 |   432452 |    26109     37 |      393 |      334
1456.26/1456.77	c 1456s |      18 |  3690420 |   433252 |    26109     37 |      393 |      334
1458.36/1458.83	c 1458s |      18 |  3692084 |   433852 |    26109     37 |      393 |      334
1460.56/1461.07	c 1460s |      18 |  3694116 |   434452 |    26109     37 |      393 |      334
1462.96/1463.46	c 1463s |      18 |  3696759 |   435152 |    26109     37 |      393 |      334
1465.06/1465.54	c 1465s |      18 |  3699265 |   435952 |    26109     37 |      393 |      334
1467.16/1467.63	c 1467s |      18 |  3701371 |   436652 |    26109     37 |      393 |      334
1469.27/1469.77	c 1469s |      18 |  3703443 |   437452 |    26109     37 |      393 |      334
1471.37/1471.87	c 1471s |      18 |  3704764 |   438052 |    26109     37 |      393 |      334
1473.76/1474.21	c 1473s |      18 |  3706549 |   438752 |    26109     37 |      393 |      334
1476.06/1476.59	c 1476s |      18 |  3707543 |   439252 |    26109     37 |      393 |      334
1478.56/1479.03	c 1478s |      18 |  3708356 |   439652 |    26109     37 |      393 |      334
1480.66/1481.18	c 1480s |      18 |  3709828 |   440152 |    26109     37 |      393 |      334
1482.86/1483.34	c 1483s |      18 |  3711389 |   440652 |    26109     37 |      393 |      334
1484.86/1485.39	c 1485s |      18 |  3712360 |   441052 |    26109     37 |      393 |      334
1486.96/1487.40	c 1487s |      18 |  3715705 |   441852 |    28720     37 |      393 |      334
1489.06/1489.53	c 1489s |      18 |  3718744 |   442552 |    28720     37 |      393 |      334
1491.05/1491.58	c 1491s |      18 |  3721439 |   443252 |    28720     37 |      393 |      334
1493.37/1493.86	c 1493s |      18 |  3723130 |   443852 |    28720     37 |      393 |      334
1495.57/1496.10	c 1495s |      18 |  3725778 |   444452 |    28720     37 |      393 |      334
1495.76/1496.22	c 1495s |      19 |  3725861 |   444482 |    28720     37 |      393 |      334
1497.77/1498.30	c 1498s |      19 |  3732995 |   445082 |    28720     38 |      393 |      334
1499.86/1500.33	c 1500s |      19 |  3756580 |   446682 |    28720     38 |      393 |      334
1501.96/1502.42	c 1502s |      19 |  3766853 |   447882 |    28720     38 |      393 |      334
1504.06/1504.50	c 1504s |      19 |  3793294 |   449582 |    28720     38 |      394 |      335
1506.06/1506.51	c 1506s |      19 |  3815684 |   451282 |    28720     38 |      394 |      335
1508.06/1508.59	c 1508s |      19 |  3834948 |   452682 |    28720     38 |      394 |      335
1510.16/1510.67	c 1510s |      19 |  3858627 |   454182 |    28720     38 |      394 |      335
1512.26/1512.71	c 1512s |      19 |  3874296 |   455482 |    28720     39 |      394 |      335
1514.26/1514.76	c 1514s |      19 |  3897009 |   457182 |    28720     39 |      394 |      335
1516.35/1516.85	c 1516s |      19 |  3917959 |   458682 |    28720     39 |      394 |      335
1518.35/1518.88	c 1518s |      19 |  3936981 |   459982 |    28720     39 |      394 |      335
1520.45/1520.96	c 1520s |      19 |  3950129 |   461182 |    28720     39 |      394 |      335
1522.65/1523.17	c 1522s |      19 |  3954375 |   461882 |    28720     39 |      394 |      335
1524.75/1525.26	c 1525s |      19 |  3955325 |   462182 |    28720     39 |      394 |      335
1527.05/1527.50	c 1527s |      19 |  3957054 |   462582 |    28720     39 |      394 |      335
1529.15/1529.63	c 1529s |      19 |  3959170 |   463082 |    28720     39 |      394 |      335
1531.25/1531.79	c 1531s |      19 |  3960808 |   463482 |    28720     39 |      394 |      335
1533.85/1534.36	c 1534s |      19 |  3962304 |   463882 |    28720     39 |      394 |      335
1537.05/1537.53	c 1537s |      19 |  3963406 |   464182 |    28720     39 |      394 |      335
1539.15/1539.61	c 1539s |      19 |  3969084 |   464882 |    28720     39 |      394 |      335
1541.15/1541.68	c 1541s |      19 |  3976617 |   465682 |    28720     39 |      394 |      335
1543.15/1543.68	c 1543s |      19 |  3996216 |   466882 |    28720     40 |      394 |      335
1545.25/1545.73	c 1545s |      19 |  4006969 |   467982 |    28720     40 |      395 |      336
1547.36/1547.81	c 1547s |      19 |  4024306 |   469382 |    28720     40 |      395 |      336
1549.35/1549.84	c 1549s |      19 |  4042133 |   470882 |    28720     40 |      395 |      336
1551.35/1551.84	c 1551s |      19 |  4049077 |   471882 |    28720     40 |      395 |      336
1553.45/1553.94	c 1553s |      19 |  4065049 |   473382 |    28720     40 |      395 |      336
1555.55/1556.05	c 1555s |      19 |  4076493 |   474782 |    28720     40 |      395 |      336
1557.65/1558.19	c 1557s |      19 |  4084232 |   475882 |    28720     40 |      395 |      336
1559.74/1560.24	c 1559s |      19 |  4092308 |   476782 |    28720     40 |      395 |      336
1561.74/1562.24	c 1561s |      19 |  4101493 |   477982 |    28720     40 |      395 |      336
1563.85/1564.39	c 1564s |      19 |  4105353 |   478882 |    28720     41 |      395 |      336
1566.05/1566.56	c 1566s |      19 |  4108637 |   479682 |    28720     41 |      395 |      336
1568.15/1568.65	c 1568s |      19 |  4116654 |   481082 |    28720     41 |      395 |      336
1570.14/1570.66	c 1570s |      19 |  4127024 |   482382 |    28720     41 |      395 |      336
1572.25/1572.79	c 1572s |      19 |  4135560 |   483582 |    28720     41 |      395 |      336
1574.35/1574.87	c 1574s |      19 |  4141458 |   484482 |    28720     41 |      395 |      336
1576.45/1576.92	c 1576s |      19 |  4143664 |   485182 |    28720     41 |      395 |      336
1578.65/1579.10	c 1578s |      19 |  4145805 |   485782 |    28720     41 |      395 |      336
1580.84/1581.33	c 1581s |      19 |  4149354 |   486682 |    28720     41 |      395 |      336
1582.84/1583.37	c 1583s |      19 |  4151205 |   487282 |    28720     41 |      395 |      336
1585.04/1585.51	c 1585s |      19 |  4152935 |   487882 |    28720     41 |      395 |      336
1587.24/1587.75	c 1587s |      19 |  4156089 |   488582 |    28720     41 |      395 |      336
1589.34/1589.88	c 1589s |      19 |  4159289 |   489382 |    28720     41 |      395 |      336
1591.64/1592.14	c 1591s |      19 |  4160736 |   489882 |    28720     41 |      395 |      336
1593.74/1594.21	c 1593s |      19 |  4162898 |   490282 |    28720     42 |      395 |      336
1595.84/1596.38	c 1596s |      19 |  4170603 |   491782 |    28720     42 |      395 |      336
1598.04/1598.52	c 1598s |      19 |  4177523 |   492882 |    28720     42 |      395 |      336
1600.44/1600.91	c 1600s |      19 |  4181876 |   493782 |    28720     42 |      395 |      336
1602.53/1603.08	c 1602s |      19 |  4184710 |   494482 |    28720     42 |      395 |      336
1604.64/1605.16	c 1604s |      19 |  4189396 |   495482 |    28720     42 |      395 |      336
1606.65/1607.19	c 1606s |      19 |  4193759 |   496382 |    28720     42 |      395 |      336
1608.95/1609.42	c 1609s |      19 |  4199271 |   497382 |    28720     42 |      395 |      336
1611.15/1611.68	c 1611s |      19 |  4201690 |   498282 |    28720     42 |      395 |      336
1613.14/1613.70	c 1613s |      19 |  4203735 |   498782 |    28720     42 |      395 |      336
1615.54/1616.09	c 1615s |      19 |  4206623 |   499582 |    28720     42 |      395 |      336
1617.64/1618.15	c 1617s |      19 |  4208087 |   500082 |    28720     42 |      395 |      336
1619.84/1620.40	c 1620s |      19 |  4208925 |   500482 |    28720     42 |      395 |      336
1622.14/1622.66	c 1622s |      19 |  4210698 |   500982 |    28720     42 |      395 |      336
1624.24/1624.75	c 1624s |      19 |  4211915 |   501482 |    28720     42 |      395 |      336
1626.33/1626.88	c 1626s |      19 |  4213511 |   501982 |    28720     42 |      395 |      336
1628.93/1629.44	c 1629s |      19 |  4214476 |   502382 |    28720     43 |      395 |      336
1631.04/1631.51	c 1631s |      19 |  4215828 |   502982 |    28720     43 |      395 |      336
1633.04/1633.55	c 1633s |      19 |  4218639 |   503782 |    28720     43 |      395 |      336
1635.24/1635.80	c 1635s |      19 |  4220198 |   504382 |    28720     43 |      395 |      336
1637.54/1638.04	c 1637s |      19 |  4222018 |   505182 |    28720     43 |      395 |      336
1639.74/1640.24	c 1639s |      19 |  4223120 |   505782 |    28720     43 |      395 |      336
1641.94/1642.47	c 1642s |      19 |  4227498 |   506782 |    28720     43 |      395 |      336
1644.04/1644.56	c 1644s |      19 |  4231805 |   507882 |    28720     43 |      395 |      336
1646.03/1646.60	c 1646s |      19 |  4233855 |   508582 |    28720     43 |      395 |      336
1648.24/1648.79	c 1648s |      19 |  4236346 |   509282 |    28720     43 |      395 |      336
1650.44/1650.96	c 1650s |      19 |  4237844 |   509882 |    28720     43 |      395 |      336
1652.63/1653.12	c 1652s |      19 |  4240812 |   510782 |    28720     43 |      395 |      336
1654.73/1655.27	c 1655s |      19 |  4248268 |   511882 |    28720     43 |      395 |      336
1656.93/1657.45	c 1657s |      19 |  4254530 |   512982 |    28720     43 |      395 |      336
1659.54/1660.06	c 1659s |      19 |  4256312 |   513482 |    28720     44 |      395 |      336
1661.53/1662.07	c 1661s |      19 |  4260824 |   514482 |    28720     44 |      395 |      336
1663.63/1664.11	c 1663s |      19 |  4262560 |   515082 |    28720     44 |      395 |      336
1665.83/1666.33	c 1666s |      19 |  4264203 |   515582 |    28720     44 |      395 |      336
1668.13/1668.61	c 1668s |      19 |  4268011 |   516482 |    28720     44 |      395 |      336
1670.13/1670.66	c 1670s |      19 |  4271527 |   517482 |    28720     44 |      395 |      336
1672.33/1672.88	c 1672s |      19 |  4277619 |   518582 |    28720     44 |      395 |      336
1674.63/1675.13	c 1674s |      19 |  4280248 |   519382 |    28720     44 |      395 |      336
1676.92/1677.48	c 1677s |      19 |  4281761 |   519982 |    28720     44 |      395 |      336
1679.23/1679.76	c 1679s |      19 |  4283261 |   520582 |    28720     44 |      395 |      336
1681.32/1681.85	c 1681s |      19 |  4284647 |   521082 |    28720     44 |      395 |      336
1683.83/1684.32	c 1684s |      19 |  4286542 |   521682 |    28720     44 |      395 |      336
1686.03/1686.54	c 1686s |      19 |  4292121 |   522682 |    28720     44 |      395 |      336
1688.04/1688.59	c 1688s |      19 |  4293891 |   523382 |    28720     44 |      395 |      336
1690.43/1690.91	c 1690s |      19 |  4295551 |   523982 |    28720     44 |      395 |      336
1692.44/1692.93	c 1692s |      19 |  4297696 |   524482 |    28720     45 |      395 |      336
1694.63/1695.11	c 1694s |      19 |  4300103 |   525382 |    28720     45 |      395 |      336
1696.73/1697.22	c 1696s |      19 |  4302283 |   526082 |    28720     45 |      395 |      336
1698.82/1699.31	c 1699s |      19 |  4305427 |   526782 |    28720     45 |      395 |      336
1700.82/1701.32	c 1701s |      19 |  4311148 |   527982 |    28720     45 |      395 |      336
1702.82/1703.35	c 1703s |      19 |  4316857 |   529082 |    28720     45 |      395 |      336
1705.02/1705.55	c 1705s |      19 |  4320485 |   530182 |    28720     45 |      395 |      336
1707.32/1707.89	c 1707s |      19 |  4323503 |   531082 |    28720     45 |      395 |      336
1709.42/1709.95	c 1709s |      19 |  4324695 |   531582 |    28720     45 |      395 |      336
1711.52/1712.05	c 1711s |      19 |  4325391 |   531982 |    28720     45 |      395 |      336
1713.62/1714.15	c 1713s |      19 |  4326903 |   532482 |    28720     45 |      395 |      336
1715.92/1716.45	c 1716s |      19 |  4329816 |   533282 |    28720     45 |      395 |      336
1717.92/1718.46	c 1718s |      19 |  4332501 |   533982 |    28720     45 |      395 |      336
1720.02/1720.59	c 1720s |      19 |  4335205 |   534782 |    28720     45 |      395 |      336
1722.12/1722.64	c 1722s |      19 |  4338003 |   535582 |    28720     46 |      395 |      336
1724.12/1724.68	c 1724s |      19 |  4339559 |   536282 |    28720     46 |      395 |      336
1726.42/1726.98	c 1726s |      19 |  4342144 |   537182 |    28720     46 |      395 |      336
1728.52/1729.08	c 1728s |      19 |  4345423 |   537982 |    28720     46 |      395 |      336
1730.72/1731.21	c 1730s |      19 |  4349849 |   538982 |    28720     46 |      395 |      336
1733.02/1733.54	c 1733s |      19 |  4352065 |   539782 |    28720     46 |      395 |      336
1735.32/1735.89	c 1735s |      19 |  4353180 |   540282 |    28720     46 |      395 |      336
1737.42/1737.91	c 1737s |      19 |  4355843 |   541082 |    28720     46 |      395 |      336
1739.42/1739.97	c 1739s |      19 |  4357365 |   541482 |    28720     46 |      395 |      336
1741.52/1742.09	c 1741s |      19 |  4364767 |   542582 |    28720     46 |      395 |      336
1743.62/1744.16	c 1743s |      19 |  4372564 |   543482 |    28720     46 |      395 |      336
1746.32/1746.80	c 1746s |      19 |  4377507 |   544282 |    28720     47 |      395 |      336
1748.31/1748.85	c 1748s |      19 |  4384984 |   545582 |    28720     47 |      395 |      336
1750.31/1750.86	c 1750s |      19 |  4389275 |   546582 |    28720     47 |      395 |      336
1752.41/1752.99	c 1752s |      19 |  4391464 |   547282 |    28720     47 |      395 |      336
1754.52/1755.06	c 1754s |      19 |  4395259 |   548182 |    28720     47 |      395 |      336
1756.62/1757.16	c 1756s |      19 |  4398255 |   548782 |    28720     47 |      395 |      336
1758.82/1759.34	c 1759s |      19 |  4400511 |   549382 |    28720     47 |      395 |      336
1760.92/1761.48	c 1761s |      19 |  4402313 |   549982 |    28720     47 |      395 |      336
1763.11/1763.61	c 1763s |      19 |  4404391 |   550582 |    28720     47 |      395 |      336
1765.21/1765.73	c 1765s |      19 |  4408704 |   551582 |    28720     47 |      395 |      336
1767.51/1768.00	c 1767s |      19 |  4411467 |   552482 |    28720     47 |      395 |      336
1769.61/1770.18	c 1769s |      19 |  4413346 |   553182 |    28720     47 |      395 |      336
1771.72/1772.23	c 1771s |      19 |  4414752 |   553682 |    28720     48 |      395 |      336
1773.82/1774.33	c 1774s |      19 |  4418513 |   554782 |    28720     48 |      395 |      336
1776.02/1776.53	c 1776s |      19 |  4420599 |   555582 |    28720     48 |      395 |      336
1778.32/1778.83	c 1778s |      19 |  4421905 |   556082 |    28720     48 |      395 |      336
1780.31/1780.86	c 1780s |      19 |  4425104 |   556982 |    28720     48 |      395 |      336
1782.51/1783.02	c 1782s |      19 |  4427247 |   557682 |    28720     48 |      395 |      336
1784.51/1785.04	c 1784s |      19 |  4428536 |   558182 |    28720     48 |      395 |      336
1786.61/1787.15	c 1786s |      19 |  4429801 |   558682 |    28720     48 |      395 |      336
1788.71/1789.27	c 1789s |      19 |  4432062 |   559282 |    28720     48 |      395 |      336
1791.01/1791.58	c 1791s |      19 |  4433755 |   559882 |    28720     48 |      395 |      336
1793.21/1793.76	c 1793s |      19 |  4435292 |   560482 |    28720     48 |      395 |      336
1795.51/1796.09	c 1795s |      19 |  4436407 |   560982 |    28720     48 |      395 |      336
1797.51/1798.09	c 1797s |      19 |  4437279 |   561382 |    28720     48 |      395 |      336

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

pid=16067
running on 4 cores: 1,3,5,7

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.18 2.14 2.14 3/179 16070
/proc/meminfo: memFree=29432336/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 2728 0 0 0 0 0 0 0 20 0 4 0 110108858 749137920 3088 33554432000 4194304 16246674 140736572136944 140736572119936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 183407 3097 441 2943 0 180301 0
[pid=16070/tid=16071] ppid=16067 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 766963712 3159 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 771158016 3176 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 776400896 3192 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.18 2.14 2.14 3/179 16070
/proc/meminfo: memFree=29432336/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 27161 0 0 0 6 3 0 0 20 0 4 0 110108858 1333334016 27460 33554432000 4194304 16246674 140736572136944 140736572136256 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 325521 27478 801 2943 0 322415 0
[pid=16070/tid=16071] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 27488 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 27500 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1333334016 27511 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200541 s]
/proc/loadavg: 2.18 2.14 2.14 3/179 16070
/proc/meminfo: memFree=29432336/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 42380 0 0 0 13 6 0 0 20 0 4 0 110108858 1333334016 42678 33554432000 4194304 16246674 140736572136944 140736572119936 5913156 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 325521 42678 833 2943 0 322415 0
[pid=16070/tid=16071] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 42678 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 42678 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1333334016 42678 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300509 s]
/proc/loadavg: 2.18 2.14 2.14 3/179 16070
/proc/meminfo: memFree=29432336/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 62631 0 0 0 20 9 0 0 20 0 4 0 110108858 1333334016 62930 33554432000 4194304 16246674 140736572136944 140736572119936 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 325521 62937 876 2943 0 322415 0
[pid=16070/tid=16071] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 62940 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 62943 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1333334016 62947 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700417 s]
/proc/loadavg: 2.18 2.14 2.14 3/179 16070
/proc/meminfo: memFree=29432336/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 138532 0 0 0 51 18 0 0 20 0 4 0 110108858 1333334016 138830 33554432000 4194304 16246674 140736572136944 140736572119936 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 325521 138837 876 2943 0 322415 0
[pid=16070/tid=16071] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 138841 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1333334016 138845 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1333334016 138851 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50043 s]
/proc/loadavg: 2.18 2.14 2.14 3/183 16074
/proc/meminfo: memFree=28511548/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1311300 CPUtime=1.49 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 268984 0 0 0 114 35 0 0 20 0 4 0 110108858 1342771200 269282 33554432000 4194304 16246674 140736572136944 140736572136256 5828937 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 327825 269282 882 2943 0 324719 0
[pid=16070/tid=16071] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269282 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269282 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1342771200 269282 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10043 s]
/proc/loadavg: 2.16 2.14 2.14 3/183 16074
/proc/meminfo: memFree=28355184/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1311300 CPUtime=3.09 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269006 0 0 0 274 35 0 0 20 0 4 0 110108858 1342771200 269304 33554432000 4194304 16246674 140736572136944 140736572118848 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 327825 269304 882 2943 0 324719 0
[pid=16070/tid=16071] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269304 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269304 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1342771200 269304 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30043 s]
/proc/loadavg: 2.16 2.14 2.14 3/183 16074
/proc/meminfo: memFree=28355184/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269006 0 0 0 594 35 0 0 20 0 4 0 110108858 1342771200 269304 33554432000 4194304 16246674 140736572136944 140736572118848 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 327825 269304 882 2943 0 324719 0
[pid=16070/tid=16071] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269304 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269304 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1342771200 269304 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.14 2.13 2.14 3/183 16074
/proc/meminfo: memFree=28354776/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269009 0 0 0 1234 35 0 0 20 0 4 0 110108858 1342771200 269307 33554432000 4194304 16246674 140736572136944 140736572118848 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 327825 269307 885 2943 0 324719 0
[pid=16070/tid=16071] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269307 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269307 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1342771200 269307 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.11 2.13 2.13 3/183 16074
/proc/meminfo: memFree=28355024/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269009 0 0 0 2513 35 0 0 20 0 4 0 110108858 1342771200 269307 33554432000 4194304 16246674 140736572136944 140736572119944 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 327825 269307 885 2943 0 324719 0
[pid=16070/tid=16071] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269307 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269307 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1342771200 269307 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.35 2.18 2.15 3/183 16074
/proc/meminfo: memFree=28317776/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269010 0 0 0 5072 36 0 0 20 0 4 0 110108858 1342771200 269308 33554432000 4194304 16246674 140736572136944 140736572118848 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 327825 269308 886 2943 0 324719 0
[pid=16070/tid=16071] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269308 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269308 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1342771200 269308 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.24 2.18 2.15 3/183 16075
/proc/meminfo: memFree=28273292/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1311300 CPUtime=102.28 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269010 0 0 0 10192 36 0 0 20 0 4 0 110108858 1342771200 269308 33554432000 4194304 16246674 140736572136944 140736572118848 12483544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 327825 269308 886 2943 0 324719 0
[pid=16070/tid=16071] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269308 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1342771200 269308 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1342771200 269308 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 16178
/proc/meminfo: memFree=28428256/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1361.88 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269952 0 0 0 136111 77 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140736572136120 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270134 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 16179
/proc/meminfo: memFree=28427756/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1421.87 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269952 0 0 0 142109 78 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140736572118848 5724053 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270134 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.26 2.26 2.19 4/183 16181
/proc/meminfo: memFree=28428052/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1481.86 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269952 0 0 0 148106 80 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140736572118848 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270134 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 16182
/proc/meminfo: memFree=28427580/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1541.86 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269952 0 0 0 154105 81 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140736572118848 5721248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270134 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.24 2.24 2.18 3/183 16183
/proc/meminfo: memFree=28427352/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1601.84 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269952 0 0 0 160101 83 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140736572118848 12483311 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270134 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.20 2.22 2.18 4/184 16187
/proc/meminfo: memFree=28427028/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1661.83 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269952 0 0 0 166097 86 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140736572118848 13191925 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270134 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 16188
/proc/meminfo: memFree=28427116/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1721.82 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 269952 0 0 0 172095 87 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140736572136120 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270134 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270134 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 16190
/proc/meminfo: memFree=28426732/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1781.81 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 270015 0 0 0 178091 90 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140736572136120 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270197 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.24 2.19 4/183 16190
/proc/meminfo: memFree=28426740/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1800.01 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 270015 0 0 0 179911 90 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140736572136120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270197 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1314372

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.24 2.19 4/183 16190
/proc/meminfo: memFree=28426740/32872528 swapFree=12208/1156848
[pid=16070] ppid=16067 vsize=1314372 CPUtime=1800.01 cores=1,3,5,7
/proc/16070/stat : 16070 (toysat) R 16067 16070 15571 0 -1 4202496 270015 0 0 0 179911 90 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140736572136120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16070/statm: 328593 270197 886 2943 0 325487 0
[pid=16070/tid=16071] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16071/stat : 16071 (toysat) S 16067 16070 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388653313264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16070/tid=16072] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16072/stat : 16072 (toysat) S 16067 16070 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110108858 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388642823408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16070/tid=16073] ppid=16067 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16070/task/16073/stat : 16073 (toysat) S 16067 16070 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110108859 1345916928 270197 33554432000 4194304 16246674 140736572136944 140388522257584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1314372

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.12
CPU system time (s): 0.908861
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.908861
maximum resident set size= 1080788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270015
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= 388
involuntary context switches= 1893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75928 second user time and 7.16191 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 08:42:23
IDJOB=4078923
IDBENCH=90112
IDSOLVER=2542
FILE ID=node114/4078923-1465281743
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078923-1465281743/watcher-4078923-1465281743 -o /tmp/evaluation-result-4078923-1465281743/solver-4078923-1465281743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078923-1465281743.opb

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

MD5SUM BENCH= 2946edf6ae8af40eb44098433ff3dcec
RANDOM SEED=532107630

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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.852
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.54
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.852
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:        29432336 kB
Buffers:          140376 kB
Cached:           254460 kB
SwapCached:         1696 kB
Active:          1303576 kB
Inactive:         243264 kB
Active(anon):    1153412 kB
Inactive(anon):     1252 kB
Active(file):     150164 kB
Inactive(file):   242012 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16724 kB
Writeback:             0 kB
AnonPages:       2255604 kB
Mapped:            10880 kB
Shmem:                 0 kB
Slab:             602556 kB
SReclaimable:      46604 kB
SUnreclaim:       555952 kB
KernelStack:        1520 kB
PageTables:         8744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2451600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1134592 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 node114 at 2016-06-07 09:12:24