Trace number 4088616

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-02UNSAT 1470.58 1471

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
MD5SUM0d64c1b15a5963b2585af25609d5d137
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.506922
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables601
Total number of constraints301
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)301
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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-15T18:56:57+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-4088616-1466009817.opb"]
0.00/0.01	c use --random-gen="630728183 2745616035 1878670488 533523701 104460829 2890156139 1132396546 1465566754 3188174129 2069315223 2241173302 3387428140 756107603 3565688597 1071052141 492160320 3301288060 474945993 2992999122 3548535356 2336928296 1458594100 129045621 938890500 3765982566 2761599724 2086225427 3299665781 3929135100 138566554 1274390787 793501212 1432791558 1389004284 3558200263 2823106051 2631046928 4152329617 3671554340 4130762797 1135324391 3583471604 4254610171 2305852733 3574466130 1692055676 3059334433 3544985479 1938208884 2982964990 3063860045 708487713 1423522021 488587841 3169215015 589179742 1999283731 4149780391 4049995145 487500317 2881924978 404072387 2353966295 618988582 655253079 1615091109 1183285009 2041300777 3646708437 4155377646 2467105848 898259311 2558662600 2750511175 1109047932 633087437 1701175173 1734900576 2066546253 3664003312 1394140963 2998226129 594334830 8018605 2747681373 370341120 3576282351 1925955185 3333974326 562569061 1835304898 2830969947 845172721 120646219 2937412139 2152765820 3685862321 2370907721 1793400033 3777205031 2043447028 1456170075 2444240712 2249491157 2904269623 2966478328 1199842810 2043647456 3011291184 2459872062 36886024 496047302 3423885969 3429759410 4148795159 840950291 1262917314 3232131288 1667401273 3406628287 4212574489 2624484839 3172254728 1691994380 4260656898 1864334632 200077204 1619786612 2180113792 1137558635 3532363057 1473998027 3764833357 2091459827 4091652159 3630929727 58096866 1945370497 360165316 646387710 447724709 3497343654 3219454984 3022321633 3365771255 671972080 2373623933 1581602527 2904378432 2811754042 1901509048 784996773 1342379082 3282646152 457239644 3509710037 1548677282 739792409 696812371 1502252914 15010189 3111771889 2095245042 90174735 2660779787 812308302 2141168404 429694586 1480179548 1872344664 3071549410 2138526020 2162509170 567056320 2341509568 1961967476 1543209822 143962775 769497059 1134645774 3535264298 786756392 2001515198 3834644140 4197048400 3061811144 1921833927 1821084475 96016090 538938813 2848262821 3260834747 645682834 1570030822 1383782993 2088162991 929254197 152035323 3494362655 2608511590 1305612151 2037497900 2906178551 1599639530 2778402115 2989945974 39118696 2280342590 425637854 3342182920 3908868923 1259504421 3095203414 3599849776 1632106806 1749763015 2953869687 3303388108 1536638447 2750321274 1532568612 969696712 807922273 451483900 4014129070 3030867753 2473264953 1780383217 57862511 3797550894 3318208330 980051235 3036153131 2344685147 2742967580 902915775 1336539743 3579052872 2786916657 1998699415 1979663491 1577059020 2535297685 1066817208 2227059646 2236105334 3572907822 1132814893 1265909589 3422909624 2476720019 1515944692 3655115198 673982027 3271184210 2815129481 255 362436" option to reproduce the execution
0.00/0.01	c #vars 601
0.00/0.01	c #constraints 301
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      401      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      404 |      100 |      401      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      887 |      250 |      442      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |     1489 |      475 |      487      0 |        0 |        0
0.00/0.07	c  0.1s |       4 |     2259 |      813 |      536      0 |        0 |        0
0.09/0.11	c  0.1s |       5 |     3152 |     1320 |      590      1 |        0 |        0
0.09/0.17	c  0.1s |       6 |     4614 |     2081 |      714      3 |        0 |        0
0.19/0.25	c  0.2s |       7 |     6828 |     3223 |      786      5 |        0 |        0
0.29/0.37	c  0.4s |       8 |    10054 |     4936 |      865      8 |        0 |        0
0.49/0.55	c  0.5s |       9 |    14517 |     7506 |      952     12 |        0 |        0
0.68/0.76	c  0.7s |      10 |    21733 |    11361 |     1048     18 |        0 |        0
0.98/1.08	c  1.1s |      11 |    32013 |    17144 |     1153     26 |        0 |        0
1.59/1.61	c  1.6s |      12 |    48748 |    25819 |     1269     39 |        0 |        0
2.20/2.29	c  2.3s |      13 |    72862 |    38832 |     1396     56 |        0 |        0
3.30/3.38	c  3.4s |      14 |   110653 |    58352 |     1536     79 |        0 |        0
4.89/4.99	c  5.0s |      15 |   164966 |    87632 |     1690    112 |        0 |        0
6.99/7.00	c  7.0s |      15 |   234933 |   124832 |     1690    151 |        0 |        0
7.29/7.38	c  7.4s |      16 |   247302 |   131552 |     1860    158 |        0 |        0
9.28/9.38	c  9.4s |      16 |   313512 |   166952 |     1860    192 |        0 |        0
10.99/11.07	c 11.0s |      17 |   370564 |   197432 |     2047    221 |        0 |        0
12.99/13.07	c 13.1s |      17 |   435593 |   232532 |     2047    252 |        0 |        0
14.99/15.08	c 15.1s |      17 |   502528 |   267632 |     2047    283 |        0 |        0
16.60/16.67	c 16.6s |      18 |   559864 |   296252 |     2252    308 |        0 |        0
18.59/18.67	c 18.7s |      18 |   626233 |   330652 |     2252    336 |        0 |        0
20.59/20.67	c 20.7s |      18 |   691636 |   365952 |     2252    365 |        0 |        0
22.59/22.68	c 22.7s |      18 |   760919 |   400752 |     2252    393 |        0 |        0
24.59/24.68	c 24.7s |      18 |   826061 |   434952 |     2252    420 |        0 |        0
25.19/25.25	c 25.2s |      19 |   843855 |   444482 |     2478    428 |        0 |        0
27.18/27.25	c 27.2s |      19 |   906019 |   477882 |     2478    452 |        0 |        0
29.18/29.25	c 29.2s |      19 |   971565 |   512682 |     2478    478 |        0 |        0
31.18/31.26	c 31.2s |      19 |  1039011 |   547282 |     2478    504 |        0 |        0
33.18/33.26	c 33.2s |      19 |  1104749 |   582282 |     2478    529 |        0 |        0
35.19/35.27	c 35.2s |      19 |  1169589 |   615782 |     2478    555 |        0 |        0
37.18/37.28	c 37.3s |      19 |  1240350 |   650482 |     2478    581 |        0 |        0
38.18/38.25	c 38.2s |      20 |  1275393 |   666827 |     2726    593 |        0 |        0
40.18/40.26	c 40.2s |      20 |  1340185 |   700927 |     2726    616 |        0 |        0
42.19/42.26	c 42.2s |      20 |  1409119 |   734927 |     2726    639 |        0 |        0
44.19/44.27	c 44.2s |      20 |  1481674 |   768827 |     2726    663 |        0 |        0
46.19/46.27	c 46.2s |      20 |  1550773 |   802027 |     2726    685 |        0 |        0
48.19/48.27	c 48.2s |      20 |  1617602 |   833427 |     2726    707 |        0 |        0
50.18/50.27	c 50.3s |      20 |  1683098 |   867227 |     2726    731 |        0 |        0
52.18/52.28	c 52.3s |      20 |  1749154 |   901027 |     2726    754 |        0 |        0
54.18/54.28	c 54.3s |      20 |  1813377 |   933727 |     2726    776 |        0 |        0
56.19/56.29	c 56.3s |      20 |  1880624 |   965927 |     2726    799 |        0 |        0
58.18/58.29	c 58.3s |      20 |  1949719 |   999327 |     2999    821 |        0 |        0
58.29/58.36	c 58.3s |      21 |  1952564 |  1000345 |     2999    822 |        0 |        0
60.28/60.36	c 60.3s |      21 |  2017329 |  1033445 |     2999    842 |        0 |        0
62.28/62.36	c 62.3s |      21 |  2084333 |  1067645 |     2999    864 |        0 |        0
64.28/64.37	c 64.3s |      21 |  2145337 |  1100645 |     2999    884 |        0 |        0
66.28/66.37	c 66.3s |      21 |  2208071 |  1134045 |     2999    905 |        0 |        0
68.28/68.37	c 68.3s |      21 |  2268163 |  1164145 |     2999    924 |        0 |        0
70.28/70.37	c 70.4s |      21 |  2336613 |  1195545 |     2999    943 |        0 |        0
72.28/72.38	c 72.4s |      21 |  2398753 |  1225845 |     2999    962 |        0 |        0
74.28/74.38	c 74.4s |      21 |  2461304 |  1253645 |     2999    980 |        0 |        0
76.28/76.39	c 76.4s |      21 |  2522811 |  1285745 |     2999   1000 |        0 |        0
78.28/78.39	c 78.4s |      21 |  2587885 |  1318645 |     2999   1021 |        0 |        0
80.29/80.39	c 80.4s |      21 |  2652330 |  1350845 |     2999   1041 |        0 |        0
82.28/82.39	c 82.4s |      21 |  2714077 |  1382445 |     2999   1061 |        0 |        0
84.38/84.40	c 84.4s |      21 |  2775910 |  1413045 |     2999   1081 |        0 |        0
86.37/86.40	c 86.4s |      21 |  2841711 |  1445245 |     2999   1101 |        0 |        0
88.37/88.40	c 88.4s |      21 |  2901725 |  1477145 |     2999   1121 |        0 |        0
89.77/89.84	c 89.8s |      22 |  2947069 |  1500622 |     3299   1135 |        0 |        0
91.77/91.84	c 91.8s |      22 |  3007150 |  1532022 |     3299   1153 |        0 |        0
93.78/93.84	c 93.8s |      22 |  3071336 |  1564322 |     3299   1172 |        0 |        0
95.79/95.85	c 95.8s |      22 |  3132552 |  1596722 |     3299   1191 |        0 |        0
97.78/97.85	c 97.8s |      22 |  3196606 |  1630222 |     3299   1209 |        0 |        0
99.78/99.86	c 99.8s |      22 |  3258262 |  1662622 |     3299   1228 |        0 |        0
101.78/101.86	c  101s |      22 |  3323363 |  1695122 |     3299   1247 |        0 |        0
103.78/103.86	c  103s |      22 |  3382654 |  1725822 |     3299   1264 |        0 |        0
105.77/105.86	c  105s |      22 |  3447137 |  1756622 |     3299   1282 |        0 |        0
107.78/107.87	c  107s |      22 |  3514089 |  1788822 |     3299   1300 |        0 |        0
109.77/109.87	c  109s |      22 |  3569401 |  1819222 |     3299   1318 |        0 |        0
111.77/111.87	c  111s |      22 |  3632909 |  1851822 |     3299   1336 |        0 |        0
113.77/113.87	c  113s |      22 |  3696544 |  1882922 |     3299   1354 |        0 |        0
115.77/115.89	c  115s |      22 |  3762064 |  1913122 |     3299   1372 |        0 |        0
117.78/117.89	c  117s |      22 |  3823893 |  1943222 |     3299   1389 |        0 |        0
119.77/119.89	c  119s |      22 |  3885316 |  1974522 |     3299   1407 |        0 |        0
121.77/121.90	c  121s |      22 |  3942519 |  2003322 |     3299   1423 |        0 |        0
123.88/123.90	c  123s |      22 |  4009591 |  2036022 |     3299   1442 |        0 |        0
125.87/125.90	c  125s |      22 |  4073731 |  2064522 |     3299   1459 |        0 |        0
127.87/127.90	c  127s |      22 |  4133022 |  2095122 |     3299   1476 |        0 |        0
129.88/129.91	c  129s |      22 |  4200269 |  2126522 |     3299   1494 |        0 |        0
131.87/131.91	c  131s |      22 |  4265608 |  2156122 |     3299   1512 |        0 |        0
133.87/133.92	c  133s |      22 |  4322650 |  2185422 |     3299   1529 |        0 |        0
135.87/135.92	c  135s |      22 |  4385816 |  2215922 |     3299   1546 |        0 |        0
137.87/137.92	c  137s |      22 |  4448906 |  2245022 |     3629   1563 |        0 |        0
138.27/138.33	c  138s |      23 |  4460219 |  2251038 |     3629   1566 |        0 |        0
140.27/140.33	c  140s |      23 |  4522687 |  2283238 |     3629   1583 |        0 |        0
142.27/142.33	c  142s |      23 |  4582295 |  2315438 |     3629   1600 |        0 |        0
144.27/144.34	c  144s |      23 |  4644600 |  2347438 |     3629   1617 |        0 |        0
146.28/146.35	c  146s |      23 |  4706785 |  2380638 |     3629   1634 |        0 |        0
148.27/148.35	c  148s |      23 |  4770387 |  2413338 |     3629   1651 |        0 |        0
150.27/150.36	c  150s |      23 |  4833097 |  2444138 |     3629   1668 |        0 |        0
152.26/152.36	c  152s |      23 |  4892937 |  2475238 |     3629   1684 |        0 |        0
154.26/154.36	c  154s |      23 |  4956469 |  2507038 |     3629   1701 |        0 |        0
156.27/156.37	c  156s |      23 |  5016617 |  2537938 |     3629   1717 |        0 |        0
158.26/158.37	c  158s |      23 |  5078410 |  2569238 |     3629   1733 |        0 |        0
160.27/160.38	c  160s |      23 |  5140697 |  2598638 |     3629   1749 |        0 |        0
162.27/162.38	c  162s |      23 |  5200696 |  2627938 |     3629   1765 |        0 |        0
164.27/164.38	c  164s |      23 |  5260878 |  2656238 |     3629   1780 |        0 |        0
166.26/166.39	c  166s |      23 |  5323055 |  2685438 |     3629   1795 |        0 |        0
168.27/168.39	c  168s |      23 |  5385796 |  2715738 |     3629   1811 |        0 |        0
170.26/170.39	c  170s |      23 |  5447943 |  2745138 |     3629   1827 |        0 |        0
172.26/172.40	c  172s |      23 |  5515291 |  2774338 |     3629   1843 |        0 |        0
174.37/174.41	c  174s |      23 |  5576395 |  2804238 |     3629   1859 |        0 |        0
176.37/176.41	c  176s |      23 |  5642893 |  2833938 |     3629   1874 |        0 |        0
178.36/178.42	c  178s |      23 |  5705998 |  2864038 |     3629   1891 |        0 |        0
180.37/180.42	c  180s |      23 |  5769737 |  2894638 |     3629   1906 |        0 |        0
182.36/182.42	c  182s |      23 |  5833199 |  2924338 |     3629   1922 |        0 |        0
184.36/184.43	c  184s |      23 |  5896861 |  2952738 |     3629   1937 |        0 |        0
186.36/186.43	c  186s |      23 |  5957278 |  2981038 |     3629   1952 |        0 |        0
188.36/188.43	c  188s |      23 |  6020231 |  3011438 |     3629   1968 |        0 |        0
190.37/190.43	c  190s |      23 |  6079062 |  3040438 |     3629   1983 |        0 |        0
192.36/192.43	c  192s |      23 |  6139456 |  3068838 |     3629   1999 |        0 |        0
194.36/194.44	c  194s |      23 |  6197871 |  3097838 |     3629   2014 |        0 |        0
196.36/196.44	c  196s |      23 |  6255414 |  3126338 |     3629   2029 |        0 |        0
198.36/198.45	c  198s |      23 |  6320054 |  3158338 |     3629   2046 |        0 |        0
200.36/200.45	c  200s |      23 |  6387410 |  3189438 |     3629   2062 |        0 |        0
202.37/202.45	c  202s |      23 |  6448364 |  3218438 |     3629   2078 |        0 |        0
204.36/204.46	c  204s |      23 |  6510791 |  3247238 |     3629   2093 |        0 |        0
206.36/206.46	c  206s |      23 |  6579896 |  3278738 |     3629   2110 |        0 |        0
208.36/208.46	c  208s |      23 |  6645075 |  3309938 |     3629   2127 |        0 |        0
210.35/210.46	c  210s |      23 |  6705802 |  3338638 |     3629   2142 |        0 |        0
212.36/212.47	c  212s |      23 |  6766398 |  3368238 |     3992   2157 |        0 |        0
212.95/213.03	c  213s |      24 |  6784355 |  3376662 |     3992   2161 |        0 |        0
214.96/215.03	c  215s |      24 |  6853812 |  3409762 |     3992   2176 |        0 |        0
216.96/217.04	c  217s |      24 |  6919320 |  3441262 |     3992   2191 |        0 |        0
218.97/219.04	c  219s |      24 |  6976503 |  3472662 |     3992   2206 |        0 |        0
220.96/221.04	c  221s |      24 |  7036751 |  3503762 |     3992   2221 |        0 |        0
222.96/223.05	c  223s |      24 |  7098870 |  3534462 |     3992   2236 |        0 |        0
224.96/225.05	c  225s |      24 |  7157160 |  3564662 |     3992   2250 |        0 |        0
226.96/227.05	c  227s |      24 |  7222716 |  3595862 |     3992   2265 |        0 |        0
228.96/229.06	c  229s |      24 |  7279584 |  3623362 |     3992   2279 |        0 |        0
230.96/231.06	c  231s |      24 |  7336098 |  3651262 |     3992   2292 |        0 |        0
232.95/233.07	c  233s |      24 |  7394621 |  3681462 |     3992   2307 |        0 |        0
234.95/235.07	c  235s |      24 |  7452850 |  3710762 |     3992   2321 |        0 |        0
236.95/237.08	c  237s |      24 |  7509470 |  3738962 |     3992   2335 |        0 |        0
238.95/239.08	c  239s |      24 |  7571722 |  3768262 |     3992   2349 |        0 |        0
240.96/241.09	c  241s |      24 |  7634329 |  3797762 |     3992   2363 |        0 |        0
242.95/243.09	c  243s |      24 |  7694009 |  3827262 |     3992   2377 |        0 |        0
245.06/245.10	c  245s |      24 |  7751937 |  3856462 |     3992   2391 |        0 |        0
247.06/247.11	c  247s |      24 |  7806568 |  3884862 |     3992   2405 |        0 |        0
249.06/249.11	c  249s |      24 |  7861961 |  3914562 |     3992   2419 |        0 |        0
251.05/251.12	c  251s |      24 |  7919836 |  3941662 |     3992   2432 |        0 |        0
253.06/253.12	c  253s |      24 |  7973404 |  3970662 |     3992   2446 |        0 |        0
255.05/255.12	c  255s |      24 |  8032384 |  4001162 |     3992   2460 |        0 |        0
257.05/257.13	c  257s |      24 |  8092696 |  4031762 |     3992   2475 |        0 |        0
259.05/259.13	c  259s |      24 |  8160307 |  4063562 |     3992   2490 |        0 |        0
261.05/261.13	c  261s |      24 |  8226099 |  4094862 |     3992   2505 |        0 |        0
263.05/263.14	c  263s |      24 |  8283932 |  4125562 |     3992   2520 |        0 |        0
265.06/265.14	c  265s |      24 |  8347882 |  4154862 |     3992   2534 |        0 |        0
267.05/267.14	c  267s |      24 |  8406310 |  4183162 |     3992   2548 |        0 |        0
269.05/269.15	c  269s |      24 |  8466743 |  4212362 |     3992   2562 |        0 |        0
271.05/271.16	c  271s |      24 |  8531453 |  4240862 |     3992   2576 |        0 |        0
273.05/273.17	c  273s |      24 |  8595633 |  4272362 |     3992   2591 |        0 |        0
275.05/275.18	c  275s |      24 |  8660271 |  4303262 |     3992   2606 |        0 |        0
277.05/277.19	c  277s |      24 |  8724009 |  4333962 |     3992   2620 |        0 |        0
279.05/279.19	c  279s |      24 |  8786706 |  4363562 |     3992   2635 |        0 |        0
281.14/281.20	c  281s |      24 |  8849765 |  4394062 |     3992   2649 |        0 |        0
283.14/283.20	c  283s |      24 |  8917362 |  4425262 |     3992   2664 |        0 |        0
285.14/285.20	c  285s |      24 |  8987863 |  4456062 |     3992   2679 |        0 |        0
287.05/287.20	c  287s |      24 |  9049179 |  4486462 |     3992   2694 |        0 |        0
289.14/289.20	c  289s |      24 |  9114681 |  4518462 |     3992   2709 |        0 |        0
291.14/291.21	c  291s |      24 |  9182700 |  4549562 |     3992   2724 |        0 |        0
293.15/293.21	c  293s |      24 |  9247668 |  4579862 |     3992   2738 |        0 |        0
295.15/295.21	c  295s |      24 |  9312579 |  4609962 |     3992   2753 |        0 |        0
297.14/297.21	c  297s |      24 |  9381565 |  4640162 |     3992   2767 |        0 |        0
299.15/299.22	c  299s |      24 |  9445244 |  4670862 |     3992   2782 |        0 |        0
301.14/301.23	c  301s |      24 |  9500627 |  4699162 |     3992   2796 |        0 |        0
303.14/303.23	c  303s |      24 |  9561857 |  4729862 |     3992   2810 |        0 |        0
305.14/305.23	c  305s |      24 |  9625934 |  4759962 |     3992   2825 |        0 |        0
307.15/307.24	c  307s |      24 |  9685291 |  4788462 |     3992   2839 |        0 |        0
309.15/309.24	c  309s |      24 |  9751162 |  4818062 |     3992   2853 |        0 |        0
311.15/311.25	c  311s |      24 |  9812438 |  4845462 |     3992   2866 |        0 |        0
313.15/313.25	c  313s |      24 |  9868987 |  4874262 |     3992   2880 |        0 |        0
315.14/315.25	c  315s |      24 |  9931464 |  4903162 |     3992   2894 |        0 |        0
317.14/317.26	c  317s |      24 |  9992031 |  4931462 |     3992   2908 |        0 |        0
319.14/319.26	c  319s |      24 | 10056367 |  4962262 |     3992   2922 |        0 |        0
321.15/321.27	c  321s |      24 | 10111854 |  4988562 |     3992   2936 |        0 |        0
323.14/323.27	c  323s |      24 | 10167598 |  5018362 |     3992   2950 |        0 |        0
325.14/325.27	c  325s |      24 | 10228908 |  5047162 |     4392   2962 |        0 |        0
326.44/326.56	c  326s |      25 | 10265753 |  5065098 |     4392   2970 |        0 |        0
328.44/328.57	c  328s |      25 | 10326543 |  5094898 |     4392   2983 |        0 |        0
330.44/330.57	c  330s |      25 | 10388230 |  5125298 |     4392   2996 |        0 |        0
332.44/332.57	c  332s |      25 | 10448041 |  5155098 |     4392   3009 |        0 |        0
334.44/334.57	c  334s |      25 | 10510119 |  5183698 |     4392   3022 |        0 |        0
336.44/336.58	c  336s |      25 | 10566351 |  5213098 |     4392   3035 |        0 |        0
338.43/338.58	c  338s |      25 | 10622223 |  5241898 |     4392   3047 |        0 |        0
340.43/340.58	c  340s |      25 | 10679913 |  5269898 |     4392   3059 |        0 |        0
342.44/342.58	c  342s |      25 | 10739812 |  5298298 |     4392   3072 |        0 |        0
344.44/344.58	c  344s |      25 | 10799420 |  5327498 |     4392   3084 |        0 |        0
346.45/346.59	c  346s |      25 | 10855318 |  5356198 |     4392   3097 |        0 |        0
348.44/348.59	c  348s |      25 | 10914562 |  5384998 |     4392   3110 |        0 |        0
350.44/350.59	c  350s |      25 | 10972436 |  5413498 |     4392   3122 |        0 |        0
352.54/352.61	c  352s |      25 | 11033098 |  5442298 |     4392   3135 |        0 |        0
354.54/354.61	c  354s |      25 | 11089350 |  5471198 |     4392   3147 |        0 |        0
356.53/356.61	c  356s |      25 | 11151434 |  5502198 |     4392   3161 |        0 |        0
358.54/358.61	c  358s |      25 | 11209910 |  5531098 |     4392   3174 |        0 |        0
360.53/360.62	c  360s |      25 | 11271165 |  5562198 |     4392   3187 |        0 |        0
362.54/362.62	c  362s |      25 | 11332492 |  5591398 |     4392   3200 |        0 |        0
364.54/364.62	c  364s |      25 | 11392186 |  5620198 |     4392   3213 |        0 |        0
366.54/366.62	c  366s |      25 | 11457548 |  5649198 |     4392   3225 |        0 |        0
368.54/368.63	c  368s |      25 | 11520079 |  5679498 |     4392   3239 |        0 |        0
370.53/370.63	c  370s |      25 | 11583186 |  5708498 |     4392   3251 |        0 |        0
372.53/372.63	c  372s |      25 | 11640472 |  5736498 |     4392   3263 |        0 |        0
374.53/374.64	c  374s |      25 | 11703524 |  5765398 |     4392   3276 |        0 |        0
376.53/376.64	c  376s |      25 | 11763336 |  5793298 |     4392   3288 |        0 |        0
378.53/378.65	c  378s |      25 | 11824113 |  5821198 |     4392   3301 |        0 |        0
380.54/380.66	c  380s |      25 | 11883792 |  5849298 |     4392   3313 |        0 |        0
382.53/382.66	c  382s |      25 | 11943255 |  5879898 |     4392   3326 |        0 |        0
384.53/384.66	c  384s |      25 | 12001756 |  5907898 |     4392   3339 |        0 |        0
386.53/386.67	c  386s |      25 | 12062578 |  5937698 |     4392   3352 |        0 |        0
388.53/388.67	c  388s |      25 | 12122151 |  5968398 |     4392   3365 |        0 |        0
390.53/390.67	c  390s |      25 | 12179407 |  5997798 |     4392   3378 |        0 |        0
392.52/392.68	c  392s |      25 | 12238672 |  6026798 |     4392   3390 |        0 |        0
394.52/394.69	c  394s |      25 | 12293642 |  6054298 |     4392   3403 |        0 |        0
396.62/396.70	c  396s |      25 | 12348990 |  6080398 |     4392   3414 |        0 |        0
398.62/398.70	c  398s |      25 | 12398032 |  6104498 |     4392   3425 |        0 |        0
400.62/400.71	c  400s |      25 | 12458627 |  6134998 |     4392   3438 |        0 |        0
402.63/402.71	c  402s |      25 | 12516967 |  6164598 |     4392   3451 |        0 |        0
404.62/404.71	c  404s |      25 | 12574243 |  6192198 |     4392   3463 |        0 |        0
406.62/406.72	c  406s |      25 | 12635421 |  6223098 |     4392   3477 |        0 |        0
408.62/408.73	c  408s |      25 | 12694436 |  6254498 |     4392   3491 |        0 |        0
410.62/410.73	c  410s |      25 | 12749520 |  6283898 |     4392   3503 |        0 |        0
412.62/412.73	c  412s |      25 | 12807014 |  6312398 |     4392   3516 |        0 |        0
414.62/414.74	c  414s |      25 | 12867282 |  6342898 |     4392   3529 |        0 |        0
416.62/416.74	c  416s |      25 | 12925729 |  6372598 |     4392   3542 |        0 |        0
418.62/418.75	c  418s |      25 | 12988139 |  6402198 |     4392   3555 |        0 |        0
420.62/420.75	c  420s |      25 | 13049570 |  6432898 |     4392   3569 |        0 |        0
422.61/422.75	c  422s |      25 | 13109643 |  6462098 |     4392   3581 |        0 |        0
424.62/424.75	c  424s |      25 | 13167373 |  6491598 |     4392   3594 |        0 |        0
426.61/426.76	c  426s |      25 | 13228197 |  6520898 |     4392   3607 |        0 |        0
428.61/428.76	c  428s |      25 | 13286721 |  6548398 |     4392   3619 |        0 |        0
430.61/430.76	c  430s |      25 | 13346960 |  6579298 |     4392   3633 |        0 |        0
432.61/432.76	c  432s |      25 | 13409273 |  6608398 |     4392   3645 |        0 |        0
434.61/434.76	c  434s |      25 | 13468112 |  6638398 |     4392   3658 |        0 |        0
436.62/436.77	c  436s |      25 | 13530307 |  6669098 |     4392   3672 |        0 |        0
438.61/438.77	c  438s |      25 | 13591822 |  6699098 |     4392   3685 |        0 |        0
440.61/440.78	c  440s |      25 | 13652210 |  6728798 |     4392   3698 |        0 |        0
442.61/442.79	c  442s |      25 | 13715529 |  6758898 |     4392   3711 |        0 |        0
444.61/444.79	c  444s |      25 | 13778111 |  6788798 |     4392   3725 |        0 |        0
446.62/446.79	c  446s |      25 | 13836596 |  6818998 |     4392   3738 |        0 |        0
448.61/448.79	c  448s |      25 | 13897128 |  6850098 |     4392   3752 |        0 |        0
450.61/450.79	c  450s |      25 | 13956546 |  6881398 |     4392   3765 |        0 |        0
452.71/452.80	c  452s |      25 | 14017494 |  6911598 |     4392   3779 |        0 |        0
454.70/454.80	c  454s |      25 | 14079762 |  6943098 |     4392   3792 |        0 |        0
456.70/456.81	c  456s |      25 | 14140844 |  6973898 |     4392   3806 |        0 |        0
458.71/458.81	c  458s |      25 | 14199274 |  7003198 |     4392   3819 |        0 |        0
460.70/460.81	c  460s |      25 | 14260393 |  7033198 |     4392   3832 |        0 |        0
462.71/462.81	c  462s |      25 | 14316115 |  7061698 |     4392   3844 |        0 |        0
464.71/464.82	c  464s |      25 | 14378132 |  7092098 |     4392   3857 |        0 |        0
466.70/466.82	c  466s |      25 | 14438581 |  7122098 |     4392   3870 |        0 |        0
468.70/468.83	c  468s |      25 | 14492802 |  7150398 |     4392   3883 |        0 |        0
470.71/470.83	c  470s |      25 | 14542246 |  7178298 |     4392   3895 |        0 |        0
472.70/472.83	c  472s |      25 | 14605172 |  7210098 |     4392   3909 |        0 |        0
474.70/474.84	c  474s |      25 | 14664600 |  7240198 |     4392   3922 |        0 |        0
476.70/476.85	c  476s |      25 | 14724905 |  7270098 |     4392   3935 |        0 |        0
478.70/478.85	c  478s |      25 | 14782463 |  7300198 |     4392   3948 |        0 |        0
480.70/480.85	c  480s |      25 | 14842884 |  7329498 |     4392   3961 |        0 |        0
482.69/482.86	c  482s |      25 | 14897195 |  7357098 |     4392   3973 |        0 |        0
484.69/484.86	c  484s |      25 | 14959904 |  7387598 |     4392   3986 |        0 |        0
486.69/486.87	c  486s |      25 | 15018228 |  7417398 |     4392   4000 |        0 |        0
488.69/488.87	c  488s |      25 | 15079003 |  7449198 |     4392   4013 |        0 |        0
490.69/490.88	c  490s |      25 | 15142688 |  7480198 |     4392   4027 |        0 |        0
492.70/492.88	c  492s |      25 | 15201527 |  7507598 |     4392   4039 |        0 |        0
494.69/494.88	c  494s |      25 | 15257807 |  7535898 |     4392   4051 |        0 |        0
496.69/496.88	c  496s |      25 | 15319526 |  7566498 |     4832   4063 |        0 |        0
498.69/498.89	c  498s |      25 | 15379182 |  7594498 |     4832   4075 |        0 |        0
498.89/499.09	c  499s |      26 | 15385250 |  7597752 |     4832   4076 |        0 |        0
500.89/501.10	c  501s |      26 | 15441887 |  7626852 |     4832   4087 |        0 |        0
502.88/503.10	c  503s |      26 | 15494117 |  7655152 |     4832   4099 |        0 |        0
504.98/505.10	c  505s |      26 | 15553081 |  7684652 |     4832   4110 |        0 |        0
506.99/507.10	c  507s |      26 | 15612900 |  7714452 |     4832   4122 |        0 |        0
508.98/509.11	c  509s |      26 | 15669687 |  7742852 |     4832   4134 |        0 |        0
510.98/511.11	c  511s |      26 | 15726718 |  7772252 |     4832   4145 |        0 |        0
512.97/513.11	c  513s |      26 | 15784295 |  7800952 |     4832   4157 |        0 |        0
514.97/515.11	c  515s |      26 | 15841095 |  7828652 |     4832   4168 |        0 |        0
516.98/517.11	c  517s |      26 | 15897758 |  7856252 |     4832   4179 |        0 |        0
518.97/519.12	c  519s |      26 | 15954034 |  7883552 |     4832   4190 |        0 |        0
520.97/521.13	c  521s |      26 | 16002180 |  7907952 |     4832   4200 |        0 |        0
522.98/523.13	c  523s |      26 | 16055628 |  7935052 |     4832   4210 |        0 |        0
524.97/525.13	c  525s |      26 | 16113999 |  7964252 |     4832   4222 |        0 |        0
526.97/527.14	c  527s |      26 | 16173968 |  7994052 |     4832   4234 |        0 |        0
528.98/529.14	c  529s |      26 | 16229857 |  8022152 |     4832   4245 |        0 |        0
530.97/531.14	c  531s |      26 | 16288210 |  8050552 |     4832   4257 |        0 |        0
532.96/533.14	c  533s |      26 | 16351141 |  8079752 |     4832   4268 |        0 |        0
534.96/535.15	c  535s |      26 | 16403896 |  8106152 |     4832   4279 |        0 |        0
536.96/537.15	c  537s |      26 | 16458250 |  8131952 |     4832   4289 |        0 |        0
538.97/539.16	c  539s |      26 | 16506313 |  8156152 |     4832   4299 |        0 |        0
540.96/541.16	c  541s |      26 | 16560035 |  8183852 |     4832   4310 |        0 |        0
542.95/543.16	c  543s |      26 | 16617261 |  8214052 |     4832   4322 |        0 |        0
544.95/545.17	c  545s |      26 | 16673706 |  8243552 |     4832   4334 |        0 |        0
546.95/547.17	c  547s |      26 | 16730203 |  8272652 |     4832   4345 |        0 |        0
548.95/549.17	c  549s |      26 | 16784964 |  8301052 |     4832   4356 |        0 |        0
550.96/551.18	c  551s |      26 | 16842020 |  8329252 |     4832   4367 |        0 |        0
552.95/553.18	c  553s |      26 | 16898294 |  8357152 |     4832   4379 |        0 |        0
554.95/555.18	c  555s |      26 | 16949360 |  8383252 |     4832   4389 |        0 |        0
556.95/557.18	c  557s |      26 | 17002588 |  8408652 |     4832   4399 |        0 |        0
558.95/559.19	c  559s |      26 | 17059171 |  8437752 |     4832   4411 |        0 |        0
560.96/561.19	c  561s |      26 | 17120763 |  8467452 |     4832   4423 |        0 |        0
562.95/563.19	c  563s |      26 | 17176025 |  8494652 |     4832   4434 |        0 |        0
564.95/565.20	c  565s |      26 | 17233431 |  8522452 |     4832   4445 |        0 |        0
567.05/567.20	c  567s |      26 | 17285174 |  8549052 |     4832   4455 |        0 |        0
569.05/569.21	c  569s |      26 | 17337450 |  8575852 |     4832   4466 |        0 |        0
571.05/571.21	c  571s |      26 | 17394645 |  8604652 |     4832   4478 |        0 |        0
573.05/573.21	c  573s |      26 | 17451371 |  8631952 |     4832   4488 |        0 |        0
575.04/575.22	c  575s |      26 | 17511229 |  8661052 |     4832   4500 |        0 |        0
577.04/577.22	c  577s |      26 | 17574036 |  8689452 |     4832   4511 |        0 |        0
579.04/579.23	c  579s |      26 | 17633196 |  8717852 |     4832   4523 |        0 |        0
581.04/581.23	c  581s |      26 | 17690574 |  8746752 |     4832   4534 |        0 |        0
583.04/583.23	c  583s |      26 | 17746002 |  8772552 |     4832   4545 |        0 |        0
585.04/585.23	c  585s |      26 | 17793370 |  8797052 |     4832   4555 |        0 |        0
587.03/587.24	c  587s |      26 | 17847242 |  8825152 |     4832   4566 |        0 |        0
589.03/589.24	c  589s |      26 | 17907486 |  8853352 |     4832   4577 |        0 |        0
591.03/591.24	c  591s |      26 | 17965904 |  8881252 |     4832   4588 |        0 |        0
593.03/593.24	c  593s |      26 | 18022451 |  8907052 |     4832   4599 |        0 |        0
595.03/595.24	c  595s |      26 | 18078026 |  8934652 |     4832   4610 |        0 |        0
597.03/597.24	c  597s |      26 | 18134756 |  8962452 |     4832   4621 |        0 |        0
599.03/599.25	c  599s |      26 | 18193993 |  8989452 |     4832   4632 |        0 |        0
601.02/601.25	c  601s |      26 | 18252437 |  9016652 |     4832   4643 |        0 |        0
603.02/603.25	c  603s |      26 | 18306261 |  9042852 |     4832   4653 |        0 |        0
605.02/605.26	c  605s |      26 | 18364511 |  9070652 |     4832   4664 |        0 |        0
607.02/607.27	c  607s |      26 | 18420219 |  9098152 |     4832   4675 |        0 |        0
609.01/609.27	c  609s |      26 | 18474635 |  9124852 |     4832   4686 |        0 |        0
611.02/611.27	c  611s |      26 | 18530203 |  9152652 |     4832   4697 |        0 |        0
613.02/613.28	c  613s |      26 | 18585436 |  9179452 |     4832   4708 |        0 |        0
615.02/615.28	c  615s |      26 | 18639558 |  9206852 |     4832   4719 |        0 |        0
617.02/617.28	c  617s |      26 | 18696127 |  9234852 |     4832   4730 |        0 |        0
619.01/619.28	c  619s |      26 | 18751741 |  9262052 |     4832   4741 |        0 |        0
621.01/621.28	c  621s |      26 | 18806982 |  9290052 |     4832   4752 |        0 |        0
623.02/623.29	c  623s |      26 | 18859183 |  9316252 |     4832   4762 |        0 |        0
625.02/625.29	c  625s |      26 | 18913090 |  9341752 |     4832   4773 |        0 |        0
627.01/627.30	c  627s |      26 | 18967277 |  9368252 |     4832   4783 |        0 |        0
629.02/629.30	c  629s |      26 | 19025698 |  9396252 |     4832   4794 |        0 |        0
631.11/631.30	c  631s |      26 | 19081321 |  9424352 |     4832   4806 |        0 |        0
633.11/633.30	c  633s |      26 | 19139596 |  9452052 |     4832   4817 |        0 |        0
635.11/635.30	c  635s |      26 | 19197057 |  9479152 |     4832   4828 |        0 |        0
637.11/637.30	c  637s |      26 | 19245077 |  9505152 |     4832   4838 |        0 |        0
639.10/639.31	c  639s |      26 | 19302264 |  9533252 |     4832   4849 |        0 |        0
641.11/641.31	c  641s |      26 | 19357782 |  9560752 |     4832   4860 |        0 |        0
643.10/643.32	c  643s |      26 | 19412654 |  9587152 |     4832   4871 |        0 |        0
645.10/645.32	c  645s |      26 | 19468619 |  9613852 |     4832   4881 |        0 |        0
647.10/647.32	c  647s |      26 | 19524720 |  9641752 |     4832   4892 |        0 |        0
649.10/649.33	c  649s |      26 | 19580844 |  9668952 |     4832   4903 |        0 |        0
651.10/651.33	c  651s |      26 | 19634976 |  9695652 |     4832   4914 |        0 |        0
653.09/653.34	c  653s |      26 | 19693494 |  9723252 |     4832   4925 |        0 |        0
655.09/655.34	c  655s |      26 | 19746674 |  9748652 |     4832   4935 |        0 |        0
657.09/657.34	c  657s |      26 | 19799868 |  9776252 |     4832   4946 |        0 |        0
659.09/659.35	c  659s |      26 | 19860889 |  9806752 |     4832   4959 |        0 |        0
661.09/661.35	c  661s |      26 | 19915899 |  9836152 |     4832   4970 |        0 |        0
663.09/663.35	c  663s |      26 | 19972926 |  9863752 |     4832   4981 |        0 |        0
665.08/665.36	c  665s |      26 | 20024473 |  9889752 |     4832   4992 |        0 |        0
667.09/667.37	c  667s |      26 | 20076744 |  9913352 |     4832   5001 |        0 |        0
669.09/669.37	c  669s |      26 | 20132111 |  9939852 |     4832   5012 |        0 |        0
671.09/671.39	c  671s |      26 | 20179575 |  9964552 |     4832   5022 |        0 |        0
673.18/673.40	c  673s |      26 | 20239513 |  9991952 |     4832   5033 |        0 |        0
675.08/675.40	c  675s |      26 | 20290499 | 10016652 |     4832   5042 |        0 |        0
677.18/677.40	c  677s |      26 | 20346965 | 10043152 |     4832   5053 |        0 |        0
679.18/679.41	c  679s |      26 | 20403489 | 10070152 |     4832   5064 |        0 |        0
681.18/681.41	c  681s |      26 | 20461646 | 10097852 |     4832   5075 |        0 |        0
683.17/683.41	c  683s |      26 | 20521093 | 10125752 |     4832   5086 |        0 |        0
685.18/685.41	c  685s |      26 | 20578497 | 10153752 |     4832   5098 |        0 |        0
687.17/687.42	c  687s |      26 | 20636187 | 10180452 |     4832   5108 |        0 |        0
689.17/689.42	c  689s |      26 | 20691023 | 10205552 |     4832   5118 |        0 |        0
691.17/691.43	c  691s |      26 | 20746907 | 10231252 |     4832   5129 |        0 |        0
693.16/693.43	c  693s |      26 | 20802096 | 10258552 |     4832   5140 |        0 |        0
695.16/695.43	c  695s |      26 | 20854792 | 10285052 |     4832   5150 |        0 |        0
697.18/697.44	c  697s |      26 | 20908437 | 10311152 |     4832   5161 |        0 |        0
699.17/699.44	c  699s |      26 | 20963991 | 10337752 |     4832   5171 |        0 |        0
701.17/701.44	c  701s |      26 | 21016656 | 10362652 |     4832   5181 |        0 |        0
703.16/703.45	c  703s |      26 | 21069594 | 10388552 |     4832   5192 |        0 |        0
705.16/705.45	c  705s |      26 | 21124662 | 10416352 |     4832   5203 |        0 |        0
707.17/707.45	c  707s |      26 | 21180596 | 10444652 |     4832   5214 |        0 |        0
709.16/709.45	c  709s |      26 | 21236852 | 10472152 |     4832   5225 |        0 |        0
711.16/711.46	c  711s |      26 | 21295455 | 10500152 |     4832   5236 |        0 |        0
713.15/713.46	c  713s |      26 | 21349328 | 10529052 |     4832   5248 |        0 |        0
715.15/715.47	c  715s |      26 | 21402301 | 10556252 |     4832   5259 |        0 |        0
717.15/717.48	c  717s |      26 | 21456570 | 10583952 |     4832   5270 |        0 |        0
719.16/719.48	c  719s |      26 | 21510461 | 10610552 |     4832   5280 |        0 |        0
721.15/721.49	c  721s |      26 | 21566522 | 10638152 |     4832   5291 |        0 |        0
723.14/723.49	c  723s |      26 | 21625778 | 10667752 |     4832   5303 |        0 |        0
725.24/725.50	c  725s |      26 | 21684745 | 10695552 |     4832   5314 |        0 |        0
727.24/727.50	c  727s |      26 | 21746525 | 10724052 |     4832   5326 |        0 |        0
729.24/729.50	c  729s |      26 | 21808634 | 10754552 |     4832   5338 |        0 |        0
731.26/731.50	c  731s |      26 | 21868338 | 10783252 |     4832   5349 |        0 |        0
733.24/733.52	c  733s |      26 | 21929335 | 10813852 |     4832   5362 |        0 |        0
735.24/735.52	c  735s |      26 | 21990857 | 10842352 |     4832   5373 |        0 |        0
737.24/737.53	c  737s |      26 | 22049120 | 10871352 |     4832   5385 |        0 |        0
739.24/739.53	c  739s |      26 | 22107016 | 10899752 |     4832   5396 |        0 |        0
741.25/741.53	c  741s |      26 | 22163439 | 10927752 |     4832   5407 |        0 |        0
743.23/743.54	c  743s |      26 | 22222026 | 10956152 |     4832   5418 |        0 |        0
745.23/745.54	c  745s |      26 | 22276316 | 10981952 |     4832   5429 |        0 |        0
747.23/747.55	c  747s |      26 | 22335761 | 11011152 |     4832   5440 |        0 |        0
749.23/749.57	c  749s |      26 | 22393033 | 11038852 |     4832   5452 |        0 |        0
751.23/751.57	c  751s |      26 | 22449802 | 11066952 |     4832   5463 |        0 |        0
753.24/753.57	c  753s |      26 | 22510847 | 11095152 |     4832   5474 |        0 |        0
755.23/755.57	c  755s |      26 | 22571720 | 11124752 |     4832   5486 |        0 |        0
757.23/757.57	c  757s |      26 | 22628534 | 11153052 |     4832   5497 |        0 |        0
759.23/759.58	c  759s |      26 | 22684583 | 11181452 |     4832   5508 |        0 |        0
761.23/761.59	c  761s |      26 | 22747747 | 11210252 |     4832   5520 |        0 |        0
763.23/763.59	c  763s |      26 | 22802059 | 11237652 |     4832   5531 |        0 |        0
765.22/765.59	c  765s |      26 | 22862043 | 11266852 |     4832   5542 |        0 |        0
767.32/767.60	c  767s |      26 | 22915625 | 11293352 |     4832   5553 |        0 |        0
769.32/769.62	c  769s |      26 | 22972749 | 11323152 |     5316   5565 |        0 |        0
771.32/771.62	c  771s |      26 | 23029815 | 11351852 |     5316   5575 |        0 |        0
773.31/773.62	c  773s |      26 | 23083619 | 11378352 |     5316   5585 |        0 |        0
774.71/775.00	c  774s |      27 | 23117707 | 11396733 |     5316   5591 |        0 |        0
776.71/777.01	c  776s |      27 | 23172848 | 11425133 |     5316   5601 |        0 |        0
778.71/779.01	c  778s |      27 | 23226790 | 11452733 |     5316   5611 |        0 |        0
780.72/781.02	c  780s |      27 | 23275880 | 11478733 |     5316   5621 |        0 |        0
782.71/783.02	c  782s |      27 | 23328676 | 11505333 |     5316   5631 |        0 |        0
784.71/785.02	c  785s |      27 | 23385136 | 11533333 |     5316   5641 |        0 |        0
786.71/787.03	c  787s |      27 | 23439736 | 11558733 |     5316   5650 |        0 |        0
788.71/789.03	c  789s |      27 | 23492110 | 11584433 |     5316   5659 |        0 |        0
790.72/791.03	c  791s |      27 | 23539321 | 11607733 |     5316   5668 |        0 |        0
792.70/793.03	c  793s |      27 | 23592897 | 11635133 |     5316   5678 |        0 |        0
794.70/795.03	c  795s |      27 | 23640455 | 11660433 |     5316   5687 |        0 |        0
796.70/797.03	c  797s |      27 | 23691300 | 11685733 |     5316   5696 |        0 |        0
798.70/799.04	c  799s |      27 | 23741498 | 11710433 |     5316   5705 |        0 |        0
800.70/801.04	c  801s |      27 | 23793615 | 11737933 |     5316   5715 |        0 |        0
802.70/803.04	c  803s |      27 | 23849231 | 11764933 |     5316   5725 |        0 |        0
804.69/805.05	c  805s |      27 | 23902129 | 11790933 |     5316   5734 |        0 |        0
806.69/807.05	c  807s |      27 | 23954560 | 11816033 |     5316   5743 |        0 |        0
808.69/809.05	c  809s |      27 | 24006823 | 11841833 |     5316   5753 |        0 |        0
810.69/811.05	c  811s |      27 | 24061422 | 11868433 |     5316   5762 |        0 |        0
812.69/813.05	c  813s |      27 | 24118477 | 11896333 |     5316   5773 |        0 |        0
814.68/815.06	c  815s |      27 | 24170650 | 11923433 |     5316   5782 |        0 |        0
816.69/817.06	c  817s |      27 | 24223216 | 11950033 |     5316   5792 |        0 |        0
818.69/819.06	c  819s |      27 | 24274718 | 11974733 |     5316   5801 |        0 |        0
820.69/821.06	c  821s |      27 | 24329890 | 12002133 |     5316   5811 |        0 |        0
822.69/823.07	c  823s |      27 | 24382236 | 12028933 |     5316   5821 |        0 |        0
824.69/825.07	c  825s |      27 | 24436429 | 12053833 |     5316   5830 |        0 |        0
826.68/827.07	c  827s |      27 | 24484821 | 12078333 |     5316   5839 |        0 |        0
828.68/829.08	c  829s |      27 | 24535428 | 12103033 |     5316   5848 |        0 |        0
830.68/831.08	c  831s |      27 | 24582511 | 12126333 |     5316   5856 |        0 |        0
832.68/833.09	c  833s |      27 | 24635235 | 12149833 |     5316   5865 |        0 |        0
834.68/835.09	c  835s |      27 | 24689206 | 12175533 |     5316   5875 |        0 |        0
836.67/837.10	c  837s |      27 | 24741459 | 12201433 |     5316   5884 |        0 |        0
838.77/839.10	c  839s |      27 | 24792543 | 12226833 |     5316   5893 |        0 |        0
840.77/841.11	c  841s |      27 | 24847654 | 12253433 |     5316   5903 |        0 |        0
842.77/843.11	c  843s |      27 | 24898709 | 12279233 |     5316   5913 |        0 |        0
844.77/845.12	c  845s |      27 | 24948904 | 12304433 |     5316   5922 |        0 |        0
846.77/847.12	c  847s |      27 | 24996958 | 12329533 |     5316   5931 |        0 |        0
848.76/849.12	c  849s |      27 | 25051071 | 12355733 |     5316   5941 |        0 |        0
850.77/851.13	c  851s |      27 | 25102607 | 12380833 |     5316   5950 |        0 |        0
852.77/853.13	c  853s |      27 | 25156982 | 12407233 |     5316   5959 |        0 |        0
854.77/855.13	c  855s |      27 | 25206016 | 12432833 |     5316   5969 |        0 |        0
856.77/857.14	c  857s |      27 | 25259897 | 12460133 |     5316   5979 |        0 |        0
858.77/859.14	c  859s |      27 | 25313669 | 12486533 |     5316   5988 |        0 |        0
860.76/861.15	c  861s |      27 | 25369424 | 12511433 |     5316   5998 |        0 |        0
862.76/863.16	c  863s |      27 | 25421264 | 12537533 |     5316   6007 |        0 |        0
864.76/865.16	c  865s |      27 | 25476265 | 12563533 |     5316   6016 |        0 |        0
866.76/867.16	c  867s |      27 | 25531868 | 12591233 |     5316   6026 |        0 |        0
868.77/869.16	c  869s |      27 | 25585516 | 12617633 |     5316   6036 |        0 |        0
870.76/871.17	c  871s |      27 | 25634993 | 12643133 |     5316   6045 |        0 |        0
872.76/873.18	c  873s |      27 | 25689274 | 12669833 |     5316   6055 |        0 |        0
874.76/875.18	c  875s |      27 | 25742524 | 12696133 |     5316   6064 |        0 |        0
876.85/877.20	c  877s |      27 | 25793649 | 12721233 |     5316   6074 |        0 |        0
878.86/879.20	c  879s |      27 | 25844208 | 12746433 |     5316   6083 |        0 |        0
880.77/881.20	c  881s |      27 | 25896108 | 12772833 |     5316   6092 |        0 |        0
882.86/883.21	c  883s |      27 | 25949160 | 12797933 |     5316   6101 |        0 |        0
884.86/885.21	c  885s |      27 | 26005303 | 12823033 |     5316   6111 |        0 |        0
886.86/887.22	c  887s |      27 | 26062778 | 12848833 |     5316   6120 |        0 |        0
888.86/889.22	c  889s |      27 | 26119657 | 12874733 |     5316   6130 |        0 |        0
890.86/891.23	c  891s |      27 | 26174190 | 12900733 |     5316   6139 |        0 |        0
892.86/893.23	c  893s |      27 | 26226113 | 12927633 |     5316   6149 |        0 |        0
894.86/895.23	c  895s |      27 | 26273780 | 12951333 |     5316   6158 |        0 |        0
896.86/897.23	c  897s |      27 | 26327693 | 12977033 |     5316   6167 |        0 |        0
898.86/899.23	c  899s |      27 | 26380579 | 13003033 |     5316   6176 |        0 |        0
900.86/901.24	c  901s |      27 | 26436081 | 13029733 |     5316   6186 |        0 |        0
902.86/903.24	c  903s |      27 | 26493656 | 13055533 |     5316   6196 |        0 |        0
904.85/905.24	c  905s |      27 | 26550780 | 13081733 |     5316   6205 |        0 |        0
906.85/907.25	c  907s |      27 | 26606660 | 13107033 |     5316   6215 |        0 |        0
908.85/909.25	c  909s |      27 | 26666008 | 13133933 |     5316   6224 |        0 |        0
910.85/911.26	c  911s |      27 | 26720031 | 13158633 |     5316   6233 |        0 |        0
912.85/913.26	c  913s |      27 | 26779108 | 13185433 |     5316   6243 |        0 |        0
914.86/915.26	c  915s |      27 | 26835613 | 13211633 |     5316   6253 |        0 |        0
916.85/917.27	c  917s |      27 | 26888397 | 13236333 |     5316   6262 |        0 |        0
918.85/919.27	c  919s |      27 | 26945037 | 13262333 |     5316   6271 |        0 |        0
920.85/921.27	c  921s |      27 | 27000896 | 13288933 |     5316   6281 |        0 |        0
922.85/923.27	c  923s |      27 | 27057659 | 13315133 |     5316   6291 |        0 |        0
924.86/925.28	c  925s |      27 | 27111144 | 13340333 |     5316   6300 |        0 |        0
926.85/927.28	c  927s |      27 | 27170387 | 13367733 |     5316   6310 |        0 |        0
928.85/929.28	c  929s |      27 | 27224743 | 13393733 |     5316   6320 |        0 |        0
930.85/931.29	c  931s |      27 | 27281593 | 13421233 |     5316   6330 |        0 |        0
932.85/933.29	c  933s |      27 | 27334221 | 13447533 |     5316   6339 |        0 |        0
934.94/935.30	c  935s |      27 | 27391288 | 13473033 |     5316   6349 |        0 |        0
936.95/937.31	c  937s |      27 | 27445008 | 13499033 |     5316   6358 |        0 |        0
938.94/939.31	c  939s |      27 | 27502184 | 13526033 |     5316   6368 |        0 |        0
940.94/941.31	c  941s |      27 | 27556596 | 13552333 |     5316   6378 |        0 |        0
942.94/943.32	c  943s |      27 | 27609040 | 13578933 |     5316   6387 |        0 |        0
944.94/945.33	c  945s |      27 | 27662888 | 13604233 |     5316   6397 |        0 |        0
946.94/947.33	c  947s |      27 | 27712730 | 13628833 |     5316   6406 |        0 |        0
948.96/949.34	c  949s |      27 | 27765614 | 13654633 |     5316   6415 |        0 |        0
950.95/951.34	c  951s |      27 | 27819816 | 13680833 |     5316   6425 |        0 |        0
952.95/953.35	c  953s |      27 | 27876270 | 13706733 |     5316   6434 |        0 |        0
954.95/955.35	c  955s |      27 | 27933363 | 13734233 |     5316   6444 |        0 |        0
956.95/957.35	c  957s |      27 | 27991631 | 13761133 |     5316   6454 |        0 |        0
958.95/959.35	c  959s |      27 | 28048396 | 13788333 |     5316   6464 |        0 |        0
960.95/961.36	c  961s |      27 | 28107494 | 13815933 |     5316   6474 |        0 |        0
962.94/963.37	c  963s |      27 | 28162233 | 13842433 |     5316   6484 |        0 |        0
964.94/965.37	c  965s |      27 | 28215265 | 13867833 |     5316   6493 |        0 |        0
966.94/967.37	c  967s |      27 | 28272432 | 13893533 |     5316   6502 |        0 |        0
968.94/969.38	c  969s |      27 | 28329095 | 13919733 |     5316   6512 |        0 |        0
970.95/971.38	c  971s |      27 | 28384161 | 13944133 |     5316   6521 |        0 |        0
972.94/973.39	c  973s |      27 | 28440843 | 13969133 |     5316   6530 |        0 |        0
974.94/975.39	c  975s |      27 | 28496701 | 13996133 |     5316   6540 |        0 |        0
977.04/977.40	c  977s |      27 | 28553514 | 14021733 |     5316   6549 |        0 |        0
979.04/979.40	c  979s |      27 | 28613724 | 14046933 |     5316   6559 |        0 |        0
981.04/981.41	c  981s |      27 | 28670854 | 14072933 |     5316   6568 |        0 |        0
983.05/983.41	c  983s |      27 | 28731521 | 14099133 |     5316   6578 |        0 |        0
985.04/985.42	c  985s |      27 | 28785426 | 14123733 |     5316   6587 |        0 |        0
987.04/987.42	c  987s |      27 | 28841503 | 14147833 |     5316   6596 |        0 |        0
989.04/989.42	c  989s |      27 | 28895307 | 14173633 |     5316   6605 |        0 |        0
991.04/991.43	c  991s |      27 | 28946271 | 14198733 |     5316   6615 |        0 |        0
993.05/993.43	c  993s |      27 | 28999950 | 14224133 |     5316   6624 |        0 |        0
995.04/995.43	c  995s |      27 | 29058427 | 14251333 |     5316   6634 |        0 |        0
997.04/997.44	c  997s |      27 | 29114503 | 14278633 |     5316   6644 |        0 |        0
999.04/999.44	c  999s |      27 | 29169479 | 14305133 |     5316   6654 |        0 |        0
1001.04/1001.45	c 1001s |      27 | 29220325 | 14330633 |     5316   6663 |        0 |        0
1003.04/1003.45	c 1003s |      27 | 29276347 | 14357533 |     5316   6672 |        0 |        0
1005.04/1005.45	c 1005s |      27 | 29329731 | 14381533 |     5316   6681 |        0 |        0
1007.03/1007.45	c 1007s |      27 | 29384865 | 14408633 |     5316   6691 |        0 |        0
1009.03/1009.46	c 1009s |      27 | 29440796 | 14434833 |     5316   6701 |        0 |        0
1011.03/1011.47	c 1011s |      27 | 29492292 | 14460533 |     5316   6710 |        0 |        0
1013.03/1013.47	c 1013s |      27 | 29546707 | 14487433 |     5316   6720 |        0 |        0
1015.04/1015.47	c 1015s |      27 | 29600228 | 14513433 |     5316   6730 |        0 |        0
1017.03/1017.48	c 1017s |      27 | 29653827 | 14540133 |     5316   6739 |        0 |        0
1019.03/1019.48	c 1019s |      27 | 29705634 | 14565033 |     5316   6748 |        0 |        0
1021.04/1021.49	c 1021s |      27 | 29756516 | 14589933 |     5316   6757 |        0 |        0
1023.04/1023.49	c 1023s |      27 | 29809388 | 14615833 |     5316   6767 |        0 |        0
1025.04/1025.50	c 1025s |      27 | 29865772 | 14641533 |     5316   6776 |        0 |        0
1027.04/1027.50	c 1027s |      27 | 29918996 | 14668233 |     5316   6786 |        0 |        0
1029.13/1029.51	c 1029s |      27 | 29972013 | 14693733 |     5316   6795 |        0 |        0
1031.13/1031.51	c 1031s |      27 | 30024685 | 14719533 |     5316   6805 |        0 |        0
1033.13/1033.52	c 1033s |      27 | 30079673 | 14746133 |     5316   6814 |        0 |        0
1035.13/1035.52	c 1035s |      27 | 30135828 | 14773333 |     5316   6824 |        0 |        0
1037.13/1037.52	c 1037s |      27 | 30188852 | 14800133 |     5316   6834 |        0 |        0
1039.14/1039.52	c 1039s |      27 | 30239050 | 14826033 |     5316   6843 |        0 |        0
1041.13/1041.53	c 1041s |      27 | 30289012 | 14850633 |     5316   6852 |        0 |        0
1043.13/1043.53	c 1043s |      27 | 30345773 | 14876933 |     5316   6862 |        0 |        0
1045.13/1045.53	c 1045s |      27 | 30405825 | 14903633 |     5316   6872 |        0 |        0
1047.13/1047.54	c 1047s |      27 | 30462919 | 14930633 |     5316   6881 |        0 |        0
1049.13/1049.54	c 1049s |      27 | 30516454 | 14955733 |     5316   6891 |        0 |        0
1051.13/1051.55	c 1051s |      27 | 30567043 | 14979733 |     5316   6899 |        0 |        0
1053.13/1053.57	c 1053s |      27 | 30620550 | 15004533 |     5316   6909 |        0 |        0
1055.13/1055.57	c 1055s |      27 | 30675156 | 15029433 |     5316   6918 |        0 |        0
1057.13/1057.58	c 1057s |      27 | 30731758 | 15055733 |     5316   6928 |        0 |        0
1059.13/1059.59	c 1059s |      27 | 30786113 | 15082333 |     5316   6937 |        0 |        0
1061.14/1061.60	c 1061s |      27 | 30842964 | 15109833 |     5316   6948 |        0 |        0
1063.23/1063.60	c 1063s |      27 | 30896385 | 15136133 |     5316   6957 |        0 |        0
1065.23/1065.61	c 1065s |      27 | 30952027 | 15161533 |     5316   6966 |        0 |        0
1067.23/1067.61	c 1067s |      27 | 31003221 | 15185933 |     5316   6976 |        0 |        0
1069.23/1069.61	c 1069s |      27 | 31060505 | 15213133 |     5316   6985 |        0 |        0
1071.23/1071.62	c 1071s |      27 | 31117118 | 15239733 |     5316   6995 |        0 |        0
1073.23/1073.64	c 1073s |      27 | 31168317 | 15265633 |     5316   7005 |        0 |        0
1075.22/1075.64	c 1075s |      27 | 31222359 | 15291533 |     5316   7014 |        0 |        0
1077.22/1077.64	c 1077s |      27 | 31273168 | 15317133 |     5316   7023 |        0 |        0
1079.22/1079.66	c 1079s |      27 | 31327115 | 15341733 |     5316   7032 |        0 |        0
1081.22/1081.66	c 1081s |      27 | 31375157 | 15365033 |     5316   7041 |        0 |        0
1083.23/1083.66	c 1083s |      27 | 31423737 | 15389533 |     5316   7050 |        0 |        0
1085.22/1085.67	c 1085s |      27 | 31477939 | 15414833 |     5316   7059 |        0 |        0
1087.23/1087.67	c 1087s |      27 | 31526831 | 15438833 |     5316   7068 |        0 |        0
1089.23/1089.67	c 1089s |      27 | 31576320 | 15462333 |     5316   7076 |        0 |        0
1091.23/1091.68	c 1091s |      27 | 31625296 | 15486433 |     5316   7085 |        0 |        0
1093.23/1093.69	c 1093s |      27 | 31675306 | 15512533 |     5316   7095 |        0 |        0
1095.23/1095.69	c 1095s |      27 | 31727258 | 15539433 |     5316   7104 |        0 |        0
1097.23/1097.69	c 1097s |      27 | 31780834 | 15565233 |     5316   7114 |        0 |        0
1099.23/1099.69	c 1099s |      27 | 31829278 | 15589833 |     5316   7123 |        0 |        0
1101.23/1101.69	c 1101s |      27 | 31881704 | 15616733 |     5316   7133 |        0 |        0
1103.32/1103.71	c 1103s |      27 | 31936533 | 15644233 |     5316   7143 |        0 |        0
1105.32/1105.71	c 1105s |      27 | 31987878 | 15670233 |     5316   7152 |        0 |        0
1107.33/1107.71	c 1107s |      27 | 32039842 | 15697233 |     5316   7162 |        0 |        0
1109.32/1109.72	c 1109s |      27 | 32092519 | 15724133 |     5316   7172 |        0 |        0
1111.32/1111.72	c 1111s |      27 | 32144782 | 15749133 |     5316   7181 |        0 |        0
1113.32/1113.73	c 1113s |      27 | 32194904 | 15774033 |     5316   7190 |        0 |        0
1115.32/1115.73	c 1115s |      27 | 32246510 | 15798133 |     5316   7198 |        0 |        0
1117.33/1117.73	c 1117s |      27 | 32299439 | 15824233 |     5316   7208 |        0 |        0
1119.32/1119.75	c 1119s |      27 | 32352048 | 15850633 |     5316   7218 |        0 |        0
1121.32/1121.76	c 1121s |      27 | 32406387 | 15877233 |     5316   7227 |        0 |        0
1123.32/1123.76	c 1123s |      27 | 32453900 | 15900933 |     5316   7236 |        0 |        0
1125.32/1125.77	c 1125s |      27 | 32503864 | 15925133 |     5316   7245 |        0 |        0
1127.31/1127.78	c 1127s |      27 | 32553403 | 15949333 |     5316   7253 |        0 |        0
1129.32/1129.79	c 1129s |      27 | 32607430 | 15974133 |     5316   7263 |        0 |        0
1131.41/1131.80	c 1131s |      27 | 32656961 | 15998433 |     5316   7271 |        0 |        0
1133.41/1133.80	c 1133s |      27 | 32708346 | 16022533 |     5316   7280 |        0 |        0
1135.42/1135.80	c 1135s |      27 | 32756753 | 16046633 |     5316   7289 |        0 |        0
1137.42/1137.81	c 1137s |      27 | 32806699 | 16070133 |     5316   7298 |        0 |        0
1139.42/1139.81	c 1139s |      27 | 32858167 | 16096433 |     5316   7307 |        0 |        0
1141.42/1141.82	c 1141s |      27 | 32909767 | 16122133 |     5316   7317 |        0 |        0
1143.42/1143.82	c 1143s |      27 | 32962420 | 16146833 |     5316   7326 |        0 |        0
1145.42/1145.83	c 1145s |      27 | 33017456 | 16175133 |     5316   7336 |        0 |        0
1147.42/1147.84	c 1147s |      27 | 33075071 | 16203133 |     5316   7346 |        0 |        0
1149.42/1149.84	c 1149s |      27 | 33129769 | 16229833 |     5316   7356 |        0 |        0
1151.42/1151.84	c 1151s |      27 | 33180933 | 16255533 |     5316   7365 |        0 |        0
1153.42/1153.84	c 1153s |      27 | 33236298 | 16282233 |     5316   7375 |        0 |        0
1155.41/1155.87	c 1155s |      27 | 33291607 | 16308533 |     5316   7385 |        0 |        0
1157.41/1157.88	c 1157s |      27 | 33344211 | 16334233 |     5316   7394 |        0 |        0
1159.41/1159.88	c 1159s |      27 | 33393220 | 16358033 |     5316   7403 |        0 |        0
1161.41/1161.88	c 1161s |      27 | 33445791 | 16382433 |     5316   7412 |        0 |        0
1163.42/1163.89	c 1163s |      27 | 33500437 | 16407733 |     5316   7421 |        0 |        0
1165.51/1165.91	c 1165s |      27 | 33555491 | 16433833 |     5316   7431 |        0 |        0
1167.51/1167.91	c 1167s |      27 | 33610173 | 16459833 |     5316   7440 |        0 |        0
1169.51/1169.91	c 1169s |      27 | 33663937 | 16485733 |     5316   7449 |        0 |        0
1171.52/1171.91	c 1171s |      27 | 33719138 | 16510733 |     5316   7459 |        0 |        0
1173.52/1173.91	c 1173s |      27 | 33771285 | 16535233 |     5316   7467 |        0 |        0
1175.52/1175.92	c 1175s |      27 | 33821629 | 16559933 |     5316   7477 |        0 |        0
1177.51/1177.93	c 1177s |      27 | 33870443 | 16583933 |     5316   7485 |        0 |        0
1179.51/1179.93	c 1179s |      27 | 33921044 | 16607433 |     5316   7494 |        0 |        0
1181.51/1181.94	c 1181s |      27 | 33970317 | 16630533 |     5316   7502 |        0 |        0
1183.51/1183.95	c 1183s |      27 | 34019818 | 16655533 |     5316   7512 |        0 |        0
1185.52/1185.96	c 1185s |      27 | 34067644 | 16680133 |     5316   7520 |        0 |        0
1187.51/1187.96	c 1187s |      27 | 34118412 | 16704633 |     5316   7530 |        0 |        0
1189.51/1189.96	c 1189s |      27 | 34167122 | 16728433 |     5316   7538 |        0 |        0
1191.50/1191.96	c 1191s |      27 | 34218115 | 16752133 |     5316   7547 |        0 |        0
1193.50/1193.97	c 1193s |      27 | 34269398 | 16776433 |     5316   7556 |        0 |        0
1195.50/1195.99	c 1195s |      27 | 34322491 | 16800533 |     5316   7565 |        0 |        0
1197.51/1197.99	c 1197s |      27 | 34378198 | 16825433 |     5316   7574 |        0 |        0
1199.50/1199.99	c 1199s |      27 | 34426154 | 16849533 |     5316   7583 |        0 |        0
1201.60/1202.00	c 1201s |      27 | 34476364 | 16874133 |     5316   7592 |        0 |        0
1203.60/1204.00	c 1203s |      27 | 34528962 | 16900133 |     5316   7601 |        0 |        0
1205.61/1206.00	c 1205s |      27 | 34585547 | 16925633 |     5316   7610 |        0 |        0
1207.61/1208.01	c 1207s |      27 | 34640691 | 16950733 |     5316   7620 |        0 |        0
1209.62/1210.02	c 1209s |      27 | 34690355 | 16975533 |     5848   7628 |        0 |        0
1211.61/1212.02	c 1211s |      27 | 34743640 | 17001833 |     5848   7637 |        0 |        0
1213.61/1214.02	c 1213s |      27 | 34796368 | 17026833 |     5848   7646 |        0 |        0
1215.61/1216.03	c 1216s |      27 | 34846088 | 17050733 |     5848   7654 |        0 |        0
1217.61/1218.03	c 1218s |      27 | 34899200 | 17076133 |     5848   7662 |        0 |        0
1219.11/1219.52	c 1219s |      28 | 34941512 | 17095205 |     5848   7668 |        0 |        0
1221.11/1221.52	c 1221s |      28 | 34991047 | 17120605 |     5848   7677 |        0 |        0
1223.11/1223.52	c 1223s |      28 | 35040842 | 17146605 |     5848   7686 |        0 |        0
1225.11/1225.53	c 1225s |      28 | 35092353 | 17172305 |     5848   7694 |        0 |        0
1227.10/1227.55	c 1227s |      28 | 35140924 | 17198005 |     5848   7703 |        0 |        0
1229.10/1229.55	c 1229s |      28 | 35186874 | 17221405 |     5848   7710 |        0 |        0
1231.10/1231.56	c 1231s |      28 | 35236232 | 17245905 |     5848   7718 |        0 |        0
1233.10/1233.56	c 1233s |      28 | 35284767 | 17269405 |     5848   7726 |        0 |        0
1235.10/1235.57	c 1235s |      28 | 35333266 | 17294105 |     5848   7735 |        0 |        0
1237.10/1237.57	c 1237s |      28 | 35385405 | 17319905 |     5848   7743 |        0 |        0
1239.10/1239.57	c 1239s |      28 | 35437621 | 17345405 |     5848   7752 |        0 |        0
1241.11/1241.57	c 1241s |      28 | 35489703 | 17371705 |     5848   7760 |        1 |        0
1243.11/1243.58	c 1243s |      28 | 35541335 | 17397505 |     5848   7768 |        1 |        0
1245.10/1245.58	c 1245s |      28 | 35592058 | 17422605 |     5848   7777 |        1 |        0
1247.11/1247.59	c 1247s |      28 | 35639371 | 17447105 |     5848   7785 |        1 |        0
1249.10/1249.59	c 1249s |      28 | 35688530 | 17472405 |     5848   7793 |        1 |        0
1251.20/1251.60	c 1251s |      28 | 35739039 | 17496705 |     5848   7801 |        1 |        0
1253.20/1253.62	c 1253s |      28 | 35787248 | 17521205 |     5848   7810 |        1 |        0
1255.20/1255.62	c 1255s |      28 | 35840577 | 17547305 |     5848   7818 |        1 |        0
1257.20/1257.62	c 1257s |      28 | 35892951 | 17571705 |     5848   7826 |        1 |        0
1259.21/1259.63	c 1259s |      28 | 35941728 | 17596505 |     5848   7834 |        1 |        0
1261.20/1261.64	c 1261s |      28 | 35993502 | 17620005 |     5848   7842 |        1 |        0
1263.20/1263.65	c 1263s |      28 | 36042279 | 17645205 |     5848   7851 |        1 |        0
1265.20/1265.66	c 1265s |      28 | 36092109 | 17670105 |     5848   7859 |        1 |        0
1267.20/1267.67	c 1267s |      28 | 36145134 | 17696305 |     5848   7868 |        1 |        0
1269.19/1269.67	c 1269s |      28 | 36198095 | 17723105 |     5848   7876 |        1 |        0
1271.21/1271.67	c 1271s |      28 | 36248433 | 17748805 |     5848   7885 |        1 |        0
1273.20/1273.68	c 1273s |      28 | 36301267 | 17773605 |     5848   7893 |        1 |        0
1275.20/1275.69	c 1275s |      28 | 36350367 | 17795905 |     5848   7901 |        1 |        0
1277.20/1277.69	c 1277s |      28 | 36398395 | 17820005 |     5848   7909 |        1 |        0
1279.30/1279.70	c 1279s |      28 | 36450462 | 17845805 |     5848   7917 |        1 |        0
1281.30/1281.71	c 1281s |      28 | 36499219 | 17871105 |     5848   7926 |        1 |        0
1283.30/1283.72	c 1283s |      28 | 36553925 | 17897505 |     5848   7934 |        1 |        0
1285.30/1285.74	c 1285s |      28 | 36604007 | 17922105 |     5848   7943 |        1 |        0
1287.29/1287.74	c 1287s |      28 | 36654458 | 17947705 |     5848   7951 |        1 |        0
1289.29/1289.75	c 1289s |      28 | 36702977 | 17973305 |     5848   7960 |        1 |        0
1291.29/1291.75	c 1291s |      28 | 36757264 | 18000005 |     5848   7968 |        1 |        0
1293.30/1293.76	c 1293s |      28 | 36808922 | 18025405 |     5848   7977 |        1 |        0
1295.29/1295.76	c 1295s |      28 | 36860325 | 18051105 |     5848   7985 |        1 |        0
1297.29/1297.76	c 1297s |      28 | 36911808 | 18076705 |     5848   7994 |        1 |        0
1299.29/1299.77	c 1299s |      28 | 36965468 | 18102705 |     5848   8002 |        1 |        0
1301.29/1301.77	c 1301s |      28 | 37014477 | 18128105 |     5848   8011 |        1 |        0
1303.29/1303.77	c 1303s |      28 | 37068507 | 18154205 |     5848   8019 |        1 |        0
1305.29/1305.78	c 1305s |      28 | 37120352 | 18179105 |     5848   8028 |        1 |        0
1307.30/1307.79	c 1307s |      28 | 37169189 | 18202205 |     5848   8036 |        1 |        0
1309.29/1309.79	c 1309s |      28 | 37217830 | 18225305 |     5848   8043 |        1 |        0
1311.29/1311.79	c 1311s |      28 | 37268329 | 18251105 |     5848   8052 |        1 |        0
1313.29/1313.80	c 1313s |      28 | 37317730 | 18276305 |     5848   8060 |        1 |        0
1315.39/1315.80	c 1315s |      28 | 37365237 | 18301005 |     5848   8068 |        1 |        0
1317.40/1317.81	c 1317s |      28 | 37415133 | 18325605 |     5848   8077 |        1 |        0
1319.39/1319.81	c 1319s |      28 | 37466463 | 18350905 |     5848   8085 |        1 |        0
1321.39/1321.81	c 1321s |      28 | 37517275 | 18376705 |     5848   8093 |        2 |        0
1323.39/1323.82	c 1323s |      28 | 37572572 | 18404405 |     5848   8103 |        2 |        0
1325.39/1325.82	c 1325s |      28 | 37621135 | 18429105 |     5848   8111 |        2 |        0
1327.40/1327.82	c 1327s |      28 | 37674988 | 18456905 |     5848   8120 |        2 |        0
1329.39/1329.82	c 1329s |      28 | 37724795 | 18482305 |     5848   8129 |        2 |        0
1331.39/1331.83	c 1331s |      28 | 37780106 | 18508405 |     5848   8137 |        3 |        0
1333.39/1333.83	c 1333s |      28 | 37834159 | 18534905 |     5848   8146 |        3 |        0
1335.39/1335.83	c 1335s |      28 | 37887112 | 18561805 |     5848   8155 |        3 |        0
1337.39/1337.84	c 1337s |      28 | 37940750 | 18588905 |     5848   8164 |        3 |        0
1339.39/1339.84	c 1339s |      28 | 37994985 | 18614205 |     5848   8172 |        3 |        0
1341.38/1341.84	c 1341s |      28 | 38050374 | 18640505 |     5848   8181 |        3 |        0
1343.38/1343.85	c 1343s |      28 | 38106094 | 18666905 |     5848   8190 |        3 |        0
1345.38/1345.85	c 1345s |      28 | 38161862 | 18693205 |     5848   8198 |        3 |        0
1347.38/1347.85	c 1347s |      28 | 38215957 | 18719505 |     5848   8207 |        3 |        0
1349.39/1349.87	c 1349s |      28 | 38271125 | 18744205 |     5848   8216 |        3 |        0
1351.38/1351.87	c 1351s |      28 | 38327434 | 18769605 |     5848   8224 |        3 |        0
1353.39/1353.88	c 1353s |      28 | 38380544 | 18795105 |     5848   8233 |        3 |        0
1355.39/1355.88	c 1355s |      28 | 38436428 | 18821705 |     5848   8241 |        3 |        0
1357.39/1357.88	c 1357s |      28 | 38491061 | 18847805 |     5848   8250 |        3 |        0
1359.39/1359.89	c 1359s |      28 | 38542908 | 18873105 |     5848   8258 |        3 |        0
1361.39/1361.89	c 1361s |      28 | 38593383 | 18897805 |     5848   8267 |        3 |        0
1363.48/1363.90	c 1363s |      28 | 38651128 | 18924205 |     5848   8275 |        3 |        0
1365.48/1365.90	c 1365s |      28 | 38706709 | 18950305 |     5848   8284 |        3 |        0
1367.48/1367.90	c 1367s |      28 | 38759683 | 18975105 |     5848   8292 |        3 |        0
1369.48/1369.91	c 1369s |      28 | 38813000 | 19002505 |     5848   8301 |        3 |        0
1371.48/1371.91	c 1371s |      28 | 38863757 | 19027605 |     5848   8310 |        3 |        0
1373.49/1373.91	c 1373s |      28 | 38917362 | 19053705 |     5848   8318 |        3 |        0
1375.48/1375.91	c 1375s |      28 | 38967623 | 19079005 |     5848   8327 |        3 |        0
1377.48/1377.92	c 1377s |      28 | 39020597 | 19104405 |     5848   8335 |        3 |        0
1379.48/1379.93	c 1379s |      28 | 39073627 | 19129605 |     5848   8343 |        3 |        0
1381.48/1381.93	c 1381s |      28 | 39127812 | 19155605 |     5848   8352 |        3 |        0
1383.48/1383.94	c 1383s |      28 | 39185203 | 19182805 |     5848   8361 |        3 |        0
1385.47/1385.94	c 1385s |      28 | 39233109 | 19207405 |     5848   8369 |        3 |        0
1387.47/1387.94	c 1387s |      28 | 39285661 | 19232305 |     5848   8377 |        3 |        0
1389.48/1389.94	c 1389s |      28 | 39341188 | 19257705 |     5848   8386 |        3 |        0
1391.48/1391.94	c 1391s |      28 | 39399259 | 19284805 |     5848   8395 |        3 |        0
1393.48/1393.95	c 1393s |      28 | 39454565 | 19310105 |     5848   8404 |        3 |        0
1395.49/1395.96	c 1395s |      28 | 39510628 | 19336005 |     5848   8412 |        3 |        0
1397.48/1397.96	c 1397s |      28 | 39563848 | 19361905 |     5848   8421 |        3 |        0
1399.48/1399.97	c 1399s |      28 | 39619553 | 19388305 |     5848   8429 |        3 |        0
1401.48/1401.97	c 1401s |      28 | 39674972 | 19413205 |     5848   8438 |        3 |        0
1403.48/1403.97	c 1403s |      28 | 39729239 | 19438905 |     5848   8446 |        3 |        0
1405.48/1405.97	c 1405s |      28 | 39783931 | 19465505 |     5848   8455 |        3 |        0
1407.48/1407.99	c 1407s |      28 | 39837403 | 19490805 |     5848   8464 |        3 |        0
1409.58/1410.00	c 1409s |      28 | 39892187 | 19517705 |     5848   8473 |        3 |        0
1411.58/1412.01	c 1411s |      28 | 39950737 | 19544905 |     5848   8481 |        3 |        0
1413.58/1414.01	c 1413s |      28 | 40009736 | 19571805 |     5848   8490 |        3 |        0
1415.58/1416.01	c 1415s |      28 | 40066423 | 19597205 |     5848   8499 |        3 |        0
1417.58/1418.03	c 1418s |      28 | 40122195 | 19623505 |     5848   8508 |        3 |        0
1419.57/1420.04	c 1420s |      28 | 40177548 | 19648005 |     5848   8516 |        3 |        0
1421.57/1422.05	c 1422s |      28 | 40235284 | 19674305 |     5848   8525 |        3 |        0
1423.57/1424.05	c 1424s |      28 | 40289426 | 19699705 |     5848   8533 |        4 |        0
1425.57/1426.06	c 1426s |      28 | 40341784 | 19726205 |     5848   8541 |        4 |        0
1427.57/1428.06	c 1428s |      28 | 40395660 | 19751205 |     5848   8550 |        4 |        0
1429.58/1430.07	c 1430s |      28 | 40449036 | 19776805 |     5848   8558 |        4 |        0
1431.57/1432.07	c 1432s |      28 | 40502341 | 19803505 |     5848   8567 |        4 |        0
1433.57/1434.08	c 1434s |      28 | 40555505 | 19829405 |     5848   8575 |        4 |        0
1435.57/1436.09	c 1436s |      28 | 40604171 | 19854005 |     5848   8584 |        4 |        0
1437.58/1438.09	c 1438s |      28 | 40659021 | 19879205 |     5848   8592 |        4 |        0
1439.68/1440.10	c 1440s |      28 | 40714651 | 19905305 |     5848   8601 |        4 |        0
1441.57/1442.10	c 1442s |      28 | 40766079 | 19930405 |     5848   8609 |        4 |        0
1443.67/1444.10	c 1444s |      28 | 40819243 | 19956105 |     5848   8618 |        4 |        0
1445.67/1446.11	c 1446s |      28 | 40874330 | 19982505 |     5848   8626 |        4 |        0
1447.67/1448.12	c 1448s |      28 | 40928124 | 20008305 |     5848   8635 |        4 |        0
1449.67/1450.12	c 1450s |      28 | 40980460 | 20033505 |     5848   8643 |        4 |        0
1451.67/1452.13	c 1452s |      28 | 41030951 | 20057405 |     5848   8651 |        4 |        0
1453.67/1454.13	c 1454s |      28 | 41081824 | 20083905 |     5848   8660 |        4 |        0
1455.67/1456.13	c 1456s |      28 | 41132103 | 20109305 |     5848   8668 |        4 |        0
1457.67/1458.15	c 1458s |      28 | 41182496 | 20133605 |     5848   8677 |        4 |        0
1459.66/1460.15	c 1460s |      28 | 41237994 | 20160505 |     5848   8685 |        5 |        0
1461.66/1462.18	c 1462s |      28 | 41291662 | 20185805 |     5848   8694 |        5 |        0
1463.67/1464.18	c 1464s |      28 | 41343980 | 20212305 |     5848   8702 |        6 |        0
1465.67/1466.19	c 1466s |      28 | 41397525 | 20239305 |     5848   8711 |        6 |        0
1467.67/1468.19	c 1468s |      28 | 41449435 | 20264605 |     5848   8719 |        7 |        0
1469.67/1470.19	c 1470s |      28 | 41503268 | 20291105 |     5848   8728 |        7 |        0
1470.47/1470.99	c 1470s |      28 | 41520259 | 20299707 |     5848   8731 |       25 |        0
1470.47/1470.99	c #cpu_time = 1470.765s
1470.47/1470.99	c #wall_clock_time = 1470.971s
1470.47/1470.99	c #decision = 41520259
1470.47/1470.99	c #random_decision = 196601
1470.47/1470.99	c #conflict = 20299707
1470.47/1470.99	c #restart = 28
1470.47/1470.99	s UNSATISFIABLE
1470.47/1470.99	c total CPU time = 1470.790s
1470.47/1470.99	c total wall clock time = 1470.996s

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

pid=6146
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.20 2.09 2.20 3/179 6149
/proc/meminfo: memFree=31488432/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 2869 0 0 0 0 0 0 0 20 0 4 0 3027176 784789504 3229 33554432000 4194304 16246674 140737327108976 140737327108400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 192367 3237 441 2943 0 189261 0
[pid=6149/tid=6150] ppid=6146 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 803663872 3301 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 808906752 3318 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027176 813101056 3335 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6149
/proc/meminfo: memFree=31488432/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 24147 0 0 0 6 3 0 0 20 0 4 0 3027176 1247350784 24496 33554432000 4194304 16246674 140737327108976 140737327108400 12476789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 304529 24506 716 2943 0 301423 0
[pid=6149/tid=6150] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 24511 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 24518 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 24523 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6149
/proc/meminfo: memFree=31488432/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 44993 0 0 0 13 6 0 0 20 0 4 0 3027176 1247350784 45343 33554432000 4194304 16246674 140737327108976 140737327108400 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 304529 45353 716 2943 0 301423 0
[pid=6149/tid=6150] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 45360 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 45366 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 45370 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1218116

[startup+0.300486 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6149
/proc/meminfo: memFree=31488432/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 65860 0 0 0 21 8 0 0 20 0 4 0 3027176 1247350784 66209 33554432000 4194304 16246674 140737327108976 140737327108400 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 304529 66218 717 2943 0 301423 0
[pid=6149/tid=6150] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 66224 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 66230 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3027176 1247350784 66236 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1218116

[startup+0.70039 s]
/proc/loadavg: 2.20 2.09 2.20 3/179 6149
/proc/meminfo: memFree=31488432/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1220164 CPUtime=0.68 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 133527 0 0 0 51 17 0 0 20 0 4 0 3027176 1249447936 133856 33554432000 4194304 16246674 140737327108976 140737327108288 5822556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 305041 133856 791 2943 0 301935 0
[pid=6149/tid=6150] ppid=6146 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1249447936 133856 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1249447936 133856 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1249447936 133856 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50041 s]
/proc/loadavg: 2.20 2.09 2.20 3/183 6202
/proc/meminfo: memFree=30789500/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1304132 CPUtime=1.49 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 197734 0 0 0 122 27 0 0 20 0 4 0 3027176 1335431168 198063 33554432000 4194304 16246674 140737327108976 140737327091976 13191604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 326033 198063 791 2943 0 322927 0
[pid=6149/tid=6150] ppid=6146 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1335431168 198063 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1335431168 198063 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1335431168 198063 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1304132

[startup+3.1004 s]
/proc/loadavg: 2.20 2.09 2.20 3/183 6202
/proc/meminfo: memFree=29915548/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 198306 0 0 0 282 27 0 0 20 0 4 0 3027176 1338576896 198635 33554432000 4194304 16246674 140737327108976 140737327091976 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 326801 198635 791 2943 0 323695 0
[pid=6149/tid=6150] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 198635 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 198635 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 198635 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.35 2.12 2.21 3/183 6202
/proc/meminfo: memFree=29583840/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 224671 0 0 0 598 31 0 0 20 0 4 0 3027176 1338576896 225000 33554432000 4194304 16246674 140737327108976 140737327091976 13954476 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 326801 225000 791 2943 0 323695 0
[pid=6149/tid=6150] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 225000 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 225000 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 225000 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.40 2.13 2.21 3/183 6202
/proc/meminfo: memFree=29578520/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 224819 0 0 0 1237 32 0 0 20 0 4 0 3027176 1338576896 225148 33554432000 4194304 16246674 140737327108976 140737327091976 5754700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 326801 225148 791 2943 0 323695 0
[pid=6149/tid=6150] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 225148 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 225148 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1338576896 225148 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.31 2.13 2.21 3/183 6202
/proc/meminfo: memFree=29575128/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 225026 0 0 0 2516 32 0 0 20 0 4 0 3027176 1339625472 225355 33554432000 4194304 16246674 140737327108976 140737327091976 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327057 225355 793 2943 0 323951 0
[pid=6149/tid=6150] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225355 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225355 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225355 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.20 2.12 2.20 3/183 6202
/proc/meminfo: memFree=29573776/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 225166 0 0 0 5075 33 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140737327091976 5721456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327057 225495 793 2943 0 323951 0
[pid=6149/tid=6150] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1308228

[startup+102.3 s]
/proc/loadavg: 2.12 2.11 2.19 4/183 6203
/proc/meminfo: memFree=29568052/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 225166 0 0 0 10193 35 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140737327091976 13954546 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327057 225495 793 2943 0 323951 0
[pid=6149/tid=6150] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1339625472 225495 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1308228


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

Current children cumulated vsize (KiB) 1310276

[startup+1302.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 6256
/proc/meminfo: memFree=29362544/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1301.89 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 130115 74 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 6000049 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 6258
/proc/meminfo: memFree=29362560/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1361.88 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 136112 76 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 5670936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 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) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.01 2.05 2.08 4/184 6262
/proc/meminfo: memFree=29361964/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1421.88 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 142111 77 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 6011014 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1310276

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

[startup+1433.6 s]
/proc/loadavg: 2.09 2.07 2.08 3/184 6262
/proc/meminfo: memFree=29361688/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1433.17 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 143240 77 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327108072 5763245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1433.17
Current children cumulated vsize (KiB) 1310276

[startup+1446.4 s]
/proc/loadavg: 2.15 2.08 2.08 3/183 6263
/proc/meminfo: memFree=29361920/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1445.97 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 144519 78 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327090880 13818354 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1445.97
Current children cumulated vsize (KiB) 1310276

[startup+1459.2 s]
/proc/loadavg: 2.12 2.08 2.08 3/183 6263
/proc/meminfo: memFree=29362260/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1458.77 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 145799 78 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 5661652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1458.77
Current children cumulated vsize (KiB) 1310276

[startup+1465.6 s]
/proc/loadavg: 2.18 2.09 2.09 3/183 6263
/proc/meminfo: memFree=29362120/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1465.17 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 146438 79 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1465.17
Current children cumulated vsize (KiB) 1310276

[startup+1468.8 s]
/proc/loadavg: 2.18 2.09 2.09 3/183 6263
/proc/meminfo: memFree=29362120/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1468.37 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 146758 79 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1468.37
Current children cumulated vsize (KiB) 1310276

[startup+1470.4 s]
/proc/loadavg: 2.16 2.09 2.09 3/183 6263
/proc/meminfo: memFree=29362120/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1469.97 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 146918 79 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 5832047 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1469.97
Current children cumulated vsize (KiB) 1310276

[startup+1470.81 s]
/proc/loadavg: 2.16 2.09 2.09 3/183 6263
/proc/meminfo: memFree=29362120/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=1310276 CPUtime=1470.38 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202496 235043 0 0 0 146959 79 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140737327091976 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 327569 269186 794 2943 0 324463 0
[pid=6149/tid=6150] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6150/stat : 6150 (toysat) S 6146 6149 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568387628272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6149/tid=6151] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6151/stat : 6151 (toysat) S 6146 6149 5955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568306887920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6149/tid=6152] ppid=6146 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6149/task/6152/stat : 6152 (toysat) S 6146 6149 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3027176 1341722624 269186 33554432000 4194304 16246674 140737327108976 140568296414384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1470.38
Current children cumulated vsize (KiB) 1310276

[startup+1471 s]
/proc/loadavg: 2.16 2.09 2.09 3/183 6263
/proc/meminfo: memFree=29362120/32872528 swapFree=496356/529060
[pid=6149] ppid=6146 vsize=0 CPUtime=1470.57 cores=1,3,5,7
/proc/6149/stat : 6149 (toysat) R 6146 6149 5955 0 -1 4202500 235048 0 0 0 146978 79 0 0 20 0 1 0 3027176 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6149/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1470.57
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1471
CPU time (s): 1470.58
CPU user time (s): 1469.78
CPU system time (s): 0.796878
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1469.78
system time used= 0.796878
maximum resident set size= 1076756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235048
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= 320
involuntary context switches= 1499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.65144 second user time and 5.77612 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-15 18:56:57
IDJOB=4088616
IDBENCH=107289
IDSOLVER=2542
FILE ID=node141/4088616-1466009817
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088616-1466009817/watcher-4088616-1466009817 -o /tmp/evaluation-result-4088616-1466009817/solver-4088616-1466009817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088616-1466009817.opb

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

MD5SUM BENCH= 0d64c1b15a5963b2585af25609d5d137
RANDOM SEED=1280453854

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31504484 kB
Buffers:            4280 kB
Cached:            69484 kB
SwapCached:        13080 kB
Active:           111272 kB
Inactive:          27932 kB
Active(anon):      55948 kB
Inactive(anon):    12008 kB
Active(file):      55324 kB
Inactive(file):    15924 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088048 kB
Dirty:             32752 kB
Writeback:             0 kB
AnonPages:        583296 kB
Mapped:            10140 kB
Shmem:                 0 kB
Slab:             566808 kB
SReclaimable:      10292 kB
SUnreclaim:       556516 kB
KernelStack:        1448 kB
PageTables:         7112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1657636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71716 MiB
End job on node141 at 2016-06-15 19:21:29