Trace number 4078908

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.09 1800.61

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
MD5SUM57b7e746b37944d021e8febe16059957
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 variables19516
Total number of constraints19846
Number of constraints which are clauses19682
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint164
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 165
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T09:44:41+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-4078908-1465285481.opb"]
0.00/0.01	c use --random-gen="2530229823 2660291205 3669468910 2843514117 3094964549 284085662 1031171790 1529335879 438075969 2780292907 1252838134 657054353 496776383 4050758105 3528423327 2577299898 3571716806 3206660707 1030877944 2664798305 705599873 1332201238 3631728178 2209735348 3479607736 478256414 2413859908 3488480993 2377262592 1346629451 91008518 3904142328 3717240625 618342373 463154401 3146349641 3028623969 3505289788 3000573625 3280156679 2020620821 3738651324 1491679893 3487573670 1612879121 2375262369 1165933186 2543116030 1605071380 2257885673 3805806229 319186825 3728883634 687776388 2716020621 144333163 2568941876 2688456258 2618245437 8575633 711393946 3800988099 3514033691 1871164131 2778535426 3982565298 3179731563 473159300 2935373545 3687153290 2683608146 684520462 189974450 2796797007 397977666 1097297859 426419983 2275275712 2016701176 878856902 738933163 3262642850 2364155850 3901061519 2412571886 1330238023 3492963789 2979253583 1707565966 3976763128 2444892893 1873110373 2143210493 1975599801 705146978 1868331953 2201147959 1715701538 1979734017 1196911417 878951456 875069005 2970557099 1481321156 3221461670 2249077819 1925615982 1589666166 1980194010 906285498 2678735039 3678082039 1884252435 855963481 2083440498 3236230942 2390846697 690817401 3570809814 2724552022 904823045 2247113391 1057980384 727600014 986280533 1547276394 395142543 1413704632 908258209 2231278246 1363274762 3785735756 1852299451 2248954801 1874170775 2573289406 3761384254 3650426234 1193500930 2647238350 4071696092 594337370 511437279 2863371943 1984008769 70227334 561837835 3651615839 215019742 82324204 1704175892 221597662 3053787960 1811778774 3429345296 4241161999 1225610390 2330685802 1783173561 3641152613 2075949476 1469131231 1327201140 2113137719 543202743 182730679 3469263781 344181685 3845168769 2763581723 534763942 1304246287 4076817721 3659889149 3833260497 1924468367 1371942050 1936826744 4042458377 2463180546 1667520341 1755320264 3053336527 3539098417 10667914 4100778455 2037425292 1338303322 3082191618 478906695 1804336505 2268064932 464662104 3139633209 734578280 3584860735 1300814061 3574325704 3725678344 1327165390 2892990469 1223690095 2990128185 805098337 3569504807 1574877544 841260330 947381417 2576569779 3383824808 3761048377 2538744605 168745164 3955604351 2208806865 1417784433 3324297001 1303042811 2638519475 2549227448 3706195769 680296455 1241512516 998342781 4269913384 2865530065 1026789219 847056877 3441305158 3475513733 1713836762 311969624 1271406934 2276377063 91691778 3275843642 1181376950 2648655395 4134869990 69893649 1144841093 1941893915 1197338987 2334163487 3959852944 3573437988 909466734 3330070157 2355526622 2518681811 3889435390 1870667223 2560033409 3942082658 2420531401 2643188300 255 362436" option to reproduce the execution
0.19/0.28	c #vars 19516
0.19/0.28	c #constraints 19846
0.69/0.72	c Solving starts ...
0.69/0.72	c ============================[ Search Statistics ]============================
0.69/0.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.72	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.72	c =============================================================================
0.69/0.72	c  0.0s |       0 |        0 |        0 |    13120      0 |      742 |        0
1.58/1.62	c  0.9s |       1 |    15513 |      100 |    13120      0 |      743 |      634
2.09/2.16	c  1.4s |       2 |    23794 |      250 |    14433      0 |      744 |      635
2.69/2.79	c  2.1s |       3 |    39852 |      475 |    15877      0 |      744 |      635
3.69/3.73	c  3.0s |       4 |    54366 |      813 |    17465      0 |      745 |      636
5.09/5.15	c  4.4s |       5 |    77936 |     1320 |    19212      0 |      745 |      636
7.29/7.33	c  6.6s |       6 |   107371 |     2081 |    23248      0 |      748 |      639
9.49/9.56	c  8.8s |       6 |   142219 |     2781 |    23248      0 |      750 |      641
10.69/10.74	c 10.0s |       7 |   160909 |     3223 |    25573      0 |      750 |      641
12.79/12.82	c 12.1s |       7 |   191434 |     3923 |    25573      0 |      751 |      642
14.89/14.90	c 14.2s |       7 |   211159 |     4723 |    25573      0 |      751 |      642
15.50/15.54	c 14.8s |       8 |   220187 |     4936 |    28131      0 |      751 |      642
17.79/17.86	c 17.1s |       8 |   248316 |     5736 |    28131      0 |      751 |      642
19.99/20.05	c 19.3s |       8 |   281134 |     6436 |    28131      0 |      751 |      642
22.19/22.26	c 21.5s |       8 |   312297 |     7036 |    28131      0 |      751 |      642
23.59/23.60	c 22.9s |       9 |   331205 |     7506 |    30945      0 |      751 |      642
25.69/25.71	c 25.0s |       9 |   352409 |     8306 |    30945      0 |      752 |      643
27.69/27.79	c 27.1s |       9 |   386913 |     8906 |    30945      0 |      752 |      643
29.99/30.01	c 29.3s |       9 |   421243 |     9506 |    30945      0 |      754 |      645
32.09/32.14	c 31.4s |       9 |   439273 |    10206 |    30945      0 |      754 |      645
34.09/34.17	c 33.5s |       9 |   461340 |    10906 |    30945      0 |      754 |      645
35.29/35.35	c 34.6s |      10 |   475591 |    11361 |    34040      0 |      754 |      645
37.59/37.65	c 36.9s |      10 |   496669 |    11961 |    34040      0 |      754 |      645
39.79/39.88	c 39.2s |      10 |   529012 |    12661 |    34040      0 |      754 |      645
42.18/42.25	c 41.5s |      10 |   563645 |    13261 |    34040      0 |      754 |      645
44.28/44.34	c 43.6s |      10 |   594002 |    13861 |    34040      0 |      754 |      645
46.48/46.53	c 45.8s |      10 |   614082 |    14561 |    34040      0 |      754 |      645
48.58/48.66	c 47.9s |      10 |   643547 |    15161 |    34040      0 |      754 |      645
50.88/50.90	c 50.2s |      10 |   666200 |    15861 |    34040      0 |      754 |      645
53.18/53.21	c 52.5s |      10 |   690019 |    16561 |    34040      0 |      755 |      646
55.18/55.22	c 54.5s |      11 |   714776 |    17144 |    37444      0 |      755 |      646
57.19/57.23	c 56.5s |      11 |   736131 |    17544 |    37444      0 |      756 |      647
59.28/59.40	c 58.7s |      11 |   763053 |    18244 |    37444      0 |      756 |      647
61.38/61.49	c 60.8s |      11 |   788748 |    18844 |    37444      0 |      756 |      647
63.68/63.78	c 63.1s |      11 |   812798 |    19544 |    37444      0 |      756 |      647
65.78/65.89	c 65.2s |      11 |   837215 |    20144 |    37444      0 |      756 |      647
67.98/68.08	c 67.4s |      11 |   863386 |    20744 |    37444      0 |      756 |      647
70.28/70.38	c 69.7s |      11 |   881584 |    21344 |    37444      0 |      756 |      647
72.78/72.83	c 72.1s |      11 |   906536 |    22044 |    37444      0 |      756 |      647
75.28/75.31	c 74.6s |      11 |   937845 |    22544 |    37444      0 |      757 |      648
77.58/77.68	c 77.0s |      11 |   970535 |    23144 |    37444      0 |      757 |      648
79.88/79.91	c 79.2s |      11 |   982651 |    23744 |    37444      0 |      757 |      648
82.08/82.18	c 81.5s |      11 |   984510 |    24144 |    37444      0 |      757 |      648
84.68/84.73	c 84.0s |      11 |   985986 |    24544 |    37444      0 |      757 |      648
87.17/87.29	c 86.6s |      11 |   986961 |    24844 |    37444      0 |      757 |      648
89.47/89.51	c 88.8s |      11 |   988745 |    25144 |    37444      0 |      757 |      648
91.77/91.88	c 91.2s |      11 |   996335 |    25744 |    41189      0 |      757 |      648
92.07/92.16	c 91.4s |      12 |   996594 |    25819 |    41189      0 |      757 |      648
94.17/94.26	c 93.5s |      12 |  1003409 |    26219 |    41189      0 |      757 |      648
96.38/96.43	c 95.7s |      12 |  1011658 |    26619 |    41189      0 |      757 |      648
98.68/98.78	c 98.1s |      12 |  1037807 |    27319 |    41189      0 |      757 |      648
100.98/101.00	c  100s |      12 |  1063287 |    27919 |    41189      0 |      757 |      648
102.98/103.02	c  102s |      12 |  1082240 |    28419 |    41189      0 |      757 |      648
105.18/105.27	c  104s |      12 |  1100371 |    28919 |    41189      0 |      757 |      648
107.38/107.46	c  106s |      12 |  1122593 |    29519 |    41189      0 |      757 |      648
109.58/109.64	c  108s |      12 |  1132506 |    30219 |    41189      0 |      757 |      648
111.88/111.95	c  111s |      12 |  1153730 |    30819 |    41189      0 |      757 |      648
113.97/114.02	c  113s |      12 |  1173403 |    31319 |    41189      0 |      757 |      648
116.37/116.42	c  115s |      12 |  1184197 |    31819 |    41189      0 |      757 |      648
118.47/118.50	c  117s |      12 |  1205438 |    32319 |    41189      0 |      757 |      648
120.57/120.63	c  119s |      12 |  1219697 |    32719 |    41189      0 |      758 |      649
122.67/122.76	c  122s |      12 |  1241720 |    33219 |    41189      0 |      758 |      649
124.97/125.09	c  124s |      12 |  1262555 |    33719 |    41189      0 |      758 |      649
127.27/127.34	c  126s |      12 |  1268760 |    34219 |    41189      0 |      758 |      649
129.47/129.56	c  128s |      12 |  1288674 |    34719 |    41189      0 |      758 |      649
131.77/131.85	c  131s |      12 |  1313356 |    35219 |    41189      0 |      758 |      649
133.87/133.97	c  133s |      12 |  1320302 |    35819 |    41189      0 |      758 |      649
136.17/136.27	c  135s |      12 |  1334149 |    36519 |    41189      0 |      758 |      649
138.27/138.35	c  137s |      12 |  1356497 |    37019 |    41189      0 |      758 |      649
140.37/140.49	c  139s |      12 |  1376039 |    37519 |    41189      0 |      758 |      649
143.27/143.33	c  142s |      12 |  1378397 |    38019 |    41189      0 |      758 |      649
145.56/145.60	c  144s |      12 |  1393442 |    38619 |    45308      0 |      758 |      649
146.37/146.42	c  145s |      13 |  1398657 |    38832 |    45308      0 |      758 |      649
148.47/148.53	c  147s |      13 |  1414977 |    39132 |    45308      0 |      758 |      649
150.86/150.95	c  150s |      13 |  1442635 |    39632 |    45308      0 |      758 |      649
153.16/153.22	c  152s |      13 |  1467595 |    40132 |    45308      0 |      758 |      649
155.17/155.25	c  154s |      13 |  1478785 |    40732 |    45308      0 |      758 |      649
157.37/157.45	c  156s |      13 |  1502423 |    41132 |    45308      0 |      758 |      649
159.76/159.85	c  159s |      13 |  1525582 |    41632 |    45308      0 |      758 |      649
162.06/162.14	c  161s |      13 |  1544750 |    42132 |    45308      0 |      758 |      649
164.26/164.30	c  163s |      13 |  1547625 |    42732 |    45308      0 |      758 |      649
166.26/166.34	c  165s |      13 |  1551355 |    43232 |    45308      0 |      758 |      649
168.66/168.78	c  168s |      13 |  1572022 |    43732 |    45308      0 |      758 |      649
170.96/171.06	c  170s |      13 |  1588684 |    44232 |    45308      0 |      758 |      649
173.26/173.30	c  172s |      13 |  1608976 |    44732 |    45308      0 |      758 |      649
176.36/176.48	c  175s |      13 |  1627365 |    45132 |    45308      0 |      760 |      651
178.76/178.84	c  178s |      13 |  1648067 |    45732 |    45308      0 |      760 |      651
180.96/181.05	c  180s |      13 |  1669166 |    46232 |    45308      0 |      760 |      651
183.06/183.12	c  182s |      13 |  1679179 |    46732 |    45308      0 |      760 |      651
185.45/185.54	c  184s |      13 |  1693868 |    47232 |    45308      0 |      760 |      651
187.65/187.70	c  186s |      13 |  1696565 |    47732 |    45308      0 |      760 |      651
190.16/190.24	c  189s |      13 |  1701018 |    48132 |    45308      1 |      760 |      651
192.57/192.65	c  191s |      13 |  1722253 |    48732 |    45308      1 |      760 |      651
194.96/195.07	c  194s |      13 |  1736460 |    49232 |    45308      1 |      760 |      651
197.06/197.15	c  196s |      13 |  1759316 |    49732 |    45308      1 |      760 |      651
199.17/199.27	c  198s |      13 |  1777681 |    50332 |    45308      1 |      760 |      651
201.27/201.37	c  200s |      13 |  1796561 |    50832 |    45308      1 |      761 |      652
203.57/203.67	c  202s |      13 |  1810430 |    51432 |    45308      1 |      761 |      652
205.76/205.87	c  205s |      13 |  1824000 |    52032 |    45308      1 |      761 |      652
207.96/208.09	c  207s |      13 |  1844178 |    52532 |    45308      1 |      761 |      652
209.96/210.10	c  209s |      13 |  1861205 |    53032 |    45308      1 |      761 |      652
212.06/212.18	c  211s |      13 |  1886315 |    53532 |    45308      1 |      761 |      652
214.26/214.31	c  213s |      13 |  1905955 |    54032 |    45308      1 |      761 |      652
216.46/216.54	c  215s |      13 |  1929177 |    54632 |    45308      1 |      761 |      652
218.45/218.54	c  217s |      13 |  1943447 |    55232 |    45308      1 |      761 |      652
220.85/220.90	c  220s |      13 |  1963562 |    55732 |    45308      1 |      761 |      652
222.95/223.05	c  222s |      13 |  1979223 |    56332 |    45308      1 |      761 |      652
225.25/225.30	c  224s |      13 |  1995660 |    56932 |    45308      1 |      761 |      652
227.25/227.33	c  226s |      13 |  2013350 |    57432 |    45308      1 |      761 |      652
229.55/229.61	c  228s |      13 |  2020608 |    58132 |    49839      1 |      761 |      652
230.45/230.58	c  229s |      14 |  2028136 |    58352 |    49839      1 |      761 |      652
232.55/232.65	c  231s |      14 |  2041411 |    58652 |    49839      1 |      761 |      652
234.65/234.72	c  234s |      14 |  2059006 |    59252 |    49839      1 |      761 |      652
236.65/236.73	c  236s |      14 |  2074542 |    59752 |    49839      1 |      761 |      652
238.76/238.87	c  238s |      14 |  2094827 |    60252 |    49839      1 |      761 |      652
240.96/241.06	c  240s |      14 |  2112171 |    60752 |    49839      1 |      761 |      652
243.55/243.64	c  242s |      14 |  2125982 |    61252 |    49839      1 |      761 |      652
245.55/245.67	c  244s |      14 |  2139686 |    61852 |    49839      1 |      761 |      652
247.95/248.02	c  247s |      14 |  2159058 |    62352 |    49839      1 |      761 |      652
249.95/250.09	c  249s |      14 |  2185980 |    62752 |    49839      1 |      761 |      652
252.25/252.31	c  251s |      14 |  2202933 |    63452 |    49839      1 |      761 |      652
254.25/254.37	c  253s |      14 |  2226197 |    63852 |    49839      1 |      761 |      652
256.65/256.73	c  256s |      14 |  2247425 |    64352 |    49839      1 |      761 |      652
258.65/258.73	c  258s |      14 |  2263733 |    64852 |    49839      1 |      761 |      652
261.15/261.26	c  260s |      14 |  2275979 |    65552 |    49839      1 |      761 |      652
263.54/263.68	c  262s |      14 |  2295183 |    66152 |    49839      1 |      761 |      652
266.25/266.36	c  265s |      14 |  2314149 |    66652 |    49839      1 |      762 |      653
268.45/268.58	c  267s |      14 |  2334586 |    67152 |    49839      1 |      762 |      653
270.55/270.64	c  269s |      14 |  2346523 |    67652 |    49839      1 |      762 |      653
273.04/273.11	c  272s |      14 |  2370430 |    68152 |    49839      1 |      762 |      653
275.34/275.42	c  274s |      14 |  2386223 |    68752 |    49839      1 |      762 |      653
277.34/277.44	c  276s |      14 |  2399599 |    69252 |    49839      1 |      762 |      653
279.35/279.50	c  278s |      14 |  2405006 |    69852 |    49839      1 |      762 |      653
281.94/282.05	c  281s |      14 |  2413157 |    70352 |    49839      1 |      762 |      653
284.04/284.12	c  283s |      14 |  2437306 |    70752 |    49839      1 |      762 |      653
286.14/286.25	c  285s |      14 |  2451979 |    71252 |    49839      1 |      762 |      653
288.34/288.45	c  287s |      14 |  2468554 |    71652 |    49839      1 |      762 |      653
291.04/291.13	c  290s |      14 |  2490016 |    72152 |    49839      1 |      762 |      653
293.04/293.19	c  292s |      14 |  2503675 |    72552 |    49839      1 |      762 |      653
295.24/295.35	c  294s |      14 |  2519435 |    72952 |    49839      1 |      762 |      653
297.34/297.45	c  296s |      14 |  2524577 |    73352 |    49839      1 |      762 |      653
299.64/299.79	c  299s |      14 |  2536892 |    73852 |    49839      1 |      762 |      653
301.84/301.91	c  301s |      14 |  2538226 |    74152 |    49839      1 |      762 |      653
303.84/303.91	c  303s |      14 |  2546894 |    74752 |    49839      1 |      762 |      653
305.94/306.02	c  305s |      14 |  2551954 |    75052 |    49839      1 |      762 |      653
307.94/308.07	c  307s |      14 |  2565057 |    75552 |    49839      1 |      762 |      653
309.94/310.09	c  309s |      14 |  2572847 |    75952 |    49839      1 |      762 |      653
312.34/312.48	c  311s |      14 |  2583796 |    76252 |    49839      2 |      762 |      653
314.44/314.53	c  313s |      14 |  2597196 |    76852 |    49839      2 |      762 |      653
316.53/316.69	c  315s |      14 |  2615634 |    77352 |    49839      2 |      762 |      653
318.73/318.81	c  318s |      14 |  2630725 |    77952 |    49839      2 |      762 |      653
320.83/320.92	c  320s |      14 |  2648506 |    78652 |    49839      2 |      762 |      653
322.94/323.09	c  322s |      14 |  2655090 |    79152 |    49839      2 |      762 |      653
325.24/325.35	c  324s |      14 |  2678492 |    79652 |    49839      2 |      762 |      653
327.44/327.58	c  326s |      14 |  2680193 |    80152 |    49839      2 |      762 |      653
329.74/329.84	c  329s |      14 |  2690402 |    80652 |    49839      2 |      762 |      653
331.94/332.02	c  331s |      14 |  2706495 |    81252 |    49839      2 |      762 |      653
333.94/334.09	c  333s |      14 |  2722734 |    81652 |    49839      2 |      763 |      654
336.04/336.14	c  335s |      14 |  2729960 |    82352 |    49839      2 |      763 |      654
338.24/338.33	c  337s |      14 |  2738291 |    82952 |    49839      2 |      763 |      654
340.34/340.42	c  339s |      14 |  2750812 |    83552 |    49839      2 |      763 |      654
342.64/342.70	c  341s |      14 |  2754928 |    84052 |    49839      2 |      763 |      654
344.74/344.83	c  344s |      14 |  2764845 |    84652 |    49839      2 |      763 |      654
347.34/347.44	c  346s |      14 |  2768887 |    85152 |    49839      2 |      763 |      654
349.54/349.65	c  348s |      14 |  2776040 |    85652 |    49839      2 |      763 |      654
351.94/352.08	c  351s |      14 |  2778015 |    86152 |    49839      2 |      763 |      654
354.74/354.88	c  354s |      14 |  2779167 |    86552 |    49839      2 |      763 |      654
357.44/357.52	c  356s |      14 |  2780521 |    86852 |    49839      2 |      763 |      654
359.53/359.61	c  358s |      14 |  2782059 |    87252 |    54823      2 |      763 |      654
361.73/361.82	c  361s |      14 |  2782728 |    87452 |    54823      2 |      763 |      654
363.53/363.61	c  362s |      15 |  2783651 |    87632 |    54823      2 |      763 |      654
365.83/365.91	c  365s |      15 |  2797058 |    88032 |    54823      2 |      763 |      654
367.93/368.02	c  367s |      15 |  2816421 |    88432 |    54823      2 |      763 |      654
370.33/370.42	c  369s |      15 |  2831515 |    88932 |    54823      2 |      763 |      654
372.63/372.70	c  371s |      15 |  2847570 |    89332 |    54823      2 |      764 |      655
374.93/375.05	c  374s |      15 |  2858363 |    90032 |    54823      2 |      764 |      655
377.13/377.22	c  376s |      15 |  2869568 |    90732 |    54823      2 |      764 |      655
379.13/379.26	c  378s |      15 |  2872016 |    91232 |    54823      2 |      764 |      655
381.13/381.29	c  380s |      15 |  2882067 |    91732 |    54823      2 |      764 |      655
383.43/383.50	c  382s |      15 |  2899635 |    92232 |    54823      2 |      764 |      655
385.63/385.73	c  385s |      15 |  2917424 |    92732 |    54823      2 |      764 |      655
388.03/388.10	c  387s |      15 |  2938242 |    93332 |    54823      2 |      764 |      655
390.22/390.38	c  389s |      15 |  2951918 |    93832 |    54823      2 |      764 |      655
392.42/392.54	c  391s |      15 |  2969890 |    94232 |    54823      2 |      764 |      655
394.72/394.88	c  394s |      15 |  2985215 |    94832 |    54823      2 |      764 |      655
396.82/396.93	c  396s |      15 |  2992698 |    95432 |    54823      2 |      764 |      655
398.82/398.99	c  398s |      15 |  2996558 |    96032 |    54823      2 |      764 |      655
401.42/401.59	c  400s |      15 |  2997417 |    96432 |    54823      2 |      764 |      655
403.72/403.80	c  403s |      15 |  2999010 |    96932 |    54823      2 |      764 |      655
405.71/405.88	c  405s |      15 |  2999830 |    97232 |    54823      2 |      764 |      655
407.91/408.02	c  407s |      15 |  3000903 |    97532 |    54823      2 |      764 |      655
410.01/410.11	c  409s |      15 |  3005659 |    98232 |    54823      2 |      764 |      655
412.01/412.11	c  411s |      15 |  3009313 |    98432 |    54823      2 |      765 |      656
414.01/414.12	c  413s |      15 |  3014793 |    99032 |    54823      2 |      765 |      656
416.41/416.52	c  415s |      15 |  3031351 |    99532 |    54823      2 |      765 |      656
418.71/418.81	c  418s |      15 |  3047187 |   100032 |    54823      2 |      765 |      656
421.01/421.10	c  420s |      15 |  3048446 |   100432 |    54823      2 |      765 |      656
423.11/423.23	c  422s |      15 |  3053144 |   100832 |    54823      2 |      765 |      656
425.31/425.49	c  424s |      15 |  3056763 |   101332 |    54823      2 |      765 |      656
427.41/427.56	c  426s |      15 |  3059634 |   101732 |    54823      2 |      765 |      656
429.70/429.86	c  429s |      15 |  3060789 |   102032 |    54823      2 |      765 |      656
431.90/432.05	c  431s |      15 |  3061542 |   102332 |    54823      2 |      765 |      656
434.10/434.25	c  433s |      15 |  3076202 |   102732 |    54823      2 |      765 |      656
436.40/436.52	c  435s |      15 |  3092302 |   103232 |    54823      2 |      765 |      656
438.60/438.71	c  437s |      15 |  3106868 |   103832 |    54823      2 |      765 |      656
440.70/440.89	c  440s |      15 |  3121983 |   104432 |    54823      2 |      765 |      656
443.10/443.23	c  442s |      15 |  3138734 |   105132 |    54823      2 |      765 |      656
445.41/445.60	c  444s |      15 |  3156638 |   105732 |    54823      2 |      765 |      656
447.80/447.95	c  447s |      15 |  3171642 |   106232 |    54823      2 |      765 |      656
450.00/450.16	c  449s |      15 |  3185731 |   106732 |    54823      2 |      765 |      656
452.01/452.18	c  451s |      15 |  3189455 |   107132 |    54823      2 |      765 |      656
454.40/454.53	c  453s |      15 |  3206682 |   107532 |    54823      2 |      765 |      656
456.80/456.90	c  456s |      15 |  3224067 |   108032 |    54823      2 |      765 |      656
459.00/459.17	c  458s |      15 |  3235225 |   108532 |    54823      2 |      765 |      656
462.10/462.29	c  461s |      15 |  3246077 |   108932 |    54823      3 |      765 |      656
464.40/464.51	c  463s |      15 |  3265522 |   109532 |    54823      3 |      765 |      656
466.50/466.66	c  465s |      15 |  3275685 |   110032 |    54823      3 |      765 |      656
469.09/469.21	c  468s |      15 |  3289983 |   110632 |    54823      3 |      766 |      657
471.60/471.76	c  471s |      15 |  3304041 |   111232 |    54823      3 |      766 |      657
473.80/473.92	c  473s |      15 |  3316098 |   111832 |    54823      3 |      766 |      657
475.80/475.94	c  475s |      15 |  3333831 |   112332 |    54823      3 |      766 |      657
478.41/478.54	c  477s |      15 |  3348523 |   112832 |    54823      3 |      766 |      657
480.70/480.83	c  480s |      15 |  3369545 |   113332 |    54823      3 |      766 |      657
482.80/482.97	c  482s |      15 |  3386394 |   113732 |    54823      3 |      766 |      657
484.90/485.10	c  484s |      15 |  3407034 |   114132 |    54823      3 |      766 |      657
487.09/487.28	c  486s |      15 |  3422912 |   114732 |    54823      3 |      766 |      657
489.59/489.77	c  489s |      15 |  3441230 |   115232 |    54823      3 |      766 |      657
491.89/492.01	c  491s |      15 |  3451737 |   115832 |    54823      3 |      766 |      657
494.09/494.24	c  493s |      15 |  3453852 |   116432 |    54823      3 |      766 |      657
496.98/497.18	c  496s |      15 |  3457004 |   116932 |    54823      3 |      766 |      657
499.39/499.52	c  498s |      15 |  3458683 |   117432 |    54823      3 |      766 |      657
501.59/501.79	c  501s |      15 |  3473449 |   117932 |    54823      3 |      766 |      657
503.98/504.18	c  503s |      15 |  3494057 |   118432 |    54823      3 |      766 |      657
506.28/506.40	c  505s |      15 |  3506871 |   118932 |    54823      3 |      766 |      657
508.68/508.83	c  508s |      15 |  3530185 |   119432 |    54823      3 |      766 |      657
510.88/511.01	c  510s |      15 |  3551705 |   119932 |    54823      3 |      766 |      657
512.88/513.09	c  512s |      15 |  3564590 |   120532 |    54823      3 |      766 |      657
515.08/515.26	c  514s |      15 |  3566098 |   120932 |    54823      3 |      766 |      657
517.18/517.36	c  516s |      15 |  3583728 |   121332 |    54823      3 |      766 |      657
519.28/519.44	c  518s |      15 |  3598162 |   121832 |    54823      3 |      766 |      657
521.28/521.49	c  520s |      15 |  3612812 |   122332 |    54823      3 |      766 |      657
523.38/523.59	c  522s |      15 |  3625699 |   122832 |    54823      3 |      766 |      657
525.57/525.71	c  524s |      15 |  3635581 |   123132 |    54823      3 |      767 |      658
527.98/528.15	c  527s |      15 |  3655360 |   123532 |    54823      3 |      768 |      659
530.18/530.38	c  529s |      15 |  3668205 |   124032 |    54823      3 |      768 |      659
532.47/532.68	c  531s |      15 |  3679573 |   124432 |    54823      3 |      768 |      659
534.58/534.78	c  534s |      15 |  3695617 |   124932 |    54823      3 |      768 |      659
536.67/536.90	c  536s |      15 |  3714687 |   125432 |    54823      3 |      768 |      659
539.06/539.29	c  538s |      15 |  3727409 |   125932 |    54823      3 |      768 |      659
541.17/541.38	c  540s |      15 |  3739185 |   126232 |    54823      3 |      768 |      659
543.56/543.71	c  542s |      15 |  3758844 |   126732 |    54823      3 |      768 |      659
545.86/546.02	c  545s |      15 |  3769595 |   127232 |    54823      3 |      768 |      659
547.86/548.07	c  547s |      15 |  3785494 |   127732 |    54823      3 |      768 |      659
550.06/550.25	c  549s |      15 |  3801236 |   128132 |    54823      3 |      768 |      659
553.46/553.61	c  552s |      15 |  3802374 |   128432 |    54823      3 |      768 |      659
557.16/557.30	c  556s |      15 |  3803584 |   128632 |    54823      3 |      768 |      659
559.26/559.46	c  558s |      15 |  3811738 |   129032 |    54823      3 |      768 |      659
561.76/561.98	c  561s |      15 |  3817597 |   129432 |    54823      3 |      768 |      659
564.06/564.23	c  563s |      15 |  3827233 |   130032 |    54823      3 |      768 |      659
566.15/566.38	c  565s |      15 |  3829259 |   130332 |    54823      3 |      768 |      659
568.75/568.97	c  568s |      15 |  3851761 |   130732 |    60306      3 |      768 |      659
571.05/571.20	c  570s |      15 |  3868277 |   131132 |    60306      3 |      768 |      659
573.76/573.97	c  573s |      15 |  3878817 |   131532 |    60306      3 |      769 |      660
573.86/574.08	c  573s |      16 |  3879392 |   131552 |    60306      3 |      769 |      660
576.06/576.23	c  575s |      16 |  3885978 |   131852 |    60306      3 |      769 |      660
578.57/578.79	c  578s |      16 |  3898699 |   132352 |    60306      3 |      769 |      660
580.56/580.80	c  580s |      16 |  3911135 |   132852 |    60306      3 |      769 |      660
582.66/582.86	c  582s |      16 |  3918581 |   133452 |    60306      3 |      769 |      660
585.56/585.73	c  585s |      16 |  3937967 |   133852 |    60306      3 |      770 |      661
587.96/588.18	c  587s |      16 |  3947122 |   134252 |    60306      3 |      770 |      661
590.16/590.39	c  589s |      16 |  3962421 |   134652 |    60306      3 |      770 |      661
592.36/592.54	c  591s |      16 |  3976363 |   135052 |    60306      3 |      770 |      661
594.36/594.59	c  593s |      16 |  3989702 |   135452 |    60306      3 |      770 |      661
596.56/596.76	c  596s |      16 |  4002156 |   135852 |    60306      3 |      770 |      661
598.66/598.89	c  598s |      16 |  4013935 |   136252 |    60306      3 |      770 |      661
600.76/600.92	c  600s |      16 |  4029510 |   136652 |    60306      3 |      770 |      661
602.86/603.10	c  602s |      16 |  4043457 |   137052 |    60306      3 |      770 |      661
605.06/605.28	c  604s |      16 |  4050014 |   137552 |    60306      3 |      770 |      661
607.35/607.51	c  606s |      16 |  4051750 |   138052 |    60306      3 |      770 |      661
609.45/609.62	c  608s |      16 |  4053395 |   138452 |    60306      3 |      770 |      661
611.46/611.63	c  610s |      16 |  4055477 |   138752 |    60306      3 |      770 |      661
613.76/613.97	c  613s |      16 |  4057255 |   139152 |    60306      3 |      770 |      661
616.15/616.38	c  615s |      16 |  4058268 |   139452 |    60306      3 |      770 |      661
618.25/618.47	c  617s |      16 |  4058779 |   139652 |    60306      3 |      770 |      661
620.54/620.76	c  620s |      16 |  4060754 |   139952 |    60306      3 |      770 |      661
622.94/623.14	c  622s |      16 |  4063747 |   140352 |    60306      3 |      770 |      661
625.24/625.44	c  624s |      16 |  4067551 |   140752 |    60306      3 |      770 |      661
627.44/627.60	c  626s |      16 |  4078127 |   141152 |    60306      3 |      770 |      661
629.64/629.84	c  629s |      16 |  4091734 |   141652 |    60306      3 |      770 |      661
632.03/632.27	c  631s |      16 |  4096518 |   142052 |    60306      3 |      770 |      661
634.43/634.70	c  633s |      16 |  4102988 |   142252 |    60306      4 |      770 |      661
636.63/636.85	c  636s |      16 |  4119531 |   142852 |    60306      4 |      770 |      661
638.73/638.93	c  638s |      16 |  4131565 |   143352 |    60306      4 |      770 |      661
640.93/641.17	c  640s |      16 |  4152332 |   144052 |    60306      4 |      770 |      661
643.24/643.43	c  642s |      16 |  4170386 |   144552 |    60306      4 |      770 |      661
645.24/645.44	c  644s |      16 |  4178574 |   145152 |    60306      4 |      770 |      661
647.74/647.90	c  647s |      16 |  4199090 |   145952 |    60306      4 |      770 |      661
649.94/650.18	c  649s |      16 |  4215464 |   146452 |    60306      4 |      770 |      661
652.43/652.65	c  651s |      16 |  4238830 |   146952 |    60306      4 |      770 |      661
654.73/654.98	c  654s |      16 |  4253106 |   147552 |    60306      4 |      770 |      661
656.83/657.06	c  656s |      16 |  4267645 |   148052 |    60306      4 |      770 |      661
658.83/659.09	c  658s |      16 |  4282397 |   148652 |    60306      4 |      770 |      661
661.23/661.49	c  660s |      16 |  4302665 |   149152 |    60306      4 |      770 |      661
663.73/663.98	c  663s |      16 |  4322200 |   149652 |    60306      4 |      770 |      661
665.92/666.13	c  665s |      16 |  4334167 |   150052 |    60306      4 |      770 |      661
668.02/668.25	c  667s |      16 |  4342668 |   150652 |    60306      4 |      770 |      661
670.22/670.49	c  669s |      16 |  4354429 |   151252 |    60306      4 |      770 |      661
672.62/672.85	c  672s |      16 |  4371389 |   151752 |    60306      4 |      770 |      661
675.02/675.26	c  674s |      16 |  4385158 |   152352 |    60306      4 |      770 |      661
677.31/677.54	c  676s |      16 |  4402533 |   152852 |    60306      4 |      770 |      661
679.41/679.69	c  678s |      16 |  4415953 |   153452 |    60306      4 |      770 |      661
681.71/681.93	c  681s |      16 |  4422233 |   154052 |    60306      4 |      770 |      661
684.31/684.55	c  683s |      16 |  4423054 |   154452 |    60306      4 |      770 |      661
686.40/686.61	c  685s |      16 |  4436347 |   154952 |    60306      4 |      770 |      661
688.41/688.69	c  687s |      16 |  4440655 |   155352 |    60306      4 |      770 |      661
690.61/690.87	c  690s |      16 |  4452844 |   156052 |    60306      4 |      770 |      661
692.70/692.93	c  692s |      16 |  4459272 |   156552 |    60306      4 |      770 |      661
694.90/695.14	c  694s |      16 |  4465116 |   157152 |    60306      4 |      770 |      661
697.40/697.65	c  696s |      16 |  4467497 |   157652 |    60306      4 |      770 |      661
700.19/700.43	c  699s |      16 |  4468277 |   157952 |    60306      4 |      770 |      661
702.60/702.90	c  702s |      16 |  4469250 |   158152 |    60306      4 |      770 |      661
704.80/705.02	c  704s |      16 |  4470417 |   158452 |    60306      4 |      770 |      661
707.10/707.40	c  706s |      16 |  4472488 |   158852 |    60306      4 |      770 |      661
709.19/709.41	c  708s |      16 |  4474185 |   159152 |    60306      4 |      770 |      661
711.29/711.54	c  710s |      16 |  4475225 |   159452 |    60306      4 |      770 |      661
713.59/713.88	c  713s |      16 |  4475854 |   159652 |    60306      4 |      770 |      661
716.08/716.33	c  715s |      16 |  4476240 |   159752 |    60306      4 |      770 |      661
719.88/720.16	c  719s |      16 |  4476797 |   159952 |    60306      4 |      770 |      661
721.98/722.21	c  721s |      16 |  4478021 |   160252 |    60306      4 |      770 |      661
724.08/724.31	c  723s |      16 |  4484934 |   160652 |    60306      4 |      770 |      661
726.18/726.48	c  725s |      16 |  4499350 |   161152 |    60306      4 |      770 |      661
728.68/728.95	c  728s |      16 |  4512620 |   161652 |    60306      4 |      770 |      661
731.17/731.40	c  730s |      16 |  4527907 |   162252 |    60306      4 |      770 |      661
733.77/734.01	c  733s |      16 |  4547498 |   162752 |    60306      4 |      770 |      661
736.37/736.61	c  735s |      16 |  4566974 |   163252 |    60306      4 |      770 |      661
738.67/738.93	c  738s |      16 |  4582062 |   163752 |    60306      4 |      770 |      661
740.77/741.00	c  740s |      16 |  4596958 |   164252 |    60306      4 |      770 |      661
742.77/743.09	c  742s |      16 |  4600926 |   164752 |    60306      4 |      770 |      661
744.97/745.25	c  744s |      16 |  4611110 |   165352 |    60306      4 |      770 |      661
747.28/747.57	c  746s |      16 |  4622045 |   165952 |    60306      4 |      770 |      661
749.28/749.57	c  748s |      16 |  4633179 |   166452 |    60306      4 |      770 |      661
751.38/751.67	c  750s |      16 |  4643695 |   166952 |    60306      4 |      770 |      661
753.48/753.73	c  753s |      16 |  4657003 |   167452 |    60306      4 |      770 |      661
755.67/755.95	c  755s |      16 |  4660201 |   168052 |    60306      4 |      770 |      661
758.07/758.37	c  757s |      16 |  4677247 |   168552 |    60306      4 |      770 |      661
760.27/760.58	c  759s |      16 |  4678438 |   169052 |    60306      4 |      770 |      661
763.47/763.76	c  763s |      16 |  4693502 |   169552 |    60306      4 |      771 |      662
765.77/766.08	c  765s |      16 |  4703888 |   170152 |    60306      4 |      771 |      662
768.07/768.39	c  767s |      16 |  4714590 |   170652 |    60306      4 |      771 |      662
770.47/770.70	c  769s |      16 |  4729993 |   171052 |    60306      4 |      771 |      662
772.47/772.71	c  771s |      16 |  4743592 |   171452 |    60306      4 |      771 |      662
774.66/774.91	c  774s |      16 |  4748685 |   171952 |    60306      4 |      771 |      662
777.06/777.34	c  776s |      16 |  4764694 |   172352 |    60306      4 |      771 |      662
779.26/779.54	c  778s |      16 |  4780175 |   172752 |    60306      4 |      771 |      662
783.36/783.64	c  782s |      16 |  4792373 |   173252 |    60306      5 |      771 |      662
785.65/785.92	c  785s |      16 |  4805570 |   173852 |    60306      5 |      771 |      662
787.75/788.05	c  787s |      16 |  4808819 |   174452 |    60306      5 |      771 |      662
789.85/790.14	c  789s |      16 |  4820132 |   174852 |    60306      5 |      771 |      662
791.86/792.17	c  791s |      16 |  4835615 |   175352 |    60306      5 |      771 |      662
794.15/794.43	c  793s |      16 |  4851344 |   175952 |    60306      5 |      772 |      663
796.55/796.87	c  796s |      16 |  4860275 |   176552 |    60306      5 |      772 |      663
798.85/799.11	c  798s |      16 |  4871735 |   177052 |    60306      5 |      772 |      663
800.95/801.22	c  800s |      16 |  4886677 |   177452 |    60306      5 |      772 |      663
803.14/803.49	c  802s |      16 |  4904058 |   178052 |    60306      5 |      772 |      663
805.24/805.52	c  804s |      16 |  4925047 |   178452 |    60306      5 |      772 |      663
807.74/808.06	c  807s |      16 |  4948928 |   178952 |    60306      5 |      772 |      663
810.04/810.32	c  809s |      16 |  4965679 |   179452 |    60306      5 |      772 |      663
812.14/812.43	c  811s |      16 |  4977814 |   180052 |    60306      5 |      772 |      663
814.54/814.87	c  814s |      16 |  4997885 |   180552 |    60306      5 |      772 |      663
816.63/816.95	c  816s |      16 |  5010224 |   181152 |    60306      5 |      772 |      663
818.73/819.08	c  818s |      16 |  5025368 |   181652 |    60306      5 |      772 |      663
820.93/821.29	c  820s |      16 |  5033966 |   182152 |    60306      5 |      772 |      663
823.33/823.68	c  822s |      16 |  5051035 |   182752 |    60306      5 |      772 |      663
825.43/825.70	c  824s |      16 |  5069680 |   183152 |    60306      5 |      772 |      663
827.52/827.82	c  827s |      16 |  5079934 |   183652 |    60306      5 |      772 |      663
829.62/829.92	c  829s |      16 |  5091040 |   184252 |    60306      5 |      772 |      663
831.92/832.23	c  831s |      16 |  5101098 |   184852 |    60306      5 |      772 |      663
834.12/834.47	c  833s |      16 |  5102085 |   185252 |    60306      5 |      772 |      663
836.22/836.57	c  835s |      16 |  5112765 |   185752 |    60306      5 |      772 |      663
838.62/838.90	c  838s |      16 |  5132089 |   186152 |    60306      5 |      772 |      663
841.02/841.35	c  840s |      16 |  5148318 |   186652 |    60306      5 |      772 |      663
843.42/843.73	c  843s |      16 |  5161393 |   187252 |    60306      5 |      772 |      663
845.72/846.03	c  845s |      16 |  5181117 |   187752 |    60306      5 |      772 |      663
847.82/848.10	c  847s |      16 |  5193790 |   188352 |    60306      5 |      772 |      663
850.31/850.62	c  849s |      16 |  5209016 |   188852 |    60306      5 |      772 |      663
852.81/853.13	c  852s |      16 |  5215335 |   189352 |    60306      5 |      772 |      663
855.11/855.48	c  854s |      16 |  5226362 |   189952 |    60306      5 |      772 |      663
857.60/857.95	c  857s |      16 |  5244837 |   190352 |    60306      5 |      772 |      663
859.80/860.19	c  859s |      16 |  5250652 |   190852 |    60306      5 |      772 |      663
861.90/862.20	c  861s |      16 |  5254264 |   191352 |    60306      5 |      772 |      663
864.00/864.33	c  863s |      16 |  5258967 |   191852 |    60306      5 |      772 |      663
865.99/866.34	c  865s |      16 |  5272216 |   192252 |    60306      5 |      772 |      663
868.39/868.78	c  868s |      16 |  5286171 |   192752 |    60306      5 |      772 |      663
870.79/871.19	c  870s |      16 |  5304232 |   193152 |    60306      5 |      772 |      663
873.29/873.65	c  872s |      16 |  5311144 |   193552 |    60306      5 |      772 |      663
875.88/876.28	c  875s |      16 |  5326364 |   193952 |    60306      5 |      772 |      663
877.98/878.39	c  877s |      16 |  5337041 |   194352 |    60306      5 |      772 |      663
880.48/880.89	c  880s |      16 |  5357127 |   194852 |    60306      5 |      772 |      663
882.68/883.09	c  882s |      16 |  5366438 |   195252 |    60306      5 |      772 |      663
884.88/885.24	c  884s |      16 |  5378472 |   195652 |    60306      5 |      772 |      663
887.08/887.41	c  886s |      16 |  5390604 |   196152 |    66337      5 |      772 |      663
889.38/889.75	c  889s |      16 |  5396653 |   196652 |    66337      5 |      772 |      663
891.38/891.76	c  891s |      16 |  5409093 |   197052 |    66337      5 |      772 |      663
893.18/893.54	c  892s |      17 |  5417829 |   197432 |    66337      5 |      772 |      663
895.68/896.01	c  895s |      17 |  5434052 |   197732 |    66337      5 |      772 |      663
897.78/898.16	c  897s |      17 |  5446402 |   198132 |    66337      5 |      772 |      663
899.98/900.31	c  899s |      17 |  5460772 |   198532 |    66337      5 |      772 |      663
902.38/902.75	c  902s |      17 |  5474603 |   199032 |    66337      5 |      772 |      663
904.47/904.83	c  904s |      17 |  5487748 |   199432 |    66337      5 |      772 |      663
906.87/907.20	c  906s |      17 |  5496520 |   199932 |    66337      5 |      772 |      663
909.47/909.85	c  909s |      17 |  5511101 |   200432 |    66337      5 |      772 |      663
911.67/912.02	c  911s |      17 |  5523006 |   200832 |    66337      5 |      772 |      663
913.77/914.15	c  913s |      17 |  5534328 |   201232 |    66337      5 |      772 |      663
916.36/916.80	c  916s |      17 |  5542314 |   201532 |    66337      5 |      773 |      664
918.86/919.23	c  918s |      17 |  5551634 |   202132 |    66337      5 |      773 |      664
921.06/921.46	c  920s |      17 |  5562836 |   202632 |    66337      5 |      773 |      664
923.36/923.71	c  922s |      17 |  5575792 |   203132 |    66337      5 |      773 |      664
925.96/926.33	c  925s |      17 |  5593944 |   203632 |    66337      5 |      773 |      664
928.95/929.30	c  928s |      17 |  5596017 |   203832 |    66337      5 |      773 |      664
930.95/931.37	c  930s |      17 |  5596179 |   203932 |    66337      5 |      773 |      664
933.56/933.93	c  933s |      17 |  5596410 |   204032 |    66337      5 |      773 |      664
936.64/937.08	c  936s |      17 |  5597229 |   204232 |    66337      5 |      773 |      664
939.64/940.01	c  939s |      17 |  5597863 |   204432 |    66337      5 |      773 |      664
941.84/942.20	c  941s |      17 |  5607743 |   204832 |    66337      5 |      773 |      664
944.14/944.52	c  943s |      17 |  5609014 |   205232 |    66337      5 |      773 |      664
946.64/947.00	c  946s |      17 |  5610899 |   205732 |    66337      5 |      773 |      664
949.14/949.58	c  948s |      17 |  5612884 |   206232 |    66337      5 |      773 |      664
951.24/951.65	c  950s |      17 |  5614209 |   206532 |    66337      5 |      773 |      664
953.23/953.67	c  952s |      17 |  5615724 |   206832 |    66337      5 |      773 |      664
955.63/956.06	c  955s |      17 |  5618138 |   207232 |    66337      5 |      773 |      664
957.83/958.28	c  957s |      17 |  5619635 |   207532 |    66337      5 |      773 |      664
960.12/960.53	c  959s |      17 |  5620045 |   207732 |    66337      5 |      773 |      664
963.12/963.54	c  962s |      17 |  5621669 |   208032 |    66337      5 |      773 |      664
965.63/966.07	c  965s |      17 |  5622475 |   208232 |    66337      5 |      773 |      664
969.33/969.74	c  969s |      17 |  5623125 |   208432 |    66337      5 |      773 |      664
973.14/973.52	c  972s |      17 |  5623725 |   208632 |    66337      5 |      773 |      664
976.22/976.68	c  975s |      17 |  5624269 |   208832 |    66337      5 |      773 |      664
978.92/979.39	c  978s |      17 |  5625036 |   209032 |    66337      5 |      773 |      664
981.52/981.94	c  981s |      17 |  5625792 |   209232 |    66337      5 |      773 |      664
984.62/985.04	c  984s |      17 |  5626669 |   209532 |    66337      5 |      773 |      664
987.11/987.59	c  986s |      17 |  5630335 |   209832 |    66337      5 |      773 |      664
989.42/989.88	c  989s |      17 |  5644780 |   210232 |    66337      5 |      773 |      664
992.02/992.41	c  991s |      17 |  5645864 |   210532 |    66337      5 |      773 |      664
994.22/994.65	c  993s |      17 |  5659812 |   210932 |    66337      5 |      773 |      664
996.61/997.08	c  996s |      17 |  5664340 |   211432 |    66337      5 |      773 |      664
999.11/999.51	c  998s |      17 |  5674097 |   211832 |    66337      5 |      773 |      664
1002.51/1002.95	c 1002s |      17 |  5683694 |   212132 |    66337      6 |      773 |      664
1004.51/1004.96	c 1004s |      17 |  5690921 |   212632 |    66337      6 |      773 |      664
1006.81/1007.23	c 1006s |      17 |  5709575 |   213132 |    66337      6 |      773 |      664
1009.11/1009.56	c 1008s |      17 |  5721762 |   213532 |    66337      6 |      774 |      665
1011.31/1011.70	c 1010s |      17 |  5733806 |   214032 |    66337      6 |      774 |      665
1013.41/1013.82	c 1013s |      17 |  5736852 |   214532 |    66337      6 |      774 |      665
1015.70/1016.11	c 1015s |      17 |  5740143 |   215032 |    66337      6 |      774 |      665
1017.80/1018.26	c 1017s |      17 |  5745101 |   215532 |    66337      6 |      774 |      665
1020.10/1020.56	c 1019s |      17 |  5759389 |   216032 |    66337      6 |      774 |      665
1022.40/1022.84	c 1022s |      17 |  5769034 |   216432 |    66337      6 |      774 |      665
1024.50/1024.91	c 1024s |      17 |  5782354 |   216932 |    66337      6 |      774 |      665
1026.69/1027.18	c 1026s |      17 |  5784893 |   217332 |    66337      6 |      774 |      665
1028.79/1029.28	c 1028s |      17 |  5798207 |   217732 |    66337      6 |      774 |      665
1030.79/1031.29	c 1030s |      17 |  5804007 |   218132 |    66337      6 |      774 |      665
1033.19/1033.63	c 1032s |      17 |  5811268 |   218632 |    66337      6 |      774 |      665
1035.39/1035.86	c 1035s |      17 |  5818669 |   219132 |    66337      6 |      774 |      665
1037.49/1037.90	c 1037s |      17 |  5824838 |   219532 |    66337      6 |      774 |      665
1039.89/1040.31	c 1039s |      17 |  5835548 |   220132 |    66337      6 |      774 |      665
1042.29/1042.70	c 1041s |      17 |  5849003 |   220632 |    66337      6 |      774 |      665
1044.49/1044.99	c 1044s |      17 |  5864840 |   221032 |    66337      6 |      774 |      665
1046.89/1047.31	c 1046s |      17 |  5882721 |   221432 |    66337      6 |      774 |      665
1049.19/1049.61	c 1048s |      17 |  5894393 |   222032 |    66337      6 |      774 |      665
1051.59/1052.05	c 1051s |      17 |  5913103 |   222632 |    66337      6 |      774 |      665
1054.19/1054.63	c 1053s |      17 |  5924480 |   223232 |    66337      6 |      774 |      665
1056.79/1057.21	c 1056s |      17 |  5933655 |   223732 |    66337      6 |      774 |      665
1058.79/1059.26	c 1058s |      17 |  5943194 |   224132 |    66337      6 |      774 |      665
1060.78/1061.29	c 1060s |      17 |  5947648 |   224532 |    66337      6 |      774 |      665
1063.39/1063.82	c 1063s |      17 |  5963070 |   225032 |    66337      6 |      774 |      665
1065.49/1065.97	c 1065s |      17 |  5969796 |   225532 |    66337      6 |      774 |      665
1067.79/1068.28	c 1067s |      17 |  5982419 |   225932 |    66337      6 |      774 |      665
1069.89/1070.39	c 1069s |      17 |  5996213 |   226432 |    66337      6 |      774 |      665
1072.28/1072.74	c 1072s |      17 |  6011915 |   226832 |    66337      6 |      774 |      665
1074.68/1075.10	c 1074s |      17 |  6023472 |   227332 |    66337      6 |      774 |      665
1076.98/1077.49	c 1076s |      17 |  6036647 |   227732 |    66337      6 |      774 |      665
1079.08/1079.50	c 1078s |      17 |  6050517 |   228032 |    66337      6 |      774 |      665
1081.78/1082.20	c 1081s |      17 |  6068487 |   228532 |    66337      6 |      774 |      665
1083.78/1084.29	c 1083s |      17 |  6079649 |   228932 |    66337      6 |      774 |      665
1086.18/1086.63	c 1085s |      17 |  6084617 |   229432 |    66337      6 |      774 |      665
1088.68/1089.15	c 1088s |      17 |  6088837 |   229732 |    66337      6 |      774 |      665
1090.98/1091.49	c 1090s |      17 |  6100432 |   230132 |    66337      6 |      774 |      665
1093.08/1093.53	c 1092s |      17 |  6113075 |   230532 |    66337      6 |      774 |      665
1095.29/1095.73	c 1095s |      17 |  6124536 |   230932 |    66337      6 |      774 |      665
1097.39/1097.83	c 1097s |      17 |  6125539 |   231232 |    66337      6 |      774 |      665
1099.59/1100.10	c 1099s |      17 |  6127298 |   231532 |    66337      6 |      774 |      665
1101.98/1102.42	c 1101s |      17 |  6127991 |   231832 |    66337      6 |      774 |      665
1104.09/1104.53	c 1103s |      17 |  6128691 |   232032 |    66337      6 |      774 |      665
1106.48/1106.93	c 1106s |      17 |  6129935 |   232332 |    66337      6 |      774 |      665
1109.08/1109.50	c 1108s |      17 |  6130953 |   232632 |    66337      6 |      774 |      665
1111.88/1112.32	c 1111s |      17 |  6132811 |   232932 |    66337      6 |      774 |      665
1114.88/1115.30	c 1114s |      17 |  6134042 |   233232 |    66337      6 |      774 |      665
1117.08/1117.56	c 1116s |      17 |  6134533 |   233432 |    66337      6 |      774 |      665
1120.07/1120.53	c 1119s |      17 |  6136395 |   233832 |    66337      6 |      774 |      665
1123.08/1123.55	c 1122s |      17 |  6137085 |   234032 |    66337      6 |      774 |      665
1125.38/1125.81	c 1125s |      17 |  6137512 |   234132 |    66337      6 |      774 |      665
1129.88/1130.35	c 1129s |      17 |  6138477 |   234332 |    66337      6 |      774 |      665
1132.37/1132.85	c 1132s |      17 |  6139720 |   234532 |    66337      6 |      774 |      665
1134.78/1135.30	c 1134s |      17 |  6141002 |   234932 |    66337      6 |      774 |      665
1136.87/1137.36	c 1136s |      17 |  6141986 |   235132 |    66337      6 |      774 |      665
1139.18/1139.67	c 1138s |      17 |  6143069 |   235432 |    66337      6 |      774 |      665
1141.67/1142.17	c 1141s |      17 |  6144486 |   235732 |    66337      6 |      774 |      665
1143.77/1144.25	c 1143s |      17 |  6144993 |   235932 |    66337      6 |      774 |      665
1145.78/1146.27	c 1145s |      17 |  6145191 |   236032 |    66337      6 |      774 |      665
1148.08/1148.54	c 1147s |      17 |  6145524 |   236132 |    66337      6 |      774 |      665
1150.97/1151.42	c 1150s |      17 |  6145970 |   236332 |    66337      6 |      774 |      665
1153.77/1154.22	c 1153s |      17 |  6146236 |   236432 |    66337      6 |      774 |      665
1156.47/1156.93	c 1156s |      17 |  6147073 |   236632 |    66337      6 |      774 |      665
1158.87/1159.31	c 1158s |      17 |  6148635 |   236932 |    66337      6 |      774 |      665
1161.57/1162.03	c 1161s |      17 |  6150370 |   237332 |    66337      6 |      774 |      665
1163.87/1164.36	c 1163s |      17 |  6152092 |   237632 |    66337      6 |      774 |      665
1166.36/1166.85	c 1166s |      17 |  6153817 |   237932 |    66337      6 |      774 |      665
1169.57/1170.00	c 1169s |      17 |  6154437 |   238132 |    66337      6 |      774 |      665
1172.47/1172.98	c 1172s |      17 |  6155083 |   238332 |    66337      6 |      774 |      665
1175.27/1175.78	c 1175s |      17 |  6155918 |   238532 |    66337      6 |      774 |      665
1178.17/1178.60	c 1177s |      17 |  6156992 |   238732 |    66337      6 |      774 |      665
1180.37/1180.88	c 1180s |      17 |  6161427 |   239232 |    66337      6 |      774 |      665
1183.17/1183.69	c 1182s |      17 |  6163886 |   239632 |    66337      6 |      774 |      665
1185.66/1186.10	c 1185s |      17 |  6165217 |   239932 |    66337      6 |      774 |      665
1187.96/1188.40	c 1187s |      17 |  6165811 |   240132 |    66337      6 |      774 |      665
1190.36/1190.84	c 1190s |      17 |  6169443 |   240732 |    66337      6 |      774 |      665
1192.96/1193.45	c 1192s |      17 |  6171091 |   241032 |    66337      6 |      774 |      665
1195.46/1195.99	c 1195s |      17 |  6171815 |   241232 |    66337      6 |      774 |      665
1198.26/1198.70	c 1197s |      17 |  6172782 |   241432 |    66337      6 |      774 |      665
1200.67/1201.14	c 1200s |      17 |  6173801 |   241632 |    66337      6 |      774 |      665
1203.17/1203.67	c 1202s |      17 |  6179122 |   242032 |    66337      6 |      774 |      665
1205.47/1205.92	c 1205s |      17 |  6189395 |   242432 |    66337      6 |      774 |      665
1207.77/1208.28	c 1207s |      17 |  6195753 |   242832 |    66337      6 |      774 |      665
1210.17/1210.67	c 1209s |      17 |  6204467 |   243432 |    66337      6 |      774 |      665
1212.87/1213.38	c 1212s |      17 |  6206476 |   243732 |    66337      6 |      774 |      665
1215.07/1215.53	c 1214s |      17 |  6209723 |   244132 |    66337      6 |      774 |      665
1217.76/1218.23	c 1217s |      17 |  6210824 |   244332 |    66337      6 |      774 |      665
1220.57/1221.02	c 1220s |      17 |  6211979 |   244532 |    66337      6 |      774 |      665
1222.87/1223.39	c 1222s |      17 |  6214240 |   244932 |    66337      6 |      774 |      665
1225.96/1226.46	c 1225s |      17 |  6215071 |   245232 |    66337      6 |      774 |      665
1228.16/1228.67	c 1227s |      17 |  6215720 |   245432 |    66337      6 |      774 |      665
1231.06/1231.52	c 1230s |      17 |  6216340 |   245632 |    66337      6 |      774 |      665
1235.26/1235.78	c 1235s |      17 |  6219420 |   245832 |    66337      7 |      774 |      665
1237.46/1237.93	c 1237s |      17 |  6239573 |   246332 |    66337      7 |      774 |      665
1239.76/1240.28	c 1239s |      17 |  6263055 |   246832 |    66337      7 |      774 |      665
1241.96/1242.41	c 1241s |      17 |  6284707 |   247232 |    66337      7 |      774 |      665
1243.96/1244.46	c 1243s |      17 |  6301826 |   247732 |    66337      7 |      774 |      665
1246.06/1246.55	c 1245s |      17 |  6321836 |   248132 |    66337      7 |      774 |      665
1248.16/1248.67	c 1247s |      17 |  6339235 |   248632 |    66337      7 |      774 |      665
1250.56/1251.04	c 1250s |      17 |  6357267 |   249232 |    66337      7 |      774 |      665
1253.06/1253.53	c 1252s |      17 |  6374568 |   249832 |    66337      7 |      774 |      665
1255.36/1255.89	c 1255s |      17 |  6383896 |   250432 |    66337      7 |      774 |      665
1257.55/1258.06	c 1257s |      17 |  6386374 |   250932 |    66337      7 |      774 |      665
1259.75/1260.29	c 1259s |      17 |  6387861 |   251332 |    66337      7 |      774 |      665
1261.85/1262.35	c 1261s |      17 |  6392249 |   251732 |    66337      7 |      774 |      665
1264.25/1264.74	c 1264s |      17 |  6407011 |   252332 |    66337      7 |      774 |      665
1266.76/1267.26	c 1266s |      17 |  6421532 |   252832 |    66337      7 |      774 |      665
1269.45/1269.90	c 1269s |      17 |  6430304 |   253332 |    66337      7 |      774 |      665
1271.85/1272.34	c 1271s |      17 |  6431411 |   253532 |    66337      7 |      774 |      665
1274.15/1274.64	c 1273s |      17 |  6450726 |   253832 |    66337      7 |      774 |      665
1276.45/1276.93	c 1276s |      17 |  6463736 |   254332 |    66337      7 |      774 |      665
1278.86/1279.34	c 1278s |      17 |  6479075 |   254832 |    66337      7 |      774 |      665
1281.26/1281.75	c 1281s |      17 |  6486529 |   255232 |    66337      7 |      774 |      665
1283.46/1283.97	c 1283s |      17 |  6506849 |   255632 |    66337      7 |      774 |      665
1285.86/1286.30	c 1285s |      17 |  6519750 |   256032 |    66337      7 |      775 |      666
1287.95/1288.46	c 1287s |      17 |  6535942 |   256532 |    66337      7 |      775 |      666
1290.35/1290.81	c 1290s |      17 |  6554635 |   257132 |    66337      7 |      775 |      666
1292.55/1293.05	c 1292s |      17 |  6567981 |   257832 |    66337      7 |      775 |      666
1294.85/1295.30	c 1294s |      17 |  6585214 |   258332 |    66337      7 |      775 |      666
1297.15/1297.62	c 1296s |      17 |  6596115 |   258832 |    66337      7 |      775 |      666
1299.35/1299.88	c 1299s |      17 |  6597145 |   259132 |    66337      7 |      775 |      666
1301.75/1302.25	c 1301s |      17 |  6610603 |   259532 |    66337      7 |      775 |      666
1304.26/1304.79	c 1304s |      17 |  6636317 |   259932 |    66337      7 |      775 |      666
1306.46/1306.93	c 1306s |      17 |  6654330 |   260432 |    66337      7 |      775 |      666
1308.95/1309.40	c 1308s |      17 |  6664005 |   260932 |    66337      7 |      775 |      666
1311.55/1312.07	c 1311s |      17 |  6665064 |   261332 |    66337      7 |      775 |      666
1314.15/1314.67	c 1313s |      17 |  6685493 |   261732 |    66337      7 |      775 |      666
1316.75/1317.24	c 1316s |      17 |  6705969 |   262232 |    66337      7 |      775 |      666
1318.75/1319.28	c 1318s |      17 |  6725284 |   262632 |    66337      7 |      775 |      666
1321.15/1321.61	c 1320s |      17 |  6733994 |   262932 |    66337      7 |      776 |      667
1323.55/1324.00	c 1323s |      17 |  6751639 |   263332 |    66337      7 |      776 |      667
1325.95/1326.40	c 1325s |      17 |  6770455 |   263832 |    66337      7 |      776 |      667
1327.95/1328.46	c 1327s |      17 |  6786656 |   264232 |    66337      7 |      776 |      667
1330.04/1330.50	c 1329s |      17 |  6803004 |   264632 |    66337      7 |      776 |      667
1332.34/1332.85	c 1332s |      17 |  6821766 |   265132 |    66337      7 |      776 |      667
1334.84/1335.40	c 1334s |      17 |  6834342 |   265732 |    66337      7 |      776 |      667
1337.44/1337.91	c 1337s |      17 |  6840779 |   266232 |    66337      7 |      776 |      667
1339.94/1340.41	c 1339s |      17 |  6845352 |   266532 |    66337      7 |      776 |      667
1342.14/1342.69	c 1341s |      17 |  6852621 |   267032 |    66337      7 |      776 |      667
1344.34/1344.83	c 1344s |      17 |  6861598 |   267432 |    66337      7 |      776 |      667
1346.64/1347.14	c 1346s |      17 |  6872459 |   267932 |    66337      7 |      776 |      667
1348.74/1349.26	c 1348s |      17 |  6888804 |   268332 |    66337      7 |      776 |      667
1351.34/1351.85	c 1351s |      17 |  6907264 |   268832 |    66337      7 |      776 |      667
1353.34/1353.89	c 1353s |      17 |  6920010 |   269232 |    66337      7 |      776 |      667
1355.74/1356.28	c 1355s |      17 |  6937232 |   269632 |    66337      7 |      776 |      667
1358.04/1358.55	c 1357s |      17 |  6951151 |   270132 |    66337      7 |      776 |      667
1360.64/1361.18	c 1360s |      17 |  6959479 |   270632 |    66337      7 |      776 |      667
1362.74/1363.20	c 1362s |      17 |  6966275 |   271032 |    66337      7 |      776 |      667
1364.84/1365.39	c 1364s |      17 |  6970141 |   271532 |    66337      7 |      776 |      667
1367.34/1367.81	c 1367s |      17 |  6985092 |   271932 |    66337      7 |      776 |      667
1369.53/1370.03	c 1369s |      17 |  6990036 |   272432 |    66337      7 |      776 |      667
1372.04/1372.55	c 1371s |      17 |  6996030 |   272732 |    66337      7 |      776 |      667
1374.44/1374.91	c 1374s |      17 |  7006635 |   273232 |    66337      7 |      776 |      667
1376.75/1377.25	c 1376s |      17 |  7018680 |   273732 |    66337      7 |      776 |      667
1378.84/1379.36	c 1378s |      17 |  7027818 |   274132 |    66337      7 |      776 |      667
1381.34/1381.84	c 1381s |      17 |  7044099 |   274632 |    66337      7 |      776 |      667
1383.54/1384.07	c 1383s |      17 |  7059747 |   275032 |    66337      7 |      776 |      667
1385.65/1386.15	c 1385s |      17 |  7071846 |   275332 |    66337      7 |      776 |      667
1387.85/1388.35	c 1387s |      17 |  7081168 |   275732 |    66337      7 |      776 |      667
1389.84/1390.40	c 1389s |      17 |  7093502 |   276132 |    66337      7 |      776 |      667
1392.24/1392.79	c 1392s |      17 |  7108845 |   276532 |    66337      7 |      776 |      667
1394.44/1394.93	c 1394s |      17 |  7124595 |   277032 |    66337      7 |      776 |      667
1396.44/1396.98	c 1396s |      17 |  7130517 |   277532 |    66337      7 |      776 |      667
1398.84/1399.38	c 1398s |      17 |  7137378 |   278132 |    66337      7 |      776 |      667
1401.04/1401.53	c 1400s |      17 |  7140414 |   278732 |    66337      7 |      776 |      667
1403.44/1403.94	c 1403s |      17 |  7147004 |   279332 |    66337      7 |      776 |      667
1405.54/1406.04	c 1405s |      17 |  7160065 |   279632 |    66337      7 |      776 |      667
1407.94/1408.41	c 1407s |      17 |  7172795 |   280032 |    66337      7 |      776 |      667
1410.13/1410.67	c 1409s |      17 |  7174750 |   280532 |    66337      7 |      776 |      667
1412.43/1412.94	c 1412s |      17 |  7178029 |   280932 |    66337      7 |      776 |      667
1414.83/1415.37	c 1414s |      17 |  7179823 |   281232 |    66337      7 |      776 |      667
1417.03/1417.58	c 1416s |      17 |  7180347 |   281432 |    66337      7 |      776 |      667
1419.53/1420.01	c 1419s |      17 |  7181253 |   281632 |    66337      7 |      776 |      667
1421.94/1422.47	c 1421s |      17 |  7181967 |   281832 |    66337      7 |      776 |      667
1424.43/1424.99	c 1424s |      17 |  7183422 |   282132 |    66337      7 |      776 |      667
1427.03/1427.57	c 1426s |      17 |  7185154 |   282532 |    66337      7 |      776 |      667
1429.53/1430.05	c 1429s |      17 |  7186001 |   282732 |    66337      7 |      776 |      667
1432.02/1432.53	c 1431s |      17 |  7186591 |   282932 |    66337      7 |      776 |      667
1436.63/1437.11	c 1436s |      17 |  7187044 |   283132 |    66337      7 |      776 |      667
1439.23/1439.73	c 1439s |      17 |  7188092 |   283432 |    66337      7 |      776 |      667
1441.43/1441.92	c 1441s |      17 |  7188310 |   283532 |    66337      7 |      776 |      667
1444.03/1444.51	c 1443s |      17 |  7189021 |   283732 |    66337      7 |      776 |      667
1447.42/1447.99	c 1447s |      17 |  7189669 |   283932 |    66337      7 |      776 |      667
1451.92/1452.44	c 1451s |      17 |  7190406 |   284132 |    66337      7 |      776 |      667
1454.53/1455.04	c 1454s |      17 |  7192372 |   284332 |    66337      7 |      776 |      667
1457.04/1457.54	c 1456s |      17 |  7193486 |   284532 |    66337      7 |      776 |      667
1460.63/1461.14	c 1460s |      17 |  7194233 |   284732 |    66337      7 |      776 |      667
1464.02/1464.51	c 1463s |      17 |  7194459 |   284832 |    66337      7 |      776 |      667
1466.02/1466.53	c 1465s |      17 |  7195074 |   285032 |    66337      7 |      776 |      667
1469.52/1470.09	c 1469s |      17 |  7196133 |   285332 |    66337      7 |      776 |      667
1472.22/1472.71	c 1471s |      17 |  7196618 |   285432 |    66337      7 |      776 |      667
1474.42/1474.98	c 1474s |      17 |  7197304 |   285532 |    66337      7 |      776 |      667
1477.83/1478.37	c 1477s |      17 |  7198224 |   285832 |    66337      7 |      776 |      667
1480.52/1481.05	c 1480s |      17 |  7199091 |   286032 |    66337      7 |      776 |      667
1483.62/1484.18	c 1483s |      17 |  7199757 |   286232 |    66337      7 |      776 |      667
1486.32/1486.88	c 1486s |      17 |  7200000 |   286332 |    66337      7 |      776 |      667
1488.62/1489.10	c 1488s |      17 |  7200817 |   286432 |    66337      7 |      776 |      667
1492.62/1493.16	c 1492s |      17 |  7201787 |   286632 |    66337      7 |      776 |      667
1496.02/1496.52	c 1495s |      17 |  7202030 |   286732 |    66337      7 |      776 |      667
1498.52/1499.00	c 1498s |      17 |  7202970 |   286932 |    66337      7 |      776 |      667
1500.82/1501.39	c 1500s |      17 |  7204177 |   287232 |    66337      7 |      776 |      667
1503.12/1503.64	c 1502s |      17 |  7205313 |   287432 |    66337      7 |      776 |      667
1506.72/1507.26	c 1506s |      17 |  7205965 |   287632 |    66337      7 |      776 |      667
1509.02/1509.58	c 1508s |      17 |  7206316 |   287732 |    66337      7 |      776 |      667
1511.82/1512.33	c 1511s |      17 |  7207171 |   287932 |    66337      7 |      776 |      667
1514.52/1515.07	c 1514s |      17 |  7207573 |   288032 |    66337      7 |      776 |      667
1517.71/1518.27	c 1517s |      17 |  7207818 |   288132 |    66337      7 |      776 |      667
1520.12/1520.62	c 1519s |      17 |  7208754 |   288332 |    66337      7 |      776 |      667
1524.02/1524.60	c 1523s |      17 |  7209566 |   288532 |    66337      7 |      776 |      667
1527.32/1527.82	c 1527s |      17 |  7210579 |   288732 |    66337      7 |      776 |      667
1529.32/1529.84	c 1529s |      17 |  7211875 |   289032 |    66337      7 |      776 |      667
1531.62/1532.16	c 1531s |      17 |  7214608 |   289332 |    66337      7 |      776 |      667
1535.12/1535.68	c 1534s |      17 |  7216346 |   289632 |    66337      7 |      776 |      667
1537.81/1538.37	c 1537s |      17 |  7216785 |   289832 |    66337      7 |      776 |      667
1540.11/1540.64	c 1539s |      17 |  7217814 |   290032 |    66337      7 |      776 |      667
1542.11/1542.68	c 1541s |      17 |  7218235 |   290132 |    66337      7 |      776 |      667
1544.91/1545.45	c 1544s |      17 |  7218868 |   290332 |    66337      7 |      776 |      667
1551.02/1551.58	c 1550s |      17 |  7220354 |   290532 |    66337      8 |      776 |      667
1553.11/1553.60	c 1552s |      17 |  7233504 |   291132 |    66337      8 |      776 |      667
1555.41/1555.97	c 1555s |      17 |  7247355 |   291732 |    66337      8 |      776 |      667
1557.61/1558.15	c 1557s |      17 |  7261038 |   292232 |    66337      8 |      776 |      667
1559.91/1560.45	c 1559s |      17 |  7276608 |   292732 |    66337      8 |      776 |      667
1562.41/1562.95	c 1562s |      17 |  7298192 |   293232 |    66337      8 |      776 |      667
1564.61/1565.14	c 1564s |      17 |  7314321 |   293832 |    66337      8 |      776 |      667
1566.91/1567.44	c 1566s |      17 |  7337542 |   294332 |    72971      8 |      776 |      667
1569.01/1569.59	c 1568s |      17 |  7354925 |   294832 |    72971      8 |      776 |      667
1571.21/1571.78	c 1571s |      17 |  7367578 |   295332 |    72971      8 |      776 |      667
1573.31/1573.87	c 1573s |      17 |  7383292 |   295832 |    72971      8 |      776 |      667
1575.11/1575.65	c 1574s |      18 |  7393112 |   296252 |    72971      8 |      776 |      667
1577.31/1577.87	c 1577s |      18 |  7407332 |   296552 |    72971      8 |      776 |      667
1579.51/1580.00	c 1579s |      18 |  7422273 |   296952 |    72971      8 |      776 |      667
1581.61/1582.17	c 1581s |      18 |  7434980 |   297452 |    72971      8 |      776 |      667
1583.81/1584.39	c 1583s |      18 |  7451275 |   297952 |    72971      8 |      776 |      667
1586.01/1586.50	c 1585s |      18 |  7469252 |   298452 |    72971      8 |      776 |      667
1588.51/1589.07	c 1588s |      18 |  7486650 |   298852 |    72971      8 |      776 |      667
1590.71/1591.29	c 1590s |      18 |  7497580 |   299252 |    72971      8 |      776 |      667
1593.30/1593.83	c 1593s |      18 |  7515787 |   299852 |    72971      8 |      776 |      667
1595.40/1595.90	c 1595s |      18 |  7526198 |   300352 |    72971      8 |      776 |      667
1597.60/1598.18	c 1597s |      18 |  7546762 |   300752 |    72971      8 |      776 |      667
1599.90/1600.46	c 1599s |      18 |  7557506 |   301252 |    72971      8 |      776 |      667
1602.50/1603.00	c 1602s |      18 |  7578062 |   301652 |    72971      8 |      776 |      667
1604.70/1605.20	c 1604s |      18 |  7587221 |   302152 |    72971      8 |      776 |      667
1606.71/1607.27	c 1606s |      18 |  7593570 |   302652 |    72971      8 |      776 |      667
1608.91/1609.41	c 1608s |      18 |  7601010 |   303152 |    72971      8 |      776 |      667
1611.40/1611.92	c 1611s |      18 |  7620740 |   303652 |    72971      8 |      776 |      667
1613.80/1614.36	c 1613s |      18 |  7638117 |   304152 |    72971      8 |      776 |      667
1616.20/1616.73	c 1616s |      18 |  7651540 |   304852 |    72971      8 |      776 |      667
1618.40/1618.99	c 1618s |      18 |  7666048 |   305252 |    72971      8 |      776 |      667
1620.60/1621.13	c 1620s |      18 |  7681859 |   305652 |    72971      8 |      776 |      667
1622.80/1623.33	c 1622s |      18 |  7699549 |   306052 |    72971      8 |      776 |      667
1624.90/1625.44	c 1624s |      18 |  7714611 |   306452 |    72971      8 |      776 |      667
1627.00/1627.50	c 1626s |      18 |  7728736 |   306852 |    72971      8 |      776 |      667
1629.10/1629.68	c 1628s |      18 |  7733259 |   307452 |    72971      8 |      776 |      667
1631.70/1632.27	c 1631s |      18 |  7735593 |   307852 |    72971      8 |      776 |      667
1633.80/1634.34	c 1633s |      18 |  7749193 |   308352 |    72971      8 |      776 |      667
1635.80/1636.34	c 1635s |      18 |  7758300 |   308552 |    72971      8 |      777 |      668
1638.10/1638.65	c 1637s |      18 |  7765165 |   308952 |    72971      8 |      777 |      668
1640.30/1640.88	c 1640s |      18 |  7766266 |   309252 |    72971      8 |      777 |      668
1642.40/1642.90	c 1642s |      18 |  7768359 |   309552 |    72971      8 |      777 |      668
1644.90/1645.44	c 1644s |      18 |  7770250 |   309952 |    72971      8 |      777 |      668
1647.00/1647.58	c 1646s |      18 |  7771048 |   310152 |    72971      8 |      777 |      668
1649.60/1650.13	c 1649s |      18 |  7772260 |   310452 |    72971      8 |      777 |      668
1651.70/1652.23	c 1651s |      18 |  7773766 |   310752 |    72971      8 |      777 |      668
1654.00/1654.54	c 1653s |      18 |  7774462 |   310952 |    72971      8 |      777 |      668
1656.79/1657.32	c 1656s |      18 |  7776381 |   311252 |    72971      8 |      777 |      668
1658.99/1659.58	c 1658s |      18 |  7777551 |   311452 |    72971      8 |      777 |      668
1661.50/1662.06	c 1661s |      18 |  7778407 |   311652 |    72971      8 |      777 |      668
1664.39/1664.90	c 1664s |      18 |  7779053 |   311852 |    72971      8 |      777 |      668
1666.89/1667.48	c 1666s |      18 |  7780228 |   312052 |    72971      8 |      777 |      668
1669.60/1670.15	c 1669s |      18 |  7781718 |   312352 |    72971      8 |      777 |      668
1671.60/1672.18	c 1671s |      18 |  7782573 |   312552 |    72971      8 |      777 |      668
1673.89/1674.41	c 1673s |      18 |  7783175 |   312752 |    72971      8 |      777 |      668
1676.09/1676.64	c 1675s |      18 |  7785495 |   313052 |    72971      8 |      777 |      668
1678.79/1679.37	c 1678s |      18 |  7786787 |   313352 |    72971      8 |      777 |      668
1680.89/1681.43	c 1680s |      18 |  7787633 |   313552 |    72971      8 |      777 |      668
1683.09/1683.62	c 1682s |      18 |  7788538 |   313752 |    72971      8 |      777 |      668
1685.69/1686.29	c 1685s |      18 |  7789701 |   313952 |    72971      8 |      777 |      668
1688.19/1688.79	c 1688s |      18 |  7809504 |   314352 |    72971      8 |      777 |      668
1690.59/1691.16	c 1690s |      18 |  7821676 |   314852 |    72971      8 |      777 |      668
1692.89/1693.42	c 1692s |      18 |  7835528 |   315352 |    72971      8 |      777 |      668
1694.89/1695.48	c 1694s |      18 |  7845670 |   315852 |    72971      8 |      777 |      668
1697.39/1697.90	c 1697s |      18 |  7859938 |   316352 |    72971      8 |      777 |      668
1699.69/1700.25	c 1699s |      18 |  7878585 |   316752 |    72971      8 |      777 |      668
1701.79/1702.30	c 1701s |      18 |  7887258 |   317052 |    72971      8 |      777 |      668
1703.79/1704.31	c 1703s |      18 |  7896735 |   317452 |    72971      8 |      777 |      668
1705.98/1706.59	c 1705s |      18 |  7906067 |   317852 |    72971      8 |      777 |      668
1708.38/1708.99	c 1708s |      18 |  7906460 |   318052 |    72971      8 |      777 |      668
1710.58/1711.15	c 1710s |      18 |  7907092 |   318252 |    72971      8 |      777 |      668
1713.18/1713.75	c 1713s |      18 |  7908106 |   318552 |    72971      8 |      777 |      668
1715.29/1715.80	c 1715s |      18 |  7908833 |   318752 |    72971      8 |      777 |      668
1717.80/1718.38	c 1717s |      18 |  7909612 |   318952 |    72971      8 |      777 |      668
1720.49/1721.02	c 1720s |      18 |  7917348 |   319252 |    72971      8 |      777 |      668
1722.59/1723.10	c 1722s |      18 |  7928973 |   319652 |    72971      8 |      777 |      668
1724.79/1725.31	c 1724s |      18 |  7938183 |   320052 |    72971      8 |      777 |      668
1727.39/1727.95	c 1727s |      18 |  7956101 |   320452 |    72971      8 |      777 |      668
1729.99/1730.53	c 1729s |      18 |  7959233 |   320952 |    72971      8 |      777 |      668
1732.28/1732.83	c 1732s |      18 |  7967920 |   321452 |    72971      8 |      777 |      668
1734.58/1735.15	c 1734s |      18 |  7980447 |   321952 |    72971      8 |      777 |      668
1736.98/1737.51	c 1736s |      18 |  7990281 |   322352 |    72971      8 |      777 |      668
1739.28/1739.82	c 1739s |      18 |  7999615 |   322752 |    72971      8 |      777 |      668
1741.48/1742.06	c 1741s |      18 |  8012076 |   323152 |    72971      8 |      777 |      668
1743.98/1744.52	c 1743s |      18 |  8028123 |   323552 |    72971      8 |      777 |      668
1746.18/1746.71	c 1745s |      18 |  8038372 |   323952 |    72971      8 |      777 |      668
1748.28/1748.87	c 1748s |      18 |  8047711 |   324452 |    72971      8 |      777 |      668
1750.98/1751.50	c 1750s |      18 |  8059155 |   324952 |    72971      8 |      777 |      668
1753.68/1754.20	c 1753s |      18 |  8068274 |   325452 |    72971      8 |      777 |      668
1755.78/1756.37	c 1755s |      18 |  8076515 |   325852 |    72971      8 |      777 |      668
1757.88/1758.48	c 1757s |      18 |  8087187 |   326252 |    72971      8 |      777 |      668
1759.98/1760.58	c 1759s |      18 |  8097620 |   326652 |    72971      8 |      777 |      668
1762.48/1763.02	c 1762s |      18 |  8109024 |   327152 |    72971      8 |      777 |      668
1767.18/1767.78	c 1767s |      18 |  8120386 |   327452 |    72971      9 |      777 |      668
1769.58/1770.13	c 1769s |      18 |  8135218 |   327952 |    72971      9 |      777 |      668
1772.08/1772.65	c 1771s |      18 |  8150796 |   328452 |    72971      9 |      777 |      668
1774.28/1774.80	c 1774s |      18 |  8169784 |   328952 |    72971      9 |      777 |      668
1776.77/1777.30	c 1776s |      18 |  8184424 |   329452 |    72971      9 |      777 |      668
1779.28/1779.81	c 1779s |      18 |  8196103 |   329952 |    72971      9 |      777 |      668
1781.37/1781.94	c 1781s |      18 |  8204310 |   330452 |    72971      9 |      777 |      668
1783.37/1783.98	c 1783s |      18 |  8206671 |   330852 |    72971      9 |      777 |      668
1785.57/1786.19	c 1785s |      18 |  8217233 |   331252 |    72971      9 |      777 |      668
1787.87/1788.41	c 1787s |      18 |  8223772 |   331752 |    72971      9 |      777 |      668
1789.87/1790.46	c 1789s |      18 |  8239213 |   332252 |    72971      9 |      777 |      668
1791.87/1792.49	c 1791s |      18 |  8249183 |   332752 |    72971      9 |      777 |      668
1794.38/1794.91	c 1794s |      18 |  8255456 |   333252 |    72971      9 |      777 |      668
1796.68/1797.30	c 1796s |      18 |  8265967 |   333752 |    72971      9 |      777 |      668
1798.78/1799.32	c 1798s |      18 |  8274372 |   334152 |    72971      9 |      777 |      668

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4078908-1465285481/watcher-4078908-1465285481 -o /tmp/evaluation-result-4078908-1465285481/solver-4078908-1465285481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078908-1465285481.opb 

pid=13381
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.23 2.25 2.22 3/179 13384
/proc/meminfo: memFree=29199344/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 3103 0 0 0 0 0 0 0 20 0 4 0 110481433 846655488 2954 33554432000 4194304 16246674 140737023378960 140737023378384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 207215 2962 441 2943 0 204109 0
[pid=13384/tid=13385] ppid=13381 vsize=845244 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 865529856 3024 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=849340 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 869724160 3044 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=853436 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110481433 873918464 3058 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.23 2.25 2.22 3/179 13384
/proc/meminfo: memFree=29199344/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 29654 0 0 0 5 4 0 0 20 0 4 0 110481433 1333334016 29442 33554432000 4194304 16246674 140737023378960 140737023378272 7853005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 325521 29458 801 2943 0 322415 0
[pid=13384/tid=13385] ppid=13381 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1333334016 29470 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1333334016 29482 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1333334016 29492 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200545 s]
/proc/loadavg: 2.23 2.25 2.22 3/179 13384
/proc/meminfo: memFree=29199344/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 47337 0 0 0 12 7 0 0 20 0 4 0 110481433 1345916928 47636 33554432000 4194304 16246674 140737023378960 140737023378272 7388947 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 47636 801 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 47636 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 47636 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 47636 33554432000 4194304 16246674 140737023378960 140432861285552 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) 1314372

[startup+0.300463 s]
/proc/loadavg: 2.23 2.25 2.22 3/179 13384
/proc/meminfo: memFree=29199344/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 57635 0 0 0 20 9 0 0 20 0 4 0 110481433 1345916928 57934 33554432000 4194304 16246674 140737023378960 140737023378272 4220580 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 57934 812 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 57934 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 57934 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 57934 33554432000 4194304 16246674 140737023378960 140432861285552 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.700395 s]
/proc/loadavg: 2.23 2.25 2.22 3/179 13384
/proc/meminfo: memFree=29199344/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 114796 0 0 0 52 17 0 0 20 0 4 0 110481433 1345916928 115095 33554432000 4194304 16246674 140737023378960 140737023360832 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 115108 834 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 115111 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 115120 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 115127 33554432000 4194304 16246674 140737023378960 140432861285552 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.50042 s]
/proc/loadavg: 2.23 2.25 2.22 3/183 13388
/proc/meminfo: memFree=28519472/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 220595 0 0 0 119 30 0 0 20 0 4 0 110481433 1345916928 220894 33554432000 4194304 16246674 140737023378960 140737023360832 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 220897 876 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 220899 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 220902 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 220903 33554432000 4194304 16246674 140737023378960 140432861285552 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.10043 s]
/proc/loadavg: 2.21 2.25 2.22 3/183 13388
/proc/meminfo: memFree=28122176/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269261 0 0 0 273 36 0 0 20 0 4 0 110481433 1345916928 269560 33554432000 4194304 16246674 140737023378960 140737023360832 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 269560 879 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269560 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269560 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269560 33554432000 4194304 16246674 140737023378960 140432861285552 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) 1314372

[startup+6.30043 s]
/proc/loadavg: 2.21 2.25 2.22 4/183 13388
/proc/meminfo: memFree=28122004/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269265 0 0 0 593 36 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140737023360832 5721406 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 269564 882 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140432861285552 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) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.25 2.26 2.23 3/183 13388
/proc/meminfo: memFree=28122096/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269265 0 0 0 1233 36 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140737023360832 6016026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 269564 882 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269564 33554432000 4194304 16246674 140737023378960 140432861285552 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) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.29 2.26 2.23 3/183 13388
/proc/meminfo: memFree=28122212/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269267 0 0 0 2513 36 0 0 20 0 4 0 110481433 1345916928 269566 33554432000 4194304 16246674 140737023378960 140737023360832 13001487 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 269566 884 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269566 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269566 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269566 33554432000 4194304 16246674 140737023378960 140432861285552 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) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.19 2.24 2.22 4/183 13388
/proc/meminfo: memFree=28122184/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269268 0 0 0 5072 36 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140737023360832 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 269567 885 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140432861285552 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) 1314372

[startup+102.301 s]
/proc/loadavg: 2.30 2.26 2.23 3/183 13389
/proc/meminfo: memFree=28121864/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269268 0 0 0 10191 37 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140737023360832 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13384/statm: 328593 269567 885 2943 0 325487 0
[pid=13384/tid=13385] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1345916928 269567 33554432000 4194304 16246674 140737023378960 140432861285552 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) 1314372


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

/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/183 13490
/proc/meminfo: memFree=28114040/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1301.85 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 130129 56 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 6836961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.14 2.18 2.18 4/183 13491
/proc/meminfo: memFree=28113948/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1361.84 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 136128 56 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.14 2.17 2.18 3/183 13493
/proc/meminfo: memFree=28114224/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1421.84 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 142127 57 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023378136 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.15 2.17 2.18 3/183 13494
/proc/meminfo: memFree=28114124/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1481.82 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 148122 60 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.24 2.18 2.18 4/184 13498
/proc/meminfo: memFree=28113908/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1541.81 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 154118 63 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 5545872 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 13499
/proc/meminfo: memFree=28113820/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1601.8 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 160116 64 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/183 13500
/proc/meminfo: memFree=28113720/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1661.79 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 166113 66 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023378136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/183 13502
/proc/meminfo: memFree=28113752/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1721.79 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 172110 69 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 13898691 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 13503
/proc/meminfo: memFree=28113884/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1781.77 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 178108 69 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 6022322 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 13504
/proc/meminfo: memFree=28113956/32872528 swapFree=15272/1656604
[pid=13384] ppid=13381 vsize=1315396 CPUtime=1800.07 cores=1,3,5,7
/proc/13384/stat : 13384 (toysat) R 13381 13384 9894 0 -1 4202496 269903 0 0 0 179937 70 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140737023360832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13384/statm: 328849 270080 886 2943 0 325743 0
[pid=13384/tid=13385] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13385/stat : 13385 (toysat) S 13381 13384 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432882248944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13384/tid=13386] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13386/stat : 13386 (toysat) S 13381 13384 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432871759088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13384/tid=13387] ppid=13381 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/13384/task/13387/stat : 13387 (toysat) S 13381 13384 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110481433 1346965504 270080 33554432000 4194304 16246674 140737023378960 140432861285552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1315396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.38
CPU system time (s): 0.703892
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.703892
maximum resident set size= 1080320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269903
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= 392
involuntary context switches= 2161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6233 second user time and 6.90495 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 09:44:41
IDJOB=4078908
IDBENCH=90170
IDSOLVER=2542
FILE ID=node136/4078908-1465285481
RUNJOBID= node136-1465261284-9911
PBS_JOBID= 19843291
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 57b7e746b37944d021e8febe16059957
RANDOM SEED=2130222504

node136.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.959
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.91
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.959
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.959
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.959
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.959
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.959
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.59
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.959
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.959
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:        29199880 kB
Buffers:           52240 kB
Cached:           144072 kB
SwapCached:          768 kB
Active:          1157384 kB
Inactive:         122136 kB
Active(anon):    1081768 kB
Inactive(anon):     3536 kB
Active(file):      75616 kB
Inactive(file):   118600 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             17484 kB
Writeback:             0 kB
AnonPages:       2825096 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             597972 kB
SReclaimable:      42068 kB
SUnreclaim:       555904 kB
KernelStack:        1520 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2883408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2011136 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= 71700 MiB
End job on node136 at 2016-06-07 10:14:42