Trace number 4078891

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.03 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K125.opb
MD5SUMd572050902dbd97a5ce685e3ceb3e01a
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 variables14875
Total number of constraints15127
Number of constraints which are clauses15002
Number of constraints which are cardinality constraints (but not clauses)125
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
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 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T10:06:58+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-4078891-1465286818.opb"]
0.00/0.01	c use --random-gen="3888677063 1935900252 2254835900 3739212472 1809755086 1962772229 741691745 1539725761 3485661227 2308160170 1622840263 1886386339 653171880 1647980919 1029389146 1453479788 2940864684 2447831701 3445533230 391245473 3088709378 623279436 2332468375 2922051004 193680421 2196797750 2466992995 1112121540 3224576786 2377308749 2783344641 58279610 2388000261 4278025410 3600472965 1381276412 841042208 3107872442 2960337183 2725119854 208062272 3889858450 3929325388 2829800791 2419489953 1860260656 682311187 3129834681 2734499197 594862015 3339323587 1407717602 1234389622 629697963 1868012380 4024242097 1179859058 360567358 1989758747 3515742335 2262222591 893838029 1177769298 120312435 1845379374 2845912948 930765850 2192788449 1100290455 1378769289 2639113977 1051672702 1673190658 2332127540 1957262262 2371044203 3177292402 2601940610 2997388498 1844367107 808131753 3861313889 4042454292 1363841075 2789325766 4117473543 4146500331 1128499387 1468035272 3486917513 1981238368 2242373816 1337701521 854309993 3889337827 898854369 1630656919 3335904226 2241502993 1579467790 825493372 674059612 2455804824 1902065348 962982408 4228151763 1760927840 838708297 2810422142 2618006049 4208617051 2305017005 4156088824 3003809407 408501399 1154777996 3058013742 2609096213 3376303141 422090277 1606396247 1033113151 2130081496 78634414 2345702462 2175442749 3772658759 1894626417 1527861439 3469778312 4277516633 1101177102 1220741353 1053418243 1702197938 3372270687 4135070034 368932492 3409281316 1105830282 816373677 4218374629 3203074837 3424279834 3945553345 1884615276 2567623774 4234037358 1677369506 4109068555 3533960129 4027887035 4238743975 3122712855 2131501666 206676329 3516105919 545777034 3346250742 1256842892 976593737 2568633824 283506756 1874236076 2830659716 2182504058 2636318388 1361165057 3429277247 2845350581 368809487 2508750165 1644938206 4157568585 1678676438 3140286085 3242976927 4034103957 2905002453 976437940 3087948748 4000829369 1885659269 21216159 2650653389 3987943737 1109361153 65801048 2280993849 608956006 1869987196 2912118437 3060417615 2180244825 3597781860 442647829 3034890391 3803668537 4265878128 640077269 3007295289 2879009283 182519014 240555128 856160974 221811939 2317320270 3741527177 3565407709 1862860658 714899770 2487892691 3029983499 3616233241 1178994295 2742764164 511762199 3442509580 1089424302 424934556 2810047843 1157651816 2595624215 2283700330 3599843973 3721532393 1915840760 789588808 3938779258 1771620479 2473254678 3007159481 3295231265 493378298 3461426001 2442339286 372975821 3517617621 1388196456 3034442997 4269606487 2664191568 2088162926 2744224052 919111863 1341235466 246008987 3486842367 1322675923 583336924 139670028 1921058828 130435157 1749458716 925131868 2698594500 255 362436" option to reproduce the execution
0.19/0.21	c #vars 14875
0.19/0.21	c #constraints 15127
0.48/0.53	c Solving starts ...
0.48/0.53	c ============================[ Search Statistics ]============================
0.48/0.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.53	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.53	c =============================================================================
0.48/0.54	c  0.0s |       0 |        0 |        0 |    10000      0 |      742 |        0
1.29/1.39	c  0.9s |       1 |     5923 |      100 |    10000      0 |      743 |      634
1.69/1.75	c  1.2s |       2 |    13812 |      250 |    11000      0 |      745 |      636
2.29/2.31	c  1.8s |       3 |    24707 |      475 |    12101      0 |      746 |      637
2.99/3.04	c  2.5s |       4 |    29775 |      813 |    13312      0 |      746 |      637
3.99/4.04	c  3.5s |       5 |    44100 |     1320 |    14644      0 |      746 |      637
5.69/5.70	c  5.2s |       6 |    61146 |     2081 |    17720      0 |      747 |      638
7.89/7.90	c  7.4s |       6 |    88383 |     2981 |    17720      0 |      748 |      639
8.29/8.37	c  7.8s |       7 |    89383 |     3223 |    19492      0 |      748 |      639
10.39/10.44	c  9.9s |       7 |   115386 |     4223 |    19492      0 |      749 |      640
12.20/12.24	c 11.7s |       8 |   132063 |     4936 |    21442      0 |      750 |      641
14.29/14.40	c 13.9s |       8 |   146152 |     5836 |    21442      0 |      750 |      641
16.79/16.80	c 16.3s |       8 |   148443 |     6336 |    21442      0 |      750 |      641
18.79/18.89	c 18.4s |       8 |   151035 |     6836 |    21442      0 |      750 |      641
21.18/21.23	c 20.7s |       8 |   153213 |     7436 |    21442      0 |      750 |      641
21.48/21.55	c 21.0s |       9 |   153519 |     7506 |    23587      0 |      750 |      641
23.78/23.82	c 23.3s |       9 |   163726 |     8206 |    23587      0 |      750 |      641
25.98/26.02	c 25.5s |       9 |   178716 |     9006 |    23587      0 |      750 |      641
28.39/28.41	c 27.9s |       9 |   189852 |     9606 |    23587      0 |      750 |      641
30.59/30.65	c 30.1s |       9 |   197695 |    10106 |    23587      0 |      750 |      641
33.39/33.41	c 32.9s |       9 |   200684 |    10506 |    23587      0 |      750 |      641
35.38/35.41	c 34.9s |       9 |   208577 |    11106 |    23587      0 |      750 |      641
36.48/36.53	c 36.0s |      10 |   211288 |    11361 |    25946      0 |      750 |      641
38.59/38.67	c 38.1s |      10 |   224164 |    12061 |    25946      0 |      750 |      641
40.69/40.71	c 40.2s |      10 |   249338 |    12761 |    25946      0 |      750 |      641
42.99/43.04	c 42.5s |      10 |   272091 |    13361 |    25946      0 |      753 |      644
44.98/45.06	c 44.5s |      10 |   287370 |    14161 |    25946      0 |      753 |      644
47.08/47.16	c 46.6s |      10 |   305472 |    15061 |    25946      0 |      754 |      645
49.38/49.45	c 48.9s |      10 |   330089 |    15961 |    25946      0 |      754 |      645
51.48/51.59	c 51.1s |      10 |   354034 |    16761 |    25946      0 |      754 |      645
52.38/52.48	c 51.9s |      11 |   362861 |    17144 |    28541      0 |      754 |      645
54.68/54.73	c 54.2s |      11 |   384270 |    17944 |    28541      0 |      754 |      645
56.78/56.89	c 56.4s |      11 |   399601 |    18644 |    28541      0 |      754 |      645
58.88/58.93	c 58.4s |      11 |   400995 |    18944 |    28541      0 |      754 |      645
61.07/61.14	c 60.6s |      11 |   417428 |    19544 |    28541      0 |      754 |      645
63.17/63.20	c 62.7s |      11 |   425123 |    20044 |    28541      0 |      755 |      646
65.67/65.71	c 65.2s |      11 |   445444 |    20744 |    28541      0 |      757 |      648
67.77/67.81	c 67.3s |      11 |   461165 |    21444 |    28541      0 |      757 |      648
69.78/69.87	c 69.3s |      11 |   461998 |    21744 |    28541      0 |      757 |      648
71.88/71.93	c 71.4s |      11 |   470728 |    22244 |    28541      0 |      757 |      648
73.88/73.95	c 73.4s |      11 |   481172 |    22844 |    28541      0 |      757 |      648
76.18/76.20	c 75.7s |      11 |   488670 |    23544 |    28541      0 |      757 |      648
78.48/78.50	c 78.0s |      11 |   496094 |    24144 |    28541      0 |      757 |      648
80.48/80.59	c 80.1s |      11 |   505992 |    24644 |    28541      0 |      758 |      649
82.68/82.72	c 82.2s |      11 |   527068 |    25344 |    28541      0 |      758 |      649
84.47/84.59	c 84.1s |      12 |   540604 |    25819 |    31396      0 |      759 |      650
86.57/86.67	c 86.1s |      12 |   550306 |    26419 |    31396      0 |      759 |      650
88.77/88.81	c 88.3s |      12 |   567250 |    27219 |    31396      0 |      759 |      650
90.97/91.01	c 90.5s |      12 |   585122 |    28019 |    31396      0 |      759 |      650
93.18/93.22	c 92.7s |      12 |   597235 |    28719 |    31396      0 |      759 |      650
95.38/95.41	c 94.9s |      12 |   614635 |    29419 |    31396      0 |      759 |      650
97.48/97.54	c 97.0s |      12 |   621887 |    30119 |    31396      0 |      759 |      650
99.78/99.88	c 99.3s |      12 |   633688 |    30719 |    31396      0 |      759 |      650
101.88/101.95	c  101s |      12 |   646308 |    31319 |    31396      0 |      759 |      650
104.17/104.29	c  103s |      12 |   663589 |    31819 |    31396      0 |      759 |      650
106.27/106.32	c  105s |      12 |   666814 |    32219 |    31396      0 |      759 |      650
108.37/108.41	c  107s |      12 |   684466 |    32819 |    31396      0 |      759 |      650
110.87/110.90	c  110s |      12 |   702430 |    33419 |    31396      1 |      759 |      650
112.87/112.92	c  112s |      12 |   713283 |    34019 |    31396      1 |      759 |      650
115.07/115.12	c  114s |      12 |   736353 |    34619 |    31396      1 |      759 |      650
117.37/117.44	c  116s |      12 |   755230 |    35319 |    31396      1 |      759 |      650
119.57/119.63	c  119s |      12 |   775528 |    36019 |    31396      1 |      759 |      650
121.87/121.95	c  121s |      12 |   795846 |    36719 |    31396      1 |      759 |      650
124.07/124.18	c  123s |      12 |   815415 |    37519 |    31396      1 |      759 |      650
126.27/126.39	c  125s |      12 |   835380 |    38219 |    31396      1 |      759 |      650
128.17/128.29	c  127s |      13 |   847296 |    38832 |    34536      1 |      759 |      650
130.47/130.54	c  130s |      13 |   855707 |    39432 |    34536      1 |      759 |      650
132.57/132.64	c  132s |      13 |   871347 |    40032 |    34536      1 |      759 |      650
134.77/134.87	c  134s |      13 |   884279 |    40632 |    34536      1 |      760 |      651
136.76/136.89	c  136s |      13 |   891512 |    41132 |    34536      1 |      760 |      651
138.97/139.02	c  138s |      13 |   892944 |    41532 |    34536      1 |      760 |      651
140.97/141.04	c  140s |      13 |   897740 |    42132 |    34536      1 |      760 |      651
143.27/143.35	c  142s |      13 |   900531 |    42832 |    34536      1 |      760 |      651
145.67/145.78	c  145s |      13 |   902654 |    43332 |    34536      1 |      760 |      651
148.27/148.39	c  147s |      13 |   904831 |    43832 |    34536      1 |      760 |      651
150.96/151.00	c  150s |      13 |   905534 |    44132 |    34536      1 |      760 |      651
153.06/153.19	c  152s |      13 |   906110 |    44332 |    34536      1 |      760 |      651
156.18/156.24	c  155s |      13 |   906912 |    44632 |    34536      1 |      760 |      651
158.27/158.36	c  157s |      13 |   907784 |    44832 |    34536      1 |      760 |      651
160.57/160.69	c  160s |      13 |   924043 |    45532 |    34536      1 |      761 |      652
162.87/162.94	c  162s |      13 |   933971 |    46132 |    34536      1 |      762 |      653
164.97/165.03	c  164s |      13 |   947356 |    46832 |    34536      1 |      762 |      653
167.06/167.18	c  166s |      13 |   950182 |    47232 |    34536      1 |      762 |      653
169.37/169.48	c  168s |      13 |   951541 |    47532 |    34536      1 |      762 |      653
171.76/171.88	c  171s |      13 |   952332 |    47832 |    34536      1 |      762 |      653
173.96/174.01	c  173s |      13 |   966189 |    48532 |    34536      1 |      762 |      653
176.07/176.11	c  175s |      13 |   980883 |    49232 |    34536      1 |      762 |      653
178.17/178.28	c  177s |      13 |   988672 |    49832 |    34536      1 |      762 |      653
180.56/180.65	c  180s |      13 |   997620 |    50432 |    34536      1 |      762 |      653
182.67/182.74	c  182s |      13 |  1010826 |    51032 |    34536      1 |      762 |      653
184.76/184.89	c  184s |      13 |  1028140 |    51632 |    34536      1 |      762 |      653
186.86/186.94	c  186s |      13 |  1033841 |    52132 |    34536      1 |      762 |      653
188.96/189.05	c  188s |      13 |  1046221 |    52732 |    34536      1 |      762 |      653
191.86/191.95	c  191s |      13 |  1059730 |    53332 |    34536      2 |      762 |      653
194.06/194.15	c  193s |      13 |  1073519 |    53932 |    34536      2 |      763 |      654
196.16/196.29	c  195s |      13 |  1089239 |    54532 |    34536      2 |      765 |      656
198.26/198.36	c  197s |      13 |  1098474 |    55132 |    34536      2 |      765 |      656
200.56/200.61	c  200s |      13 |  1108021 |    55732 |    34536      2 |      765 |      656
202.86/202.95	c  202s |      13 |  1123691 |    56532 |    34536      2 |      765 |      656
204.95/205.03	c  204s |      13 |  1126798 |    57232 |    34536      2 |      765 |      656
207.25/207.37	c  206s |      13 |  1129397 |    58032 |    37990      2 |      765 |      656
208.35/208.41	c  207s |      14 |  1133592 |    58352 |    37990      2 |      765 |      656
210.65/210.78	c  210s |      14 |  1144130 |    58952 |    37990      2 |      765 |      656
212.75/212.80	c  212s |      14 |  1146722 |    59352 |    37990      2 |      765 |      656
215.25/215.34	c  214s |      14 |  1150507 |    59952 |    37990      2 |      765 |      656
217.25/217.36	c  216s |      14 |  1154150 |    60452 |    37990      2 |      765 |      656
219.55/219.61	c  219s |      14 |  1155928 |    60852 |    37990      2 |      765 |      656
222.26/222.33	c  221s |      14 |  1157030 |    61152 |    37990      2 |      765 |      656
224.36/224.40	c  223s |      14 |  1158755 |    61452 |    37990      2 |      765 |      656
226.56/226.60	c  226s |      14 |  1160606 |    61752 |    37990      2 |      765 |      656
229.15/229.28	c  228s |      14 |  1162183 |    62152 |    37990      2 |      765 |      656
231.86/231.92	c  231s |      14 |  1163465 |    62452 |    37990      2 |      765 |      656
234.36/234.42	c  233s |      14 |  1164004 |    62652 |    37990      2 |      765 |      656
236.85/236.93	c  236s |      14 |  1164799 |    62852 |    37990      2 |      765 |      656
239.25/239.37	c  238s |      14 |  1165756 |    63052 |    37990      2 |      765 |      656
241.35/241.47	c  240s |      14 |  1166354 |    63252 |    37990      2 |      765 |      656
243.84/243.93	c  243s |      14 |  1167070 |    63452 |    37990      2 |      765 |      656
246.05/246.10	c  245s |      14 |  1167629 |    63652 |    37990      2 |      765 |      656
248.45/248.54	c  248s |      14 |  1168563 |    63852 |    37990      2 |      765 |      656
251.15/251.21	c  250s |      14 |  1169093 |    64052 |    37990      2 |      765 |      656
253.74/253.85	c  253s |      14 |  1171390 |    64452 |    37990      2 |      765 |      656
255.84/255.98	c  255s |      14 |  1173194 |    64752 |    37990      2 |      765 |      656
258.74/258.80	c  258s |      14 |  1174491 |    65052 |    37990      2 |      765 |      656
261.14/261.27	c  260s |      14 |  1175153 |    65252 |    37990      2 |      765 |      656
263.24/263.39	c  262s |      14 |  1175667 |    65452 |    37990      2 |      765 |      656
265.74/265.87	c  265s |      14 |  1176192 |    65652 |    37990      2 |      765 |      656
267.84/267.96	c  267s |      14 |  1176834 |    65852 |    37990      2 |      765 |      656
269.94/270.09	c  269s |      14 |  1177414 |    66052 |    37990      2 |      765 |      656
272.33/272.43	c  271s |      14 |  1178290 |    66252 |    37990      2 |      765 |      656
274.43/274.52	c  273s |      14 |  1180846 |    66652 |    37990      2 |      765 |      656
276.94/277.00	c  276s |      14 |  1181554 |    66952 |    37990      2 |      765 |      656
279.14/279.27	c  278s |      14 |  1183287 |    67252 |    37990      2 |      765 |      656
281.55/281.68	c  281s |      14 |  1183942 |    67552 |    37990      2 |      765 |      656
284.53/284.63	c  284s |      14 |  1185246 |    67752 |    37990      2 |      765 |      656
287.14/287.30	c  286s |      14 |  1185788 |    67952 |    37990      2 |      765 |      656
290.13/290.25	c  289s |      14 |  1186594 |    68152 |    37990      2 |      765 |      656
292.43/292.52	c  291s |      14 |  1187110 |    68352 |    37990      2 |      765 |      656
295.53/295.65	c  295s |      14 |  1188167 |    68552 |    37990      2 |      765 |      656
298.04/298.14	c  297s |      14 |  1189045 |    68852 |    37990      2 |      765 |      656
301.34/301.45	c  300s |      14 |  1189518 |    69052 |    37990      2 |      765 |      656
304.33/304.44	c  303s |      14 |  1190324 |    69252 |    37990      2 |      765 |      656
308.03/308.12	c  307s |      14 |  1191778 |    69452 |    37990      2 |      765 |      656
310.23/310.34	c  309s |      14 |  1204135 |    69952 |    37990      2 |      765 |      656
312.22/312.35	c  311s |      14 |  1209985 |    70552 |    37990      2 |      765 |      656
314.32/314.40	c  313s |      14 |  1223916 |    71252 |    37990      2 |      765 |      656
316.42/316.52	c  315s |      14 |  1231705 |    71952 |    37990      2 |      765 |      656
318.52/318.67	c  318s |      14 |  1234541 |    72452 |    37990      2 |      765 |      656
320.72/320.85	c  320s |      14 |  1244612 |    73152 |    37990      2 |      765 |      656
322.82/322.94	c  322s |      14 |  1254183 |    73852 |    37990      2 |      765 |      656
324.82/324.96	c  324s |      14 |  1260652 |    74652 |    37990      2 |      765 |      656
327.22/327.34	c  326s |      14 |  1269168 |    75552 |    37990      2 |      765 |      656
329.82/329.95	c  329s |      14 |  1276181 |    76252 |    37990      2 |      765 |      656
331.82/331.97	c  331s |      14 |  1278523 |    76752 |    37990      2 |      765 |      656
335.11/335.24	c  334s |      14 |  1280965 |    77052 |    37990      3 |      765 |      656
337.31/337.46	c  336s |      14 |  1290063 |    77652 |    37990      3 |      765 |      656
339.51/339.66	c  339s |      14 |  1299509 |    78252 |    37990      3 |      765 |      656
341.71/341.83	c  341s |      14 |  1314450 |    78952 |    37990      3 |      765 |      656
343.81/343.99	c  343s |      14 |  1332070 |    79852 |    37990      3 |      765 |      656
346.01/346.13	c  345s |      14 |  1346197 |    80452 |    37990      3 |      765 |      656
348.11/348.26	c  347s |      14 |  1348473 |    81052 |    37990      3 |      765 |      656
350.11/350.27	c  349s |      14 |  1350509 |    81552 |    37990      3 |      765 |      656
352.41/352.51	c  351s |      14 |  1352974 |    82152 |    37990      3 |      765 |      656
354.41/354.55	c  354s |      14 |  1358449 |    82652 |    37990      3 |      765 |      656
356.61/356.78	c  356s |      14 |  1373926 |    83352 |    37990      3 |      765 |      656
359.01/359.14	c  358s |      14 |  1391654 |    83952 |    37990      3 |      765 |      656
361.51/361.67	c  361s |      14 |  1393540 |    84252 |    37990      3 |      765 |      656
363.61/363.72	c  363s |      14 |  1396219 |    84652 |    37990      3 |      765 |      656
365.91/366.00	c  365s |      14 |  1398032 |    85252 |    37990      3 |      765 |      656
368.01/368.11	c  367s |      14 |  1403705 |    85752 |    37990      3 |      765 |      656
370.11/370.29	c  369s |      14 |  1418295 |    86552 |    37990      3 |      765 |      656
372.60/372.77	c  372s |      14 |  1421152 |    87052 |    41789      3 |      765 |      656
375.80/375.99	c  375s |      14 |  1422035 |    87352 |    41789      3 |      765 |      656
377.21/377.39	c  376s |      15 |  1423942 |    87632 |    41789      3 |      765 |      656
379.41/379.58	c  379s |      15 |  1429296 |    88032 |    41789      3 |      765 |      656
381.71/381.88	c  381s |      15 |  1436488 |    88732 |    41789      3 |      765 |      656
384.10/384.28	c  383s |      15 |  1439875 |    89232 |    41789      3 |      765 |      656
386.20/386.31	c  385s |      15 |  1444107 |    89832 |    41789      3 |      765 |      656
388.50/388.63	c  388s |      15 |  1460773 |    90532 |    41789      3 |      765 |      656
390.79/390.94	c  390s |      15 |  1472637 |    91232 |    41789      3 |      765 |      656
392.89/393.08	c  392s |      15 |  1483366 |    91932 |    41789      3 |      765 |      656
394.99/395.11	c  394s |      15 |  1496031 |    92632 |    41789      3 |      765 |      656
397.10/397.29	c  396s |      15 |  1507977 |    93232 |    41789      3 |      765 |      656
399.20/399.38	c  398s |      15 |  1518648 |    93832 |    41789      3 |      765 |      656
401.50/401.68	c  401s |      15 |  1523450 |    94632 |    41789      3 |      765 |      656
403.79/403.91	c  403s |      15 |  1532499 |    95232 |    41789      3 |      765 |      656
405.80/405.97	c  405s |      15 |  1536332 |    95632 |    41789      3 |      765 |      656
407.89/408.09	c  407s |      15 |  1540663 |    96132 |    41789      3 |      765 |      656
409.99/410.12	c  409s |      15 |  1544035 |    96632 |    41789      3 |      765 |      656
412.09/412.25	c  411s |      15 |  1548627 |    97132 |    41789      3 |      765 |      656
415.48/415.62	c  415s |      15 |  1550243 |    97532 |    41789      3 |      765 |      656
417.89/418.06	c  417s |      15 |  1551032 |    97732 |    41789      3 |      765 |      656
420.19/420.31	c  419s |      15 |  1555208 |    98232 |    41789      3 |      765 |      656
422.59/422.70	c  422s |      15 |  1557781 |    98732 |    41789      3 |      765 |      656
424.79/424.91	c  424s |      15 |  1559707 |    99132 |    41789      3 |      765 |      656
426.89/427.01	c  426s |      15 |  1566135 |    99532 |    41789      3 |      765 |      656
428.99/429.15	c  428s |      15 |  1569821 |    99932 |    41789      3 |      765 |      656
431.19/431.33	c  430s |      15 |  1574752 |   100432 |    41789      3 |      765 |      656
433.39/433.54	c  433s |      15 |  1579275 |   100932 |    41789      3 |      765 |      656
435.78/435.97	c  435s |      15 |  1582472 |   101432 |    41789      3 |      765 |      656
438.08/438.29	c  437s |      15 |  1588011 |   102032 |    41789      3 |      765 |      656
440.68/440.87	c  440s |      15 |  1590486 |   102532 |    41789      3 |      765 |      656
442.77/442.92	c  442s |      15 |  1591278 |   102732 |    41789      3 |      765 |      656
447.07/447.27	c  446s |      15 |  1591534 |   102832 |    41789      3 |      765 |      656
450.67/450.82	c  450s |      15 |  1592631 |   103032 |    41789      3 |      765 |      656
452.77/452.95	c  452s |      15 |  1594305 |   103332 |    41789      3 |      765 |      656
454.78/454.97	c  454s |      15 |  1597998 |   103832 |    41789      3 |      765 |      656
457.07/457.28	c  456s |      15 |  1599113 |   104032 |    41789      4 |      765 |      656
459.37/459.57	c  459s |      15 |  1602971 |   104532 |    41789      4 |      765 |      656
461.77/462.00	c  461s |      15 |  1603583 |   104732 |    41789      4 |      765 |      656
464.36/464.56	c  464s |      15 |  1604786 |   105032 |    41789      4 |      765 |      656
466.46/466.60	c  466s |      15 |  1605992 |   105232 |    41789      4 |      765 |      656
468.86/469.09	c  468s |      15 |  1607867 |   105532 |    41789      4 |      765 |      656
471.06/471.28	c  470s |      15 |  1610019 |   106132 |    41789      4 |      765 |      656
473.26/473.42	c  472s |      15 |  1613662 |   106632 |    41789      4 |      765 |      656
475.36/475.50	c  474s |      15 |  1616834 |   107132 |    41789      4 |      765 |      656
477.76/477.96	c  477s |      15 |  1620568 |   107632 |    41789      4 |      765 |      656
480.17/480.32	c  479s |      15 |  1622575 |   108032 |    41789      4 |      765 |      656
484.16/484.32	c  483s |      15 |  1624332 |   108432 |    41789      4 |      765 |      656
486.26/486.47	c  485s |      15 |  1625902 |   108732 |    41789      4 |      765 |      656
488.76/488.97	c  488s |      15 |  1628968 |   109132 |    41789      4 |      765 |      656
490.96/491.19	c  490s |      15 |  1630577 |   109532 |    41789      4 |      765 |      656
493.26/493.44	c  492s |      15 |  1632069 |   109832 |    41789      4 |      765 |      656
495.66/495.86	c  495s |      15 |  1634372 |   110432 |    41789      4 |      765 |      656
497.76/497.92	c  497s |      15 |  1637381 |   110732 |    41789      4 |      765 |      656
500.47/500.61	c  500s |      15 |  1640558 |   111132 |    41789      4 |      765 |      656
502.57/502.76	c  502s |      15 |  1641457 |   111432 |    41789      4 |      765 |      656
504.87/505.09	c  504s |      15 |  1643426 |   111832 |    41789      4 |      765 |      656
507.46/507.69	c  507s |      15 |  1646965 |   112332 |    41789      4 |      765 |      656
509.96/510.14	c  509s |      15 |  1648808 |   112632 |    41789      4 |      765 |      656
512.36/512.54	c  512s |      15 |  1650209 |   112932 |    41789      4 |      765 |      656
514.56/514.78	c  514s |      15 |  1651557 |   113232 |    41789      4 |      765 |      656
516.96/517.13	c  516s |      15 |  1653396 |   113632 |    41789      4 |      765 |      656
519.06/519.24	c  518s |      15 |  1655384 |   113932 |    41789      4 |      765 |      656
521.66/521.86	c  521s |      15 |  1657186 |   114332 |    41789      4 |      765 |      656
524.16/524.32	c  523s |      15 |  1657999 |   114532 |    41789      4 |      765 |      656
526.56/526.72	c  526s |      15 |  1660736 |   115032 |    41789      4 |      765 |      656
528.76/528.97	c  528s |      15 |  1661713 |   115332 |    41789      4 |      765 |      656
530.96/531.11	c  530s |      15 |  1664211 |   115732 |    41789      4 |      765 |      656
533.36/533.56	c  533s |      15 |  1667284 |   116232 |    41789      4 |      765 |      656
536.15/536.31	c  535s |      15 |  1668609 |   116632 |    41789      4 |      765 |      656
538.45/538.69	c  538s |      15 |  1669999 |   116932 |    41789      4 |      765 |      656
540.95/541.13	c  540s |      15 |  1671550 |   117432 |    41789      4 |      765 |      656
543.44/543.61	c  543s |      15 |  1672702 |   117732 |    41789      4 |      765 |      656
546.14/546.30	c  545s |      15 |  1673623 |   118032 |    41789      4 |      765 |      656
549.15/549.35	c  548s |      15 |  1674752 |   118332 |    41789      4 |      765 |      656
553.65/553.86	c  553s |      15 |  1675346 |   118532 |    41789      4 |      765 |      656
555.64/555.88	c  555s |      15 |  1676409 |   118832 |    41789      4 |      765 |      656
558.45/558.61	c  558s |      15 |  1677044 |   119032 |    41789      4 |      765 |      656
560.64/560.84	c  560s |      15 |  1677294 |   119132 |    41789      4 |      765 |      656
562.74/562.94	c  562s |      15 |  1677880 |   119332 |    41789      4 |      765 |      656
564.84/565.03	c  564s |      15 |  1678906 |   119532 |    41789      4 |      765 |      656
567.23/567.48	c  566s |      15 |  1680057 |   119832 |    41789      4 |      765 |      656
569.84/570.03	c  569s |      15 |  1680627 |   120032 |    41789      4 |      765 |      656
573.14/573.37	c  572s |      15 |  1681498 |   120232 |    41789      4 |      765 |      656
577.83/578.03	c  577s |      15 |  1681992 |   120432 |    41789      4 |      765 |      656
581.13/581.35	c  580s |      15 |  1682235 |   120532 |    41789      4 |      765 |      656
583.23/583.43	c  582s |      15 |  1682548 |   120632 |    41789      4 |      765 |      656
587.24/587.44	c  586s |      15 |  1682693 |   120732 |    41789      4 |      765 |      656
590.13/590.36	c  589s |      15 |  1683033 |   120832 |    41789      4 |      765 |      656
592.73/592.97	c  592s |      15 |  1683848 |   121132 |    41789      4 |      765 |      656
595.03/595.26	c  594s |      15 |  1684638 |   121332 |    41789      4 |      765 |      656
597.52/597.79	c  597s |      15 |  1685705 |   121532 |    41789      4 |      765 |      656
599.72/599.94	c  599s |      15 |  1686121 |   121632 |    41789      4 |      765 |      656
604.22/604.40	c  603s |      15 |  1686874 |   121832 |    41789      4 |      765 |      656
606.42/606.69	c  606s |      15 |  1688807 |   122132 |    41789      4 |      765 |      656
609.01/609.27	c  608s |      15 |  1689618 |   122332 |    41789      4 |      765 |      656
612.01/612.20	c  611s |      15 |  1690290 |   122532 |    41789      4 |      765 |      656
614.62/614.84	c  614s |      15 |  1690958 |   122732 |    41789      4 |      765 |      656
618.02/618.23	c  617s |      15 |  1691550 |   122932 |    41789      4 |      765 |      656
620.22/620.44	c  619s |      15 |  1692364 |   123132 |    41789      4 |      765 |      656
622.61/622.83	c  622s |      15 |  1692970 |   123332 |    41789      4 |      765 |      656
625.00/625.24	c  624s |      15 |  1694788 |   123532 |    41789      4 |      765 |      656
628.30/628.59	c  628s |      15 |  1695380 |   123732 |    41789      4 |      765 |      656
632.61/632.85	c  632s |      15 |  1696082 |   123932 |    41789      4 |      765 |      656
637.81/638.04	c  637s |      15 |  1697450 |   124232 |    41789      4 |      765 |      656
641.70/641.97	c  641s |      15 |  1699121 |   124432 |    41789      4 |      765 |      656
644.60/644.85	c  644s |      15 |  1700363 |   124732 |    41789      4 |      765 |      656
646.90/647.18	c  646s |      15 |  1701180 |   124932 |    41789      4 |      765 |      656
649.80/650.10	c  649s |      15 |  1702118 |   125232 |    41789      4 |      765 |      656
652.99/653.20	c  652s |      15 |  1704744 |   125632 |    41789      4 |      765 |      656
655.50/655.72	c  655s |      15 |  1705282 |   125732 |    41789      4 |      765 |      656
657.99/658.28	c  657s |      15 |  1707894 |   125932 |    41789      4 |      765 |      656
661.09/661.34	c  660s |      15 |  1708538 |   126232 |    41789      4 |      765 |      656
663.28/663.55	c  663s |      15 |  1709617 |   126532 |    41789      4 |      765 |      656
665.39/665.69	c  665s |      15 |  1711540 |   126832 |    41789      4 |      765 |      656
668.19/668.42	c  667s |      15 |  1713083 |   127032 |    41789      4 |      765 |      656
670.99/671.28	c  670s |      15 |  1713845 |   127232 |    41789      4 |      765 |      656
673.78/674.02	c  673s |      15 |  1716404 |   127532 |    41789      4 |      765 |      656
676.29/676.52	c  675s |      15 |  1717252 |   127732 |    41789      4 |      765 |      656
678.78/679.06	c  678s |      15 |  1718167 |   127932 |    41789      4 |      765 |      656
681.78/682.04	c  681s |      15 |  1720289 |   128232 |    41789      4 |      765 |      656
685.38/685.60	c  685s |      15 |  1722034 |   128432 |    41789      5 |      765 |      656
687.78/688.01	c  687s |      15 |  1724894 |   128832 |    41789      5 |      765 |      656
691.68/692.00	c  691s |      15 |  1727452 |   129232 |    41789      5 |      765 |      656
694.87/695.18	c  694s |      15 |  1729908 |   129632 |    41789      5 |      765 |      656
697.18/697.42	c  696s |      15 |  1735388 |   130132 |    41789      5 |      765 |      656
699.37/699.65	c  699s |      15 |  1735875 |   130332 |    41789      5 |      765 |      656
701.67/701.95	c  701s |      15 |  1738173 |   130732 |    45968      5 |      765 |      656
703.96/704.23	c  703s |      15 |  1740408 |   131032 |    45968      5 |      765 |      656
706.56/706.87	c  706s |      15 |  1741259 |   131232 |    45968      5 |      765 |      656
709.57/709.81	c  709s |      15 |  1743086 |   131532 |    45968      5 |      765 |      656
709.77/710.04	c  709s |      16 |  1743183 |   131552 |    45968      5 |      765 |      656
711.86/712.19	c  711s |      16 |  1749247 |   132152 |    45968      5 |      765 |      656
714.06/714.35	c  713s |      16 |  1752721 |   132852 |    45968      5 |      765 |      656
716.06/716.37	c  715s |      16 |  1760092 |   133552 |    45968      5 |      765 |      656
718.26/718.58	c  718s |      16 |  1772567 |   134152 |    45968      5 |      765 |      656
720.36/720.68	c  720s |      16 |  1794016 |   134852 |    45968      5 |      765 |      656
722.46/722.72	c  722s |      16 |  1804543 |   135552 |    45968      5 |      766 |      657
724.45/724.74	c  724s |      16 |  1815280 |   136152 |    45968      5 |      767 |      658
726.75/727.00	c  726s |      16 |  1832266 |   136952 |    45968      5 |      767 |      658
729.06/729.34	c  728s |      16 |  1840544 |   137852 |    45968      5 |      767 |      658
731.36/731.69	c  731s |      16 |  1863491 |   138652 |    45968      5 |      767 |      658
733.64/733.94	c  733s |      16 |  1866522 |   139152 |    45968      5 |      767 |      658
736.15/736.44	c  735s |      16 |  1869180 |   139652 |    45968      5 |      767 |      658
738.14/738.46	c  737s |      16 |  1870191 |   140052 |    45968      5 |      767 |      658
740.44/740.71	c  740s |      16 |  1871749 |   140452 |    45968      5 |      767 |      658
742.44/742.74	c  742s |      16 |  1873158 |   140752 |    45968      5 |      767 |      658
744.83/745.11	c  744s |      16 |  1875528 |   141152 |    45968      5 |      767 |      658
747.44/747.75	c  747s |      16 |  1877569 |   141552 |    45968      5 |      767 |      658
750.14/750.46	c  749s |      16 |  1878720 |   141852 |    45968      5 |      767 |      658
752.33/752.61	c  752s |      16 |  1889379 |   142352 |    45968      5 |      767 |      658
754.63/754.99	c  754s |      16 |  1897731 |   143052 |    45968      5 |      767 |      658
756.93/757.23	c  756s |      16 |  1899268 |   143452 |    45968      5 |      767 |      658
759.03/759.35	c  758s |      16 |  1902306 |   143952 |    45968      5 |      767 |      658
761.32/761.61	c  761s |      16 |  1905623 |   144352 |    45968      5 |      767 |      658
763.63/763.98	c  763s |      16 |  1915643 |   145052 |    45968      5 |      767 |      658
765.73/766.01	c  765s |      16 |  1927039 |   145652 |    45968      5 |      767 |      658
767.83/768.11	c  767s |      16 |  1940407 |   146452 |    45968      5 |      767 |      658
769.93/770.20	c  769s |      16 |  1947800 |   147052 |    45968      5 |      767 |      658
772.22/772.53	c  771s |      16 |  1957016 |   147752 |    45968      5 |      767 |      658
774.32/774.61	c  774s |      16 |  1959829 |   148252 |    45968      5 |      767 |      658
776.52/776.81	c  776s |      16 |  1961981 |   148652 |    45968      5 |      767 |      658
779.22/779.56	c  779s |      16 |  1962915 |   148952 |    45968      5 |      767 |      658
781.32/781.63	c  781s |      16 |  1964813 |   149252 |    45968      5 |      767 |      658
783.41/783.73	c  783s |      16 |  1975154 |   149852 |    45968      5 |      767 |      658
785.51/785.80	c  785s |      16 |  1985248 |   150352 |    45968      5 |      767 |      658
787.71/788.02	c  787s |      16 |  1996250 |   151052 |    45968      5 |      767 |      658
789.71/790.06	c  789s |      16 |  2003135 |   151552 |    45968      5 |      767 |      658
791.71/792.09	c  791s |      16 |  2004062 |   151852 |    45968      5 |      767 |      658
794.10/794.49	c  793s |      16 |  2007297 |   152352 |    45968      5 |      767 |      658
798.00/798.34	c  797s |      16 |  2013785 |   152852 |    45968      6 |      768 |      659
800.10/800.46	c  799s |      16 |  2028492 |   153552 |    45968      6 |      768 |      659
802.20/802.54	c  802s |      16 |  2038860 |   154352 |    45968      6 |      768 |      659
804.20/804.57	c  804s |      16 |  2041976 |   154852 |    45968      6 |      768 |      659
807.40/807.70	c  807s |      16 |  2054224 |   155652 |    45968      6 |      768 |      659
809.40/809.79	c  809s |      16 |  2069282 |   156352 |    45968      6 |      768 |      659
811.60/811.96	c  811s |      16 |  2085333 |   157152 |    45968      6 |      768 |      659
813.80/814.19	c  813s |      16 |  2093027 |   157852 |    45968      6 |      768 |      659
815.90/816.29	c  815s |      16 |  2111637 |   158552 |    45968      6 |      768 |      659
817.99/818.34	c  817s |      16 |  2125643 |   159452 |    45968      6 |      768 |      659
820.19/820.52	c  819s |      16 |  2128978 |   160052 |    45968      6 |      768 |      659
822.39/822.78	c  822s |      16 |  2131770 |   160452 |    45968      6 |      768 |      659
824.39/824.78	c  824s |      16 |  2141149 |   161052 |    45968      6 |      768 |      659
826.49/826.89	c  826s |      16 |  2144945 |   161652 |    45968      6 |      768 |      659
828.59/828.90	c  828s |      16 |  2149809 |   162352 |    45968      6 |      768 |      659
830.69/831.06	c  830s |      16 |  2162273 |   163552 |    45968      6 |      768 |      659
832.99/833.36	c  832s |      16 |  2172662 |   164352 |    45968      6 |      768 |      659
835.19/835.55	c  835s |      16 |  2179002 |   164952 |    45968      6 |      768 |      659
837.19/837.58	c  837s |      16 |  2197222 |   165652 |    45968      6 |      768 |      659
839.39/839.76	c  839s |      16 |  2208033 |   166452 |    45968      6 |      768 |      659
841.78/842.18	c  841s |      16 |  2219941 |   167152 |    45968      6 |      768 |      659
843.78/844.19	c  843s |      16 |  2231631 |   167852 |    45968      6 |      768 |      659
845.88/846.26	c  845s |      16 |  2237107 |   168652 |    45968      6 |      768 |      659
847.98/848.36	c  847s |      16 |  2253981 |   169252 |    45968      6 |      768 |      659
850.18/850.58	c  850s |      16 |  2267671 |   170052 |    45968      6 |      768 |      659
852.38/852.78	c  852s |      16 |  2280345 |   170752 |    45968      6 |      768 |      659
854.38/854.79	c  854s |      16 |  2288727 |   171352 |    45968      6 |      768 |      659
856.47/856.81	c  856s |      16 |  2293772 |   171852 |    45968      6 |      768 |      659
858.57/858.91	c  858s |      16 |  2307069 |   172452 |    45968      6 |      768 |      659
860.77/861.10	c  860s |      16 |  2321137 |   173152 |    45968      6 |      768 |      659
862.97/863.37	c  862s |      16 |  2323882 |   173752 |    45968      6 |      768 |      659
865.07/865.47	c  864s |      16 |  2331330 |   174252 |    45968      6 |      768 |      659
867.17/867.54	c  867s |      16 |  2339772 |   174752 |    45968      6 |      768 |      659
869.57/869.98	c  869s |      16 |  2349642 |   175452 |    45968      6 |      768 |      659
871.86/872.28	c  871s |      16 |  2360115 |   175952 |    45968      6 |      768 |      659
874.17/874.51	c  873s |      16 |  2368247 |   176652 |    45968      6 |      768 |      659
876.47/876.88	c  876s |      16 |  2380269 |   177052 |    45968      7 |      768 |      659
878.76/879.14	c  878s |      16 |  2393654 |   177752 |    45968      7 |      768 |      659
881.06/881.44	c  880s |      16 |  2402623 |   178352 |    45968      7 |      768 |      659
883.26/883.68	c  883s |      16 |  2414567 |   179052 |    45968      7 |      768 |      659
885.46/885.87	c  885s |      16 |  2426725 |   179852 |    45968      7 |      768 |      659
887.76/888.16	c  887s |      16 |  2435232 |   180652 |    45968      7 |      768 |      659
890.06/890.42	c  889s |      16 |  2450963 |   181252 |    45968      7 |      768 |      659
892.16/892.58	c  892s |      16 |  2461559 |   182052 |    45968      7 |      768 |      659
894.36/894.71	c  894s |      16 |  2472146 |   182952 |    45968      7 |      768 |      659
897.36/897.79	c  897s |      16 |  2474862 |   183452 |    45968      7 |      768 |      659
899.35/899.80	c  899s |      16 |  2481383 |   184152 |    45968      7 |      768 |      659
901.85/902.22	c  901s |      16 |  2489209 |   184952 |    45968      7 |      768 |      659
903.86/904.30	c  903s |      16 |  2493744 |   185652 |    45968      7 |      768 |      659
906.06/906.47	c  905s |      16 |  2500104 |   186352 |    45968      7 |      768 |      659
908.05/908.47	c  907s |      16 |  2506806 |   187052 |    45968      7 |      768 |      659
910.15/910.55	c  910s |      16 |  2511346 |   187552 |    45968      7 |      768 |      659
912.45/912.84	c  912s |      16 |  2517445 |   188152 |    45968      7 |      768 |      659
914.65/915.02	c  914s |      16 |  2519742 |   188652 |    45968      7 |      768 |      659
916.85/917.20	c  916s |      16 |  2523739 |   189352 |    45968      7 |      768 |      659
919.05/919.47	c  918s |      16 |  2526505 |   189952 |    45968      7 |      768 |      659
921.25/921.69	c  921s |      16 |  2529320 |   190452 |    45968      7 |      768 |      659
923.45/923.80	c  923s |      16 |  2531421 |   190852 |    45968      7 |      768 |      659
925.96/926.37	c  925s |      16 |  2534218 |   191452 |    45968      7 |      768 |      659
928.95/929.35	c  928s |      16 |  2536172 |   191952 |    45968      7 |      768 |      659
931.25/931.63	c  931s |      16 |  2539199 |   192452 |    45968      7 |      768 |      659
933.65/934.08	c  933s |      16 |  2540660 |   192852 |    45968      7 |      768 |      659
936.15/936.56	c  936s |      16 |  2544049 |   193352 |    45968      7 |      768 |      659
938.55/938.91	c  938s |      16 |  2552434 |   193952 |    45968      7 |      768 |      659
940.75/941.11	c  940s |      16 |  2560587 |   194552 |    45968      7 |      768 |      659
942.74/943.17	c  942s |      16 |  2567442 |   195052 |    45968      7 |      768 |      659
944.85/945.27	c  944s |      16 |  2570654 |   195452 |    45968      7 |      768 |      659
946.95/947.36	c  946s |      16 |  2575244 |   196152 |    50565      7 |      768 |      659
949.24/949.69	c  949s |      16 |  2577178 |   196552 |    50565      7 |      768 |      659
951.45/951.82	c  951s |      16 |  2579356 |   196852 |    50565      7 |      768 |      659
953.46/953.83	c  953s |      17 |  2586113 |   197432 |    50565      7 |      768 |      659
955.85/956.21	c  955s |      17 |  2588366 |   197832 |    50565      7 |      768 |      659
957.85/958.25	c  957s |      17 |  2600294 |   198332 |    50565      7 |      768 |      659
959.95/960.39	c  959s |      17 |  2615594 |   199032 |    50565      7 |      768 |      659
962.15/962.58	c  962s |      17 |  2624213 |   199732 |    50565      7 |      768 |      659
964.24/964.67	c  964s |      17 |  2637536 |   200332 |    50565      7 |      768 |      659
966.34/966.71	c  966s |      17 |  2646674 |   201032 |    50565      7 |      768 |      659
968.44/968.86	c  968s |      17 |  2653888 |   201732 |    50565      7 |      768 |      659
970.64/971.05	c  970s |      17 |  2664565 |   202432 |    50565      7 |      768 |      659
972.84/973.24	c  972s |      17 |  2670107 |   203132 |    50565      7 |      768 |      659
974.94/975.32	c  974s |      17 |  2680600 |   203832 |    50565      7 |      768 |      659
976.94/977.33	c  976s |      17 |  2691478 |   204432 |    50565      7 |      768 |      659
979.24/979.60	c  979s |      17 |  2702486 |   205132 |    50565      7 |      768 |      659
981.45/981.89	c  981s |      17 |  2707840 |   205732 |    50565      7 |      768 |      659
984.45/984.86	c  984s |      17 |  2712807 |   206232 |    50565      8 |      768 |      659
986.46/986.88	c  986s |      17 |  2722238 |   206932 |    50565      8 |      768 |      659
988.75/989.19	c  988s |      17 |  2731036 |   207732 |    50565      8 |      768 |      659
991.15/991.54	c  991s |      17 |  2738506 |   208332 |    50565      8 |      768 |      659
993.35/993.71	c  993s |      17 |  2748277 |   209132 |    50565      8 |      768 |      659
995.35/995.72	c  995s |      17 |  2752042 |   209532 |    50565      8 |      768 |      659
997.35/997.76	c  997s |      17 |  2758054 |   210132 |    50565      8 |      768 |      659
999.65/1000.01	c  999s |      17 |  2761964 |   210732 |    50565      8 |      768 |      659
1001.85/1002.22	c 1001s |      17 |  2764029 |   211232 |    50565      8 |      768 |      659
1003.95/1004.35	c 1003s |      17 |  2767794 |   211832 |    50565      8 |      768 |      659
1006.15/1006.55	c 1006s |      17 |  2770095 |   212332 |    50565      8 |      768 |      659
1008.54/1008.94	c 1008s |      17 |  2771889 |   212732 |    50565      8 |      768 |      659
1011.34/1011.75	c 1011s |      17 |  2773504 |   213032 |    50565      8 |      768 |      659
1013.94/1014.35	c 1013s |      17 |  2774512 |   213332 |    50565      8 |      768 |      659
1016.64/1017.07	c 1016s |      17 |  2775443 |   213632 |    50565      8 |      768 |      659
1018.74/1019.16	c 1018s |      17 |  2777121 |   213932 |    50565      8 |      768 |      659
1021.23/1021.66	c 1021s |      17 |  2778082 |   214232 |    50565      8 |      768 |      659
1023.64/1024.00	c 1023s |      17 |  2779149 |   214532 |    50565      8 |      768 |      659
1026.14/1026.50	c 1025s |      17 |  2780088 |   214832 |    50565      8 |      768 |      659
1028.54/1028.96	c 1028s |      17 |  2781002 |   215032 |    50565      8 |      768 |      659
1031.14/1031.50	c 1030s |      17 |  2782054 |   215332 |    50565      8 |      768 |      659
1033.24/1033.62	c 1033s |      17 |  2784052 |   215732 |    50565      8 |      768 |      659
1035.34/1035.72	c 1035s |      17 |  2784834 |   215932 |    50565      8 |      768 |      659
1037.34/1037.79	c 1037s |      17 |  2785714 |   216232 |    50565      8 |      768 |      659
1039.54/1039.94	c 1039s |      17 |  2787480 |   216732 |    50565      8 |      768 |      659
1041.73/1042.16	c 1041s |      17 |  2788426 |   217032 |    50565      8 |      768 |      659
1045.13/1045.55	c 1045s |      17 |  2788862 |   217232 |    50565      8 |      768 |      659
1047.23/1047.65	c 1047s |      17 |  2791206 |   217632 |    50565      8 |      768 |      659
1050.33/1050.74	c 1050s |      17 |  2793322 |   218032 |    50565      8 |      768 |      659
1052.63/1053.09	c 1052s |      17 |  2793872 |   218232 |    50565      8 |      768 |      659
1054.93/1055.33	c 1054s |      17 |  2794642 |   218432 |    50565      8 |      768 |      659
1057.43/1057.80	c 1057s |      17 |  2796310 |   218832 |    50565      8 |      768 |      659
1060.24/1060.61	c 1060s |      17 |  2797070 |   219032 |    50565      8 |      768 |      659
1062.74/1063.13	c 1062s |      17 |  2798010 |   219332 |    50565      8 |      768 |      659
1065.24/1065.65	c 1065s |      17 |  2798565 |   219532 |    50565      8 |      768 |      659
1068.73/1069.16	c 1068s |      17 |  2799091 |   219732 |    50565      8 |      768 |      659
1070.83/1071.27	c 1070s |      17 |  2799353 |   219832 |    50565      8 |      768 |      659
1073.83/1074.20	c 1073s |      17 |  2800033 |   220032 |    50565      8 |      768 |      659
1076.54/1076.92	c 1076s |      17 |  2800795 |   220232 |    50565      8 |      768 |      659
1078.83/1079.21	c 1078s |      17 |  2801057 |   220332 |    50565      8 |      768 |      659
1080.82/1081.22	c 1080s |      17 |  2802978 |   220632 |    50565      8 |      768 |      659
1082.83/1083.28	c 1082s |      17 |  2804038 |   220932 |    50565      8 |      768 |      659
1085.03/1085.47	c 1084s |      17 |  2810603 |   221432 |    50565      8 |      768 |      659
1087.43/1087.89	c 1087s |      17 |  2814339 |   221932 |    50565      8 |      768 |      659
1089.63/1090.00	c 1089s |      17 |  2814725 |   222032 |    50565      8 |      768 |      659
1091.83/1092.26	c 1091s |      17 |  2816993 |   222332 |    50565      8 |      768 |      659
1094.24/1094.68	c 1094s |      17 |  2818759 |   222632 |    50565      8 |      768 |      659
1096.44/1096.86	c 1096s |      17 |  2820102 |   222932 |    50565      8 |      768 |      659
1098.93/1099.31	c 1098s |      17 |  2821393 |   223232 |    50565      8 |      768 |      659
1102.13/1102.59	c 1102s |      17 |  2822164 |   223432 |    50565      8 |      768 |      659
1104.93/1105.35	c 1104s |      17 |  2822841 |   223632 |    50565      8 |      768 |      659
1107.43/1107.85	c 1107s |      17 |  2823111 |   223732 |    50565      8 |      768 |      659
1110.03/1110.45	c 1109s |      17 |  2824572 |   224032 |    50565      8 |      768 |      659
1112.53/1112.91	c 1112s |      17 |  2825986 |   224332 |    50565      8 |      768 |      659
1114.92/1115.32	c 1114s |      17 |  2826745 |   224532 |    50565      8 |      768 |      659
1117.82/1118.23	c 1117s |      17 |  2827722 |   224732 |    50565      8 |      768 |      659
1120.32/1120.74	c 1120s |      17 |  2828585 |   224932 |    50565      8 |      768 |      659
1124.32/1124.75	c 1124s |      17 |  2829153 |   225132 |    50565      8 |      768 |      659
1127.13/1127.55	c 1127s |      17 |  2829512 |   225232 |    50565      8 |      768 |      659
1132.02/1132.47	c 1131s |      17 |  2829688 |   225332 |    50565      8 |      768 |      659
1135.52/1135.95	c 1135s |      17 |  2830032 |   225432 |    50565      8 |      768 |      659
1139.22/1139.67	c 1139s |      17 |  2831962 |   225832 |    50565      8 |      768 |      659
1142.62/1143.01	c 1142s |      17 |  2833351 |   226132 |    50565      8 |      768 |      659
1145.02/1145.42	c 1144s |      17 |  2833774 |   226232 |    50565      8 |      768 |      659
1147.31/1147.75	c 1147s |      17 |  2834755 |   226432 |    50565      8 |      768 |      659
1150.91/1151.33	c 1150s |      17 |  2835252 |   226632 |    50565      8 |      768 |      659
1153.41/1153.84	c 1153s |      17 |  2837178 |   226932 |    50565      8 |      768 |      659
1155.52/1155.98	c 1155s |      17 |  2839491 |   227232 |    50565      8 |      768 |      659
1157.72/1158.16	c 1157s |      17 |  2842360 |   227432 |    50565      8 |      769 |      660
1160.02/1160.45	c 1159s |      17 |  2854858 |   228132 |    50565      8 |      769 |      660
1162.33/1162.77	c 1162s |      17 |  2869444 |   228732 |    50565      8 |      769 |      660
1164.42/1164.84	c 1164s |      17 |  2880336 |   229332 |    50565      8 |      769 |      660
1166.62/1167.08	c 1166s |      17 |  2891703 |   229932 |    50565      8 |      769 |      660
1169.12/1169.58	c 1169s |      17 |  2894217 |   230432 |    50565      8 |      769 |      660
1171.52/1171.99	c 1171s |      17 |  2898708 |   231032 |    50565      8 |      769 |      660
1173.82/1174.23	c 1173s |      17 |  2907008 |   231632 |    50565      8 |      769 |      660
1176.72/1177.16	c 1176s |      17 |  2914913 |   232132 |    50565      9 |      769 |      660
1179.01/1179.46	c 1178s |      17 |  2932065 |   232932 |    50565      9 |      769 |      660
1181.31/1181.76	c 1181s |      17 |  2944046 |   233732 |    50565      9 |      769 |      660
1183.51/1183.99	c 1183s |      17 |  2963511 |   234532 |    50565      9 |      769 |      660
1185.71/1186.11	c 1185s |      17 |  2974957 |   235232 |    50565      9 |      769 |      660
1187.91/1188.31	c 1187s |      17 |  2978976 |   235832 |    50565      9 |      769 |      660
1190.21/1190.60	c 1190s |      17 |  2981353 |   236332 |    50565      9 |      769 |      660
1192.31/1192.73	c 1192s |      17 |  2983471 |   236732 |    50565      9 |      769 |      660
1194.71/1195.11	c 1194s |      17 |  2985001 |   237132 |    50565      9 |      769 |      660
1196.91/1197.37	c 1196s |      17 |  2985978 |   237432 |    50565      9 |      769 |      660
1199.61/1200.02	c 1199s |      17 |  2987209 |   237732 |    50565      9 |      769 |      660
1202.72/1203.15	c 1202s |      17 |  2988030 |   238032 |    50565      9 |      769 |      660
1204.81/1205.20	c 1204s |      17 |  2989631 |   238332 |    50565      9 |      769 |      660
1207.42/1207.81	c 1207s |      17 |  2991050 |   238732 |    50565      9 |      769 |      660
1209.72/1210.17	c 1209s |      17 |  2991830 |   239032 |    50565      9 |      769 |      660
1212.01/1212.46	c 1211s |      17 |  2993081 |   239332 |    50565      9 |      769 |      660
1214.11/1214.51	c 1213s |      17 |  3003417 |   240132 |    50565      9 |      769 |      660
1216.21/1216.61	c 1216s |      17 |  3015515 |   240832 |    50565      9 |      769 |      660
1218.21/1218.69	c 1218s |      17 |  3030217 |   241432 |    50565      9 |      769 |      660
1220.61/1221.09	c 1220s |      17 |  3035094 |   241932 |    50565      9 |      769 |      660
1222.71/1223.11	c 1222s |      17 |  3049926 |   242532 |    50565      9 |      769 |      660
1224.70/1225.15	c 1224s |      17 |  3056524 |   243232 |    50565      9 |      769 |      660
1226.70/1227.16	c 1226s |      17 |  3066697 |   243932 |    50565      9 |      769 |      660
1228.90/1229.31	c 1228s |      17 |  3079496 |   244632 |    50565      9 |      769 |      660
1231.20/1231.69	c 1231s |      17 |  3090567 |   245332 |    50565      9 |      769 |      660
1233.70/1234.11	c 1233s |      17 |  3095581 |   245932 |    50565      9 |      769 |      660
1236.60/1237.02	c 1236s |      17 |  3096386 |   246232 |    50565      9 |      769 |      660
1238.60/1239.09	c 1238s |      17 |  3099444 |   246632 |    50565      9 |      769 |      660
1240.90/1241.32	c 1240s |      17 |  3100848 |   247032 |    50565      9 |      769 |      660
1243.31/1243.70	c 1243s |      17 |  3108036 |   247832 |    50565      9 |      769 |      660
1245.41/1245.85	c 1245s |      17 |  3110228 |   248332 |    50565      9 |      769 |      660
1247.81/1248.20	c 1247s |      17 |  3111651 |   248832 |    50565      9 |      769 |      660
1250.21/1250.65	c 1250s |      17 |  3114130 |   249232 |    50565      9 |      769 |      660
1252.61/1253.04	c 1252s |      17 |  3117568 |   249832 |    50565      9 |      769 |      660
1255.00/1255.45	c 1254s |      17 |  3118871 |   250232 |    50565      9 |      769 |      660
1257.90/1258.31	c 1257s |      17 |  3120297 |   250532 |    50565      9 |      769 |      660
1260.10/1260.53	c 1259s |      17 |  3121593 |   250832 |    50565      9 |      769 |      660
1262.30/1262.70	c 1262s |      17 |  3123902 |   251232 |    50565      9 |      769 |      660
1264.60/1265.01	c 1264s |      17 |  3125091 |   251532 |    50565      9 |      769 |      660
1267.00/1267.42	c 1266s |      17 |  3126880 |   251932 |    50565      9 |      769 |      660
1269.11/1269.59	c 1269s |      17 |  3127296 |   252132 |    50565      9 |      769 |      660
1271.80/1272.20	c 1271s |      17 |  3128891 |   252532 |    50565      9 |      769 |      660
1274.40/1274.88	c 1274s |      17 |  3129691 |   252732 |    50565      9 |      769 |      660
1277.10/1277.56	c 1277s |      17 |  3130984 |   253032 |    50565      9 |      769 |      660
1279.50/1279.90	c 1279s |      17 |  3133244 |   253332 |    50565      9 |      769 |      660
1282.21/1282.66	c 1282s |      17 |  3136157 |   253832 |    50565      9 |      769 |      660
1284.60/1285.04	c 1284s |      17 |  3138441 |   254232 |    50565      9 |      769 |      660
1286.80/1287.29	c 1286s |      17 |  3140186 |   254632 |    50565      9 |      769 |      660
1289.50/1289.99	c 1289s |      17 |  3141722 |   255032 |    50565      9 |      769 |      660
1291.99/1292.45	c 1291s |      17 |  3142935 |   255332 |    50565      9 |      769 |      660
1294.19/1294.67	c 1294s |      17 |  3144578 |   255732 |    50565      9 |      769 |      660
1296.50/1296.98	c 1296s |      17 |  3145563 |   255932 |    50565      9 |      769 |      660
1298.70/1299.16	c 1298s |      17 |  3153839 |   256532 |    50565      9 |      769 |      660
1301.19/1301.64	c 1301s |      17 |  3158090 |   257032 |    50565      9 |      769 |      660
1303.69/1304.19	c 1303s |      17 |  3169367 |   257632 |    50565      9 |      769 |      660
1306.09/1306.58	c 1306s |      17 |  3183019 |   258132 |    50565      9 |      769 |      660
1309.39/1309.80	c 1309s |      17 |  3193942 |   258732 |    50565     10 |      769 |      660
1311.69/1312.10	c 1311s |      17 |  3200288 |   259432 |    50565     10 |      769 |      660
1313.89/1314.31	c 1313s |      17 |  3203765 |   259932 |    50565     10 |      769 |      660
1315.99/1316.40	c 1315s |      17 |  3215805 |   260632 |    50565     10 |      769 |      660
1318.09/1318.50	c 1317s |      17 |  3221801 |   261532 |    50565     10 |      769 |      660
1320.19/1320.67	c 1320s |      17 |  3237228 |   262332 |    50565     10 |      769 |      660
1322.29/1322.72	c 1322s |      17 |  3248762 |   263032 |    50565     10 |      769 |      660
1324.49/1324.93	c 1324s |      17 |  3259124 |   263832 |    50565     10 |      769 |      660
1326.69/1327.13	c 1326s |      17 |  3268624 |   264632 |    50565     10 |      769 |      660
1329.29/1329.76	c 1329s |      17 |  3271663 |   265032 |    50565     10 |      769 |      660
1331.79/1332.23	c 1331s |      17 |  3272622 |   265232 |    50565     10 |      769 |      660
1333.99/1334.46	c 1333s |      17 |  3272959 |   265332 |    50565     10 |      769 |      660
1336.39/1336.80	c 1336s |      17 |  3273870 |   265532 |    50565     10 |      769 |      660
1338.59/1339.03	c 1338s |      17 |  3279843 |   266232 |    50565     10 |      769 |      660
1340.78/1341.23	c 1340s |      17 |  3285914 |   266832 |    50565     10 |      769 |      660
1342.89/1343.34	c 1342s |      17 |  3293849 |   267532 |    50565     10 |      769 |      660
1345.08/1345.53	c 1344s |      17 |  3295815 |   268032 |    50565     10 |      769 |      660
1347.68/1348.11	c 1347s |      17 |  3298306 |   268532 |    50565     10 |      769 |      660
1349.78/1350.26	c 1349s |      17 |  3301230 |   269032 |    50565     10 |      769 |      660
1351.99/1352.48	c 1351s |      17 |  3303321 |   269432 |    50565     10 |      769 |      660
1354.28/1354.72	c 1354s |      17 |  3305090 |   269732 |    50565     10 |      769 |      660
1356.49/1356.95	c 1356s |      17 |  3314365 |   270332 |    50565     10 |      769 |      660
1358.99/1359.41	c 1358s |      17 |  3318619 |   271032 |    50565     10 |      769 |      660
1361.29/1361.75	c 1361s |      17 |  3320327 |   271432 |    50565     10 |      769 |      660
1363.59/1364.07	c 1363s |      17 |  3321428 |   271732 |    50565     10 |      769 |      660
1365.98/1366.42	c 1365s |      17 |  3321867 |   271932 |    50565     10 |      769 |      660
1368.29/1368.76	c 1368s |      17 |  3322546 |   272132 |    50565     10 |      769 |      660
1370.59/1371.03	c 1370s |      17 |  3324644 |   272432 |    50565     10 |      769 |      660
1372.89/1373.33	c 1372s |      17 |  3327576 |   272832 |    50565     10 |      769 |      660
1374.99/1375.42	c 1374s |      17 |  3329247 |   273132 |    50565     10 |      769 |      660
1377.28/1377.78	c 1377s |      17 |  3330602 |   273332 |    50565     10 |      769 |      660
1379.78/1380.27	c 1379s |      17 |  3333424 |   273632 |    50565     10 |      769 |      660
1382.18/1382.65	c 1382s |      17 |  3337049 |   274232 |    50565     10 |      769 |      660
1384.49/1384.96	c 1384s |      17 |  3338611 |   274532 |    50565     10 |      769 |      660
1386.88/1387.38	c 1386s |      17 |  3340582 |   274832 |    50565     10 |      769 |      660
1389.38/1389.83	c 1389s |      17 |  3342167 |   275032 |    50565     10 |      769 |      660
1391.48/1391.95	c 1391s |      17 |  3346246 |   275532 |    50565     10 |      769 |      660
1393.68/1394.16	c 1393s |      17 |  3354740 |   276332 |    50565     10 |      769 |      660
1395.88/1396.35	c 1395s |      17 |  3359182 |   276932 |    50565     10 |      769 |      660
1398.08/1398.60	c 1398s |      17 |  3363750 |   277532 |    50565     10 |      769 |      660
1400.38/1400.81	c 1400s |      17 |  3369796 |   278032 |    50565     10 |      770 |      661
1402.38/1402.82	c 1402s |      17 |  3372556 |   278732 |    50565     10 |      770 |      661
1404.58/1405.03	c 1404s |      17 |  3381473 |   279432 |    50565     10 |      770 |      661
1406.68/1407.10	c 1406s |      17 |  3389885 |   280132 |    50565     10 |      770 |      661
1408.78/1409.27	c 1408s |      17 |  3394947 |   280832 |    50565     10 |      770 |      661
1410.88/1411.35	c 1410s |      17 |  3402070 |   281532 |    50565     10 |      770 |      661
1412.88/1413.37	c 1412s |      17 |  3415324 |   282132 |    50565     10 |      770 |      661
1415.08/1415.53	c 1414s |      17 |  3420877 |   282732 |    50565     10 |      770 |      661
1417.27/1417.74	c 1417s |      17 |  3437670 |   283132 |    50565     10 |      771 |      662
1419.57/1420.08	c 1419s |      17 |  3448043 |   284032 |    50565     10 |      771 |      662
1421.88/1422.40	c 1421s |      17 |  3451625 |   284632 |    50565     10 |      771 |      662
1424.37/1424.81	c 1424s |      17 |  3454032 |   285032 |    50565     10 |      771 |      662
1426.67/1427.12	c 1426s |      17 |  3456867 |   285632 |    50565     10 |      771 |      662
1428.97/1429.48	c 1428s |      17 |  3458161 |   286032 |    50565     10 |      771 |      662
1432.17/1432.66	c 1432s |      17 |  3462163 |   286432 |    50565     11 |      771 |      662
1434.37/1434.81	c 1434s |      17 |  3474854 |   286932 |    50565     11 |      772 |      663
1436.37/1436.85	c 1436s |      17 |  3488227 |   287832 |    50565     11 |      772 |      663
1438.67/1439.13	c 1438s |      17 |  3499058 |   288732 |    50565     11 |      772 |      663
1440.87/1441.31	c 1440s |      17 |  3507892 |   289432 |    50565     11 |      772 |      663
1442.97/1443.45	c 1442s |      17 |  3526045 |   290132 |    50565     11 |      772 |      663
1444.98/1445.46	c 1444s |      17 |  3533841 |   290732 |    50565     11 |      772 |      663
1447.38/1447.81	c 1447s |      17 |  3537000 |   291332 |    50565     11 |      772 |      663
1449.57/1450.02	c 1449s |      17 |  3538193 |   291832 |    50565     11 |      772 |      663
1451.68/1452.19	c 1451s |      17 |  3539677 |   292232 |    50565     11 |      772 |      663
1453.78/1454.28	c 1453s |      17 |  3540861 |   292632 |    50565     11 |      772 |      663
1456.17/1456.67	c 1456s |      17 |  3542633 |   293132 |    50565     11 |      772 |      663
1458.47/1458.95	c 1458s |      17 |  3546731 |   293532 |    50565     11 |      772 |      663
1460.67/1461.19	c 1460s |      17 |  3563492 |   294332 |    55622     11 |      772 |      663
1462.97/1463.44	c 1462s |      17 |  3580693 |   295132 |    55622     11 |      772 |      663
1465.07/1465.59	c 1465s |      17 |  3595626 |   295832 |    55622     11 |      772 |      663
1466.27/1466.71	c 1466s |      18 |  3599606 |   296252 |    55622     11 |      772 |      663
1468.37/1468.85	c 1468s |      18 |  3611850 |   296752 |    55622     11 |      772 |      663
1470.67/1471.19	c 1470s |      18 |  3621627 |   297352 |    55622     11 |      772 |      663
1472.87/1473.36	c 1472s |      18 |  3630800 |   298052 |    55622     11 |      772 |      663
1475.07/1475.57	c 1475s |      18 |  3637970 |   298752 |    55622     11 |      772 |      663
1477.57/1478.02	c 1477s |      18 |  3651114 |   299552 |    55622     11 |      772 |      663
1479.97/1480.45	c 1479s |      18 |  3654449 |   300152 |    55622     11 |      772 |      663
1482.87/1483.33	c 1482s |      18 |  3657356 |   300652 |    55622     11 |      772 |      663
1485.07/1485.56	c 1485s |      18 |  3669364 |   301252 |    55622     11 |      772 |      663
1487.27/1487.70	c 1487s |      18 |  3680000 |   301852 |    55622     11 |      772 |      663
1489.27/1489.71	c 1489s |      18 |  3689965 |   302652 |    55622     11 |      772 |      663
1491.47/1491.96	c 1491s |      18 |  3703971 |   303252 |    55622     11 |      772 |      663
1493.47/1493.96	c 1493s |      18 |  3720824 |   303752 |    55622     11 |      772 |      663
1495.86/1496.31	c 1495s |      18 |  3730839 |   304352 |    55622     11 |      772 |      663
1498.16/1498.63	c 1498s |      18 |  3741331 |   305052 |    55622     11 |      772 |      663
1500.16/1500.66	c 1500s |      18 |  3751427 |   305552 |    55622     11 |      773 |      664
1502.27/1502.76	c 1502s |      18 |  3756854 |   306052 |    55622     11 |      773 |      664
1504.76/1505.23	c 1504s |      18 |  3758754 |   306452 |    55622     11 |      773 |      664
1506.96/1507.47	c 1506s |      18 |  3760658 |   306752 |    55622     11 |      773 |      664
1509.16/1509.64	c 1509s |      18 |  3764085 |   307252 |    55622     11 |      773 |      664
1511.36/1511.86	c 1511s |      18 |  3767449 |   307952 |    55622     11 |      773 |      664
1513.87/1514.33	c 1513s |      18 |  3769720 |   308552 |    55622     11 |      773 |      664
1516.07/1516.59	c 1516s |      18 |  3771669 |   308952 |    55622     11 |      773 |      664
1518.47/1518.91	c 1518s |      18 |  3773280 |   309352 |    55622     11 |      773 |      664
1520.87/1521.34	c 1520s |      18 |  3775043 |   309752 |    55622     11 |      773 |      664
1522.86/1523.39	c 1522s |      18 |  3777828 |   310052 |    55622     11 |      773 |      664
1525.56/1526.09	c 1525s |      18 |  3780892 |   310452 |    55622     11 |      773 |      664
1527.76/1528.26	c 1527s |      18 |  3783028 |   310752 |    55622     11 |      773 |      664
1529.96/1530.42	c 1529s |      18 |  3783954 |   310952 |    55622     11 |      773 |      664
1532.56/1533.00	c 1532s |      18 |  3784873 |   311152 |    55622     11 |      773 |      664
1534.55/1535.00	c 1534s |      18 |  3786020 |   311352 |    55622     11 |      773 |      664
1537.26/1537.77	c 1537s |      18 |  3786686 |   311552 |    55622     11 |      773 |      664
1539.86/1540.32	c 1539s |      18 |  3787104 |   311752 |    55622     11 |      773 |      664
1542.46/1542.91	c 1542s |      18 |  3788311 |   311952 |    55622     11 |      773 |      664
1544.86/1545.40	c 1544s |      18 |  3789039 |   312152 |    55622     11 |      773 |      664
1547.96/1548.47	c 1547s |      18 |  3791145 |   312452 |    55622     11 |      773 |      664
1550.26/1550.74	c 1550s |      18 |  3792455 |   312652 |    55622     11 |      773 |      664
1552.36/1552.86	c 1552s |      18 |  3792671 |   312752 |    55622     11 |      773 |      664
1555.46/1555.97	c 1555s |      18 |  3793254 |   312952 |    55622     11 |      773 |      664
1557.76/1558.29	c 1557s |      18 |  3794742 |   313152 |    55622     11 |      773 |      664
1559.96/1560.41	c 1559s |      18 |  3796043 |   313452 |    55622     11 |      773 |      664
1563.16/1563.67	c 1563s |      18 |  3797459 |   313752 |    55622     11 |      773 |      664
1566.15/1566.69	c 1566s |      18 |  3798394 |   313952 |    55622     11 |      773 |      664
1568.75/1569.28	c 1568s |      18 |  3799270 |   314152 |    55622     11 |      773 |      664
1570.96/1571.42	c 1570s |      18 |  3799854 |   314352 |    55622     11 |      773 |      664
1574.55/1575.08	c 1574s |      18 |  3800403 |   314552 |    55622     11 |      773 |      664
1577.95/1578.43	c 1577s |      18 |  3801434 |   314752 |    55622     11 |      773 |      664
1579.95/1580.46	c 1579s |      18 |  3802049 |   314852 |    55622     11 |      773 |      664
1582.56/1583.04	c 1582s |      18 |  3802465 |   314952 |    55622     11 |      773 |      664
1586.15/1586.65	c 1586s |      18 |  3802729 |   315052 |    55622     11 |      773 |      664
1588.95/1589.50	c 1588s |      18 |  3802938 |   315152 |    55622     11 |      773 |      664
1591.06/1591.58	c 1591s |      18 |  3803468 |   315252 |    55622     11 |      773 |      664
1594.66/1595.16	c 1594s |      18 |  3803781 |   315352 |    55622     11 |      773 |      664
1597.96/1598.48	c 1597s |      18 |  3804120 |   315452 |    55622     11 |      773 |      664
1600.75/1601.24	c 1600s |      18 |  3804346 |   315552 |    55622     11 |      773 |      664
1603.85/1604.31	c 1603s |      18 |  3804605 |   315652 |    55622     11 |      773 |      664
1606.85/1607.30	c 1606s |      18 |  3804954 |   315752 |    55622     11 |      773 |      664
1609.05/1609.54	c 1609s |      18 |  3805094 |   315852 |    55622     11 |      773 |      664
1612.95/1613.44	c 1612s |      18 |  3805477 |   315952 |    55622     11 |      773 |      664
1619.05/1619.59	c 1619s |      18 |  3806231 |   316152 |    55622     11 |      773 |      664
1622.25/1622.78	c 1622s |      18 |  3806458 |   316252 |    55622     11 |      773 |      664
1624.95/1625.40	c 1624s |      18 |  3807343 |   316552 |    55622     11 |      773 |      664
1628.15/1628.67	c 1628s |      18 |  3807999 |   316752 |    55622     11 |      773 |      664
1633.15/1633.67	c 1633s |      18 |  3808834 |   316952 |    55622     11 |      773 |      664
1637.64/1638.18	c 1637s |      18 |  3809035 |   317052 |    55622     11 |      773 |      664
1641.14/1641.60	c 1641s |      18 |  3811248 |   317352 |    55622     11 |      773 |      664
1643.34/1643.87	c 1643s |      18 |  3814063 |   317552 |    55622     11 |      773 |      664
1646.04/1646.50	c 1645s |      18 |  3816395 |   317852 |    55622     11 |      773 |      664
1648.94/1649.41	c 1648s |      18 |  3817221 |   318052 |    55622     11 |      773 |      664
1652.04/1652.59	c 1652s |      18 |  3818183 |   318252 |    55622     11 |      773 |      664
1655.74/1656.24	c 1655s |      18 |  3819055 |   318452 |    55622     11 |      773 |      664
1657.94/1658.44	c 1657s |      18 |  3819356 |   318552 |    55622     11 |      773 |      664
1660.24/1660.73	c 1660s |      18 |  3819646 |   318652 |    55622     11 |      773 |      664
1662.24/1662.75	c 1662s |      18 |  3819839 |   318752 |    55622     11 |      773 |      664
1664.84/1665.33	c 1664s |      18 |  3820043 |   318852 |    55622     11 |      773 |      664
1668.35/1668.82	c 1668s |      18 |  3821533 |   319152 |    55622     11 |      773 |      664
1670.74/1671.22	c 1670s |      18 |  3822236 |   319352 |    55622     11 |      773 |      664
1673.04/1673.53	c 1673s |      18 |  3822483 |   319452 |    55622     11 |      773 |      664
1675.84/1676.36	c 1675s |      18 |  3822804 |   319552 |    55622     11 |      773 |      664
1679.24/1679.78	c 1679s |      18 |  3823489 |   319752 |    55622     11 |      773 |      664
1682.33/1682.83	c 1682s |      18 |  3823628 |   319852 |    55622     11 |      773 |      664
1686.53/1687.06	c 1686s |      18 |  3824450 |   320052 |    55622     11 |      773 |      664
1688.63/1689.12	c 1688s |      18 |  3824647 |   320152 |    55622     11 |      773 |      664
1692.44/1693.00	c 1692s |      18 |  3824934 |   320252 |    55622     12 |      773 |      664
1695.23/1695.76	c 1695s |      18 |  3825124 |   320352 |    55622     12 |      773 |      664
1698.64/1699.12	c 1698s |      18 |  3826117 |   320552 |    55622     12 |      773 |      664
1701.04/1701.54	c 1701s |      18 |  3827226 |   320852 |    55622     12 |      773 |      664
1703.24/1703.73	c 1703s |      18 |  3828256 |   321052 |    55622     12 |      773 |      664
1705.33/1705.87	c 1705s |      18 |  3829283 |   321252 |    55622     12 |      773 |      664
1708.73/1709.25	c 1708s |      18 |  3831344 |   321552 |    55622     12 |      773 |      664
1710.93/1711.44	c 1710s |      18 |  3832217 |   321752 |    55622     12 |      773 |      664
1714.44/1714.92	c 1714s |      18 |  3833024 |   321952 |    55622     12 |      773 |      664
1717.53/1718.06	c 1717s |      18 |  3833206 |   322052 |    55622     12 |      773 |      664
1720.13/1720.60	c 1720s |      18 |  3833595 |   322152 |    55622     12 |      773 |      664
1723.03/1723.54	c 1723s |      18 |  3833796 |   322252 |    55622     12 |      773 |      664
1725.03/1725.56	c 1725s |      18 |  3834016 |   322352 |    55622     12 |      773 |      664
1727.93/1728.49	c 1727s |      18 |  3834221 |   322452 |    55622     12 |      773 |      664
1730.23/1730.74	c 1730s |      18 |  3835584 |   322752 |    55622     12 |      773 |      664
1732.33/1732.81	c 1732s |      18 |  3837323 |   323052 |    55622     12 |      773 |      664
1734.53/1735.00	c 1734s |      18 |  3840165 |   323552 |    55622     12 |      773 |      664
1737.33/1737.85	c 1737s |      18 |  3841573 |   323752 |    55622     12 |      773 |      664
1740.53/1741.00	c 1740s |      18 |  3842435 |   323952 |    55622     12 |      773 |      664
1742.73/1743.28	c 1742s |      18 |  3843695 |   324152 |    55622     12 |      773 |      664
1745.34/1745.89	c 1745s |      18 |  3844599 |   324352 |    55622     12 |      773 |      664
1748.13/1748.60	c 1748s |      18 |  3847059 |   324652 |    55622     12 |      773 |      664
1750.33/1750.80	c 1750s |      18 |  3847939 |   324852 |    55622     12 |      773 |      664
1752.63/1753.19	c 1752s |      18 |  3849965 |   325152 |    55622     12 |      773 |      664
1754.83/1755.37	c 1754s |      18 |  3851371 |   325352 |    55622     12 |      773 |      664
1756.82/1757.39	c 1756s |      18 |  3851880 |   325552 |    55622     12 |      773 |      664
1760.52/1761.01	c 1760s |      18 |  3852751 |   325752 |    55622     12 |      773 |      664
1764.43/1764.92	c 1764s |      18 |  3854913 |   326052 |    55622     12 |      773 |      664
1766.93/1767.50	c 1766s |      18 |  3855172 |   326152 |    55622     12 |      773 |      664
1770.54/1771.02	c 1770s |      18 |  3856274 |   326352 |    55622     12 |      773 |      664
1772.63/1773.17	c 1772s |      18 |  3865744 |   327052 |    55622     12 |      773 |      664
1774.93/1775.44	c 1774s |      18 |  3872026 |   327652 |    55622     12 |      773 |      664
1777.33/1777.83	c 1777s |      18 |  3879997 |   328352 |    55622     12 |      773 |      664
1779.53/1780.03	c 1779s |      18 |  3891507 |   328952 |    55622     12 |      773 |      664
1781.83/1782.34	c 1781s |      18 |  3903182 |   329652 |    55622     12 |      773 |      664
1784.13/1784.64	c 1784s |      18 |  3916278 |   330452 |    55622     12 |      773 |      664
1786.33/1786.84	c 1786s |      18 |  3924001 |   331252 |    55622     12 |      773 |      664
1788.43/1788.97	c 1788s |      18 |  3931629 |   331952 |    55622     12 |      773 |      664
1790.72/1791.21	c 1790s |      18 |  3939135 |   332452 |    55622     12 |      773 |      664
1792.82/1793.30	c 1792s |      18 |  3952563 |   333152 |    55622     12 |      773 |      664
1794.92/1795.41	c 1794s |      18 |  3964244 |   333752 |    55622     12 |      773 |      664
1797.12/1797.69	c 1797s |      18 |  3970016 |   334452 |    55622     12 |      773 |      664
1799.32/1799.85	c 1799s |      18 |  3979320 |   335052 |    55622     12 |      773 |      664

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

pid=9627
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.12 2.14 2.09 3/179 9630
/proc/meminfo: memFree=30576168/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 2861 0 0 0 0 0 0 0 20 0 4 0 110616535 782692352 3222 33554432000 4194304 16246674 140734198457168 140734198456592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 191855 3232 441 2943 0 188749 0
[pid=9630/tid=9631] ppid=9627 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 801566720 3294 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 806809600 3311 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 811003904 3328 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 9630
/proc/meminfo: memFree=30576168/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 28503 0 0 0 4 4 0 0 20 0 4 0 110616535 1333334016 28803 33554432000 4194304 16246674 140734198457168 140734198456480 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 325521 28818 801 2943 0 322415 0
[pid=9630/tid=9631] ppid=9627 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1333334016 28830 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1333334016 28842 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1333334016 28852 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200644 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 9630
/proc/meminfo: memFree=30576168/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 47560 0 0 0 12 7 0 0 20 0 4 0 110616535 1344868352 48370 33554432000 4194304 16246674 140734198457168 140734198456480 7364499 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 328337 48370 801 2943 0 325231 0
[pid=9630/tid=9631] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 48370 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 48370 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 48370 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300557 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 9630
/proc/meminfo: memFree=30576168/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 47615 0 0 0 22 7 0 0 20 0 4 0 110616535 1344868352 48425 33554432000 4194304 16246674 140734198457168 140734198456480 12479312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 328337 48425 833 2943 0 325231 0
[pid=9630/tid=9631] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 48425 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 48425 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 48425 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700387 s]
/proc/loadavg: 2.12 2.14 2.09 3/179 9630
/proc/meminfo: memFree=30576168/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 110517 0 0 0 53 16 0 0 20 0 4 0 110616535 1344868352 111327 33554432000 4194304 16246674 140734198457168 140734198439040 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 328337 111331 876 2943 0 325231 0
[pid=9630/tid=9631] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 111333 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 111335 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1344868352 111337 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50046 s]
/proc/loadavg: 2.19 2.16 2.10 4/183 9634
/proc/meminfo: memFree=29929688/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1.49 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 183517 0 0 0 124 25 0 0 20 0 4 0 110616535 1357451264 184327 33554432000 4194304 16246674 140734198457168 140734198439040 6836961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 184327 879 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 184327 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 184327 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 184327 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.10044 s]
/proc/loadavg: 2.19 2.16 2.10 4/183 9634
/proc/meminfo: memFree=29698288/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272078 0 0 0 270 39 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140734198456480 5676852 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 272888 882 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.3004 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 9634
/proc/meminfo: memFree=29484392/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=6.29 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272078 0 0 0 590 39 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140734198456344 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 272888 882 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1325636

[startup+12.7004 s]
/proc/loadavg: 2.24 2.17 2.10 3/183 9634
/proc/meminfo: memFree=29484516/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272078 0 0 0 1230 39 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140734198439040 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 272888 882 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272888 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5006 s]
/proc/loadavg: 2.21 2.16 2.10 3/183 9634
/proc/meminfo: memFree=29484672/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272082 0 0 0 2508 40 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140734198439040 6837194 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 272892 885 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1006 s]
/proc/loadavg: 2.21 2.17 2.10 3/183 9634
/proc/meminfo: memFree=29485388/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272082 0 0 0 5067 41 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140734198439040 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 272892 885 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.301 s]
/proc/loadavg: 2.19 2.17 2.10 3/183 9635
/proc/meminfo: memFree=29484796/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272082 0 0 0 10185 43 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140734198439040 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 272892 885 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 272892 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/183 9812
/proc/meminfo: memFree=29490724/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1361.89 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 136086 103 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/184 9817
/proc/meminfo: memFree=29490632/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1421.88 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 142084 104 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 5662795 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/183 9818
/proc/meminfo: memFree=29490760/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1481.87 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 148081 106 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 5717668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.04 3/183 9819
/proc/meminfo: memFree=29490684/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1541.87 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 154079 108 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 9820
/proc/meminfo: memFree=29491088/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1601.85 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 160074 111 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198456344 12483326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.03 3/183 9821
/proc/meminfo: memFree=29490592/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1661.84 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 166072 112 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 12477948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 9823
/proc/meminfo: memFree=29490840/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1721.83 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 172069 114 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 12483320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/183 9824
/proc/meminfo: memFree=29490216/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1781.83 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 178067 116 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 5661436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.03 2.03 3/183 9824
/proc/meminfo: memFree=29490224/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1800.02 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 179886 116 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 5823170 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1325636

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.03 2.03 3/183 9824
/proc/meminfo: memFree=29490224/32872528 swapFree=12744/274376
[pid=9630] ppid=9627 vsize=1325636 CPUtime=1800.02 cores=1,3,5,7
/proc/9630/stat : 9630 (toysat) R 9627 9630 5566 0 -1 4202496 272433 0 0 0 179886 116 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140734198439040 5823170 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/9630/statm: 331409 273149 886 2943 0 328303 0
[pid=9630/tid=9631] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9631/stat : 9631 (toysat) S 9627 9630 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370997390576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=9630/tid=9632] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9632/stat : 9632 (toysat) S 9627 9630 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370986900720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9630/tid=9633] ppid=9627 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/9630/task/9633/stat : 9633 (toysat) S 9627 9630 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110616535 1357451264 273149 33554432000 4194304 16246674 140734198457168 140370872626352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1325636

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.87
CPU system time (s): 1.16282
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.16282
maximum resident set size= 1092596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272433
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= 364
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3794 second user time and 18.9591 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 10:06:58
IDJOB=4078891
IDBENCH=90201
IDSOLVER=2542
FILE ID=node107/4078891-1465286818
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= d572050902dbd97a5ce685e3ceb3e01a
RANDOM SEED=1421781487

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.441
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.441
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.441
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.56
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.441
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:        30576176 kB
Buffers:           65384 kB
Cached:           132068 kB
SwapCached:         1652 kB
Active:          1180124 kB
Inactive:         107744 kB
Active(anon):    1087408 kB
Inactive(anon):     5256 kB
Active(file):      92716 kB
Inactive(file):   102488 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             17120 kB
Writeback:             0 kB
AnonPages:       1462400 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             599352 kB
SReclaimable:      42856 kB
SUnreclaim:       556496 kB
KernelStack:        1520 kB
PageTables:         6780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1507192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1120256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node107 at 2016-06-07 10:36:59