Trace number 4078869

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-61.opb
MD5SUM242cdc00579036e1487a0255b4e1d84c
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 variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T06:49:50+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-4078869-1465274989.opb"]
0.00/0.01	c use --random-gen="4075376711 3555063402 420295633 2791487040 1646899890 3454399065 4241791195 57955044 4173131857 3865489288 4231316551 2094356699 1139470125 2317927956 1516713767 2281890114 1099726877 2608949182 1128689091 2393352949 4095624765 1084412737 1689955945 786962900 1498471633 2836932861 2168181040 2288042612 4019632182 2941681812 1880386512 561749488 3718736516 1409119850 3958787 550128378 714953581 241467841 1561211639 1224737754 823090793 3313204539 2609389192 262955925 3154248826 948848786 855935275 2900008789 4292555352 1947703494 3723856224 4065007231 3141642687 3356444189 2212855129 2121880172 3029264760 2624505877 2155919198 2913374512 562460155 2968720968 3181921808 2817904322 305209176 2226003023 2195558912 3319183137 387099713 311641238 1676361735 3254035807 2447653224 2767930216 2407677266 1268306235 2686061677 3882676272 2008348814 1649334871 991747391 3114836143 1370425042 4169606513 2937850393 340439048 2738230299 1980205564 22436669 1407613803 4268392445 2865075687 54302061 148280173 1179573191 1967518992 2192809347 1246768722 3730664375 2502050222 2449483853 1608849155 2879813216 1237818823 3724307467 1568657417 937676618 2068938222 2737041342 3406460725 851397245 2673004849 127118183 1761971938 1160212705 1913985569 1052916575 3301949370 774992622 3790831596 726817993 981276188 1345836735 984336269 2844798394 712097080 638681836 1972053666 146827311 3467176061 1937679248 2605238254 1595246325 2118234915 210424834 3427398590 3092007558 1969798594 2073923703 1238310376 1879464899 2698028553 733285055 4150713375 2921096388 237285705 1078691002 1038436726 2739564446 2079268655 2306276906 32347774 3187040253 2830454873 326065766 1244620928 2722047544 1559889951 3555032551 2658878386 1545489271 2572094677 2895886845 2868617454 4070819529 1981887510 605062292 2623337276 450310829 3929027783 2352497878 795829818 2602601197 2883931570 3328103398 2319720086 2148179636 1060468430 1084594807 3190535905 100863369 2178759030 1124135235 2006526327 1619858183 1119871612 1591084442 1191154250 2319584269 5925211 869409692 2919845343 3978564672 3514579833 1695905808 1861624675 4126988405 1593631721 266469367 3653730391 1237790140 174769995 1046813783 290593999 3081842052 2556563670 3265465095 3487427991 2681864591 306298072 2912050258 1634636328 4082496545 2936733193 3663935854 51191193 1042419168 3132969062 605367744 675571072 2967304830 3540326426 3041197559 3222307721 3268416181 3135145166 184205312 681432165 1241008177 2754909804 3721704882 3816453118 1512337678 3788115239 3130312453 344590858 4085228461 172136015 3605450277 3988923340 3729815928 1239858365 2691287286 2905323974 2086237843 3355526271 194742769 1392635464 2462245654 3132321261 3628381943 1828242071 4198822343 2109295765 850021607 2385601733 255 362436" option to reproduce the execution
1.79/1.82	c #vars 10086
1.79/1.82	c #constraints 226240
5.79/5.83	c Solving starts ...
5.79/5.83	c ============================[ Search Statistics ]============================
5.79/5.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.79/5.83	c       |         |          |          |    Limit     GC | Var      | Constra 
5.79/5.83	c =============================================================================
5.79/5.84	c  0.0s |       0 |        0 |        0 |    78898      0 |        0 |        0
5.99/6.05	c  0.2s |       1 |      139 |      100 |    78898      0 |        0 |        0
6.70/6.78	c  1.0s |       2 |     4499 |      250 |    86788      0 |        0 |        0
8.29/8.34	c  2.5s |       3 |    18960 |      475 |    95467      0 |        0 |        0
11.19/11.30	c  5.5s |       3 |    54056 |      775 |   105014      0 |        0 |        0
12.39/12.43	c  6.6s |       4 |    69330 |      813 |   105014      0 |        0 |        0
14.49/14.58	c  8.7s |       4 |    96448 |     1313 |   115516      0 |        0 |        0
14.59/14.60	c  8.8s |       5 |    96687 |     1320 |   115516      0 |        0 |        0
15.69/15.72	c  9.9s |       6 |   102769 |     2081 |   139775      0 |        0 |        0
17.39/17.45	c 11.6s |       7 |   138859 |     3223 |   153753      0 |        0 |        0
19.09/19.13	c 13.3s |       8 |   147841 |     4936 |   169129      0 |        0 |        0
21.19/21.24	c 15.4s |       8 |   175419 |     6036 |   169129      0 |        0 |        0
23.20/23.26	c 17.4s |       8 |   199112 |     7236 |   169129      0 |        0 |        0
23.69/23.73	c 17.9s |       9 |   199848 |     7506 |   186042      0 |        0 |        0
26.29/26.30	c 20.5s |       9 |   218385 |    10206 |   186042      0 |        0 |        0
28.19/28.28	c 22.4s |      10 |   249601 |    11361 |   204647      0 |        0 |        0
30.19/30.28	c 24.5s |      10 |   275891 |    12461 |   204647      0 |        0 |        0
32.29/32.31	c 26.5s |      10 |   286429 |    14061 |   204647      0 |        0 |        0
34.49/34.54	c 28.7s |      10 |   310857 |    15461 |   204647      0 |        0 |        0
36.49/36.60	c 30.8s |      10 |   348095 |    16661 |   204647      0 |        0 |        0
37.29/37.34	c 31.5s |      11 |   354846 |    17144 |   225112      0 |        0 |        0
39.39/39.46	c 33.6s |      11 |   356329 |    18244 |   225112      0 |        0 |        0
41.39/41.49	c 35.7s |      11 |   357680 |    19444 |   225112      0 |        0 |        0
43.49/43.56	c 37.7s |      11 |   358886 |    20544 |   225112      0 |        0 |        0
45.69/45.78	c 39.9s |      11 |   360707 |    21844 |   225112      0 |        0 |        0
47.78/47.83	c 42.0s |      11 |   362627 |    22644 |   225112      0 |        0 |        0
49.78/49.89	c 44.1s |      11 |   377750 |    23444 |   225112      0 |        0 |        0
51.88/51.92	c 46.1s |      11 |   402731 |    24544 |   225112      0 |        0 |        0
52.89/52.96	c 47.1s |      12 |   411965 |    25819 |   247624      0 |        0 |        0
54.99/55.01	c 49.2s |      12 |   416617 |    26919 |   247624      0 |        0 |        0
57.19/57.28	c 51.4s |      12 |   429156 |    28919 |   247624      0 |        2 |       24
59.39/59.43	c 53.6s |      12 |   433000 |    30119 |   247624      0 |        2 |       24
61.48/61.53	c 55.7s |      12 |   435867 |    31619 |   247624      0 |        2 |       24
63.58/63.69	c 57.9s |      12 |   446164 |    33219 |   247624      0 |        2 |       24
65.68/65.72	c 59.9s |      12 |   452446 |    34719 |   247624      0 |        2 |       24
67.68/67.78	c 62.0s |      12 |   454102 |    35719 |   247624      0 |        2 |       24
69.78/69.80	c 64.0s |      12 |   460247 |    37219 |   247624      0 |        2 |       24
71.88/71.93	c 66.1s |      12 |   465197 |    38819 |   272387      0 |        2 |       24
71.88/71.95	c 66.1s |      13 |   465216 |    38832 |   272387      0 |        2 |       24
73.98/74.02	c 68.2s |      13 |   467867 |    39932 |   272387      0 |        2 |       24
76.08/76.10	c 70.3s |      13 |   475289 |    41932 |   272387      0 |        2 |       24
78.09/78.17	c 72.3s |      13 |   481030 |    43432 |   272387      0 |        2 |       24
80.18/80.20	c 74.4s |      13 |   484009 |    44632 |   272387      0 |        2 |       24
82.28/82.31	c 76.5s |      13 |   487935 |    46332 |   272387      0 |        2 |       24
84.28/84.37	c 78.5s |      13 |   491340 |    47432 |   272387      0 |        2 |       24
86.78/86.80	c 81.0s |      13 |   502223 |    48632 |   272387      0 |        2 |       24
88.78/88.80	c 83.0s |      13 |   506381 |    50432 |   272387      0 |        2 |       24
90.78/90.84	c 85.0s |      13 |   509711 |    51832 |   272387      0 |        2 |       24
92.78/92.86	c 87.0s |      13 |   513303 |    52832 |   272387      0 |        3 |       36
94.78/94.89	c 89.1s |      13 |   519157 |    54232 |   272387      0 |        3 |       36
96.78/96.90	c 91.1s |      13 |   521714 |    55232 |   272387      0 |        3 |       36
98.88/98.99	c 93.2s |      13 |   524087 |    56332 |   272387      0 |        3 |       36
101.08/101.15	c 95.3s |      13 |   526321 |    57432 |   272387      0 |        3 |       36
102.48/102.53	c 96.7s |      14 |   528739 |    58352 |   299626      0 |        3 |       36
104.68/104.75	c 98.9s |      14 |   533248 |    59252 |   299626      0 |        3 |       36
106.78/106.85	c  101s |      14 |   534389 |    60252 |   299626      0 |        3 |       36
108.98/109.02	c  103s |      14 |   535385 |    61152 |   299626      0 |        3 |       36
110.97/111.05	c  105s |      14 |   536413 |    62052 |   299626      0 |        3 |       36
113.07/113.18	c  107s |      14 |   537433 |    62952 |   299626      0 |        3 |       36
115.17/115.25	c  109s |      14 |   538557 |    63952 |   299626      0 |        3 |       36
117.27/117.34	c  111s |      14 |   539559 |    64852 |   299626      0 |        3 |       36
119.47/119.53	c  113s |      14 |   540438 |    65652 |   299626      0 |        3 |       36
121.57/121.65	c  115s |      14 |   541503 |    66652 |   299626      0 |        3 |       36
123.77/123.87	c  118s |      14 |   542626 |    67652 |   299626      0 |        3 |       36
125.87/125.90	c  120s |      14 |   543715 |    68652 |   299626      0 |        3 |       36
127.87/127.97	c  122s |      14 |   544805 |    69652 |   299626      0 |        3 |       36
129.97/130.02	c  124s |      14 |   545664 |    70452 |   299626      0 |        3 |       36
131.98/132.05	c  126s |      14 |   546547 |    71252 |   299626      0 |        3 |       36
134.18/134.29	c  128s |      14 |   547402 |    72052 |   299626      0 |        3 |       36
136.27/136.30	c  130s |      14 |   556126 |    73552 |   299626      0 |        3 |       36
138.27/138.38	c  132s |      14 |   565347 |    75352 |   299626      0 |        3 |       36
140.47/140.50	c  134s |      14 |   575631 |    76752 |   299626      0 |        3 |       36
142.47/142.54	c  136s |      14 |   577824 |    78052 |   299626      0 |        4 |       48
144.57/144.62	c  138s |      14 |   582772 |    80852 |   299626      0 |        4 |       48
146.57/146.66	c  140s |      14 |   587164 |    83252 |   299626      0 |        4 |       48
148.57/148.67	c  142s |      14 |   590820 |    85552 |   299626      0 |        4 |       48
150.57/150.69	c  144s |      15 |   594536 |    87632 |   329589      0 |        4 |       48
152.67/152.75	c  146s |      15 |   595731 |    88032 |   329589      0 |        4 |       48
154.77/154.84	c  149s |      15 |   596915 |    88732 |   329589      0 |        4 |       48
156.97/157.05	c  151s |      15 |   601912 |    89632 |   329589      0 |        4 |       48
158.97/159.07	c  153s |      15 |   604461 |    90532 |   329589      0 |        4 |       48
161.27/161.33	c  155s |      15 |   630821 |    91032 |   329589      0 |        4 |       48
163.47/163.53	c  157s |      15 |   650263 |    92132 |   329589      0 |        4 |       48
165.66/165.71	c  159s |      15 |   655889 |    92832 |   329589      0 |        4 |       48
167.86/167.90	c  162s |      15 |   661127 |    93532 |   329589      0 |        4 |       48
170.06/170.19	c  164s |      15 |   666852 |    94132 |   329589      0 |        4 |       48
172.16/172.26	c  166s |      15 |   678078 |    95132 |   329589      0 |        4 |       48
174.26/174.35	c  168s |      15 |   686269 |    96232 |   329589      0 |        4 |       48
176.26/176.36	c  170s |      15 |   703058 |    97032 |   329589      0 |        4 |       48
178.36/178.41	c  172s |      15 |   707813 |    97832 |   329589      0 |        4 |       48
180.47/180.57	c  174s |      15 |   713891 |    98832 |   329589      0 |        4 |       48
182.67/182.76	c  176s |      15 |   719773 |    99832 |   329589      0 |        4 |       48
184.66/184.80	c  178s |      15 |   723688 |   100832 |   329589      0 |        4 |       48
186.76/186.89	c  181s |      15 |   728758 |   101832 |   329589      0 |        4 |       48
188.96/189.01	c  183s |      15 |   740175 |   103132 |   329589      0 |        4 |       48
190.96/191.04	c  185s |      15 |   746584 |   104232 |   329589      0 |        4 |       48
193.06/193.12	c  187s |      15 |   754985 |   105432 |   329589      0 |        4 |       48
195.16/195.24	c  189s |      15 |   762209 |   106632 |   329589      0 |        4 |       48
197.26/197.36	c  191s |      15 |   770327 |   107732 |   329589      0 |        4 |       48
199.46/199.57	c  193s |      15 |   773889 |   108432 |   329589      0 |        4 |       48
201.46/201.59	c  195s |      15 |   787415 |   109632 |   329589      0 |        4 |       48
203.56/203.64	c  197s |      15 |   792684 |   110432 |   329589      0 |        4 |       48
205.66/205.74	c  199s |      15 |   798769 |   111332 |   329589      0 |        4 |       48
207.76/207.85	c  202s |      15 |   810204 |   112332 |   329589      0 |        4 |       48
209.86/209.99	c  204s |      15 |   814393 |   113432 |   329589      0 |        4 |       48
211.95/212.07	c  206s |      15 |   818489 |   114432 |   329589      0 |        4 |       48
214.25/214.31	c  208s |      15 |   821606 |   115432 |   329589      0 |        4 |       48
216.55/216.61	c  210s |      15 |   822448 |   116132 |   329589      0 |        4 |       48
218.75/218.90	c  213s |      15 |   824501 |   117032 |   329589      0 |        4 |       48
221.06/221.18	c  215s |      15 |   832506 |   117632 |   329589      0 |        4 |       48
223.26/223.35	c  217s |      15 |   835630 |   118232 |   329589      0 |        4 |       48
225.35/225.44	c  219s |      15 |   836331 |   118632 |   329589      0 |        4 |       48
227.45/227.51	c  221s |      15 |   836842 |   119032 |   329589      0 |        4 |       48
229.55/229.61	c  223s |      15 |   837329 |   119432 |   329589      0 |        4 |       48
231.75/231.88	c  226s |      15 |   838028 |   120032 |   329589      0 |        4 |       48
233.95/234.07	c  228s |      15 |   838704 |   120632 |   329589      0 |        4 |       48
236.05/236.13	c  230s |      15 |   839295 |   121132 |   329589      0 |        4 |       48
238.35/238.40	c  232s |      15 |   839870 |   121632 |   329589      0 |        4 |       48
240.35/240.49	c  234s |      15 |   840310 |   122032 |   329589      0 |        4 |       48
242.75/242.84	c  237s |      15 |   841180 |   122632 |   329589      0 |        4 |       48
245.26/245.34	c  239s |      15 |   843923 |   123332 |   329589      0 |        4 |       48
247.35/247.46	c  241s |      15 |   844568 |   123832 |   329589      0 |        4 |       48
249.55/249.63	c  243s |      15 |   848782 |   124532 |   329589      0 |        4 |       48
251.65/251.72	c  245s |      15 |   849983 |   124932 |   329589      0 |        4 |       48
253.75/253.82	c  247s |      15 |   851157 |   125532 |   329589      0 |        4 |       48
255.75/255.86	c  250s |      15 |   851706 |   126032 |   329589      0 |        4 |       48
258.25/258.30	c  252s |      15 |   852352 |   126632 |   329589      0 |        4 |       48
260.25/260.39	c  254s |      15 |   852984 |   127232 |   329589      0 |        4 |       48
262.65/262.70	c  256s |      15 |   853671 |   127832 |   329589      0 |        4 |       48
264.85/264.96	c  259s |      15 |   854187 |   128232 |   329589      0 |        4 |       48
267.05/267.15	c  261s |      15 |   854626 |   128632 |   329589      0 |        4 |       48
269.15/269.27	c  263s |      15 |   855086 |   129032 |   329589      0 |        4 |       48
271.24/271.34	c  265s |      15 |   855534 |   129432 |   329589      0 |        4 |       48
273.44/273.53	c  267s |      15 |   856199 |   129932 |   329589      0 |        4 |       48
275.54/275.65	c  269s |      15 |   856648 |   130332 |   329589      0 |        4 |       48
277.74/277.82	c  271s |      15 |   857194 |   130832 |   362548      0 |        4 |       48
280.04/280.13	c  274s |      15 |   857873 |   131432 |   362548      0 |        4 |       48
280.34/280.47	c  274s |      16 |   857997 |   131552 |   362548      0 |        4 |       48
282.34/282.49	c  276s |      16 |   864736 |   132952 |   362548      0 |        4 |       48
284.44/284.54	c  278s |      16 |   868492 |   134052 |   362548      0 |        4 |       48
286.54/286.60	c  280s |      16 |   874099 |   135252 |   362548      0 |        4 |       48
288.54/288.66	c  282s |      16 |   877451 |   136252 |   362548      0 |        4 |       48
290.74/290.81	c  284s |      16 |   879803 |   137352 |   362548      0 |        4 |       48
292.74/292.89	c  287s |      16 |   885870 |   138652 |   362548      0 |        4 |       48
295.04/295.10	c  289s |      16 |   892303 |   140052 |   362548      0 |        4 |       48
297.05/297.11	c  291s |      16 |   894198 |   141152 |   362548      0 |        4 |       48
299.04/299.16	c  293s |      16 |   895454 |   141952 |   362548      0 |        4 |       48
301.04/301.18	c  295s |      16 |   897084 |   142852 |   362548      0 |        4 |       48
303.04/303.19	c  297s |      16 |   898879 |   143852 |   362548      0 |        4 |       48
305.14/305.22	c  299s |      16 |   900594 |   144952 |   362548      0 |        4 |       48
307.14/307.26	c  301s |      16 |   902130 |   145952 |   362548      0 |        4 |       48
309.14/309.29	c  303s |      16 |   903594 |   146852 |   362548      0 |        4 |       48
311.63/311.73	c  305s |      16 |   904338 |   147452 |   362548      0 |        4 |       48
313.83/313.95	c  308s |      16 |   904912 |   147952 |   362548      0 |        4 |       48
316.03/316.18	c  310s |      16 |   905731 |   148552 |   362548      0 |        4 |       48
318.23/318.39	c  312s |      16 |   906882 |   149352 |   362548      0 |        4 |       48
320.43/320.53	c  314s |      16 |   907755 |   149952 |   362548      0 |        4 |       48
322.63/322.70	c  316s |      16 |   908719 |   150652 |   362548      0 |        4 |       48
324.83/324.97	c  319s |      16 |   909391 |   151252 |   362548      0 |        4 |       48
327.13/327.20	c  321s |      16 |   910133 |   151852 |   362548      0 |        4 |       48
329.42/329.51	c  323s |      16 |   910824 |   152452 |   362548      0 |        4 |       48
331.52/331.65	c  325s |      16 |   915085 |   153352 |   362548      0 |        4 |       48
333.62/333.77	c  327s |      16 |   918678 |   154252 |   362548      0 |        4 |       48
335.82/335.98	c  330s |      16 |   921497 |   155152 |   362548      0 |        4 |       48
338.02/338.16	c  332s |      16 |   932274 |   156052 |   362548      0 |        4 |       48
340.12/340.24	c  334s |      16 |   933624 |   156952 |   362548      0 |        4 |       48
342.52/342.67	c  336s |      16 |   934610 |   157652 |   362548      0 |        4 |       48
344.52/344.69	c  338s |      16 |   935394 |   158252 |   362548      0 |        4 |       48
346.62/346.71	c  340s |      16 |   936235 |   158852 |   362548      0 |        4 |       48
348.82/348.92	c  343s |      16 |   937353 |   159652 |   362548      0 |        4 |       48
351.12/351.27	c  345s |      16 |   938026 |   160152 |   362548      0 |        4 |       48
353.42/353.51	c  347s |      16 |   938951 |   160752 |   362548      0 |        4 |       48
355.42/355.54	c  349s |      16 |   940303 |   161452 |   362548      0 |        4 |       48
357.62/357.74	c  351s |      16 |   942066 |   162352 |   362548      0 |        4 |       48
359.62/359.77	c  353s |      16 |   942739 |   162852 |   362548      0 |        4 |       48
361.92/362.09	c  356s |      16 |   943518 |   163452 |   362548      0 |        4 |       48
364.12/364.27	c  358s |      16 |   944103 |   163952 |   362548      0 |        4 |       48
366.32/366.41	c  360s |      16 |   944779 |   164452 |   362548      0 |        4 |       48
368.52/368.67	c  362s |      16 |   945522 |   165052 |   362548      0 |        4 |       48
370.81/370.97	c  365s |      16 |   946280 |   165652 |   362548      0 |        4 |       48
373.31/373.48	c  367s |      16 |   946979 |   166252 |   362548      0 |        4 |       48
375.41/375.54	c  369s |      16 |   947586 |   166752 |   362548      0 |        4 |       48
377.41/377.55	c  371s |      16 |   948280 |   167252 |   362548      0 |        4 |       48
379.52/379.62	c  373s |      16 |   948886 |   167752 |   362548      0 |        4 |       48
381.51/381.67	c  375s |      16 |   949517 |   168252 |   362548      0 |        4 |       48
383.81/383.98	c  378s |      16 |   950138 |   168752 |   362548      0 |        4 |       48
386.11/386.23	c  380s |      16 |   950757 |   169252 |   362548      0 |        4 |       48
388.51/388.63	c  382s |      16 |   951436 |   169752 |   362548      0 |        4 |       48
390.81/390.97	c  385s |      16 |   952049 |   170252 |   362548      0 |        4 |       48
392.91/393.06	c  387s |      16 |   952597 |   170752 |   362548      0 |        4 |       48
395.10/395.25	c  389s |      16 |   953186 |   171252 |   362548      0 |        4 |       48
397.30/397.42	c  391s |      16 |   953897 |   171752 |   362548      0 |        4 |       48
399.31/399.45	c  393s |      16 |   955805 |   172852 |   362548      0 |        4 |       48
401.51/401.63	c  395s |      16 |   957643 |   173952 |   362548      0 |        4 |       48
403.80/403.92	c  398s |      16 |   958510 |   174552 |   362548      0 |        4 |       48
405.91/406.09	c  400s |      16 |   959124 |   175052 |   362548      0 |        4 |       48
408.20/408.40	c  402s |      16 |   960106 |   175552 |   362548      0 |        4 |       48
410.30/410.44	c  404s |      16 |   961932 |   176152 |   362548      0 |        4 |       48
412.30/412.46	c  406s |      16 |   963886 |   177052 |   362548      0 |        4 |       48
414.50/414.66	c  408s |      16 |   965139 |   177952 |   362548      0 |        4 |       48
416.69/416.84	c  411s |      16 |   966983 |   178952 |   362548      0 |        4 |       48
418.79/418.91	c  413s |      16 |   968753 |   179952 |   362548      0 |        4 |       48
420.79/420.94	c  415s |      16 |   970202 |   180952 |   362548      0 |        4 |       48
422.89/423.01	c  417s |      16 |   971353 |   181652 |   362548      0 |        4 |       48
424.89/425.07	c  419s |      16 |   972588 |   182252 |   362548      0 |        4 |       48
427.09/427.22	c  421s |      16 |   973522 |   182752 |   362548      0 |        4 |       48
429.29/429.45	c  423s |      16 |   976023 |   183852 |   362548      0 |        4 |       48
431.29/431.47	c  425s |      16 |   976695 |   184252 |   362548      0 |        4 |       48
433.40/433.51	c  427s |      16 |   978204 |   184952 |   362548      0 |        4 |       48
435.60/435.75	c  429s |      16 |   979640 |   185852 |   362548      0 |        4 |       48
437.70/437.88	c  432s |      16 |   982103 |   187252 |   362548      0 |        4 |       48
440.69/440.84	c  435s |      16 |   999335 |   188252 |   362548      0 |        4 |       48
442.69/442.87	c  437s |      16 |  1000020 |   188652 |   362548      0 |        4 |       48
444.79/444.94	c  439s |      16 |  1002546 |   189152 |   362548      0 |        4 |       48
447.70/447.83	c  441s |      16 |  1018628 |   190152 |   362548      0 |        4 |       48
449.99/450.12	c  444s |      16 |  1036830 |   190852 |   362548      0 |        4 |       48
452.29/452.46	c  446s |      16 |  1038278 |   191552 |   362548      0 |        4 |       48
454.48/454.67	c  448s |      16 |  1047092 |   192252 |   362548      0 |        4 |       48
456.58/456.76	c  450s |      16 |  1048449 |   192852 |   362548      0 |        4 |       48
458.78/458.97	c  453s |      16 |  1049253 |   193352 |   362548      0 |        4 |       48
461.28/461.45	c  455s |      16 |  1049830 |   193852 |   362548      0 |        4 |       48
463.28/463.48	c  457s |      16 |  1050279 |   194252 |   362548      0 |        4 |       48
465.38/465.52	c  459s |      16 |  1050742 |   194652 |   362548      0 |        4 |       48
467.68/467.84	c  462s |      16 |  1056492 |   195152 |   362548      0 |        4 |       48
469.69/469.85	c  464s |      16 |  1059350 |   196152 |   398803      0 |        4 |       48
471.98/472.16	c  466s |      16 |  1062447 |   196652 |   398803      0 |        4 |       48
474.18/474.38	c  468s |      16 |  1065095 |   197152 |   398803      0 |        4 |       48
475.48/475.63	c  469s |      17 |  1066139 |   197432 |   398803      0 |        4 |       48
477.58/477.78	c  471s |      17 |  1068275 |   197832 |   398803      0 |        4 |       48
480.18/480.30	c  474s |      17 |  1069930 |   198332 |   398803      0 |        5 |       60
482.47/482.61	c  476s |      17 |  1070361 |   198732 |   398803      0 |        5 |       60
484.67/484.83	c  478s |      17 |  1070906 |   199232 |   398803      0 |        5 |       60
486.77/486.92	c  481s |      17 |  1071334 |   199632 |   398803      0 |        5 |       60
488.87/489.07	c  483s |      17 |  1071874 |   200132 |   398803      0 |        5 |       60
490.97/491.15	c  485s |      17 |  1072204 |   200432 |   398803      0 |        5 |       60
493.17/493.34	c  487s |      17 |  1072642 |   200832 |   398803      0 |        5 |       60
495.87/496.01	c  490s |      17 |  1072993 |   201132 |   398803      0 |        5 |       60
497.97/498.16	c  492s |      17 |  1073318 |   201432 |   398803      0 |        5 |       60
499.97/500.18	c  494s |      17 |  1073628 |   201732 |   398803      0 |        5 |       60
502.27/502.49	c  496s |      17 |  1074046 |   202132 |   398803      0 |        5 |       60
504.67/504.83	c  498s |      17 |  1074475 |   202532 |   398803      0 |        5 |       60
507.17/507.39	c  501s |      17 |  1074922 |   202932 |   398803      0 |        5 |       60
509.37/509.57	c  503s |      17 |  1075352 |   203332 |   398803      0 |        5 |       60
511.37/511.60	c  505s |      17 |  1075893 |   203832 |   398803      0 |        5 |       60
513.67/513.87	c  508s |      17 |  1076312 |   204232 |   398803      0 |        5 |       60
515.87/516.03	c  510s |      17 |  1076755 |   204632 |   398803      0 |        5 |       60
518.07/518.24	c  512s |      17 |  1077191 |   205032 |   398803      0 |        5 |       60
520.17/520.31	c  514s |      17 |  1077625 |   205432 |   398803      0 |        5 |       60
522.16/522.34	c  516s |      17 |  1078057 |   205832 |   398803      0 |        5 |       60
524.26/524.41	c  518s |      17 |  1078500 |   206232 |   398803      0 |        5 |       60
526.56/526.76	c  520s |      17 |  1078946 |   206632 |   398803      0 |        5 |       60
529.07/529.20	c  523s |      17 |  1079372 |   207032 |   398803      0 |        5 |       60
531.66/531.82	c  525s |      17 |  1079914 |   207532 |   398803      0 |        5 |       60
533.86/534.07	c  528s |      17 |  1080340 |   207932 |   398803      0 |        5 |       60
536.16/536.34	c  530s |      17 |  1080768 |   208332 |   398803      0 |        5 |       60
538.56/538.76	c  532s |      17 |  1081300 |   208832 |   398803      0 |        5 |       60
541.07/541.24	c  535s |      17 |  1081851 |   209332 |   398803      0 |        5 |       60
543.16/543.40	c  537s |      17 |  1082412 |   209832 |   398803      0 |        5 |       60
545.36/545.52	c  539s |      17 |  1082742 |   210132 |   398803      0 |        5 |       60
547.46/547.63	c  541s |      17 |  1083182 |   210532 |   398803      0 |        5 |       60
549.56/549.76	c  543s |      17 |  1083616 |   210932 |   398803      0 |        5 |       60
551.96/552.19	c  546s |      17 |  1084154 |   211432 |   398803      0 |        5 |       60
554.26/554.41	c  548s |      17 |  1084708 |   211932 |   398803      0 |        5 |       60
556.66/556.89	c  551s |      17 |  1085225 |   212432 |   398803      0 |        5 |       60
558.96/559.12	c  553s |      17 |  1086137 |   212832 |   398803      0 |        5 |       60
561.15/561.31	c  555s |      17 |  1088039 |   213332 |   398803      0 |        5 |       60
563.16/563.35	c  557s |      17 |  1088403 |   213632 |   398803      0 |        5 |       60
565.55/565.74	c  559s |      17 |  1088877 |   214032 |   398803      0 |        5 |       60
567.65/567.82	c  561s |      17 |  1089378 |   214432 |   398803      0 |        5 |       60
569.65/569.82	c  563s |      17 |  1089982 |   214832 |   398803      0 |        5 |       60
571.75/571.99	c  566s |      17 |  1090465 |   215232 |   398803      0 |        5 |       60
574.15/574.39	c  568s |      17 |  1091168 |   215732 |   398803      0 |        5 |       60
576.45/576.69	c  570s |      17 |  1091754 |   216132 |   398803      0 |        5 |       60
578.65/578.88	c  573s |      17 |  1092286 |   216532 |   398803      0 |        5 |       60
581.04/581.25	c  575s |      17 |  1092756 |   216932 |   398803      0 |        5 |       60
583.04/583.25	c  577s |      17 |  1093105 |   217232 |   398803      0 |        5 |       60
585.44/585.60	c  579s |      17 |  1096945 |   217632 |   398803      0 |        5 |       60
587.44/587.69	c  581s |      17 |  1106046 |   218132 |   398803      0 |        5 |       60
590.44/590.69	c  584s |      17 |  1123109 |   218532 |   398803      0 |        5 |       60
592.54/592.78	c  586s |      17 |  1124812 |   218932 |   398803      0 |        5 |       60
594.64/594.88	c  589s |      17 |  1130746 |   219732 |   398803      0 |        5 |       60
596.84/597.05	c  591s |      17 |  1136244 |   220632 |   398803      0 |        5 |       60
599.04/599.29	c  593s |      17 |  1140549 |   221132 |   398803      0 |        5 |       60
601.54/601.72	c  595s |      17 |  1143497 |   221532 |   398803      0 |        5 |       60
603.53/603.73	c  597s |      17 |  1143954 |   221932 |   398803      0 |        5 |       60
605.63/605.84	c  600s |      17 |  1144493 |   222432 |   398803      0 |        5 |       60
607.73/607.97	c  602s |      17 |  1145032 |   222932 |   398803      0 |        5 |       60
610.13/610.39	c  604s |      17 |  1145932 |   223432 |   398803      0 |        5 |       60
612.23/612.47	c  606s |      17 |  1146861 |   223932 |   398803      0 |        5 |       60
614.73/614.95	c  609s |      17 |  1147926 |   224532 |   398803      0 |        5 |       60
616.73/616.95	c  611s |      17 |  1148487 |   224932 |   398803      0 |        5 |       60
619.23/619.49	c  613s |      17 |  1149245 |   225332 |   398803      0 |        5 |       60
621.52/621.79	c  615s |      17 |  1149948 |   225732 |   398803      0 |        5 |       60
623.82/624.09	c  618s |      17 |  1150435 |   226132 |   398803      0 |        5 |       60
626.42/626.67	c  620s |      17 |  1150975 |   226632 |   398803      0 |        5 |       60
628.62/628.82	c  622s |      17 |  1151311 |   226932 |   398803      0 |        5 |       60
630.92/631.14	c  625s |      17 |  1152060 |   227332 |   398803      0 |        5 |       60
633.22/633.47	c  627s |      17 |  1152549 |   227732 |   398803      0 |        5 |       60
635.32/635.57	c  629s |      17 |  1153139 |   228132 |   398803      0 |        5 |       60
637.42/637.64	c  631s |      17 |  1153676 |   228532 |   398803      0 |        5 |       60
639.52/639.70	c  633s |      17 |  1154154 |   228932 |   398803      0 |        5 |       60
641.82/642.03	c  636s |      17 |  1154752 |   229432 |   398803      0 |        5 |       60
644.22/644.49	c  638s |      17 |  1155435 |   229932 |   398803      0 |        5 |       60
646.52/646.74	c  640s |      17 |  1155981 |   230332 |   398803      0 |        5 |       60
649.12/649.36	c  643s |      17 |  1156693 |   230732 |   398803      0 |        5 |       60
651.41/651.62	c  645s |      17 |  1157035 |   231032 |   398803      0 |        5 |       60
654.01/654.21	c  648s |      17 |  1157548 |   231432 |   398803      0 |        5 |       60
656.01/656.23	c  650s |      17 |  1157902 |   231732 |   398803      0 |        5 |       60
658.41/658.63	c  652s |      17 |  1158706 |   232132 |   398803      0 |        5 |       60
660.61/660.83	c  654s |      17 |  1159505 |   232632 |   398803      0 |        5 |       60
662.61/662.88	c  657s |      17 |  1160166 |   233032 |   398803      0 |        5 |       60
665.01/665.26	c  659s |      17 |  1161566 |   233532 |   398803      0 |        5 |       60
667.11/667.33	c  661s |      17 |  1162398 |   234032 |   398803      0 |        5 |       60
669.21/669.48	c  663s |      17 |  1162849 |   234432 |   398803      0 |        5 |       60
671.70/671.93	c  666s |      17 |  1163708 |   234932 |   398803      0 |        5 |       60
673.70/673.96	c  668s |      17 |  1165582 |   235432 |   398803      0 |        5 |       60
676.00/676.26	c  670s |      17 |  1166882 |   236032 |   398803      0 |        5 |       60
678.10/678.30	c  672s |      17 |  1167316 |   236432 |   398803      0 |        5 |       60
680.29/680.52	c  674s |      17 |  1167912 |   236832 |   398803      0 |        5 |       60
682.49/682.73	c  676s |      17 |  1169451 |   237332 |   398803      0 |        5 |       60
684.59/684.89	c  679s |      17 |  1170912 |   237832 |   398803      0 |        5 |       60
686.79/687.00	c  681s |      17 |  1171594 |   238232 |   398803      0 |        5 |       60
688.99/689.26	c  683s |      17 |  1174145 |   238732 |   398803      0 |        5 |       60
691.39/691.64	c  685s |      17 |  1174893 |   239232 |   398803      0 |        5 |       60
693.59/693.82	c  687s |      17 |  1176663 |   239732 |   398803      0 |        5 |       60
695.69/695.96	c  690s |      17 |  1177895 |   240232 |   398803      0 |        5 |       60
697.99/698.20	c  692s |      17 |  1180104 |   240732 |   398803      0 |        5 |       60
700.59/700.82	c  694s |      17 |  1188669 |   241132 |   398803      0 |        5 |       60
702.69/702.93	c  697s |      17 |  1188990 |   241432 |   398803      0 |        5 |       60
704.99/705.26	c  699s |      17 |  1189305 |   241732 |   398803      0 |        5 |       60
707.39/707.62	c  701s |      17 |  1189735 |   242132 |   398803      0 |        5 |       60
709.58/709.86	c  704s |      17 |  1190063 |   242432 |   398803      0 |        5 |       60
711.98/712.21	c  706s |      17 |  1190482 |   242832 |   398803      0 |        5 |       60
714.08/714.31	c  708s |      17 |  1203513 |   243332 |   398803      0 |        5 |       60
716.38/716.68	c  710s |      17 |  1206513 |   243832 |   398803      0 |        5 |       60
718.48/718.70	c  712s |      17 |  1207549 |   244132 |   398803      0 |        5 |       60
720.78/721.07	c  715s |      17 |  1208273 |   244432 |   398803      0 |        5 |       60
723.48/723.74	c  717s |      17 |  1208596 |   244732 |   398803      0 |        5 |       60
725.88/726.14	c  720s |      17 |  1208936 |   245032 |   398803      0 |        5 |       60
728.28/728.54	c  722s |      17 |  1209254 |   245332 |   398803      0 |        5 |       60
730.97/731.22	c  725s |      17 |  1209694 |   245732 |   398803      0 |        5 |       60
733.17/733.41	c  727s |      17 |  1210218 |   246032 |   398803      0 |        5 |       60
735.17/735.45	c  729s |      17 |  1210579 |   246332 |   398803      0 |        5 |       60
737.27/737.59	c  731s |      17 |  1210931 |   246632 |   398803      0 |        5 |       60
739.57/739.85	c  734s |      17 |  1211351 |   246932 |   398803      0 |        5 |       60
741.77/742.05	c  736s |      17 |  1212131 |   247332 |   398803      0 |        5 |       60
743.97/744.27	c  738s |      17 |  1212802 |   247832 |   398803      0 |        5 |       60
746.07/746.32	c  740s |      17 |  1213290 |   248232 |   398803      0 |        5 |       60
748.67/748.90	c  743s |      17 |  1213779 |   248632 |   398803      0 |        5 |       60
750.86/751.17	c  745s |      17 |  1214207 |   249032 |   398803      0 |        5 |       60
753.56/753.88	c  748s |      17 |  1214903 |   249532 |   398803      0 |        5 |       60
755.86/756.19	c  750s |      17 |  1215351 |   249932 |   398803      0 |        5 |       60
758.46/758.71	c  752s |      17 |  1216689 |   250432 |   398803      0 |        5 |       60
760.76/761.00	c  755s |      17 |  1217520 |   250932 |   398803      0 |        5 |       60
763.36/763.61	c  757s |      17 |  1218180 |   251432 |   398803      0 |        5 |       60
765.86/766.10	c  760s |      17 |  1218779 |   251932 |   398803      0 |        5 |       60
768.16/768.49	c  762s |      17 |  1219501 |   252332 |   398803      0 |        5 |       60
770.25/770.56	c  764s |      17 |  1220274 |   252832 |   398803      0 |        5 |       60
772.25/772.59	c  766s |      17 |  1220764 |   253232 |   398803      0 |        5 |       60
774.65/774.94	c  769s |      17 |  1221344 |   253732 |   398803      0 |        5 |       60
776.85/777.13	c  771s |      17 |  1221858 |   254132 |   398803      0 |        5 |       60
778.95/779.25	c  773s |      17 |  1222364 |   254532 |   398803      0 |        5 |       60
781.45/781.73	c  775s |      17 |  1223175 |   255032 |   398803      0 |        5 |       60
783.75/784.09	c  778s |      17 |  1223959 |   255532 |   398803      0 |        5 |       60
785.85/786.17	c  780s |      17 |  1224451 |   255932 |   398803      0 |        5 |       60
788.35/788.62	c  782s |      17 |  1224920 |   256332 |   398803      0 |        5 |       60
790.34/790.64	c  784s |      17 |  1225734 |   256732 |   398803      0 |        5 |       60
792.74/793.00	c  787s |      17 |  1226262 |   257132 |   398803      0 |        5 |       60
794.94/795.23	c  789s |      17 |  1227201 |   257532 |   398803      0 |        5 |       60
797.44/797.78	c  791s |      17 |  1227990 |   258032 |   398803      0 |        5 |       60
799.93/800.24	c  794s |      17 |  1228428 |   258432 |   398803      0 |        5 |       60
801.93/802.27	c  796s |      17 |  1228928 |   258832 |   398803      0 |        5 |       60
804.23/804.53	c  798s |      17 |  1229423 |   259232 |   398803      0 |        5 |       60
806.43/806.78	c  800s |      17 |  1230184 |   259732 |   398803      0 |        5 |       60
808.73/809.04	c  803s |      17 |  1230816 |   260232 |   398803      0 |        5 |       60
810.73/811.08	c  805s |      17 |  1231320 |   260632 |   398803      0 |        5 |       60
812.93/813.26	c  807s |      17 |  1231749 |   261032 |   398803      0 |        5 |       60
815.33/815.63	c  809s |      17 |  1232222 |   261432 |   398803      0 |        5 |       60
817.73/818.05	c  812s |      17 |  1232667 |   261832 |   398803      0 |        5 |       60
819.83/820.15	c  814s |      17 |  1233099 |   262232 |   398803      0 |        5 |       60
821.93/822.26	c  816s |      17 |  1233593 |   262632 |   398803      0 |        5 |       60
824.63/824.94	c  819s |      17 |  1234088 |   263032 |   398803      0 |        5 |       60
826.83/827.18	c  821s |      17 |  1234484 |   263332 |   398803      0 |        5 |       60
829.03/829.33	c  823s |      17 |  1234962 |   263732 |   398803      0 |        5 |       60
831.52/831.84	c  826s |      17 |  1235599 |   264232 |   398803      0 |        5 |       60
833.72/834.01	c  828s |      17 |  1237008 |   264732 |   398803      0 |        5 |       60
836.12/836.49	c  830s |      17 |  1237738 |   265232 |   398803      0 |        5 |       60
838.42/838.78	c  832s |      17 |  1238264 |   265632 |   398803      0 |        5 |       60
840.72/841.01	c  835s |      17 |  1238755 |   266032 |   398803      0 |        5 |       60
842.82/843.16	c  837s |      17 |  1241427 |   266632 |   398803      0 |        5 |       60
845.02/845.32	c  839s |      17 |  1243406 |   267132 |   398803      0 |        5 |       60
847.22/847.54	c  841s |      17 |  1245057 |   267732 |   398803      0 |        5 |       60
849.32/849.60	c  843s |      17 |  1245884 |   268232 |   398803      0 |        5 |       60
851.72/852.05	c  846s |      17 |  1246592 |   268732 |   398803      0 |        5 |       60
854.12/854.41	c  848s |      17 |  1247545 |   269232 |   398803      0 |        5 |       60
856.11/856.41	c  850s |      17 |  1248687 |   269732 |   398803      0 |        5 |       60
858.31/858.68	c  852s |      17 |  1249574 |   270332 |   398803      0 |        5 |       60
860.61/860.99	c  855s |      17 |  1251020 |   270832 |   398803      0 |        5 |       60
863.22/863.58	c  857s |      17 |  1258961 |   271132 |   398803      0 |        5 |       60
865.61/865.92	c  860s |      17 |  1260441 |   271632 |   398803      0 |        5 |       60
867.81/868.20	c  862s |      17 |  1261934 |   272132 |   398803      0 |        5 |       60
870.11/870.47	c  864s |      17 |  1263674 |   272832 |   398803      0 |        5 |       60
872.31/872.67	c  866s |      17 |  1264583 |   273432 |   398803      0 |        5 |       60
874.31/874.69	c  868s |      17 |  1265547 |   274032 |   398803      0 |        5 |       60
876.51/876.86	c  871s |      17 |  1266868 |   274732 |   398803      0 |        5 |       60
878.51/878.87	c  873s |      17 |  1268204 |   275332 |   398803      0 |        5 |       60
880.60/880.95	c  875s |      17 |  1269399 |   275932 |   398803      0 |        5 |       60
882.60/882.98	c  877s |      17 |  1271211 |   276632 |   398803      0 |        5 |       60
884.70/885.04	c  879s |      17 |  1273198 |   277332 |   398803      0 |        5 |       60
887.00/887.31	c  881s |      17 |  1276204 |   278232 |   398803      0 |        5 |       60
889.10/889.47	c  883s |      17 |  1277496 |   278932 |   398803      0 |        5 |       60
891.10/891.48	c  885s |      17 |  1278382 |   279532 |   398803      0 |        5 |       60
893.20/893.51	c  887s |      17 |  1280120 |   280232 |   398803      0 |        5 |       60
895.39/895.74	c  889s |      17 |  1281851 |   280732 |   398803      0 |        5 |       60
897.89/898.20	c  892s |      17 |  1282586 |   281132 |   398803      0 |        5 |       60
900.39/900.79	c  894s |      17 |  1283326 |   281532 |   398803      0 |        5 |       60
902.59/902.92	c  897s |      17 |  1283875 |   281932 |   398803      0 |        5 |       60
904.79/905.16	c  899s |      17 |  1284577 |   282332 |   398803      0 |        5 |       60
906.99/907.36	c  901s |      17 |  1285138 |   282732 |   398803      0 |        5 |       60
909.09/909.42	c  903s |      17 |  1285737 |   283132 |   398803      0 |        5 |       60
911.18/911.58	c  905s |      17 |  1286389 |   283532 |   398803      0 |        5 |       60
913.58/913.96	c  908s |      17 |  1286992 |   283932 |   398803      0 |        5 |       60
915.88/916.26	c  910s |      17 |  1287600 |   284332 |   398803      0 |        5 |       60
917.98/918.32	c  912s |      17 |  1288415 |   284732 |   398803      0 |        5 |       60
920.18/920.54	c  914s |      17 |  1289539 |   285132 |   398803      0 |        5 |       60
922.28/922.61	c  916s |      17 |  1290348 |   285532 |   398803      0 |        5 |       60
924.38/924.77	c  918s |      17 |  1290998 |   285832 |   398803      0 |        5 |       60
926.88/927.28	c  921s |      17 |  1291490 |   286132 |   398803      0 |        5 |       60
928.98/929.38	c  923s |      17 |  1291919 |   286432 |   398803      0 |        5 |       60
931.08/931.49	c  925s |      17 |  1292675 |   286732 |   398803      0 |        5 |       60
933.48/933.86	c  928s |      17 |  1294525 |   287332 |   398803      0 |        5 |       60
935.69/936.06	c  930s |      17 |  1295647 |   287732 |   398803      0 |        5 |       60
937.99/938.40	c  932s |      17 |  1296470 |   288332 |   398803      0 |        5 |       60
940.08/940.47	c  934s |      17 |  1297254 |   288832 |   398803      0 |        5 |       60
942.58/942.93	c  937s |      17 |  1298544 |   289432 |   398803      0 |        5 |       60
944.69/945.04	c  939s |      17 |  1299283 |   289832 |   398803      0 |        5 |       60
946.89/947.26	c  941s |      17 |  1300634 |   290232 |   398803      0 |        5 |       60
949.18/949.52	c  943s |      17 |  1300983 |   290532 |   398803      0 |        5 |       60
951.48/951.84	c  946s |      17 |  1301351 |   290832 |   398803      0 |        5 |       60
953.98/954.36	c  948s |      17 |  1302019 |   291232 |   398803      0 |        5 |       60
956.08/956.48	c  950s |      17 |  1310191 |   291532 |   398803      0 |        5 |       60
958.88/959.20	c  953s |      17 |  1311910 |   292232 |   398803      0 |        5 |       60
960.98/961.39	c  955s |      17 |  1312238 |   292532 |   398803      0 |        5 |       60
963.28/963.68	c  957s |      17 |  1313022 |   292932 |   398803      0 |        5 |       60
965.58/965.93	c  960s |      17 |  1313955 |   293332 |   398803      0 |        5 |       60
968.47/968.87	c  963s |      17 |  1314284 |   293632 |   398803      0 |        5 |       60
970.77/971.11	c  965s |      17 |  1315511 |   294032 |   398803      0 |        5 |       60
973.07/973.46	c  967s |      17 |  1316287 |   294432 |   438684      0 |        5 |       60
975.38/975.72	c  969s |      17 |  1316808 |   294732 |   438684      0 |        5 |       60
977.87/978.22	c  972s |      17 |  1317320 |   295032 |   438684      0 |        5 |       60
980.57/980.93	c  975s |      17 |  1317636 |   295332 |   438684      0 |        5 |       60
983.18/983.56	c  977s |      17 |  1318007 |   295632 |   438684      0 |        5 |       60
985.28/985.62	c  979s |      17 |  1318320 |   295932 |   438684      0 |        5 |       60
987.58/987.93	c  982s |      17 |  1318651 |   296232 |   438684      0 |        5 |       60
987.67/988.08	c  982s |      18 |  1318668 |   296252 |   438684      0 |        5 |       60
989.78/990.19	c  984s |      18 |  1319430 |   296552 |   438684      0 |        5 |       60
992.07/992.46	c  986s |      18 |  1320587 |   297052 |   438684      0 |        5 |       60
994.08/994.49	c  988s |      18 |  1321762 |   297752 |   438684      0 |        5 |       60
996.57/996.97	c  991s |      18 |  1323815 |   298452 |   438684      0 |        5 |       60
999.17/999.54	c  993s |      18 |  1325147 |   298752 |   438684      0 |        5 |       60
1001.57/1001.94	c  996s |      18 |  1326376 |   299052 |   438684      0 |        5 |       60
1003.87/1004.27	c  998s |      18 |  1326820 |   299352 |   438684      0 |        5 |       60
1005.97/1006.30	c 1000s |      18 |  1327123 |   299552 |   438684      0 |        5 |       60
1008.07/1008.45	c 1002s |      18 |  1329415 |   300352 |   438684      0 |        5 |       60
1010.37/1010.78	c 1004s |      18 |  1330358 |   300652 |   438684      0 |        5 |       60
1012.67/1013.00	c 1007s |      18 |  1331869 |   301052 |   438684      0 |        5 |       60
1014.66/1015.05	c 1009s |      18 |  1332853 |   301352 |   438684      0 |        5 |       60
1016.96/1017.35	c 1011s |      18 |  1333768 |   301652 |   438684      0 |        5 |       60
1019.16/1019.54	c 1013s |      18 |  1335197 |   302052 |   438684      0 |        5 |       60
1021.36/1021.76	c 1015s |      18 |  1336241 |   302352 |   438684      0 |        5 |       60
1024.16/1024.56	c 1018s |      18 |  1336965 |   302652 |   438684      0 |        5 |       60
1026.46/1026.83	c 1020s |      18 |  1338041 |   302952 |   438684      0 |        5 |       60
1028.76/1029.10	c 1023s |      18 |  1339377 |   303552 |   438684      0 |        5 |       60
1030.96/1031.34	c 1025s |      18 |  1340305 |   304052 |   438684      0 |        5 |       60
1033.16/1033.51	c 1027s |      18 |  1341125 |   304552 |   438684      0 |        5 |       60
1035.76/1036.11	c 1030s |      18 |  1342516 |   305352 |   438684      0 |        5 |       60
1038.36/1038.71	c 1032s |      18 |  1343467 |   305852 |   438684      0 |        5 |       60
1041.16/1041.51	c 1035s |      18 |  1344268 |   306152 |   438684      0 |        5 |       60
1043.76/1044.18	c 1038s |      18 |  1345136 |   306552 |   438684      0 |        5 |       60
1045.77/1046.20	c 1040s |      18 |  1345976 |   306952 |   438684      0 |        5 |       60
1048.16/1048.50	c 1042s |      18 |  1346646 |   307352 |   438684      0 |        5 |       60
1050.27/1050.61	c 1044s |      18 |  1347375 |   307852 |   438684      0 |        5 |       60
1052.56/1052.97	c 1047s |      18 |  1347937 |   308252 |   438684      0 |        5 |       60
1054.66/1055.02	c 1049s |      18 |  1348326 |   308552 |   438684      0 |        5 |       60
1056.96/1057.36	c 1051s |      18 |  1349282 |   309052 |   438684      0 |        5 |       60
1059.16/1059.56	c 1053s |      18 |  1350238 |   309552 |   438684      0 |        5 |       60
1061.16/1061.59	c 1055s |      18 |  1351104 |   310052 |   438684      0 |        5 |       60
1063.26/1063.67	c 1057s |      18 |  1351685 |   310452 |   438684      0 |        5 |       60
1065.46/1065.84	c 1060s |      18 |  1352361 |   310852 |   438684      0 |        5 |       60
1068.15/1068.54	c 1062s |      18 |  1353787 |   311352 |   438684      0 |        5 |       60
1070.35/1070.73	c 1064s |      18 |  1356973 |   311952 |   438684      0 |        5 |       60
1072.65/1073.09	c 1067s |      18 |  1358340 |   312352 |   438684      0 |        5 |       60
1075.05/1075.47	c 1069s |      18 |  1360497 |   312952 |   438684      0 |        5 |       60
1077.25/1077.68	c 1071s |      18 |  1360832 |   313152 |   438684      0 |        5 |       60
1079.55/1079.92	c 1074s |      18 |  1361941 |   313452 |   438684      0 |        5 |       60
1082.35/1082.72	c 1076s |      18 |  1363948 |   313952 |   438684      0 |        5 |       60
1084.65/1085.02	c 1079s |      18 |  1364816 |   314252 |   438684      0 |        5 |       60
1086.85/1087.26	c 1081s |      18 |  1365713 |   314552 |   438684      0 |        5 |       60
1088.95/1089.30	c 1083s |      18 |  1366741 |   314852 |   438684      0 |        5 |       60
1091.55/1091.95	c 1086s |      18 |  1368059 |   315252 |   438684      0 |        5 |       60
1093.95/1094.36	c 1088s |      18 |  1368913 |   315552 |   438684      0 |        5 |       60
1096.15/1096.54	c 1090s |      18 |  1369630 |   315852 |   438684      0 |        5 |       60
1098.35/1098.76	c 1092s |      18 |  1370526 |   316452 |   438684      0 |        5 |       60
1100.65/1101.04	c 1095s |      18 |  1371434 |   316752 |   438684      0 |        5 |       60
1102.96/1103.35	c 1097s |      18 |  1372143 |   317152 |   438684      0 |        5 |       60
1105.16/1105.54	c 1099s |      18 |  1372935 |   317652 |   438684      0 |        5 |       60
1107.65/1108.09	c 1102s |      18 |  1373609 |   318152 |   438684      0 |        5 |       60
1109.76/1110.18	c 1104s |      18 |  1374629 |   318652 |   438684      0 |        5 |       60
1112.06/1112.43	c 1106s |      18 |  1375338 |   319052 |   438684      0 |        5 |       60
1114.35/1114.71	c 1108s |      18 |  1376028 |   319452 |   438684      0 |        5 |       60
1116.45/1116.86	c 1111s |      18 |  1376903 |   319852 |   438684      0 |        5 |       60
1119.15/1119.51	c 1113s |      18 |  1377654 |   320252 |   438684      0 |        5 |       60
1122.05/1122.42	c 1116s |      18 |  1378024 |   320552 |   438684      0 |        5 |       60
1124.55/1124.97	c 1119s |      18 |  1378552 |   320852 |   438684      0 |        5 |       60
1127.05/1127.40	c 1121s |      18 |  1379063 |   321152 |   438684      0 |        5 |       60
1129.05/1129.47	c 1123s |      18 |  1379280 |   321352 |   438684      0 |        5 |       60
1131.35/1131.76	c 1125s |      18 |  1379668 |   321652 |   438684      0 |        5 |       60
1133.55/1133.99	c 1128s |      18 |  1380417 |   322152 |   438684      0 |        5 |       60
1136.35/1136.70	c 1130s |      18 |  1381137 |   322552 |   438684      0 |        5 |       60
1138.55/1138.99	c 1133s |      18 |  1382098 |   322952 |   438684      0 |        5 |       60
1141.15/1141.55	c 1135s |      18 |  1382571 |   323252 |   438684      0 |        5 |       60
1143.95/1144.34	c 1138s |      18 |  1382978 |   323552 |   438684      0 |        5 |       60
1146.05/1146.42	c 1140s |      18 |  1383295 |   323752 |   438684      0 |        5 |       60
1148.25/1148.61	c 1142s |      18 |  1383646 |   323952 |   438684      0 |        5 |       60
1151.05/1151.42	c 1145s |      18 |  1384079 |   324252 |   438684      0 |        5 |       60
1153.05/1153.42	c 1147s |      18 |  1385949 |   324652 |   438684      0 |        5 |       60
1155.35/1155.74	c 1149s |      18 |  1387460 |   325152 |   438684      0 |        5 |       60
1157.65/1158.00	c 1152s |      18 |  1388422 |   325552 |   438684      0 |        5 |       60
1160.15/1160.55	c 1154s |      18 |  1390669 |   326052 |   438684      0 |        5 |       60
1162.85/1163.23	c 1157s |      18 |  1391277 |   326352 |   438684      0 |        5 |       60
1165.04/1165.45	c 1159s |      18 |  1392405 |   326852 |   438684      0 |        5 |       60
1167.34/1167.75	c 1161s |      18 |  1393184 |   327252 |   438684      0 |        5 |       60
1169.84/1170.21	c 1164s |      18 |  1394567 |   327952 |   438684      0 |        5 |       60
1172.25/1172.67	c 1166s |      18 |  1395893 |   328452 |   438684      0 |        5 |       60
1174.45/1174.88	c 1169s |      18 |  1396778 |   328952 |   438684      0 |        5 |       60
1176.84/1177.22	c 1171s |      18 |  1397735 |   329452 |   438684      0 |        5 |       60
1178.85/1179.28	c 1173s |      18 |  1398563 |   329852 |   438684      0 |        5 |       60
1180.94/1181.36	c 1175s |      18 |  1399289 |   330252 |   438684      0 |        5 |       60
1183.44/1183.85	c 1178s |      18 |  1400243 |   330752 |   438684      0 |        5 |       60
1185.55/1185.99	c 1180s |      18 |  1400847 |   331152 |   438684      0 |        5 |       60
1187.94/1188.36	c 1182s |      18 |  1401646 |   331552 |   438684      0 |        5 |       60
1190.34/1190.71	c 1184s |      18 |  1402250 |   331952 |   438684      0 |        5 |       60
1192.34/1192.77	c 1186s |      18 |  1402938 |   332352 |   438684      0 |        5 |       60
1194.54/1194.98	c 1189s |      18 |  1403700 |   332852 |   438684      0 |        5 |       60
1196.84/1197.25	c 1191s |      18 |  1404619 |   333352 |   438684      0 |        5 |       60
1199.44/1199.83	c 1193s |      18 |  1405283 |   333752 |   438684      0 |        5 |       60
1201.84/1202.20	c 1196s |      18 |  1406033 |   334152 |   438684      0 |        5 |       60
1203.94/1204.36	c 1198s |      18 |  1406895 |   334552 |   438684      0 |        5 |       60
1206.54/1206.91	c 1201s |      18 |  1407377 |   334852 |   438684      0 |        5 |       60
1209.94/1210.38	c 1204s |      18 |  1419394 |   335152 |   438684      0 |        5 |       60
1212.74/1213.10	c 1207s |      18 |  1431088 |   335552 |   438684      0 |        5 |       60
1214.94/1215.30	c 1209s |      18 |  1436011 |   335752 |   438684      0 |        5 |       60
1217.34/1217.77	c 1211s |      18 |  1436437 |   335952 |   438684      0 |        5 |       60
1220.04/1220.48	c 1214s |      18 |  1437004 |   336252 |   438684      0 |        5 |       60
1222.34/1222.73	c 1216s |      18 |  1438161 |   336452 |   438684      0 |        5 |       60
1225.04/1225.41	c 1219s |      18 |  1441970 |   336752 |   438684      0 |        5 |       60
1227.34/1227.77	c 1221s |      18 |  1442394 |   337052 |   438684      0 |        5 |       60
1229.94/1230.33	c 1224s |      18 |  1442965 |   337452 |   438684      0 |        5 |       60
1232.53/1232.99	c 1227s |      18 |  1452724 |   337852 |   438684      0 |        5 |       60
1234.73/1235.13	c 1229s |      18 |  1457203 |   338252 |   438684      0 |        5 |       60
1237.24/1237.66	c 1231s |      18 |  1459160 |   338552 |   438684      0 |        5 |       60
1239.34/1239.78	c 1233s |      18 |  1462003 |   338852 |   438684      0 |        5 |       60
1241.54/1241.96	c 1236s |      18 |  1462645 |   339252 |   438684      0 |        5 |       60
1244.03/1244.49	c 1238s |      18 |  1463255 |   339652 |   438684      0 |        5 |       60
1246.23/1246.63	c 1240s |      18 |  1463887 |   339952 |   438684      0 |        5 |       60
1248.63/1249.07	c 1243s |      18 |  1464976 |   340352 |   438684      0 |        5 |       60
1251.13/1251.51	c 1245s |      18 |  1465477 |   340652 |   438684      0 |        5 |       60
1253.43/1253.88	c 1248s |      18 |  1466218 |   340952 |   438684      0 |        5 |       60
1256.03/1256.40	c 1250s |      18 |  1466920 |   341352 |   438684      0 |        5 |       60
1258.43/1258.89	c 1253s |      18 |  1467599 |   341852 |   438684      0 |        5 |       60
1260.73/1261.13	c 1255s |      18 |  1468177 |   342052 |   438684      0 |        5 |       60
1263.03/1263.47	c 1257s |      18 |  1468539 |   342252 |   438684      0 |        5 |       60
1265.43/1265.90	c 1260s |      18 |  1469825 |   342552 |   438684      0 |        5 |       60
1268.33/1268.78	c 1262s |      18 |  1470227 |   342852 |   438684      0 |        5 |       60
1270.63/1271.06	c 1265s |      18 |  1470562 |   343152 |   438684      0 |        5 |       60
1272.83/1273.28	c 1267s |      18 |  1471018 |   343452 |   438684      0 |        5 |       60
1275.13/1275.57	c 1269s |      18 |  1471387 |   343752 |   438684      0 |        5 |       60
1277.72/1278.18	c 1272s |      18 |  1472190 |   344052 |   438684      0 |        5 |       60
1280.32/1280.71	c 1274s |      18 |  1472669 |   344352 |   438684      0 |        5 |       60
1282.72/1283.19	c 1277s |      18 |  1473176 |   344652 |   438684      0 |        5 |       60
1285.53/1285.92	c 1280s |      18 |  1474315 |   344952 |   438684      0 |        5 |       60
1287.83/1288.30	c 1282s |      18 |  1474977 |   345152 |   438684      0 |        5 |       60
1290.03/1290.42	c 1284s |      18 |  1475245 |   345352 |   438684      0 |        5 |       60
1292.32/1292.73	c 1286s |      18 |  1475511 |   345552 |   438684      0 |        5 |       60
1295.02/1295.43	c 1289s |      18 |  1475732 |   345752 |   438684      0 |        5 |       60
1297.52/1297.94	c 1292s |      18 |  1475987 |   345952 |   438684      0 |        5 |       60
1299.93/1300.37	c 1294s |      18 |  1476251 |   346152 |   438684      0 |        5 |       60
1302.03/1302.42	c 1296s |      18 |  1476500 |   346352 |   438684      0 |        5 |       60
1304.72/1305.18	c 1299s |      18 |  1476770 |   346552 |   438684      0 |        5 |       60
1307.82/1308.25	c 1302s |      18 |  1477186 |   346852 |   438684      0 |        5 |       60
1310.12/1310.58	c 1304s |      18 |  1477430 |   347052 |   438684      0 |        5 |       60
1312.72/1313.18	c 1307s |      18 |  1477694 |   347252 |   438684      0 |        5 |       60
1315.52/1315.93	c 1310s |      18 |  1477910 |   347452 |   438684      0 |        5 |       60
1318.22/1318.64	c 1312s |      18 |  1478223 |   347652 |   438684      0 |        5 |       60
1321.12/1321.58	c 1315s |      18 |  1478724 |   347952 |   438684      0 |        5 |       60
1323.32/1323.76	c 1317s |      18 |  1479150 |   348152 |   438684      0 |        5 |       60
1325.52/1325.92	c 1320s |      18 |  1479431 |   348352 |   438684      0 |        5 |       60
1328.22/1328.66	c 1322s |      18 |  1479898 |   348552 |   438684      0 |        5 |       60
1331.32/1331.72	c 1325s |      18 |  1480655 |   348852 |   438684      0 |        5 |       60
1333.62/1334.04	c 1328s |      18 |  1481152 |   349052 |   438684      0 |        5 |       60
1335.62/1336.06	c 1330s |      18 |  1481854 |   349352 |   438684      0 |        5 |       60
1337.71/1338.16	c 1332s |      18 |  1482179 |   349652 |   438684      0 |        5 |       60
1340.11/1340.50	c 1334s |      18 |  1482508 |   349952 |   438684      0 |        5 |       60
1342.51/1342.95	c 1337s |      18 |  1482835 |   350252 |   438684      0 |        5 |       60
1344.61/1345.08	c 1339s |      18 |  1483300 |   350452 |   438684      0 |        5 |       60
1346.81/1347.29	c 1341s |      18 |  1483948 |   350652 |   438684      0 |        5 |       60
1349.21/1349.65	c 1343s |      18 |  1484314 |   350952 |   438684      0 |        5 |       60
1352.01/1352.47	c 1346s |      18 |  1485411 |   351352 |   438684      0 |        5 |       60
1354.92/1355.31	c 1349s |      18 |  1485822 |   351652 |   438684      0 |        5 |       60
1357.71/1358.18	c 1352s |      18 |  1486148 |   351952 |   438684      0 |        5 |       60
1360.11/1360.50	c 1354s |      18 |  1486608 |   352252 |   438684      0 |        5 |       60
1362.52/1362.93	c 1357s |      18 |  1487006 |   352552 |   438684      0 |        5 |       60
1364.91/1365.34	c 1359s |      18 |  1487401 |   352852 |   438684      0 |        5 |       60
1367.11/1367.57	c 1361s |      18 |  1487926 |   353152 |   438684      0 |        5 |       60
1369.22/1369.61	c 1363s |      18 |  1488524 |   353452 |   438684      0 |        5 |       60
1371.51/1371.99	c 1366s |      18 |  1489067 |   353752 |   438684      0 |        5 |       60
1373.81/1374.28	c 1368s |      18 |  1489539 |   354052 |   438684      0 |        5 |       60
1376.11/1376.51	c 1370s |      18 |  1490000 |   354352 |   438684      0 |        5 |       60
1378.41/1378.80	c 1372s |      18 |  1490249 |   354552 |   438684      0 |        5 |       60
1380.71/1381.18	c 1375s |      18 |  1490481 |   354752 |   438684      0 |        5 |       60
1383.41/1383.89	c 1378s |      18 |  1490982 |   355052 |   438684      0 |        5 |       60
1386.41/1386.87	c 1381s |      18 |  1491327 |   355352 |   438684      0 |        5 |       60
1388.61/1389.00	c 1383s |      18 |  1491589 |   355552 |   438684      0 |        5 |       60
1391.11/1391.53	c 1385s |      18 |  1491807 |   355752 |   438684      0 |        5 |       60
1393.31/1393.75	c 1387s |      18 |  1492015 |   355952 |   438684      0 |        5 |       60
1395.61/1396.01	c 1390s |      18 |  1492295 |   356152 |   438684      0 |        5 |       60
1397.61/1398.06	c 1392s |      18 |  1492610 |   356352 |   438684      0 |        5 |       60
1400.51/1400.90	c 1395s |      18 |  1492996 |   356652 |   438684      0 |        5 |       60
1403.50/1403.91	c 1398s |      18 |  1493400 |   356952 |   438684      0 |        5 |       60
1406.40/1406.82	c 1400s |      18 |  1493771 |   357252 |   438684      0 |        5 |       60
1408.40/1408.85	c 1403s |      18 |  1494033 |   357452 |   438684      0 |        5 |       60
1411.01/1411.41	c 1405s |      18 |  1494252 |   357652 |   438684      0 |        5 |       60
1413.70/1414.11	c 1408s |      18 |  1494611 |   357852 |   438684      0 |        5 |       60
1416.70/1417.17	c 1411s |      18 |  1495272 |   358152 |   438684      0 |        5 |       60
1418.80/1419.27	c 1413s |      18 |  1495671 |   358352 |   438684      0 |        5 |       60
1421.30/1421.76	c 1415s |      18 |  1496026 |   358552 |   438684      0 |        5 |       60
1424.11/1424.55	c 1418s |      18 |  1496254 |   358752 |   438684      0 |        5 |       60
1426.60/1427.07	c 1421s |      18 |  1496495 |   358952 |   438684      0 |        5 |       60
1429.50/1429.90	c 1424s |      18 |  1496917 |   359252 |   438684      0 |        5 |       60
1431.70/1432.11	c 1426s |      18 |  1497626 |   359552 |   438684      0 |        5 |       60
1434.30/1434.73	c 1428s |      18 |  1498276 |   359852 |   438684      0 |        5 |       60
1437.20/1437.63	c 1431s |      18 |  1499091 |   360152 |   438684      0 |        5 |       60
1439.20/1439.66	c 1433s |      18 |  1499724 |   360352 |   438684      0 |        5 |       60
1441.40/1441.82	c 1435s |      18 |  1500527 |   360552 |   438684      0 |        5 |       60
1443.90/1444.33	c 1438s |      18 |  1500823 |   360752 |   438684      0 |        5 |       60
1446.60/1447.03	c 1441s |      18 |  1501073 |   360952 |   438684      0 |        5 |       60
1449.50/1449.99	c 1444s |      18 |  1501300 |   361152 |   438684      0 |        5 |       60
1452.70/1453.16	c 1447s |      18 |  1501534 |   361352 |   438684      0 |        5 |       60
1455.10/1455.56	c 1449s |      18 |  1501887 |   361552 |   438684      0 |        5 |       60
1457.10/1457.58	c 1451s |      18 |  1502316 |   361752 |   438684      0 |        5 |       60
1459.10/1459.59	c 1453s |      18 |  1502670 |   361952 |   438684      0 |        5 |       60
1462.49/1462.99	c 1457s |      18 |  1503132 |   362252 |   438684      0 |        5 |       60
1465.39/1465.80	c 1459s |      18 |  1504191 |   362552 |   438684      0 |        5 |       60
1467.49/1467.92	c 1462s |      18 |  1504420 |   362752 |   438684      0 |        5 |       60
1470.09/1470.53	c 1464s |      18 |  1504835 |   363052 |   438684      0 |        5 |       60
1472.69/1473.12	c 1467s |      18 |  1505401 |   363352 |   438684      0 |        5 |       60
1474.99/1475.41	c 1469s |      18 |  1505641 |   363552 |   438684      0 |        5 |       60
1477.49/1477.95	c 1472s |      18 |  1505895 |   363752 |   438684      0 |        5 |       60
1480.49/1480.92	c 1475s |      18 |  1506116 |   363952 |   438684      0 |        5 |       60
1482.69/1483.12	c 1477s |      18 |  1506411 |   364152 |   438684      0 |        5 |       60
1485.29/1485.73	c 1479s |      18 |  1506663 |   364352 |   438684      0 |        5 |       60
1487.90/1488.39	c 1482s |      18 |  1506915 |   364552 |   438684      0 |        5 |       60
1490.39/1490.89	c 1485s |      18 |  1507417 |   364752 |   438684      0 |        5 |       60
1493.09/1493.55	c 1487s |      18 |  1507652 |   364952 |   438684      0 |        5 |       60
1496.19/1496.69	c 1490s |      18 |  1507897 |   365152 |   438684      0 |        5 |       60
1498.59/1499.03	c 1493s |      18 |  1508633 |   365352 |   438684      0 |        5 |       60
1500.69/1501.17	c 1495s |      18 |  1510309 |   365652 |   438684      0 |        5 |       60
1503.09/1503.52	c 1497s |      18 |  1510996 |   365952 |   438684      0 |        5 |       60
1505.39/1505.84	c 1500s |      18 |  1512037 |   366352 |   438684      0 |        5 |       60
1507.79/1508.24	c 1502s |      18 |  1512513 |   366652 |   438684      0 |        5 |       60
1510.49/1510.97	c 1505s |      18 |  1513416 |   366952 |   438684      0 |        5 |       60
1513.39/1513.85	c 1508s |      18 |  1513998 |   367252 |   438684      0 |        5 |       60
1515.49/1515.95	c 1510s |      18 |  1514511 |   367452 |   438684      0 |        5 |       60
1517.59/1518.07	c 1512s |      18 |  1515153 |   367652 |   438684      0 |        5 |       60
1519.89/1520.31	c 1514s |      18 |  1515498 |   367852 |   438684      0 |        5 |       60
1521.99/1522.45	c 1516s |      18 |  1515807 |   368052 |   438684      0 |        5 |       60
1524.29/1524.72	c 1518s |      18 |  1516068 |   368252 |   438684      0 |        5 |       60
1526.68/1527.15	c 1521s |      18 |  1516401 |   368452 |   438684      0 |        5 |       60
1529.08/1529.51	c 1523s |      18 |  1516673 |   368652 |   438684      0 |        5 |       60
1531.68/1532.15	c 1526s |      18 |  1517169 |   368852 |   438684      0 |        5 |       60
1534.09/1534.57	c 1528s |      18 |  1517429 |   369052 |   438684      0 |        5 |       60
1536.48/1536.90	c 1531s |      18 |  1517760 |   369252 |   438684      0 |        5 |       60
1538.88/1539.34	c 1533s |      18 |  1518106 |   369452 |   438684      0 |        5 |       60
1541.48/1541.93	c 1536s |      18 |  1518428 |   369652 |   438684      0 |        5 |       60
1544.09/1544.58	c 1538s |      18 |  1519045 |   369952 |   438684      0 |        5 |       60
1546.98/1547.47	c 1541s |      18 |  1520452 |   370352 |   438684      0 |        5 |       60
1549.88/1550.37	c 1544s |      18 |  1521067 |   370652 |   438684      0 |        5 |       60
1551.98/1552.49	c 1546s |      18 |  1521351 |   370852 |   438684      0 |        5 |       60
1554.28/1554.73	c 1548s |      18 |  1521872 |   371052 |   438684      0 |        5 |       60
1556.88/1557.38	c 1551s |      18 |  1522180 |   371252 |   438684      0 |        5 |       60
1559.88/1560.36	c 1554s |      18 |  1522770 |   371552 |   438684      0 |        5 |       60
1563.08/1563.54	c 1557s |      18 |  1523009 |   371752 |   438684      0 |        5 |       60
1565.78/1566.23	c 1560s |      18 |  1523322 |   371952 |   438684      0 |        5 |       60
1568.68/1569.13	c 1563s |      18 |  1523730 |   372252 |   438684      0 |        5 |       60
1571.88/1572.36	c 1566s |      18 |  1524093 |   372552 |   438684      0 |        5 |       60
1573.98/1574.44	c 1568s |      18 |  1524343 |   372752 |   438684      0 |        5 |       60
1576.48/1576.97	c 1571s |      18 |  1524551 |   372952 |   438684      0 |        5 |       60
1578.58/1579.04	c 1573s |      18 |  1524749 |   373152 |   438684      0 |        5 |       60
1581.28/1581.74	c 1575s |      18 |  1525268 |   373452 |   438684      0 |        5 |       60
1584.28/1584.73	c 1578s |      18 |  1525667 |   373752 |   438684      0 |        5 |       60
1587.17/1587.61	c 1581s |      18 |  1526062 |   374052 |   438684      0 |        5 |       60
1590.28/1590.71	c 1584s |      18 |  1526416 |   374352 |   438684      0 |        5 |       60
1592.87/1593.34	c 1587s |      18 |  1526685 |   374552 |   438684      0 |        5 |       60
1595.87/1596.36	c 1590s |      18 |  1526919 |   374752 |   438684      0 |        5 |       60
1598.57/1599.09	c 1593s |      18 |  1527154 |   374952 |   438684      0 |        5 |       60
1601.28/1601.76	c 1595s |      18 |  1527394 |   375152 |   438684      0 |        5 |       60
1604.17/1604.70	c 1598s |      18 |  1527633 |   375352 |   438684      0 |        5 |       60
1607.27/1607.70	c 1601s |      18 |  1527933 |   375552 |   438684      0 |        5 |       60
1610.67/1611.10	c 1605s |      18 |  1528153 |   375752 |   438684      0 |        5 |       60
1613.77/1614.24	c 1608s |      18 |  1528369 |   375952 |   438684      0 |        5 |       60
1616.28/1616.74	c 1610s |      18 |  1528768 |   376152 |   438684      0 |        5 |       60
1618.48/1618.97	c 1613s |      18 |  1528973 |   376352 |   438684      0 |        5 |       60
1621.18/1621.67	c 1615s |      18 |  1529208 |   376552 |   438684      0 |        5 |       60
1623.88/1624.39	c 1618s |      18 |  1529503 |   376752 |   438684      0 |        5 |       60
1626.38/1626.81	c 1620s |      18 |  1529806 |   376952 |   438684      0 |        5 |       60
1629.98/1630.42	c 1624s |      18 |  1530368 |   377252 |   438684      0 |        5 |       60
1632.58/1633.07	c 1627s |      18 |  1530701 |   377452 |   438684      0 |        5 |       60
1634.98/1635.40	c 1629s |      18 |  1531402 |   377652 |   438684      0 |        5 |       60
1637.58/1638.04	c 1632s |      18 |  1531749 |   377852 |   438684      0 |        5 |       60
1640.17/1640.67	c 1634s |      18 |  1532020 |   378052 |   438684      0 |        5 |       60
1643.08/1643.57	c 1637s |      18 |  1532239 |   378252 |   438684      0 |        5 |       60
1645.67/1646.10	c 1640s |      18 |  1532718 |   378452 |   438684      0 |        5 |       60
1648.17/1648.63	c 1642s |      18 |  1533063 |   378652 |   438684      0 |        5 |       60
1650.87/1651.37	c 1645s |      18 |  1533356 |   378852 |   438684      0 |        5 |       60
1653.27/1653.74	c 1647s |      18 |  1533782 |   379052 |   438684      0 |        5 |       60
1655.97/1656.40	c 1650s |      18 |  1534318 |   379352 |   438684      0 |        5 |       60
1658.48/1658.96	c 1653s |      18 |  1534614 |   379552 |   438684      0 |        5 |       60
1661.27/1661.74	c 1655s |      18 |  1534897 |   379752 |   438684      0 |        5 |       60
1664.07/1664.55	c 1658s |      18 |  1535140 |   379952 |   438684      0 |        5 |       60
1666.47/1666.95	c 1661s |      18 |  1535367 |   380152 |   438684      0 |        5 |       60
1669.38/1669.86	c 1664s |      18 |  1535649 |   380352 |   438684      0 |        5 |       60
1671.87/1672.32	c 1666s |      18 |  1536075 |   380552 |   438684      0 |        5 |       60
1673.87/1674.33	c 1668s |      18 |  1536295 |   380752 |   438684      0 |        5 |       60
1676.47/1676.90	c 1671s |      18 |  1536511 |   380952 |   438684      0 |        5 |       60
1679.57/1680.07	c 1674s |      18 |  1537464 |   381252 |   438684      0 |        5 |       60
1681.87/1682.38	c 1676s |      18 |  1537749 |   381452 |   438684      0 |        5 |       60
1685.36/1685.80	c 1679s |      18 |  1538051 |   381652 |   438684      0 |        5 |       60
1688.26/1688.73	c 1682s |      18 |  1538551 |   381952 |   438684      0 |        5 |       60
1690.76/1691.26	c 1685s |      18 |  1539080 |   382252 |   438684      0 |        5 |       60
1693.16/1693.69	c 1687s |      18 |  1539529 |   382452 |   438684      0 |        5 |       60
1695.77/1696.22	c 1690s |      18 |  1539749 |   382652 |   438684      0 |        5 |       60
1698.56/1699.07	c 1693s |      18 |  1539973 |   382852 |   438684      0 |        5 |       60
1701.17/1701.70	c 1695s |      18 |  1540204 |   383052 |   438684      0 |        5 |       60
1703.87/1704.34	c 1698s |      18 |  1540738 |   383352 |   438684      0 |        5 |       60
1706.77/1707.29	c 1701s |      18 |  1541352 |   383652 |   438684      0 |        5 |       60
1708.97/1709.40	c 1703s |      18 |  1541873 |   383852 |   438684      0 |        5 |       60
1710.96/1711.42	c 1705s |      18 |  1542266 |   384052 |   438684      0 |        5 |       60
1713.16/1713.66	c 1707s |      18 |  1542583 |   384252 |   438684      0 |        5 |       60
1715.57/1716.06	c 1710s |      18 |  1542891 |   384452 |   438684      0 |        5 |       60
1717.56/1718.06	c 1712s |      18 |  1543242 |   384652 |   438684      0 |        5 |       60
1720.16/1720.66	c 1714s |      18 |  1546977 |   384952 |   438684      0 |        5 |       60
1722.46/1722.90	c 1717s |      18 |  1552536 |   385152 |   438684      0 |        5 |       60
1725.06/1725.52	c 1719s |      18 |  1555636 |   385452 |   438684      0 |        5 |       60
1727.56/1728.02	c 1722s |      18 |  1556100 |   385752 |   438684      0 |        5 |       60
1729.87/1730.36	c 1724s |      18 |  1557386 |   386052 |   438684      0 |        5 |       60
1732.76/1733.23	c 1727s |      18 |  1558840 |   386352 |   438684      0 |        5 |       60
1735.86/1736.30	c 1730s |      18 |  1560182 |   386652 |   438684      0 |        5 |       60
1738.26/1738.73	c 1732s |      18 |  1560434 |   386852 |   438684      0 |        5 |       60
1741.16/1741.66	c 1735s |      18 |  1561880 |   387152 |   438684      0 |        5 |       60
1743.26/1743.75	c 1737s |      18 |  1562240 |   387352 |   438684      0 |        5 |       60
1745.56/1746.07	c 1740s |      18 |  1562579 |   387552 |   438684      0 |        5 |       60
1748.06/1748.58	c 1742s |      18 |  1563838 |   387852 |   438684      0 |        5 |       60
1750.56/1751.09	c 1745s |      18 |  1565301 |   388152 |   438684      0 |        5 |       60
1753.07/1753.55	c 1747s |      18 |  1565838 |   388452 |   438684      0 |        5 |       60
1755.46/1755.96	c 1750s |      18 |  1566435 |   388852 |   438684      0 |        5 |       60
1757.76/1758.28	c 1752s |      18 |  1566883 |   389152 |   438684      0 |        5 |       60
1760.56/1761.10	c 1755s |      18 |  1567908 |   389452 |   438684      0 |        5 |       60
1762.96/1763.44	c 1757s |      18 |  1569666 |   389752 |   438684      0 |        5 |       60
1765.16/1765.65	c 1759s |      18 |  1570586 |   390052 |   438684      0 |        5 |       60
1767.66/1768.16	c 1762s |      18 |  1571274 |   390352 |   438684      0 |        5 |       60
1770.06/1770.57	c 1764s |      18 |  1571933 |   390652 |   438684      0 |        5 |       60
1772.56/1773.04	c 1767s |      18 |  1572340 |   390952 |   438684      0 |        5 |       60
1775.16/1775.65	c 1769s |      18 |  1572776 |   391252 |   438684      0 |        5 |       60
1777.75/1778.27	c 1772s |      18 |  1573147 |   391552 |   438684      0 |        5 |       60
1779.85/1780.32	c 1774s |      18 |  1573376 |   391752 |   438684      0 |        5 |       60
1782.66/1783.13	c 1777s |      18 |  1573851 |   392052 |   438684      0 |        5 |       60
1785.45/1785.95	c 1780s |      18 |  1574561 |   392352 |   438684      0 |        5 |       60
1788.35/1788.87	c 1783s |      18 |  1574940 |   392652 |   438684      0 |        5 |       60
1790.75/1791.22	c 1785s |      18 |  1575405 |   392952 |   438684      0 |        5 |       60
1793.35/1793.89	c 1788s |      18 |  1576865 |   393252 |   438684      0 |        5 |       60
1795.65/1796.19	c 1790s |      18 |  1578972 |   393552 |   438684      0 |        5 |       60
1797.85/1798.35	c 1792s |      18 |  1580187 |   393752 |   438684      0 |        5 |       60

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.16 2.16 2.09 3/179 15864
/proc/meminfo: memFree=30497732/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 2622 0 0 0 0 0 0 0 20 0 4 0 109432403 720826368 3494 33554432000 4194304 16246674 140733821592416 140733821591840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 176751 3504 441 2943 0 173645 0
[pid=15864/tid=15865] ppid=15861 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 739700736 3564 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 743895040 3581 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109432404 748089344 3598 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.16 2.16 2.09 3/179 15864
/proc/meminfo: memFree=30497732/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 30008 0 0 0 5 4 0 0 20 0 4 0 109432403 1249447936 30818 33554432000 4194304 16246674 140733821592416 140733821591728 4206607 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 305041 30818 801 2943 0 301935 0
[pid=15864/tid=15865] ppid=15861 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1249447936 30818 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1249447936 30818 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1249447936 30818 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200537 s]
/proc/loadavg: 2.16 2.16 2.09 3/179 15864
/proc/meminfo: memFree=30497732/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 51319 0 0 0 13 6 0 0 20 0 4 0 109432403 1339625472 52640 33554432000 4194304 16246674 140733821592416 140733821591728 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 327057 52644 801 2943 0 323951 0
[pid=15864/tid=15865] ppid=15861 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1339625472 52646 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1339625472 52648 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1339625472 52651 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1308228

[startup+0.30049 s]
/proc/loadavg: 2.16 2.16 2.09 3/179 15864
/proc/meminfo: memFree=30497732/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 57942 0 0 0 22 7 0 0 20 0 4 0 109432403 1345916928 59263 33554432000 4194304 16246674 140733821592416 140733821591728 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 328593 59263 801 2943 0 325487 0
[pid=15864/tid=15865] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1345916928 59263 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1345916928 59263 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1345916928 59263 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1314372

[startup+0.700424 s]
/proc/loadavg: 2.16 2.16 2.09 3/179 15864
/proc/meminfo: memFree=30497732/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 69779 0 0 0 60 9 0 0 20 0 4 0 109432403 1345916928 71100 33554432000 4194304 16246674 140733821592416 140733821590272 13923665 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 328593 71100 801 2943 0 325487 0
[pid=15864/tid=15865] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1345916928 71100 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1345916928 71100 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1345916928 71100 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.16 2.16 2.09 3/183 15868
/proc/meminfo: memFree=30162708/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 83780 0 0 0 138 11 0 0 20 0 4 0 109432403 1345916928 85101 33554432000 4194304 16246674 140733821592416 140733821590272 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 328593 85101 802 2943 0 325487 0
[pid=15864/tid=15865] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1345916928 85101 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1345916928 85101 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1345916928 85101 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.16 2.16 2.09 3/183 15868
/proc/meminfo: memFree=29907656/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1349188 CPUtime=3.09 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 277722 0 0 0 272 37 0 0 20 0 4 0 109432403 1381568512 279043 33554432000 4194304 16246674 140733821592416 140733821574336 13753126 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337297 279043 847 2943 0 334191 0
[pid=15864/tid=15865] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1381568512 279043 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279043 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279043 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1349188

[startup+6.30043 s]
/proc/loadavg: 2.14 2.15 2.09 3/183 15868
/proc/meminfo: memFree=29381168/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1349188 CPUtime=6.29 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 277965 0 0 0 592 37 0 0 20 0 4 0 109432403 1381568512 279286 33554432000 4194304 16246674 140733821592416 140733821574336 4220480 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337297 279286 886 2943 0 334191 0
[pid=15864/tid=15865] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1381568512 279286 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279286 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279286 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1349188

[startup+12.7004 s]
/proc/loadavg: 2.13 2.15 2.09 3/184 15871
/proc/meminfo: memFree=29381168/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1349188 CPUtime=12.69 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 277966 0 0 0 1232 37 0 0 20 0 4 0 109432403 1381568512 279287 33554432000 4194304 16246674 140733821592416 140733821574336 6073286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337297 279287 886 2943 0 334191 0
[pid=15864/tid=15865] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1381568512 279287 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279287 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279287 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1349188

[startup+25.5005 s]
/proc/loadavg: 2.17 2.16 2.09 3/184 15871
/proc/meminfo: memFree=29381800/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1349188 CPUtime=25.49 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 277967 0 0 0 2512 37 0 0 20 0 4 0 109432403 1381568512 279288 33554432000 4194304 16246674 140733821592416 140733821574336 13950236 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337297 279288 886 2943 0 334191 0
[pid=15864/tid=15865] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1381568512 279288 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279288 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279288 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1349188

[startup+51.1005 s]
/proc/loadavg: 2.11 2.14 2.09 4/184 15872
/proc/meminfo: memFree=29381936/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1349188 CPUtime=51.08 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 277967 0 0 0 5071 37 0 0 20 0 4 0 109432403 1381568512 279288 33554432000 4194304 16246674 140733821592416 140733821574336 5659576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337297 279288 886 2943 0 334191 0
[pid=15864/tid=15865] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1381568512 279288 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279288 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279288 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1349188

[startup+102.301 s]
/proc/loadavg: 2.05 2.12 2.08 3/183 15873
/proc/meminfo: memFree=29337628/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1349188 CPUtime=102.28 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 277975 0 0 0 10191 37 0 0 20 0 4 0 109432403 1381568512 279296 33554432000 4194304 16246674 140733821592416 140733821574336 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337297 279296 893 2943 0 334191 0
[pid=15864/tid=15865] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1381568512 279296 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279296 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1381568512 279296 33554432000 4194304 16246674 140733821592416 140717814963376 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) 1349188


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

/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1350212

[startup+1362.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 15977
/proc/meminfo: memFree=27860048/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1350212 CPUtime=1361.91 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 278532 0 0 0 136151 40 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140733821574336 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337553 279554 894 2943 0 334447 0
[pid=15864/tid=15865] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1350212

[startup+1422.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 15978
/proc/meminfo: memFree=27820892/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1350212 CPUtime=1421.91 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 278532 0 0 0 142151 40 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140733821574336 5723564 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337553 279554 894 2943 0 334447 0
[pid=15864/tid=15865] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1350212

[startup+1482.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 15979
/proc/meminfo: memFree=27784336/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1350212 CPUtime=1481.89 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 278532 0 0 0 148149 40 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140733821574336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337553 279554 894 2943 0 334447 0
[pid=15864/tid=15865] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1350212

[startup+1542.31 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 15980
/proc/meminfo: memFree=27759304/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1350212 CPUtime=1541.89 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 278532 0 0 0 154149 40 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140733821574336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337553 279554 894 2943 0 334447 0
[pid=15864/tid=15865] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1350212

[startup+1602.3 s]
/proc/loadavg: 2.06 2.10 2.09 3/183 15982
/proc/meminfo: memFree=27743100/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1350212 CPUtime=1601.87 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 278532 0 0 0 160147 40 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140733821574336 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337553 279554 894 2943 0 334447 0
[pid=15864/tid=15865] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1350212

[startup+1662.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 15983
/proc/meminfo: memFree=27711732/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1350212 CPUtime=1661.87 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 278532 0 0 0 166146 41 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140733821574336 5823682 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 337553 279554 894 2943 0 334447 0
[pid=15864/tid=15865] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1382617088 279554 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1350212

[startup+1722.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/183 15984
/proc/meminfo: memFree=27556796/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1445444 CPUtime=1721.86 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 302340 0 0 0 172141 45 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140733821574336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 361361 303362 894 2943 0 358255 0
[pid=15864/tid=15865] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1445444

[startup+1782.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 15985
/proc/meminfo: memFree=27533348/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1445444 CPUtime=1781.85 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 302340 0 0 0 178140 45 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140733821574336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 361361 303362 894 2943 0 358255 0
[pid=15864/tid=15865] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1445444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 15985
/proc/meminfo: memFree=27513372/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1445444 CPUtime=1800.05 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 302340 0 0 0 179960 45 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140733821574336 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 361361 303362 894 2943 0 358255 0
[pid=15864/tid=15865] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1445444

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 15985
/proc/meminfo: memFree=27513372/32872528 swapFree=11196/354588
[pid=15864] ppid=15861 vsize=1445444 CPUtime=1800.05 cores=1,3,5,7
/proc/15864/stat : 15864 (toysat) R 15861 15864 12837 0 -1 4202496 302340 0 0 0 179960 45 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140733821574336 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15864/statm: 361361 303362 894 2943 0 358255 0
[pid=15864/tid=15865] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15865/stat : 15865 (toysat) S 15861 15864 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109432403 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717907225840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=15864/tid=15866] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15866/stat : 15866 (toysat) S 15861 15864 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717825436912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=15864/tid=15867] ppid=15861 vsize=1445444 CPUtime=0 cores=1,3,5,7
/proc/15864/task/15867/stat : 15867 (toysat) S 15861 15864 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109432404 1480134656 303362 33554432000 4194304 16246674 140733821592416 140717814963376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1445444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.61
CPU system time (s): 0.449931
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1445444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.449931
maximum resident set size= 1213448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302340
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= 333
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91425 second user time and 6.589 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 06:49:49
IDJOB=4078869
IDBENCH=89634
IDSOLVER=2542
FILE ID=node126/4078869-1465274989
RUNJOBID= node126-1465253620-12854
PBS_JOBID= 19843265
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-61.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078869-1465274989/watcher-4078869-1465274989 -o /tmp/evaluation-result-4078869-1465274989/solver-4078869-1465274989 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078869-1465274989.opb

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

MD5SUM BENCH= 242cdc00579036e1487a0255b4e1d84c
RANDOM SEED=1472999750

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30498152 kB
Buffers:           32276 kB
Cached:           132080 kB
SwapCached:         2168 kB
Active:          1203988 kB
Inactive:          84552 kB
Active(anon):    1122604 kB
Inactive(anon):     4052 kB
Active(file):      81384 kB
Inactive(file):    80500 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             25808 kB
Writeback:             4 kB
AnonPages:       1479892 kB
Mapped:            10704 kB
Shmem:                 0 kB
Slab:             596484 kB
SReclaimable:      40296 kB
SUnreclaim:       556188 kB
KernelStack:        1520 kB
PageTables:         6964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1624244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1462272 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= 71656 MiB
End job on node126 at 2016-06-07 07:19:50