Trace number 4078897

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K133.opb
MD5SUM2e2bfba9fd441b7330d2c90af940d9b0
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15827
Total number of constraints16095
Number of constraints which are clauses15962
Number of constraints which are cardinality constraints (but not clauses)133
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint133
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 134
Number of bits of the biggest sum of numbers8
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-07T09:42:25+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-4078897-1465285345.opb"]
0.00/0.01	c use --random-gen="723274964 1707797835 2423349048 2155019654 1706637034 1744547530 2664845979 4171289523 2606412529 571434616 218454832 2895853595 3752196171 4137566079 3678776203 2657244824 1785654593 1649354496 3227583987 249879701 2335751185 546370845 2301230918 1212202957 3911528297 2799565779 2994074021 2549462888 2172034968 2067937907 1217420396 216546924 1848508636 3851299117 3386563688 3510745451 3501462000 2889681269 99848182 1071381117 1563243447 2942059946 617313823 3529207658 485705267 1631067176 1326816003 547000577 1040296186 1417930588 1649901800 4033349108 103186301 2419912177 1869341817 2122348476 315348898 3702991063 2929669000 276111032 397799251 12982368 2686446607 2118578832 3122940147 1223505029 3891379537 3091867670 1325287359 1943279151 2338947903 3244852768 4263631736 251630468 153892636 1144766720 527934781 1637993660 1743868369 1292016362 1865562697 1199873240 2611735207 1041171443 159752017 67295788 3556561268 971202159 637718543 559737595 2641817845 539439038 2057726025 118753273 3321352421 1147907295 2549642136 1359857101 3598361883 2727529322 3711827810 3065596817 4214882185 1076683865 4049989001 1134785142 2288163533 1014405531 3932062550 3133196417 2114034049 2628280047 2897198677 4083377643 1056993866 2778642415 2872481134 1058025129 2999733448 2148716469 4197607449 754454129 671542375 4267768476 3137306083 728447193 742837662 24071387 2186982046 655942274 3966104769 182784929 1071597677 4280363307 1743398052 139634875 2742020668 1845419207 1314193181 2675428047 848645788 4185402591 1397416354 4261277135 2528297434 4230521797 1151526520 3822426938 1549965193 1877341421 341985587 3221034372 739981830 2131557282 3256893253 3666050956 2820251581 965029619 74610635 3864775536 923718384 4091980946 3025496551 2239966020 4077399629 84067309 1694873029 4289501949 1283451438 1029552308 2935267234 4159683760 2436429346 3419060408 648325742 3526971661 541209598 195223836 4260599947 2336474335 1276817173 3522107640 3046381212 1530448793 644849888 402370582 1864452538 312822141 1419388968 693350853 2482217329 839728346 3664486226 1030097696 3981942258 1760357307 4023473308 3202480936 1395405083 1102339461 1499843636 2814210738 3169989674 4168399722 1135169388 3233086616 1527777874 504216355 2662498175 1759498907 321798621 4218180547 3566559641 677135962 3353585268 2403965908 3071411884 2171647697 3109184017 3839220833 622701746 2176059639 4139038568 1939257008 1900052168 3796828200 653239978 508223177 3966172748 2100536405 4221524284 314619192 1029060678 3152805225 3820584931 2586667682 563289206 2225602608 2693770868 255827663 2483663488 2380935165 2222259137 866366474 641743909 1107398679 4084657950 3682306165 680122320 3293291489 251499830 1849569139 3699897807 380984149 477328908 3601199670 255 362436" option to reproduce the execution
0.19/0.22	c #vars 15827
0.19/0.22	c #constraints 16095
0.49/0.56	c Solving starts ...
0.49/0.56	c ============================[ Search Statistics ]============================
0.49/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.56	c =============================================================================
0.49/0.56	c  0.0s |       0 |        0 |        0 |    10640      0 |      742 |        0
0.79/0.88	c  0.3s |       1 |     8046 |      100 |    10640      0 |      743 |      634
1.29/1.39	c  0.8s |       2 |    11999 |      250 |    11705      0 |      743 |      634
1.78/1.83	c  1.3s |       3 |    17470 |      475 |    12876      0 |      743 |      634
2.38/2.45	c  1.9s |       4 |    24191 |      813 |    14164      0 |      743 |      634
3.69/3.75	c  3.2s |       5 |    42814 |     1320 |    15581      0 |      744 |      635
5.29/5.35	c  4.8s |       6 |    65532 |     2081 |    18854      0 |      746 |      637
7.29/7.36	c  6.8s |       6 |    88638 |     2881 |    18854      0 |      748 |      639
8.09/8.16	c  7.6s |       7 |    97134 |     3223 |    20740      0 |      749 |      640
10.29/10.34	c  9.8s |       7 |   115576 |     4123 |    20740      0 |      752 |      643
12.69/12.72	c 12.2s |       7 |   117986 |     4723 |    20740      0 |      752 |      643
13.39/13.44	c 12.9s |       8 |   119297 |     4936 |    22815      0 |      752 |      643
15.49/15.54	c 15.0s |       8 |   144946 |     5836 |    22815      0 |      752 |      643
17.69/17.71	c 17.1s |       8 |   174634 |     6536 |    22815      0 |      754 |      645
19.79/19.84	c 19.3s |       8 |   204179 |     7436 |    22815      0 |      754 |      645
19.98/20.08	c 19.5s |       9 |   207174 |     7506 |    25097      0 |      755 |      646
22.18/22.21	c 21.7s |       9 |   217338 |     8206 |    25097      0 |      755 |      646
24.38/24.45	c 23.9s |       9 |   238371 |     9206 |    25097      0 |      756 |      647
26.39/26.50	c 25.9s |       9 |   242429 |     9806 |    25097      0 |      756 |      647
28.59/28.62	c 28.1s |       9 |   244309 |    10306 |    25097      0 |      756 |      647
30.98/31.02	c 30.5s |       9 |   246141 |    10706 |    25097      0 |      756 |      647
33.58/33.68	c 33.1s |       9 |   247657 |    11006 |    25097      0 |      756 |      647
35.68/35.78	c 35.2s |       9 |   248933 |    11306 |    27607      0 |      756 |      647
36.18/36.28	c 35.7s |      10 |   249221 |    11361 |    27607      0 |      756 |      647
38.28/38.37	c 37.8s |      10 |   258896 |    11961 |    27607      0 |      756 |      647
40.48/40.54	c 40.0s |      10 |   275748 |    12761 |    27607      0 |      757 |      648
42.48/42.56	c 42.0s |      10 |   294892 |    13361 |    27607      0 |      758 |      649
44.78/44.83	c 44.3s |      10 |   317315 |    14161 |    27607      0 |      758 |      649
46.89/46.98	c 46.4s |      10 |   345018 |    14961 |    27607      0 |      758 |      649
49.09/49.15	c 48.6s |      10 |   365975 |    15861 |    27607      0 |      758 |      649
51.09/51.17	c 50.6s |      10 |   386128 |    16461 |    27607      0 |      758 |      649
53.18/53.23	c 52.7s |      11 |   404374 |    17144 |    30368      0 |      758 |      649
55.38/55.42	c 54.9s |      11 |   415629 |    17944 |    30368      0 |      758 |      649
57.38/57.43	c 56.9s |      11 |   418724 |    18644 |    30368      0 |      758 |      649
59.58/59.63	c 59.1s |      11 |   424473 |    19444 |    30368      0 |      758 |      649
61.78/61.82	c 61.3s |      11 |   442621 |    20244 |    30368      0 |      758 |      649
63.98/64.09	c 63.5s |      11 |   462114 |    20944 |    30368      0 |      758 |      649
66.09/66.15	c 65.6s |      11 |   486633 |    21544 |    30368      0 |      758 |      649
68.08/68.18	c 67.6s |      11 |   501595 |    22144 |    30368      0 |      758 |      649
70.18/70.23	c 69.7s |      11 |   511266 |    22644 |    30368      0 |      758 |      649
72.38/72.45	c 71.9s |      11 |   527876 |    23444 |    30368      0 |      758 |      649
74.68/74.72	c 74.2s |      11 |   543287 |    24144 |    30368      0 |      758 |      649
78.19/78.29	c 77.7s |      11 |   550707 |    24644 |    30368      0 |      758 |      649
80.29/80.38	c 79.8s |      11 |   563939 |    25244 |    30368      0 |      758 |      649
82.38/82.47	c 81.9s |      12 |   578269 |    25819 |    33405      0 |      758 |      649
84.48/84.52	c 84.0s |      12 |   595854 |    26319 |    33405      0 |      758 |      649
86.58/86.60	c 86.0s |      12 |   611321 |    26919 |    33405      0 |      759 |      650
88.78/88.82	c 88.3s |      12 |   628345 |    27719 |    33405      0 |      759 |      650
90.78/90.88	c 90.3s |      12 |   645021 |    28319 |    33405      0 |      760 |      651
92.98/93.01	c 92.4s |      12 |   652723 |    29019 |    33405      0 |      760 |      651
94.98/95.06	c 94.5s |      12 |   667015 |    29519 |    33405      0 |      761 |      652
97.27/97.39	c 96.8s |      12 |   679508 |    30219 |    33405      0 |      761 |      652
99.37/99.40	c 98.8s |      12 |   689914 |    30719 |    33405      0 |      762 |      653
101.47/101.53	c  100s |      12 |   706503 |    31119 |    33405      0 |      763 |      654
103.77/103.88	c  103s |      12 |   720783 |    31719 |    33405      0 |      764 |      655
105.97/106.08	c  105s |      12 |   733934 |    32419 |    33405      0 |      764 |      655
108.17/108.23	c  107s |      12 |   746302 |    33019 |    33405      0 |      764 |      655
110.67/110.70	c  110s |      12 |   763605 |    33619 |    33405      0 |      764 |      655
112.87/112.93	c  112s |      12 |   780040 |    34319 |    33405      0 |      764 |      655
114.97/115.09	c  114s |      12 |   791408 |    34819 |    33405      0 |      764 |      655
117.07/117.10	c  116s |      12 |   804688 |    35519 |    33405      0 |      764 |      655
119.07/119.16	c  118s |      12 |   823180 |    36219 |    33405      0 |      764 |      655
121.27/121.33	c  120s |      12 |   829358 |    36619 |    33405      1 |      765 |      656
123.57/123.68	c  123s |      12 |   833619 |    37519 |    33405      1 |      765 |      656
125.77/125.86	c  125s |      12 |   837510 |    38019 |    33405      1 |      765 |      656
127.87/127.90	c  127s |      12 |   846146 |    38619 |    36746      1 |      765 |      656
128.37/128.46	c  127s |      13 |   850210 |    38832 |    36746      1 |      765 |      656
130.47/130.53	c  129s |      13 |   864175 |    39432 |    36746      1 |      765 |      656
132.56/132.60	c  132s |      13 |   878489 |    40132 |    36746      1 |      765 |      656
134.76/134.88	c  134s |      13 |   893477 |    40832 |    36746      1 |      765 |      656
137.16/137.29	c  136s |      13 |   895675 |    41332 |    36746      1 |      765 |      656
139.67/139.80	c  139s |      13 |   897392 |    41732 |    36746      1 |      765 |      656
142.06/142.18	c  141s |      13 |   900224 |    42232 |    36746      1 |      765 |      656
144.17/144.28	c  143s |      13 |   916495 |    42832 |    36746      1 |      765 |      656
146.27/146.35	c  145s |      13 |   932221 |    43332 |    36746      1 |      765 |      656
148.57/148.66	c  148s |      13 |   956753 |    44032 |    36746      1 |      765 |      656
150.86/150.92	c  150s |      13 |   966613 |    44832 |    36746      1 |      765 |      656
152.96/153.08	c  152s |      13 |   982828 |    45332 |    36746      1 |      765 |      656
155.25/155.34	c  154s |      13 |   994147 |    45932 |    36746      1 |      765 |      656
157.36/157.46	c  156s |      13 |  1005444 |    46532 |    36746      1 |      765 |      656
159.46/159.52	c  158s |      13 |  1015878 |    47032 |    36746      1 |      766 |      657
161.66/161.75	c  161s |      13 |  1032404 |    47832 |    36746      1 |      766 |      657
163.86/163.97	c  163s |      13 |  1050155 |    48432 |    36746      1 |      766 |      657
165.95/166.07	c  165s |      13 |  1060207 |    48932 |    36746      1 |      767 |      658
168.05/168.17	c  167s |      13 |  1078319 |    49632 |    36746      1 |      767 |      658
170.15/170.20	c  169s |      13 |  1080619 |    50132 |    36746      1 |      767 |      658
172.15/172.23	c  171s |      13 |  1086973 |    50632 |    36746      1 |      768 |      659
174.35/174.44	c  173s |      13 |  1100762 |    51332 |    36746      1 |      768 |      659
176.35/176.44	c  175s |      13 |  1114822 |    52032 |    36746      1 |      768 |      659
178.55/178.65	c  178s |      13 |  1129605 |    52832 |    36746      1 |      768 |      659
180.65/180.70	c  180s |      13 |  1141554 |    53432 |    36746      1 |      768 |      659
182.86/182.91	c  182s |      13 |  1153730 |    54232 |    36746      1 |      768 |      659
184.95/185.09	c  184s |      13 |  1167849 |    54932 |    36746      1 |      768 |      659
187.06/187.11	c  186s |      13 |  1180022 |    55632 |    36746      1 |      768 |      659
189.26/189.38	c  188s |      13 |  1193237 |    56332 |    36746      1 |      768 |      659
191.55/191.69	c  191s |      13 |  1202832 |    56932 |    36746      1 |      768 |      659
193.85/193.96	c  193s |      13 |  1211062 |    57432 |    36746      1 |      768 |      659
195.95/196.04	c  195s |      13 |  1224877 |    58032 |    40421      1 |      768 |      659
197.05/197.12	c  196s |      14 |  1229916 |    58352 |    40421      1 |      768 |      659
199.06/199.16	c  198s |      14 |  1241469 |    58752 |    40421      1 |      768 |      659
201.26/201.33	c  200s |      14 |  1255930 |    59352 |    40421      1 |      768 |      659
203.55/203.67	c  203s |      14 |  1266141 |    59852 |    40421      1 |      768 |      659
205.75/205.85	c  205s |      14 |  1267734 |    60352 |    40421      1 |      768 |      659
207.95/208.03	c  207s |      14 |  1269269 |    60752 |    40421      1 |      768 |      659
210.35/210.40	c  209s |      14 |  1275303 |    61352 |    40421      1 |      768 |      659
212.55/212.61	c  212s |      14 |  1277610 |    61952 |    40421      1 |      768 |      659
214.65/214.74	c  214s |      14 |  1279584 |    62452 |    40421      1 |      768 |      659
216.65/216.75	c  216s |      14 |  1281507 |    62852 |    40421      1 |      768 |      659
218.74/218.83	c  218s |      14 |  1282529 |    63252 |    40421      1 |      768 |      659
220.74/220.88	c  220s |      14 |  1291883 |    63552 |    40421      2 |      768 |      659
222.74/222.89	c  222s |      14 |  1309368 |    64152 |    40421      2 |      768 |      659
225.04/225.12	c  224s |      14 |  1323404 |    64752 |    40421      2 |      768 |      659
227.14/227.21	c  226s |      14 |  1340551 |    65452 |    40421      2 |      768 |      659
229.34/229.43	c  228s |      14 |  1348764 |    66152 |    40421      2 |      768 |      659
231.74/231.81	c  231s |      14 |  1359032 |    66852 |    40421      2 |      768 |      659
233.94/234.04	c  233s |      14 |  1365867 |    67352 |    40421      2 |      768 |      659
236.24/236.34	c  235s |      14 |  1376113 |    68252 |    40421      2 |      768 |      659
238.54/238.69	c  238s |      14 |  1389756 |    68852 |    40421      2 |      768 |      659
240.73/240.81	c  240s |      14 |  1391035 |    69152 |    40421      2 |      768 |      659
242.93/243.00	c  242s |      14 |  1397547 |    69652 |    40421      2 |      768 |      659
245.13/245.23	c  244s |      14 |  1407157 |    70352 |    40421      2 |      768 |      659
247.73/247.84	c  247s |      14 |  1419334 |    70952 |    40421      2 |      769 |      660
249.92/250.05	c  249s |      14 |  1439007 |    71552 |    40421      2 |      769 |      660
251.93/252.07	c  251s |      14 |  1457344 |    72052 |    40421      2 |      769 |      660
253.92/254.10	c  253s |      14 |  1470007 |    72552 |    40421      2 |      769 |      660
256.02/256.18	c  255s |      14 |  1481650 |    73152 |    40421      2 |      769 |      660
258.32/258.44	c  257s |      14 |  1493306 |    73652 |    40421      2 |      769 |      660
260.62/260.77	c  260s |      14 |  1501118 |    74252 |    40421      2 |      769 |      660
262.92/263.08	c  262s |      14 |  1515482 |    74852 |    40421      2 |      769 |      660
265.02/265.11	c  264s |      14 |  1524967 |    75452 |    40421      2 |      769 |      660
267.02/267.15	c  266s |      14 |  1542556 |    75952 |    40421      2 |      769 |      660
269.22/269.34	c  268s |      14 |  1552441 |    76552 |    40421      2 |      769 |      660
271.31/271.46	c  270s |      14 |  1568163 |    77052 |    40421      2 |      769 |      660
273.82/274.00	c  273s |      14 |  1580080 |    77552 |    40421      2 |      770 |      661
276.02/276.17	c  275s |      14 |  1594740 |    77952 |    40421      2 |      771 |      662
278.71/278.85	c  278s |      14 |  1603591 |    78552 |    40421      2 |      771 |      662
280.81/280.94	c  280s |      14 |  1611457 |    79052 |    40421      2 |      771 |      662
283.11/283.20	c  282s |      14 |  1628127 |    79752 |    40421      2 |      771 |      662
285.11/285.28	c  284s |      14 |  1641535 |    80252 |    40421      2 |      771 |      662
287.41/287.52	c  286s |      14 |  1651993 |    80752 |    40421      2 |      771 |      662
289.60/289.74	c  289s |      14 |  1665174 |    81252 |    40421      2 |      771 |      662
291.90/292.07	c  291s |      14 |  1674295 |    81952 |    40421      2 |      771 |      662
294.40/294.56	c  293s |      14 |  1681149 |    82552 |    40421      2 |      771 |      662
296.70/296.80	c  296s |      14 |  1692368 |    83052 |    40421      2 |      771 |      662
299.00/299.16	c  298s |      14 |  1698446 |    83452 |    40421      3 |      772 |      663
301.20/301.30	c  300s |      14 |  1710290 |    83952 |    40421      3 |      772 |      663
303.20/303.39	c  302s |      14 |  1716668 |    84452 |    40421      3 |      772 |      663
305.91/306.07	c  305s |      14 |  1728574 |    85052 |    40421      3 |      772 |      663
307.91/308.07	c  307s |      14 |  1732796 |    85452 |    40421      3 |      772 |      663
310.11/310.29	c  309s |      14 |  1745394 |    86052 |    40421      3 |      772 |      663
312.31/312.48	c  311s |      14 |  1757980 |    86552 |    40421      3 |      772 |      663
314.60/314.77	c  314s |      14 |  1773607 |    87152 |    44464      3 |      772 |      663
316.39/316.51	c  315s |      15 |  1781573 |    87632 |    44464      3 |      772 |      663
318.59/318.70	c  318s |      15 |  1796916 |    88032 |    44464      3 |      772 |      663
320.59/320.77	c  320s |      15 |  1810195 |    88632 |    44464      3 |      772 |      663
322.79/322.99	c  322s |      15 |  1824325 |    89432 |    44464      3 |      772 |      663
324.89/325.02	c  324s |      15 |  1835801 |    90132 |    44464      3 |      772 |      663
327.39/327.54	c  326s |      15 |  1844332 |    90732 |    44464      3 |      772 |      663
329.68/329.83	c  329s |      15 |  1845050 |    91032 |    44464      3 |      772 |      663
331.68/331.88	c  331s |      15 |  1848518 |    91532 |    44464      3 |      772 |      663
333.88/334.09	c  333s |      15 |  1852093 |    92232 |    44464      3 |      772 |      663
336.79/336.99	c  336s |      15 |  1853963 |    92832 |    44464      3 |      772 |      663
338.99/339.14	c  338s |      15 |  1858709 |    93432 |    44464      3 |      772 |      663
340.99/341.15	c  340s |      15 |  1863186 |    94032 |    44464      3 |      772 |      663
343.09/343.24	c  342s |      15 |  1866618 |    94532 |    44464      3 |      772 |      663
345.29/345.42	c  344s |      15 |  1870012 |    95232 |    44464      3 |      772 |      663
347.28/347.47	c  346s |      15 |  1871205 |    95632 |    44464      3 |      772 |      663
349.48/349.69	c  349s |      15 |  1872427 |    95932 |    44464      3 |      772 |      663
351.98/352.14	c  351s |      15 |  1879865 |    96532 |    44464      3 |      772 |      663
354.18/354.34	c  353s |      15 |  1889517 |    97132 |    44464      3 |      772 |      663
356.47/356.61	c  356s |      15 |  1904315 |    97632 |    44464      3 |      772 |      663
358.58/358.71	c  358s |      15 |  1918843 |    98132 |    44464      3 |      772 |      663
360.78/360.91	c  360s |      15 |  1925796 |    98732 |    44464      3 |      772 |      663
362.97/363.19	c  362s |      15 |  1937232 |    99232 |    44464      3 |      772 |      663
365.77/365.99	c  365s |      15 |  1940660 |    99732 |    44464      3 |      772 |      663
367.97/368.17	c  367s |      15 |  1943065 |   100132 |    44464      3 |      772 |      663
370.06/370.24	c  369s |      15 |  1953344 |   100532 |    44464      3 |      772 |      663
372.36/372.50	c  371s |      15 |  1964961 |   101032 |    44464      3 |      772 |      663
374.46/374.66	c  374s |      15 |  1975163 |   101632 |    44464      3 |      772 |      663
376.46/376.67	c  376s |      15 |  1984946 |   102132 |    44464      3 |      772 |      663
378.86/379.04	c  378s |      15 |  1994943 |   102832 |    44464      3 |      772 |      663
380.95/381.10	c  380s |      15 |  1998738 |   103332 |    44464      3 |      772 |      663
383.05/383.21	c  382s |      15 |  2000482 |   103632 |    44464      3 |      772 |      663
385.05/385.24	c  384s |      15 |  2001333 |   103832 |    44464      3 |      772 |      663
388.05/388.28	c  387s |      15 |  2002383 |   104032 |    44464      3 |      772 |      663
390.95/391.16	c  390s |      15 |  2008688 |   104332 |    44464      3 |      773 |      664
393.35/393.54	c  392s |      15 |  2026262 |   104732 |    44464      3 |      773 |      664
395.85/396.01	c  395s |      15 |  2031523 |   105332 |    44464      3 |      773 |      664
397.95/398.16	c  397s |      15 |  2039133 |   105832 |    44464      3 |      773 |      664
400.05/400.20	c  399s |      15 |  2047228 |   106432 |    44464      3 |      773 |      664
402.25/402.46	c  401s |      15 |  2056982 |   107032 |    44464      3 |      773 |      664
404.35/404.57	c  404s |      15 |  2068608 |   107632 |    44464      3 |      773 |      664
406.55/406.73	c  406s |      15 |  2075249 |   108332 |    44464      3 |      773 |      664
408.64/408.80	c  408s |      15 |  2076589 |   108732 |    44464      3 |      773 |      664
410.65/410.85	c  410s |      15 |  2077524 |   109032 |    44464      3 |      773 |      664
412.95/413.10	c  412s |      15 |  2079881 |   109332 |    44464      3 |      773 |      664
415.05/415.23	c  414s |      15 |  2083025 |   109832 |    44464      3 |      773 |      664
417.35/417.58	c  417s |      15 |  2088298 |   110232 |    44464      4 |      773 |      664
419.45/419.63	c  419s |      15 |  2098031 |   110832 |    44464      4 |      773 |      664
421.64/421.81	c  421s |      15 |  2103074 |   111332 |    44464      4 |      773 |      664
423.94/424.15	c  423s |      15 |  2107179 |   111732 |    44464      4 |      773 |      664
425.94/426.17	c  425s |      15 |  2121477 |   112332 |    44464      4 |      773 |      664
428.34/428.50	c  427s |      15 |  2132277 |   112932 |    44464      4 |      773 |      664
430.44/430.63	c  430s |      15 |  2150377 |   113532 |    44464      4 |      773 |      664
432.64/432.85	c  432s |      15 |  2163451 |   114132 |    44464      4 |      773 |      664
434.74/434.90	c  434s |      15 |  2174445 |   114732 |    44464      4 |      773 |      664
436.94/437.15	c  436s |      15 |  2186510 |   115232 |    44464      4 |      773 |      664
439.24/439.42	c  438s |      15 |  2196410 |   115832 |    44464      4 |      773 |      664
441.43/441.60	c  441s |      15 |  2211088 |   116532 |    44464      4 |      773 |      664
443.43/443.68	c  443s |      15 |  2223121 |   117032 |    44464      4 |      773 |      664
445.53/445.79	c  445s |      15 |  2237173 |   117532 |    44464      4 |      773 |      664
448.13/448.37	c  447s |      15 |  2244447 |   118032 |    44464      4 |      773 |      664
450.83/451.10	c  450s |      15 |  2245199 |   118332 |    44464      4 |      773 |      664
453.22/453.46	c  452s |      15 |  2245738 |   118532 |    44464      4 |      773 |      664
455.82/456.03	c  455s |      15 |  2247345 |   118932 |    44464      4 |      773 |      664
459.22/459.40	c  458s |      15 |  2247694 |   119132 |    44464      4 |      773 |      664
461.21/461.46	c  460s |      15 |  2252607 |   119532 |    44464      4 |      773 |      664
463.62/463.84	c  463s |      15 |  2273388 |   120032 |    44464      4 |      773 |      664
465.92/466.10	c  465s |      15 |  2278769 |   120632 |    44464      4 |      773 |      664
467.92/468.15	c  467s |      15 |  2284279 |   121132 |    44464      4 |      773 |      664
470.11/470.35	c  469s |      15 |  2292938 |   121832 |    44464      4 |      773 |      664
472.61/472.83	c  472s |      15 |  2308064 |   122532 |    44464      4 |      773 |      664
474.71/474.92	c  474s |      15 |  2320900 |   123032 |    44464      4 |      773 |      664
477.11/477.39	c  476s |      15 |  2333276 |   123632 |    44464      4 |      773 |      664
479.42/479.65	c  479s |      15 |  2343886 |   124232 |    44464      4 |      773 |      664
481.41/481.67	c  481s |      15 |  2354315 |   124832 |    44464      4 |      773 |      664
483.71/483.94	c  483s |      15 |  2366050 |   125432 |    44464      4 |      773 |      664
485.71/485.94	c  485s |      15 |  2373810 |   125932 |    44464      4 |      773 |      664
488.10/488.40	c  487s |      15 |  2379808 |   126432 |    44464      4 |      773 |      664
490.41/490.60	c  490s |      15 |  2384121 |   126932 |    44464      4 |      773 |      664
492.61/492.85	c  492s |      15 |  2389190 |   127432 |    44464      4 |      773 |      664
494.90/495.15	c  494s |      15 |  2391308 |   127932 |    44464      4 |      773 |      664
497.10/497.31	c  496s |      15 |  2392381 |   128232 |    44464      4 |      773 |      664
499.59/499.87	c  499s |      15 |  2393448 |   128632 |    44464      4 |      773 |      664
502.09/502.33	c  501s |      15 |  2395499 |   129032 |    44464      4 |      773 |      664
504.29/504.54	c  503s |      15 |  2396592 |   129432 |    44464      4 |      773 |      664
506.69/506.92	c  506s |      15 |  2398376 |   129832 |    44464      4 |      773 |      664
508.79/509.08	c  508s |      15 |  2400326 |   130232 |    44464      4 |      773 |      664
511.29/511.60	c  511s |      15 |  2401796 |   130532 |    44464      4 |      773 |      664
513.78/514.09	c  513s |      15 |  2403023 |   130932 |    48911      4 |      773 |      664
516.18/516.40	c  515s |      15 |  2404392 |   131332 |    48911      4 |      773 |      664
517.78/518.09	c  517s |      16 |  2405147 |   131552 |    48911      4 |      773 |      664
520.18/520.40	c  519s |      16 |  2413010 |   131952 |    48911      4 |      773 |      664
522.28/522.51	c  521s |      16 |  2423227 |   132452 |    48911      4 |      773 |      664
524.48/524.79	c  524s |      16 |  2434076 |   132752 |    48911      4 |      774 |      665
526.78/527.02	c  526s |      16 |  2441742 |   133252 |    48911      4 |      774 |      665
528.88/529.16	c  528s |      16 |  2454569 |   133752 |    48911      4 |      774 |      665
531.08/531.39	c  530s |      16 |  2466288 |   134352 |    48911      4 |      774 |      665
533.37/533.69	c  533s |      16 |  2474311 |   134852 |    48911      4 |      774 |      665
535.87/536.14	c  535s |      16 |  2483952 |   135452 |    48911      4 |      774 |      665
537.97/538.21	c  537s |      16 |  2491880 |   135852 |    48911      4 |      774 |      665
540.16/540.41	c  539s |      16 |  2496232 |   136252 |    48911      4 |      774 |      665
542.17/542.48	c  541s |      16 |  2501134 |   136752 |    48911      4 |      774 |      665
544.76/545.09	c  544s |      16 |  2505154 |   137352 |    48911      4 |      774 |      665
547.06/547.34	c  546s |      16 |  2513334 |   137952 |    48911      4 |      774 |      665
549.36/549.61	c  549s |      16 |  2520969 |   138252 |    48911      5 |      774 |      665
551.35/551.63	c  551s |      16 |  2533824 |   138852 |    48911      5 |      774 |      665
553.66/553.94	c  553s |      16 |  2541481 |   139452 |    48911      5 |      774 |      665
555.66/555.99	c  555s |      16 |  2548616 |   140052 |    48911      5 |      774 |      665
557.86/558.11	c  557s |      16 |  2561901 |   140652 |    48911      5 |      774 |      665
559.86/560.15	c  559s |      16 |  2569339 |   141052 |    48911      5 |      774 |      665
561.96/562.27	c  561s |      16 |  2582861 |   141652 |    48911      5 |      774 |      665
564.25/564.53	c  563s |      16 |  2586712 |   142252 |    48911      5 |      774 |      665
566.65/566.99	c  566s |      16 |  2589310 |   142752 |    48911      5 |      774 |      665
569.05/569.30	c  568s |      16 |  2592089 |   143252 |    48911      5 |      774 |      665
571.15/571.42	c  570s |      16 |  2593680 |   143652 |    48911      5 |      774 |      665
573.15/573.46	c  572s |      16 |  2594659 |   143852 |    48911      5 |      774 |      665
575.15/575.49	c  574s |      16 |  2602069 |   144352 |    48911      5 |      774 |      665
577.54/577.82	c  577s |      16 |  2612649 |   144952 |    48911      5 |      774 |      665
579.84/580.10	c  579s |      16 |  2626228 |   145552 |    48911      5 |      774 |      665
581.94/582.28	c  581s |      16 |  2636897 |   146152 |    48911      5 |      774 |      665
584.13/584.50	c  583s |      16 |  2647043 |   146852 |    48911      5 |      774 |      665
586.33/586.68	c  586s |      16 |  2657022 |   147452 |    48911      5 |      774 |      665
588.43/588.79	c  588s |      16 |  2664478 |   147852 |    48911      5 |      774 |      665
590.93/591.21	c  590s |      16 |  2667658 |   148452 |    48911      5 |      774 |      665
593.03/593.39	c  592s |      16 |  2671414 |   148952 |    48911      5 |      774 |      665
595.23/595.59	c  595s |      16 |  2673923 |   149252 |    48911      5 |      774 |      665
597.93/598.27	c  597s |      16 |  2677459 |   149752 |    48911      5 |      774 |      665
600.13/600.42	c  599s |      16 |  2679125 |   150052 |    48911      5 |      774 |      665
602.83/603.16	c  602s |      16 |  2679955 |   150252 |    48911      5 |      774 |      665
605.53/605.81	c  605s |      16 |  2680456 |   150452 |    48911      5 |      774 |      665
607.52/607.85	c  607s |      16 |  2680704 |   150552 |    48911      5 |      774 |      665
610.42/610.71	c  610s |      16 |  2681721 |   150752 |    48911      5 |      774 |      665
612.82/613.16	c  612s |      16 |  2682013 |   150852 |    48911      5 |      774 |      665
615.32/615.67	c  615s |      16 |  2682646 |   151052 |    48911      5 |      774 |      665
619.42/619.71	c  619s |      16 |  2683426 |   151252 |    48911      5 |      774 |      665
621.51/621.81	c  621s |      16 |  2683629 |   151352 |    48911      5 |      774 |      665
624.62/624.93	c  624s |      16 |  2683884 |   151452 |    48911      5 |      774 |      665
628.51/628.83	c  628s |      16 |  2684244 |   151552 |    48911      5 |      774 |      665
632.01/632.37	c  631s |      16 |  2684491 |   151652 |    48911      5 |      774 |      665
637.20/637.55	c  636s |      16 |  2684688 |   151752 |    48911      5 |      774 |      665
639.40/639.78	c  639s |      16 |  2691905 |   152052 |    48911      5 |      774 |      665
641.90/642.21	c  641s |      16 |  2697157 |   152552 |    48911      5 |      774 |      665
644.10/644.46	c  643s |      16 |  2700710 |   152952 |    48911      5 |      774 |      665
646.70/647.04	c  646s |      16 |  2705117 |   153552 |    48911      5 |      774 |      665
648.90/649.27	c  648s |      16 |  2705979 |   153852 |    48911      5 |      774 |      665
651.00/651.31	c  650s |      16 |  2707143 |   154152 |    48911      5 |      774 |      665
653.10/653.46	c  652s |      16 |  2708086 |   154352 |    48911      5 |      774 |      665
655.49/655.80	c  655s |      16 |  2712865 |   154752 |    48911      5 |      774 |      665
657.79/658.16	c  657s |      16 |  2718059 |   155252 |    48911      5 |      774 |      665
660.08/660.42	c  659s |      16 |  2722191 |   155852 |    48911      5 |      774 |      665
662.69/663.05	c  662s |      16 |  2724141 |   156252 |    48911      5 |      774 |      665
664.79/665.13	c  664s |      16 |  2728622 |   156752 |    48911      5 |      774 |      665
667.19/667.50	c  666s |      16 |  2732577 |   157252 |    48911      5 |      774 |      665
669.29/669.66	c  669s |      16 |  2734688 |   157652 |    48911      5 |      774 |      665
671.48/671.85	c  671s |      16 |  2738526 |   158152 |    48911      5 |      774 |      665
673.88/674.28	c  673s |      16 |  2739868 |   158552 |    48911      5 |      774 |      665
676.48/676.82	c  676s |      16 |  2741794 |   158952 |    48911      5 |      774 |      665
678.78/679.13	c  678s |      16 |  2742838 |   159252 |    48911      5 |      774 |      665
680.87/681.29	c  680s |      16 |  2747087 |   159652 |    48911      5 |      774 |      665
684.07/684.45	c  683s |      16 |  2751698 |   160252 |    48911      5 |      774 |      665
686.67/687.02	c  686s |      16 |  2761006 |   160752 |    48911      5 |      774 |      665
688.77/689.10	c  688s |      16 |  2767832 |   161252 |    48911      5 |      774 |      665
691.07/691.49	c  690s |      16 |  2777821 |   161752 |    48911      5 |      774 |      665
693.36/693.75	c  693s |      16 |  2786411 |   162252 |    48911      5 |      774 |      665
695.46/695.83	c  695s |      16 |  2792268 |   162652 |    48911      5 |      774 |      665
697.66/698.03	c  697s |      16 |  2795380 |   163152 |    48911      5 |      774 |      665
699.66/700.07	c  699s |      16 |  2808910 |   163552 |    48911      5 |      774 |      665
701.96/702.35	c  701s |      16 |  2814578 |   164152 |    48911      5 |      774 |      665
704.16/704.56	c  704s |      16 |  2818979 |   164552 |    48911      5 |      774 |      665
706.45/706.88	c  706s |      16 |  2822447 |   164752 |    48911      6 |      774 |      665
708.85/709.25	c  708s |      16 |  2830536 |   165352 |    48911      6 |      774 |      665
711.35/711.72	c  711s |      16 |  2831750 |   165652 |    48911      6 |      774 |      665
713.35/713.79	c  713s |      16 |  2843292 |   166252 |    48911      6 |      774 |      665
715.75/716.14	c  715s |      16 |  2855657 |   166852 |    48911      6 |      774 |      665
718.05/718.42	c  717s |      16 |  2861696 |   167252 |    48911      6 |      774 |      665
720.04/720.47	c  719s |      16 |  2871731 |   167752 |    48911      6 |      774 |      665
722.24/722.61	c  722s |      16 |  2880020 |   168252 |    48911      6 |      774 |      665
724.34/724.78	c  724s |      16 |  2887082 |   168852 |    48911      6 |      774 |      665
726.44/726.89	c  726s |      16 |  2891818 |   169552 |    48911      6 |      774 |      665
728.95/729.36	c  728s |      16 |  2895565 |   170052 |    48911      6 |      774 |      665
731.14/731.57	c  731s |      16 |  2897069 |   170452 |    48911      6 |      774 |      665
733.54/733.98	c  733s |      16 |  2898490 |   170752 |    48911      6 |      774 |      665
736.04/736.43	c  735s |      16 |  2899107 |   170952 |    48911      6 |      774 |      665
738.34/738.71	c  738s |      16 |  2905188 |   171252 |    48911      6 |      774 |      665
740.63/741.04	c  740s |      16 |  2913901 |   171752 |    48911      6 |      774 |      665
743.03/743.44	c  742s |      16 |  2918390 |   172252 |    48911      6 |      774 |      665
745.33/745.74	c  745s |      16 |  2927432 |   172852 |    48911      6 |      774 |      665
747.43/747.88	c  747s |      16 |  2937065 |   173352 |    48911      6 |      774 |      665
749.72/750.17	c  749s |      16 |  2941712 |   173752 |    48911      6 |      774 |      665
751.82/752.26	c  751s |      16 |  2948740 |   174252 |    48911      6 |      774 |      665
754.12/754.57	c  754s |      16 |  2953330 |   174852 |    48911      6 |      774 |      665
756.32/756.72	c  756s |      16 |  2954220 |   175152 |    48911      6 |      774 |      665
758.52/758.93	c  758s |      16 |  2964142 |   175752 |    48911      6 |      774 |      665
760.93/761.35	c  760s |      16 |  2973095 |   176252 |    48911      6 |      774 |      665
763.13/763.51	c  762s |      16 |  2979814 |   176752 |    48911      6 |      774 |      665
765.23/765.65	c  765s |      16 |  2983791 |   177252 |    48911      6 |      774 |      665
767.82/768.26	c  767s |      16 |  2986118 |   177752 |    48911      6 |      774 |      665
770.61/771.06	c  770s |      16 |  2989073 |   178052 |    48911      6 |      774 |      665
773.02/773.41	c  772s |      16 |  2993145 |   178452 |    48911      6 |      774 |      665
775.12/775.52	c  774s |      16 |  2994518 |   178752 |    48911      6 |      774 |      665
777.91/778.37	c  777s |      16 |  2995225 |   178952 |    48911      6 |      774 |      665
780.21/780.66	c  780s |      16 |  3002422 |   179252 |    48911      6 |      775 |      666
782.61/783.02	c  782s |      16 |  3019142 |   179752 |    48911      6 |      775 |      666
784.71/785.13	c  784s |      16 |  3024672 |   180152 |    48911      6 |      775 |      666
786.81/787.21	c  786s |      16 |  3026739 |   180452 |    48911      6 |      775 |      666
789.11/789.51	c  788s |      16 |  3033733 |   180852 |    48911      6 |      775 |      666
791.62/792.05	c  791s |      16 |  3047835 |   181352 |    48911      6 |      775 |      666
794.01/794.40	c  793s |      16 |  3062298 |   181952 |    48911      6 |      775 |      666
796.51/796.92	c  796s |      16 |  3065624 |   182452 |    48911      6 |      775 |      666
798.61/799.01	c  798s |      16 |  3066443 |   182752 |    48911      6 |      775 |      666
801.11/801.59	c  801s |      16 |  3067759 |   183052 |    48911      6 |      775 |      666
803.22/803.64	c  803s |      16 |  3073173 |   183352 |    48911      6 |      775 |      666
805.42/805.87	c  805s |      16 |  3078301 |   183952 |    48911      6 |      775 |      666
807.52/807.97	c  807s |      16 |  3081773 |   184452 |    48911      6 |      775 |      666
809.71/810.19	c  809s |      16 |  3089568 |   184952 |    48911      6 |      775 |      666
812.11/812.55	c  811s |      16 |  3097419 |   185452 |    48911      6 |      775 |      666
814.41/814.88	c  814s |      16 |  3106006 |   185952 |    48911      6 |      775 |      666
816.51/816.99	c  816s |      16 |  3110037 |   186352 |    48911      6 |      775 |      666
819.01/819.44	c  818s |      16 |  3115585 |   186852 |    48911      6 |      775 |      666
821.71/822.11	c  821s |      16 |  3116762 |   187252 |    48911      6 |      775 |      666
824.21/824.67	c  824s |      16 |  3118191 |   187652 |    48911      6 |      775 |      666
826.41/826.82	c  826s |      16 |  3120322 |   187952 |    48911      6 |      775 |      666
829.11/829.54	c  828s |      16 |  3126316 |   188352 |    48911      6 |      775 |      666
831.41/831.88	c  831s |      16 |  3130546 |   188752 |    48911      6 |      775 |      666
833.80/834.21	c  833s |      16 |  3131476 |   189052 |    48911      6 |      775 |      666
836.40/836.87	c  836s |      16 |  3134207 |   189352 |    48911      6 |      775 |      666
840.41/840.80	c  840s |      16 |  3135346 |   189552 |    48911      6 |      775 |      666
845.71/846.19	c  845s |      16 |  3135684 |   189652 |    48911      6 |      775 |      666
848.41/848.86	c  848s |      16 |  3135990 |   189752 |    48911      6 |      775 |      666
850.61/851.09	c  850s |      16 |  3137109 |   190052 |    48911      6 |      775 |      666
853.41/853.84	c  853s |      16 |  3137816 |   190252 |    48911      6 |      775 |      666
855.52/855.90	c  855s |      16 |  3139044 |   190452 |    48911      6 |      775 |      666
858.31/858.71	c  858s |      16 |  3139737 |   190652 |    48911      6 |      775 |      666
860.61/861.08	c  860s |      16 |  3140025 |   190752 |    48911      6 |      775 |      666
865.00/865.47	c  864s |      16 |  3140644 |   190952 |    48911      6 |      775 |      666
867.20/867.60	c  867s |      16 |  3141014 |   191052 |    48911      6 |      775 |      666
870.00/870.42	c  869s |      16 |  3141351 |   191152 |    48911      6 |      775 |      666
873.90/874.35	c  873s |      16 |  3141788 |   191252 |    48911      6 |      775 |      666
876.10/876.53	c  875s |      16 |  3143427 |   191652 |    48911      6 |      775 |      666
879.10/879.55	c  878s |      16 |  3144392 |   191852 |    48911      6 |      775 |      666
881.90/882.37	c  881s |      16 |  3145341 |   192052 |    48911      6 |      775 |      666
885.50/885.90	c  885s |      16 |  3146181 |   192252 |    48911      6 |      775 |      666
887.60/888.04	c  887s |      16 |  3146548 |   192352 |    48911      6 |      775 |      666
889.69/890.12	c  889s |      16 |  3147489 |   192452 |    48911      6 |      775 |      666
891.89/892.30	c  891s |      16 |  3148694 |   192652 |    48911      6 |      775 |      666
896.29/896.75	c  896s |      16 |  3148991 |   192752 |    48911      6 |      775 |      666
899.09/899.54	c  898s |      16 |  3150296 |   192952 |    48911      6 |      775 |      666
903.40/903.89	c  903s |      16 |  3150698 |   193052 |    48911      6 |      775 |      666
905.80/906.23	c  905s |      16 |  3151276 |   193152 |    48911      6 |      775 |      666
909.60/910.01	c  909s |      16 |  3151942 |   193252 |    48911      6 |      775 |      666
916.00/916.49	c  915s |      16 |  3152856 |   193452 |    48911      6 |      775 |      666
919.69/920.16	c  919s |      16 |  3153249 |   193552 |    48911      6 |      775 |      666
924.99/925.40	c  924s |      16 |  3154217 |   193652 |    48911      7 |      775 |      666
928.99/929.43	c  928s |      16 |  3154829 |   193752 |    48911      7 |      775 |      666
935.99/936.40	c  935s |      16 |  3154973 |   193852 |    48911      7 |      775 |      666
940.10/940.56	c  940s |      16 |  3155416 |   193952 |    48911      7 |      775 |      666
944.09/944.52	c  943s |      16 |  3155628 |   194052 |    48911      7 |      775 |      666
949.69/950.15	c  949s |      16 |  3155880 |   194152 |    48911      7 |      775 |      666
954.09/954.54	c  953s |      16 |  3156346 |   194252 |    48911      7 |      775 |      666
959.29/959.71	c  959s |      16 |  3156828 |   194352 |    48911      7 |      775 |      666
964.49/964.96	c  964s |      16 |  3157475 |   194452 |    48911      7 |      775 |      666
971.49/971.95	c  971s |      16 |  3157709 |   194552 |    48911      7 |      775 |      666
979.39/979.80	c  979s |      16 |  3157943 |   194652 |    48911      7 |      775 |      666
984.79/985.21	c  984s |      16 |  3158487 |   194752 |    48911      7 |      775 |      666
987.09/987.56	c  986s |      16 |  3166037 |   195252 |    48911      7 |      776 |      667
989.39/989.89	c  989s |      16 |  3175250 |   195752 |    48911      7 |      776 |      667
991.99/992.40	c  991s |      16 |  3179275 |   196352 |    53803      7 |      776 |      667
994.28/994.73	c  994s |      16 |  3189357 |   196952 |    53803      7 |      776 |      667
996.38/996.85	c  996s |      17 |  3194214 |   197432 |    53803      7 |      776 |      667
998.78/999.29	c  998s |      17 |  3197774 |   197832 |    53803      7 |      776 |      667
1001.18/1001.67	c 1001s |      17 |  3200289 |   198332 |    53803      7 |      776 |      667
1003.58/1004.00	c 1003s |      17 |  3202075 |   198832 |    53803      7 |      776 |      667
1005.78/1006.24	c 1005s |      17 |  3207855 |   199432 |    53803      7 |      776 |      667
1008.08/1008.58	c 1008s |      17 |  3222397 |   200132 |    53803      7 |      776 |      667
1010.28/1010.74	c 1010s |      17 |  3229927 |   200932 |    53803      7 |      776 |      667
1012.58/1013.05	c 1012s |      17 |  3238399 |   201532 |    53803      7 |      776 |      667
1014.58/1015.08	c 1014s |      17 |  3242917 |   202132 |    53803      7 |      776 |      667
1017.28/1017.76	c 1017s |      17 |  3244299 |   202632 |    53803      7 |      776 |      667
1019.38/1019.89	c 1019s |      17 |  3245916 |   203132 |    53803      7 |      776 |      667
1021.88/1022.38	c 1021s |      17 |  3248189 |   203732 |    53803      7 |      776 |      667
1024.08/1024.51	c 1023s |      17 |  3249631 |   204232 |    53803      7 |      776 |      667
1026.38/1026.81	c 1026s |      17 |  3260428 |   204832 |    53803      7 |      776 |      667
1028.37/1028.88	c 1028s |      17 |  3271562 |   205432 |    53803      7 |      776 |      667
1030.38/1030.88	c 1030s |      17 |  3283130 |   205932 |    53803      7 |      776 |      667
1032.67/1033.10	c 1032s |      17 |  3288792 |   206432 |    53803      7 |      776 |      667
1034.78/1035.26	c 1034s |      17 |  3300519 |   206932 |    53803      7 |      776 |      667
1036.88/1037.35	c 1036s |      17 |  3312653 |   207332 |    53803      7 |      776 |      667
1038.87/1039.35	c 1038s |      17 |  3325876 |   207832 |    53803      7 |      776 |      667
1041.28/1041.73	c 1041s |      17 |  3333433 |   208332 |    53803      7 |      776 |      667
1043.37/1043.89	c 1043s |      17 |  3342981 |   208932 |    53803      7 |      776 |      667
1045.57/1046.06	c 1045s |      17 |  3351738 |   209532 |    53803      7 |      776 |      667
1047.67/1048.17	c 1047s |      17 |  3361994 |   210132 |    53803      7 |      776 |      667
1050.18/1050.68	c 1050s |      17 |  3365163 |   210732 |    53803      7 |      776 |      667
1052.38/1052.86	c 1052s |      17 |  3367408 |   211132 |    53803      7 |      776 |      667
1054.67/1055.14	c 1054s |      17 |  3371085 |   211632 |    53803      7 |      776 |      667
1056.79/1057.26	c 1056s |      17 |  3376617 |   212132 |    53803      7 |      776 |      667
1058.98/1059.48	c 1058s |      17 |  3378523 |   212532 |    53803      7 |      776 |      667
1061.48/1061.94	c 1061s |      17 |  3382251 |   212832 |    53803      7 |      776 |      667
1063.78/1064.22	c 1063s |      17 |  3395817 |   213332 |    53803      7 |      776 |      667
1065.78/1066.23	c 1065s |      17 |  3408185 |   213732 |    53803      7 |      776 |      667
1067.98/1068.46	c 1067s |      17 |  3415639 |   214232 |    53803      7 |      776 |      667
1070.28/1070.78	c 1070s |      17 |  3425323 |   214832 |    53803      7 |      776 |      667
1072.48/1072.90	c 1072s |      17 |  3430937 |   215332 |    53803      7 |      776 |      667
1074.47/1074.91	c 1074s |      17 |  3436297 |   215732 |    53803      7 |      776 |      667
1076.58/1077.03	c 1076s |      17 |  3448412 |   216232 |    53803      7 |      776 |      667
1078.78/1079.28	c 1078s |      17 |  3458080 |   216632 |    53803      7 |      776 |      667
1081.17/1081.63	c 1081s |      17 |  3472660 |   217032 |    53803      7 |      776 |      667
1083.37/1083.87	c 1083s |      17 |  3482670 |   217432 |    53803      7 |      776 |      667
1085.77/1086.25	c 1085s |      17 |  3492252 |   217932 |    53803      7 |      776 |      667
1087.97/1088.44	c 1087s |      17 |  3497274 |   218332 |    53803      7 |      776 |      667
1090.17/1090.66	c 1090s |      17 |  3503324 |   218932 |    53803      7 |      776 |      667
1092.27/1092.70	c 1092s |      17 |  3512303 |   219332 |    53803      7 |      776 |      667
1094.57/1095.08	c 1094s |      17 |  3519670 |   219832 |    53803      7 |      776 |      667
1096.97/1097.47	c 1096s |      17 |  3526193 |   220332 |    53803      7 |      776 |      667
1099.27/1099.75	c 1099s |      17 |  3528141 |   220832 |    53803      7 |      776 |      667
1101.67/1102.15	c 1101s |      17 |  3530105 |   221232 |    53803      7 |      776 |      667
1104.27/1104.70	c 1104s |      17 |  3531567 |   221632 |    53803      7 |      776 |      667
1106.57/1107.01	c 1106s |      17 |  3532388 |   221932 |    53803      7 |      776 |      667
1109.17/1109.61	c 1109s |      17 |  3534024 |   222432 |    53803      7 |      776 |      667
1112.17/1112.61	c 1112s |      17 |  3534831 |   222732 |    53803      7 |      776 |      667
1114.27/1114.78	c 1114s |      17 |  3536592 |   223032 |    53803      7 |      776 |      667
1116.76/1117.22	c 1116s |      17 |  3539002 |   223532 |    53803      7 |      776 |      667
1118.96/1119.46	c 1118s |      17 |  3540023 |   223832 |    53803      7 |      776 |      667
1122.86/1123.36	c 1122s |      17 |  3545193 |   224232 |    53803      8 |      776 |      667
1125.26/1125.79	c 1125s |      17 |  3548954 |   224632 |    53803      8 |      776 |      667
1127.56/1128.04	c 1127s |      17 |  3559962 |   225132 |    53803      8 |      776 |      667
1129.86/1130.36	c 1129s |      17 |  3576997 |   225632 |    53803      8 |      776 |      667
1131.96/1132.41	c 1131s |      17 |  3584280 |   226132 |    53803      8 |      776 |      667
1134.36/1134.80	c 1134s |      17 |  3592795 |   226632 |    53803      8 |      776 |      667
1136.36/1136.84	c 1136s |      17 |  3596544 |   227032 |    53803      8 |      776 |      667
1138.56/1139.02	c 1138s |      17 |  3603144 |   227432 |    53803      8 |      776 |      667
1141.06/1141.55	c 1140s |      17 |  3607245 |   228032 |    53803      8 |      776 |      667
1143.57/1144.01	c 1143s |      17 |  3613218 |   228432 |    53803      8 |      776 |      667
1145.56/1146.04	c 1145s |      17 |  3621201 |   228932 |    53803      8 |      776 |      667
1147.56/1148.09	c 1147s |      17 |  3629762 |   229332 |    53803      8 |      776 |      667
1150.06/1150.60	c 1150s |      17 |  3639137 |   229832 |    53803      8 |      776 |      667
1152.46/1152.93	c 1152s |      17 |  3644807 |   230232 |    53803      8 |      776 |      667
1154.76/1155.26	c 1154s |      17 |  3657409 |   230832 |    53803      8 |      776 |      667
1156.76/1157.29	c 1156s |      17 |  3663804 |   231232 |    53803      8 |      776 |      667
1158.86/1159.35	c 1158s |      17 |  3667560 |   231632 |    53803      8 |      776 |      667
1161.26/1161.71	c 1161s |      17 |  3669020 |   231832 |    53803      8 |      776 |      667
1163.66/1164.14	c 1163s |      17 |  3671229 |   232132 |    53803      8 |      776 |      667
1165.95/1166.41	c 1165s |      17 |  3675913 |   232532 |    53803      8 |      776 |      667
1168.65/1169.10	c 1168s |      17 |  3678350 |   232932 |    53803      8 |      776 |      667
1170.85/1171.39	c 1170s |      17 |  3682528 |   233332 |    53803      8 |      776 |      667
1173.15/1173.61	c 1173s |      17 |  3687970 |   233732 |    53803      8 |      776 |      667
1175.75/1176.28	c 1175s |      17 |  3695894 |   234232 |    53803      8 |      776 |      667
1178.55/1179.04	c 1178s |      17 |  3696926 |   234532 |    53803      8 |      776 |      667
1180.85/1181.30	c 1180s |      17 |  3704983 |   234932 |    53803      8 |      776 |      667
1183.05/1183.59	c 1183s |      17 |  3711951 |   235432 |    53803      8 |      776 |      667
1185.25/1185.79	c 1185s |      17 |  3722582 |   235932 |    53803      8 |      776 |      667
1187.66/1188.18	c 1187s |      17 |  3730700 |   236432 |    53803      8 |      776 |      667
1189.76/1190.29	c 1189s |      17 |  3734174 |   236832 |    53803      8 |      776 |      667
1192.15/1192.60	c 1192s |      17 |  3747595 |   237232 |    53803      8 |      776 |      667
1194.26/1194.78	c 1194s |      17 |  3756839 |   237632 |    53803      8 |      776 |      667
1196.46/1196.91	c 1196s |      17 |  3764142 |   238132 |    53803      8 |      776 |      667
1198.45/1198.98	c 1198s |      17 |  3770179 |   238632 |    53803      8 |      776 |      667
1200.86/1201.36	c 1200s |      17 |  3775952 |   239232 |    53803      8 |      776 |      667
1203.15/1203.60	c 1203s |      17 |  3780688 |   239632 |    53803      8 |      776 |      667
1205.25/1205.72	c 1205s |      17 |  3784714 |   240032 |    53803      8 |      776 |      667
1208.05/1208.52	c 1207s |      17 |  3790823 |   240432 |    53803      8 |      776 |      667
1210.15/1210.66	c 1210s |      17 |  3795157 |   240832 |    53803      8 |      776 |      667
1212.85/1213.37	c 1212s |      17 |  3796824 |   241232 |    53803      8 |      776 |      667
1215.05/1215.59	c 1215s |      17 |  3800180 |   241632 |    53803      8 |      776 |      667
1217.85/1218.39	c 1217s |      17 |  3802126 |   241932 |    53803      8 |      776 |      667
1220.25/1220.76	c 1220s |      17 |  3805047 |   242232 |    53803      8 |      776 |      667
1222.35/1222.86	c 1222s |      17 |  3810547 |   242532 |    53803      8 |      776 |      667
1224.74/1225.25	c 1224s |      17 |  3817573 |   242932 |    53803      8 |      776 |      667
1226.74/1227.26	c 1226s |      17 |  3820926 |   243232 |    53803      8 |      776 |      667
1229.04/1229.55	c 1228s |      17 |  3822817 |   243532 |    53803      8 |      776 |      667
1231.44/1231.98	c 1231s |      17 |  3824782 |   243832 |    53803      8 |      776 |      667
1233.94/1234.48	c 1233s |      17 |  3828612 |   244232 |    53803      8 |      776 |      667
1235.95/1236.50	c 1235s |      17 |  3833681 |   244532 |    53803      8 |      776 |      667
1238.25/1238.76	c 1238s |      17 |  3835542 |   244832 |    53803      8 |      776 |      667
1240.54/1241.04	c 1240s |      17 |  3836087 |   245032 |    53803      8 |      776 |      667
1243.54/1244.01	c 1243s |      17 |  3837454 |   245332 |    53803      8 |      776 |      667
1245.95/1246.45	c 1245s |      17 |  3838205 |   245532 |    53803      8 |      776 |      667
1248.34/1248.88	c 1248s |      17 |  3838863 |   245732 |    53803      8 |      776 |      667
1250.85/1251.38	c 1250s |      17 |  3839744 |   245932 |    53803      8 |      776 |      667
1253.15/1253.64	c 1253s |      17 |  3841102 |   246232 |    53803      8 |      776 |      667
1255.75/1256.21	c 1255s |      17 |  3843781 |   246532 |    53803      8 |      776 |      667
1265.14/1265.61	c 1265s |      17 |  3845140 |   246732 |    53803      8 |      776 |      667
1267.34/1267.85	c 1267s |      17 |  3848894 |   246932 |    53803      8 |      776 |      667
1269.44/1269.97	c 1269s |      17 |  3856688 |   247332 |    53803      8 |      776 |      667
1271.54/1272.01	c 1271s |      17 |  3864202 |   247632 |    53803      8 |      776 |      667
1273.54/1274.02	c 1273s |      17 |  3873400 |   247932 |    53803      8 |      776 |      667
1275.94/1276.44	c 1275s |      17 |  3885485 |   248332 |    53803      8 |      776 |      667
1278.24/1278.75	c 1278s |      17 |  3895126 |   248732 |    53803      8 |      776 |      667
1280.54/1281.07	c 1280s |      17 |  3902372 |   249132 |    53803      8 |      776 |      667
1282.64/1283.19	c 1282s |      17 |  3906295 |   249532 |    53803      8 |      776 |      667
1284.74/1285.26	c 1284s |      17 |  3907679 |   249832 |    53803      8 |      776 |      667
1286.84/1287.35	c 1286s |      17 |  3912414 |   250132 |    53803      8 |      776 |      667
1288.94/1289.47	c 1288s |      17 |  3917171 |   250532 |    53803      8 |      776 |      667
1291.24/1291.76	c 1291s |      17 |  3923085 |   250932 |    53803      8 |      776 |      667
1293.74/1294.21	c 1293s |      17 |  3925779 |   251332 |    53803      8 |      776 |      667
1296.24/1296.70	c 1296s |      17 |  3930676 |   251732 |    53803      8 |      776 |      667
1298.44/1298.91	c 1298s |      17 |  3935985 |   252132 |    53803      8 |      776 |      667
1301.34/1301.80	c 1301s |      17 |  3940646 |   252432 |    53803      9 |      776 |      667
1303.83/1304.33	c 1303s |      17 |  3957431 |   253032 |    53803      9 |      776 |      667
1306.03/1306.55	c 1305s |      17 |  3969421 |   253532 |    53803      9 |      776 |      667
1308.33/1308.88	c 1308s |      17 |  3977067 |   254132 |    53803      9 |      776 |      667
1311.03/1311.51	c 1310s |      17 |  3980380 |   254532 |    53803      9 |      776 |      667
1313.43/1313.94	c 1313s |      17 |  3992489 |   255132 |    53803      9 |      776 |      667
1315.83/1316.30	c 1315s |      17 |  4003400 |   255532 |    53803      9 |      776 |      667
1318.33/1318.85	c 1318s |      17 |  4013061 |   256032 |    53803      9 |      777 |      668
1320.33/1320.89	c 1320s |      17 |  4021225 |   256632 |    53803      9 |      777 |      668
1322.63/1323.15	c 1322s |      17 |  4032017 |   257232 |    53803      9 |      777 |      668
1324.73/1325.27	c 1324s |      17 |  4041994 |   257732 |    53803      9 |      777 |      668
1327.13/1327.64	c 1327s |      17 |  4053883 |   258332 |    53803      9 |      777 |      668
1329.24/1329.75	c 1329s |      17 |  4066407 |   258832 |    53803      9 |      777 |      668
1331.74/1332.28	c 1331s |      17 |  4081305 |   259432 |    53803      9 |      777 |      668
1334.04/1334.51	c 1333s |      17 |  4097839 |   259932 |    53803      9 |      777 |      668
1336.04/1336.52	c 1335s |      17 |  4108575 |   260432 |    53803      9 |      777 |      668
1338.03/1338.55	c 1337s |      17 |  4123902 |   261032 |    53803      9 |      777 |      668
1340.03/1340.55	c 1339s |      17 |  4138355 |   261532 |    53803      9 |      777 |      668
1342.13/1342.65	c 1342s |      17 |  4143444 |   261932 |    53803      9 |      777 |      668
1344.43/1344.90	c 1344s |      17 |  4155557 |   262432 |    53803      9 |      777 |      668
1346.83/1347.30	c 1346s |      17 |  4168941 |   263032 |    53803      9 |      777 |      668
1349.03/1349.52	c 1348s |      17 |  4181309 |   263432 |    53803      9 |      777 |      668
1351.63/1352.17	c 1351s |      17 |  4191850 |   263932 |    53803      9 |      777 |      668
1353.83/1354.33	c 1353s |      17 |  4204835 |   264432 |    53803      9 |      777 |      668
1356.03/1356.56	c 1356s |      17 |  4209066 |   264932 |    53803      9 |      777 |      668
1358.14/1358.65	c 1358s |      17 |  4213126 |   265532 |    53803      9 |      777 |      668
1360.53/1361.07	c 1360s |      17 |  4216614 |   266032 |    53803      9 |      777 |      668
1362.83/1363.30	c 1362s |      17 |  4217369 |   266232 |    53803      9 |      777 |      668
1365.23/1365.78	c 1365s |      17 |  4230816 |   266732 |    53803      9 |      777 |      668
1367.53/1368.05	c 1367s |      17 |  4241629 |   267232 |    53803      9 |      777 |      668
1370.13/1370.63	c 1370s |      17 |  4253869 |   267532 |    53803      9 |      777 |      668
1372.43/1372.92	c 1372s |      17 |  4263474 |   268032 |    53803      9 |      777 |      668
1374.63/1375.17	c 1374s |      17 |  4275320 |   268532 |    53803      9 |      777 |      668
1376.73/1377.24	c 1376s |      17 |  4281537 |   268932 |    53803      9 |      777 |      668
1378.93/1379.45	c 1378s |      17 |  4285348 |   269332 |    53803      9 |      777 |      668
1380.92/1381.49	c 1380s |      17 |  4296870 |   269732 |    53803      9 |      777 |      668
1383.02/1383.55	c 1382s |      17 |  4301450 |   270132 |    53803      9 |      777 |      668
1385.12/1385.61	c 1385s |      17 |  4308809 |   270532 |    53803      9 |      777 |      668
1387.12/1387.66	c 1387s |      17 |  4312204 |   271032 |    53803      9 |      777 |      668
1389.12/1389.68	c 1389s |      17 |  4316975 |   271432 |    53803      9 |      777 |      668
1391.42/1391.94	c 1391s |      17 |  4322248 |   271932 |    53803      9 |      777 |      668
1393.42/1393.98	c 1393s |      17 |  4330024 |   272432 |    53803      9 |      777 |      668
1395.63/1396.16	c 1395s |      17 |  4338045 |   272932 |    53803      9 |      777 |      668
1397.82/1398.30	c 1397s |      17 |  4339142 |   273232 |    53803      9 |      777 |      668
1400.72/1401.24	c 1400s |      17 |  4340522 |   273532 |    53803      9 |      777 |      668
1403.23/1403.73	c 1403s |      17 |  4341333 |   273732 |    53803      9 |      777 |      668
1405.33/1405.89	c 1405s |      17 |  4348877 |   274132 |    53803      9 |      777 |      668
1407.42/1408.00	c 1407s |      17 |  4355543 |   274632 |    53803      9 |      777 |      668
1409.62/1410.19	c 1409s |      17 |  4362804 |   275132 |    53803      9 |      777 |      668
1411.92/1412.44	c 1411s |      17 |  4368344 |   275732 |    53803      9 |      777 |      668
1414.02/1414.52	c 1413s |      17 |  4374808 |   276232 |    53803      9 |      777 |      668
1416.12/1416.62	c 1416s |      17 |  4382339 |   276632 |    53803      9 |      777 |      668
1418.22/1418.72	c 1418s |      17 |  4388835 |   277032 |    53803      9 |      777 |      668
1420.21/1420.78	c 1420s |      17 |  4394898 |   277432 |    53803      9 |      777 |      668
1422.61/1423.13	c 1422s |      17 |  4396573 |   277932 |    53803      9 |      777 |      668
1425.01/1425.58	c 1425s |      17 |  4404700 |   278432 |    53803      9 |      777 |      668
1427.21/1427.76	c 1427s |      17 |  4407668 |   278732 |    53803      9 |      777 |      668
1429.53/1430.07	c 1429s |      17 |  4409662 |   279132 |    53803      9 |      777 |      668
1432.83/1433.39	c 1432s |      17 |  4415195 |   279532 |    53803     10 |      777 |      668
1435.12/1435.62	c 1435s |      17 |  4427886 |   280132 |    53803     10 |      777 |      668
1437.12/1437.69	c 1437s |      17 |  4434690 |   280632 |    53803     10 |      777 |      668
1439.52/1440.06	c 1439s |      17 |  4445743 |   281232 |    53803     10 |      777 |      668
1442.12/1442.60	c 1442s |      17 |  4449325 |   281732 |    53803     10 |      777 |      668
1444.42/1444.99	c 1444s |      17 |  4459749 |   282332 |    53803     10 |      777 |      668
1446.92/1447.45	c 1446s |      17 |  4477104 |   282932 |    53803     10 |      777 |      668
1449.32/1449.85	c 1449s |      17 |  4490743 |   283432 |    53803     10 |      777 |      668
1451.72/1452.21	c 1451s |      17 |  4495924 |   284132 |    53803     10 |      777 |      668
1453.72/1454.21	c 1453s |      17 |  4502945 |   284632 |    53803     10 |      777 |      668
1455.92/1456.45	c 1455s |      17 |  4508521 |   285232 |    53803     10 |      777 |      668
1457.91/1458.47	c 1457s |      17 |  4520036 |   285732 |    53803     10 |      777 |      668
1460.32/1460.86	c 1460s |      17 |  4531371 |   286232 |    53803     10 |      777 |      668
1462.71/1463.21	c 1462s |      17 |  4542162 |   286832 |    53803     10 |      777 |      668
1465.21/1465.73	c 1465s |      17 |  4554671 |   287432 |    53803     10 |      777 |      668
1467.21/1467.79	c 1467s |      17 |  4558743 |   287932 |    53803     10 |      777 |      668
1469.51/1470.03	c 1469s |      17 |  4569425 |   288432 |    53803     10 |      777 |      668
1471.61/1472.11	c 1471s |      17 |  4577135 |   288932 |    53803     10 |      777 |      668
1473.71/1474.20	c 1473s |      17 |  4589700 |   289432 |    53803     10 |      777 |      668
1475.72/1476.21	c 1475s |      17 |  4600291 |   289832 |    53803     10 |      777 |      668
1477.81/1478.36	c 1477s |      17 |  4609171 |   290432 |    53803     10 |      777 |      668
1480.22/1480.77	c 1480s |      17 |  4616309 |   290932 |    53803     10 |      777 |      668
1482.71/1483.21	c 1482s |      17 |  4630142 |   291432 |    53803     10 |      777 |      668
1484.71/1485.21	c 1484s |      17 |  4638307 |   291932 |    53803     10 |      777 |      668
1487.11/1487.66	c 1487s |      17 |  4649597 |   292532 |    53803     10 |      777 |      668
1489.11/1489.69	c 1489s |      17 |  4656334 |   292932 |    53803     10 |      777 |      668
1491.61/1492.13	c 1491s |      17 |  4668137 |   293432 |    53803     10 |      777 |      668
1493.71/1494.27	c 1493s |      17 |  4673544 |   293932 |    53803     10 |      777 |      668
1496.01/1496.58	c 1496s |      17 |  4680082 |   294332 |    59184     10 |      777 |      668
1498.11/1498.66	c 1498s |      17 |  4689509 |   294732 |    59184     10 |      777 |      668
1500.30/1500.83	c 1500s |      17 |  4691481 |   295132 |    59184     10 |      777 |      668
1502.81/1503.31	c 1502s |      17 |  4692094 |   295432 |    59184     10 |      777 |      668
1505.01/1505.52	c 1504s |      17 |  4700501 |   295832 |    59184     10 |      777 |      668
1506.81/1507.31	c 1506s |      18 |  4704694 |   296252 |    59184     10 |      777 |      668
1508.82/1509.35	c 1508s |      18 |  4713167 |   296552 |    59184     10 |      777 |      668
1511.11/1511.66	c 1511s |      18 |  4723105 |   297152 |    59184     10 |      777 |      668
1513.22/1513.77	c 1513s |      18 |  4727583 |   297652 |    59184     10 |      777 |      668
1515.61/1516.11	c 1515s |      18 |  4738402 |   298152 |    59184     10 |      777 |      668
1517.91/1518.46	c 1517s |      18 |  4745054 |   298652 |    59184     10 |      777 |      668
1520.21/1520.79	c 1520s |      18 |  4752504 |   299152 |    59184     10 |      777 |      668
1522.61/1523.18	c 1522s |      18 |  4760012 |   299552 |    59184     10 |      777 |      668
1524.91/1525.47	c 1524s |      18 |  4766473 |   299952 |    59184     10 |      777 |      668
1526.90/1527.49	c 1526s |      18 |  4775154 |   300352 |    59184     10 |      777 |      668
1529.40/1529.92	c 1529s |      18 |  4788670 |   300852 |    59184     10 |      777 |      668
1531.60/1532.19	c 1531s |      18 |  4795248 |   301252 |    59184     10 |      777 |      668
1533.90/1534.50	c 1533s |      18 |  4797141 |   301752 |    59184     10 |      777 |      668
1536.40/1536.95	c 1536s |      18 |  4805009 |   302252 |    59184     10 |      777 |      668
1538.70/1539.27	c 1538s |      18 |  4815096 |   302752 |    59184     10 |      777 |      668
1540.80/1541.37	c 1540s |      18 |  4820614 |   303252 |    59184     10 |      777 |      668
1543.10/1543.69	c 1543s |      18 |  4825792 |   303752 |    59184     10 |      777 |      668
1545.40/1545.94	c 1545s |      18 |  4832725 |   304152 |    59184     10 |      777 |      668
1547.80/1548.32	c 1547s |      18 |  4838701 |   304552 |    59184     10 |      777 |      668
1550.30/1550.87	c 1550s |      18 |  4840055 |   304852 |    59184     10 |      777 |      668
1552.50/1553.04	c 1552s |      18 |  4840699 |   305052 |    59184     10 |      777 |      668
1555.80/1556.37	c 1555s |      18 |  4841255 |   305252 |    59184     10 |      777 |      668
1559.31/1559.85	c 1559s |      18 |  4841906 |   305452 |    59184     10 |      777 |      668
1561.50/1562.03	c 1561s |      18 |  4842220 |   305552 |    59184     10 |      777 |      668
1565.10/1565.69	c 1565s |      18 |  4842818 |   305752 |    59184     10 |      777 |      668
1568.39/1568.92	c 1568s |      18 |  4843171 |   305952 |    59184     10 |      777 |      668
1571.89/1572.41	c 1571s |      18 |  4843700 |   306152 |    59184     10 |      777 |      668
1573.89/1574.49	c 1573s |      18 |  4843972 |   306252 |    59184     10 |      777 |      668
1576.19/1576.78	c 1576s |      18 |  4844153 |   306352 |    59184     10 |      777 |      668
1578.29/1578.87	c 1578s |      18 |  4844402 |   306452 |    59184     10 |      777 |      668
1580.39/1580.96	c 1580s |      18 |  4851673 |   306752 |    59184     10 |      777 |      668
1582.40/1583.00	c 1582s |      18 |  4861029 |   307252 |    59184     10 |      777 |      668
1584.49/1585.01	c 1584s |      18 |  4869951 |   307652 |    59184     10 |      777 |      668
1586.90/1587.47	c 1586s |      18 |  4872741 |   308252 |    59184     10 |      777 |      668
1589.29/1589.81	c 1589s |      18 |  4874378 |   308552 |    59184     10 |      777 |      668
1591.69/1592.27	c 1591s |      18 |  4880758 |   309052 |    59184     10 |      777 |      668
1593.79/1594.30	c 1593s |      18 |  4882671 |   309452 |    59184     10 |      777 |      668
1596.29/1596.85	c 1596s |      18 |  4893639 |   309852 |    59184     10 |      777 |      668
1598.39/1598.99	c 1598s |      18 |  4904733 |   310352 |    59184     10 |      777 |      668
1600.90/1601.42	c 1600s |      18 |  4914452 |   310852 |    59184     10 |      777 |      668
1603.20/1603.79	c 1603s |      18 |  4926110 |   311352 |    59184     10 |      777 |      668
1606.70/1607.23	c 1606s |      18 |  4926839 |   311552 |    59184     10 |      777 |      668
1608.99/1609.55	c 1608s |      18 |  4932384 |   312052 |    59184     10 |      777 |      668
1611.59/1612.10	c 1611s |      18 |  4938310 |   312552 |    59184     10 |      777 |      668
1613.59/1614.14	c 1613s |      18 |  4943690 |   312852 |    59184     10 |      777 |      668
1615.69/1616.29	c 1615s |      18 |  4950664 |   313152 |    59184     10 |      777 |      668
1617.99/1618.57	c 1618s |      18 |  4953732 |   313252 |    59184     11 |      777 |      668
1620.09/1620.69	c 1620s |      18 |  4962275 |   313852 |    59184     11 |      777 |      668
1622.29/1622.87	c 1622s |      18 |  4964500 |   314252 |    59184     11 |      777 |      668
1624.49/1625.05	c 1624s |      18 |  4971010 |   314652 |    59184     11 |      777 |      668
1626.99/1627.52	c 1626s |      18 |  4973194 |   315152 |    59184     11 |      777 |      668
1629.09/1629.67	c 1629s |      18 |  4981405 |   315552 |    59184     11 |      777 |      668
1631.39/1631.91	c 1631s |      18 |  4987807 |   316052 |    59184     11 |      777 |      668
1633.69/1634.23	c 1633s |      18 |  4999675 |   316652 |    59184     11 |      777 |      668
1635.69/1636.29	c 1635s |      18 |  5010084 |   317052 |    59184     11 |      777 |      668
1637.99/1638.59	c 1638s |      18 |  5017708 |   317552 |    59184     11 |      777 |      668
1640.59/1641.13	c 1640s |      18 |  5021991 |   317952 |    59184     11 |      777 |      668
1642.69/1643.29	c 1642s |      18 |  5030225 |   318452 |    59184     11 |      777 |      668
1644.99/1645.60	c 1645s |      18 |  5037270 |   319052 |    59184     11 |      777 |      668
1647.09/1647.60	c 1647s |      18 |  5041850 |   319652 |    59184     11 |      777 |      668
1649.39/1649.93	c 1649s |      18 |  5043311 |   320052 |    59184     11 |      777 |      668
1651.59/1652.20	c 1651s |      18 |  5046878 |   320552 |    59184     11 |      777 |      668
1653.89/1654.45	c 1653s |      18 |  5048564 |   320952 |    59184     11 |      777 |      668
1656.28/1656.83	c 1656s |      18 |  5050503 |   321352 |    59184     11 |      777 |      668
1658.68/1659.22	c 1658s |      18 |  5058341 |   321852 |    59184     11 |      777 |      668
1660.88/1661.41	c 1660s |      18 |  5067011 |   322452 |    59184     11 |      777 |      668
1663.08/1663.60	c 1663s |      18 |  5075008 |   322952 |    59184     11 |      777 |      668
1665.18/1665.72	c 1665s |      18 |  5082215 |   323352 |    59184     11 |      777 |      668
1667.19/1667.73	c 1667s |      18 |  5085346 |   323652 |    59184     11 |      777 |      668
1669.58/1670.15	c 1669s |      18 |  5087715 |   324052 |    59184     11 |      777 |      668
1672.38/1672.99	c 1672s |      18 |  5089644 |   324352 |    59184     11 |      777 |      668
1675.18/1675.77	c 1675s |      18 |  5090260 |   324552 |    59184     11 |      777 |      668
1677.78/1678.31	c 1677s |      18 |  5097915 |   325052 |    59184     11 |      777 |      668
1679.98/1680.54	c 1679s |      18 |  5108569 |   325452 |    59184     11 |      777 |      668
1682.49/1683.09	c 1682s |      18 |  5110396 |   325852 |    59184     11 |      777 |      668
1684.58/1685.10	c 1684s |      18 |  5112032 |   326252 |    59184     11 |      777 |      668
1687.18/1687.75	c 1687s |      18 |  5113998 |   326652 |    59184     11 |      777 |      668
1689.38/1689.92	c 1689s |      18 |  5115747 |   326952 |    59184     11 |      777 |      668
1692.08/1692.69	c 1692s |      18 |  5118560 |   327352 |    59184     11 |      777 |      668
1694.38/1694.97	c 1694s |      18 |  5120071 |   327652 |    59184     11 |      777 |      668
1696.48/1697.06	c 1696s |      18 |  5121450 |   327852 |    59184     11 |      777 |      668
1699.88/1700.44	c 1699s |      18 |  5122019 |   328052 |    59184     11 |      777 |      668
1702.97/1703.50	c 1702s |      18 |  5122658 |   328252 |    59184     11 |      777 |      668
1705.37/1705.93	c 1705s |      18 |  5122946 |   328352 |    59184     11 |      777 |      668
1708.27/1708.85	c 1708s |      18 |  5123096 |   328452 |    59184     11 |      777 |      668
1710.48/1711.05	c 1710s |      18 |  5123737 |   328552 |    59184     11 |      777 |      668
1712.58/1713.18	c 1712s |      18 |  5125547 |   328852 |    59184     11 |      777 |      668
1715.08/1715.67	c 1715s |      18 |  5127390 |   329152 |    59184     11 |      777 |      668
1717.87/1718.40	c 1717s |      18 |  5128722 |   329452 |    59184     11 |      777 |      668
1720.07/1720.60	c 1720s |      18 |  5129395 |   329652 |    59184     11 |      777 |      668
1723.07/1723.63	c 1723s |      18 |  5132642 |   329952 |    59184     11 |      777 |      668
1725.07/1725.68	c 1725s |      18 |  5134030 |   330252 |    59184     11 |      777 |      668
1729.47/1730.01	c 1729s |      18 |  5134820 |   330452 |    59184     11 |      777 |      668
1732.27/1732.81	c 1732s |      18 |  5135061 |   330552 |    59184     11 |      777 |      668
1735.07/1735.69	c 1735s |      18 |  5137518 |   330952 |    59184     11 |      777 |      668
1738.47/1739.01	c 1738s |      18 |  5138069 |   331152 |    59184     11 |      777 |      668
1741.07/1741.64	c 1741s |      18 |  5139602 |   331352 |    59184     11 |      777 |      668
1747.77/1748.33	c 1747s |      18 |  5140457 |   331552 |    59184     11 |      777 |      668
1751.57/1752.13	c 1751s |      18 |  5140853 |   331652 |    59184     11 |      777 |      668
1754.47/1755.04	c 1754s |      18 |  5141719 |   331852 |    59184     11 |      777 |      668
1756.96/1757.58	c 1757s |      18 |  5143437 |   332052 |    59184     11 |      777 |      668
1759.66/1760.28	c 1759s |      18 |  5146572 |   332352 |    59184     11 |      777 |      668
1762.26/1762.90	c 1762s |      18 |  5148197 |   332552 |    59184     11 |      777 |      668
1764.36/1764.94	c 1764s |      18 |  5148320 |   332652 |    59184     11 |      777 |      668
1766.96/1767.50	c 1766s |      18 |  5148644 |   332752 |    59184     11 |      777 |      668
1769.96/1770.60	c 1770s |      18 |  5149601 |   332952 |    59184     11 |      777 |      668
1773.46/1774.04	c 1773s |      18 |  5150809 |   333152 |    59184     11 |      777 |      668
1775.76/1776.35	c 1775s |      18 |  5151064 |   333252 |    59184     11 |      777 |      668
1780.86/1781.40	c 1780s |      18 |  5152108 |   333452 |    59184     11 |      777 |      668
1783.26/1783.88	c 1783s |      18 |  5152679 |   333552 |    59184     11 |      777 |      668
1786.16/1786.74	c 1786s |      18 |  5153130 |   333652 |    59184     11 |      777 |      668
1788.86/1789.43	c 1788s |      18 |  5153660 |   333752 |    59184     11 |      777 |      668
1793.76/1794.37	c 1793s |      18 |  5153895 |   333852 |    59184     11 |      777 |      668
1798.46/1799.07	c 1798s |      18 |  5154374 |   333952 |    59184     11 |      777 |      668

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

pid=16375
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.16 2.18 2.14 4/179 16378
/proc/meminfo: memFree=29503772/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=601532 CPUtime=0 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 2225 0 0 0 0 0 0 0 20 0 4 0 110469061 615968768 2075 33554432000 4194304 16246674 140737023426000 140737023425424 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 151151 2085 441 2943 0 148045 0
[pid=16378/tid=16379] ppid=16375 vsize=620988 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 635891712 2147 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=624060 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 639037440 2163 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=629180 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110469061 644280320 2180 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 2.16 2.18 2.14 4/179 16378
/proc/meminfo: memFree=29503772/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 28130 0 0 0 5 4 0 0 20 0 4 0 110469061 1251545088 27918 33554432000 4194304 16246674 140737023426000 140737023408992 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 306321 27929 801 2943 0 303215 0
[pid=16378/tid=16379] ppid=16375 vsize=1229380 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1258885120 27943 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1233476 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1263079424 27959 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1236548 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1266225152 27974 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200568 s]
/proc/loadavg: 2.16 2.18 2.14 4/179 16378
/proc/meminfo: memFree=29503772/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 50364 0 0 0 12 7 0 0 20 0 4 0 110469061 1344868352 50663 33554432000 4194304 16246674 140737023426000 140737023408992 7378064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 328337 50663 801 2943 0 325231 0
[pid=16378/tid=16379] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 50663 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 50663 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 50663 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300472 s]
/proc/loadavg: 2.16 2.18 2.14 4/179 16378
/proc/meminfo: memFree=29503772/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 50550 0 0 0 22 7 0 0 20 0 4 0 110469061 1344868352 50849 33554432000 4194304 16246674 140737023426000 140737023408992 12458022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 328337 50849 833 2943 0 325231 0
[pid=16378/tid=16379] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 50849 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 50849 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 50849 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700375 s]
/proc/loadavg: 2.16 2.18 2.14 4/179 16378
/proc/meminfo: memFree=29503772/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 121899 0 0 0 53 16 0 0 20 0 4 0 110469061 1344868352 122198 33554432000 4194304 16246674 140737023426000 140737023408992 5664948 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 328337 122209 876 2943 0 325231 0
[pid=16378/tid=16379] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 122215 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 122219 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1344868352 122223 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.23 2.20 2.14 4/183 16382
/proc/meminfo: memFree=28750104/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1.48 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 228268 0 0 0 118 30 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 140737023425312 13950986 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 228567 883 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1326660

[startup+3.10043 s]
/proc/loadavg: 2.23 2.20 2.14 3/183 16382
/proc/meminfo: memFree=28590516/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=3.08 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 228268 0 0 0 278 30 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 140737023407872 6842957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 228567 883 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 228567 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1326660

[startup+6.30043 s]
/proc/loadavg: 2.21 2.19 2.14 3/183 16382
/proc/meminfo: memFree=28414396/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=6.29 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272338 0 0 0 593 36 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 140737023409000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272637 885 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.27 2.20 2.15 3/183 16382
/proc/meminfo: memFree=28414180/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=12.69 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272338 0 0 0 1233 36 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 140737023425176 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272637 885 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272637 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.21 2.19 2.14 3/183 16382
/proc/meminfo: memFree=28414288/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=25.48 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272339 0 0 0 2512 36 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 140737023425176 5553629 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272638 885 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.21 2.19 2.14 3/183 16382
/proc/meminfo: memFree=28414120/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=51.09 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272339 0 0 0 5072 37 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 140737023407872 12483212 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272638 885 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1326660

[startup+102.301 s]
/proc/loadavg: 2.22 2.19 2.15 3/183 16383
/proc/meminfo: memFree=28413892/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=102.28 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272339 0 0 0 10191 37 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 140737023407872 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272638 885 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272638 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660


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

/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1326660

[startup+1302.3 s]
/proc/loadavg: 2.18 2.19 2.15 3/183 16485
/proc/meminfo: memFree=28406080/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1301.84 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 130133 51 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 5721394 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1326660

[startup+1362.3 s]
/proc/loadavg: 2.16 2.18 2.15 3/183 16486
/proc/meminfo: memFree=28405748/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1361.83 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 136131 52 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 6843088 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1326660

[startup+1422.3 s]
/proc/loadavg: 2.11 2.16 2.14 3/183 16487
/proc/meminfo: memFree=28405540/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1421.82 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 142129 53 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023425176 5723895 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1326660

[startup+1482.3 s]
/proc/loadavg: 2.08 2.14 2.13 3/183 16488
/proc/meminfo: memFree=28405172/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1481.81 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 148127 54 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 5721352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.13 2.14 2.13 3/183 16490
/proc/meminfo: memFree=28405272/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1541.81 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 154126 55 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.17 2.15 2.13 3/183 16491
/proc/meminfo: memFree=28405524/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1601.8 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 160124 56 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 5523360 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.17 2.15 2.13 3/184 16495
/proc/meminfo: memFree=28405388/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1661.78 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 166122 56 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16496
/proc/meminfo: memFree=28405840/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1721.77 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 172120 57 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1326660

[startup+1782.3 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16497
/proc/meminfo: memFree=28405844/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1781.76 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 178119 57 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023425176 12483204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1326660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.10 2.13 2.12 3/183 16497
/proc/meminfo: memFree=28405852/32872528 swapFree=12208/1156848
[pid=16378] ppid=16375 vsize=1326660 CPUtime=1800.06 cores=1,3,5,7
/proc/16378/stat : 16378 (toysat) R 16375 16378 15571 0 -1 4202496 272722 0 0 0 179949 57 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 140737023407872 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16378/statm: 331665 272639 886 2943 0 328559 0
[pid=16378/tid=16379] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16379/stat : 16379 (toysat) S 16375 16378 15571 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995936435440 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16378/tid=16380] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16380/stat : 16380 (toysat) S 16375 16378 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995925945584 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16378/tid=16381] ppid=16375 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/16378/task/16381/stat : 16381 (toysat) S 16375 16378 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110469061 1358499840 272639 33554432000 4194304 16246674 140737023426000 139995915472048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1326660

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.5
CPU system time (s): 0.579911
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.579911
maximum resident set size= 1090556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272722
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= 400
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47332 second user time and 7.04493 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 09:42:25
IDJOB=4078897
IDBENCH=90164
IDSOLVER=2542
FILE ID=node114/4078897-1465285345
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 2e2bfba9fd441b7330d2c90af940d9b0
RANDOM SEED=1219177648

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29504152 kB
Buffers:          144424 kB
Cached:           249336 kB
SwapCached:         1696 kB
Active:          1226436 kB
Inactive:         245668 kB
Active(anon):    1079748 kB
Inactive(anon):     1252 kB
Active(file):     146688 kB
Inactive(file):   244416 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             17508 kB
Writeback:             0 kB
AnonPages:       2302992 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             602320 kB
SReclaimable:      46412 kB
SUnreclaim:       555908 kB
KernelStack:        1520 kB
PageTables:         8828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2382128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2148352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node114 at 2016-06-07 10:12:26