Trace number 4108925

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.16 1800.56

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-141.opb
MD5SUM58f5e00db07ecbae89c8567e683a0741
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 variables42085
Total number of constraints974087
Number of constraints which are clauses875233
Number of constraints which are cardinality constraints (but not clauses)3073
Number of constraints which are nor clauses,nor cardinality constraints95781
Minimum length of a constraint1
Maximum length of a constraint627
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 628
Number of bits of the biggest sum of numbers10
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-19T01:31:20+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-4108925-1466292679.opb"]
0.00/0.01	c use --random-gen="3770777749 2005576082 2787553687 857098791 2740647340 316288970 2728001290 2422181850 1762371711 2358879133 2656684903 2095490083 225169022 1775804954 405286755 1777908701 3488758126 676052837 2723072517 3948118975 2485207632 1367902636 3965872191 180330104 4136841190 2960439919 2416246395 2538725735 3285561565 3695720537 2225703259 1312287986 2300368401 3049608407 2197432700 1394168165 3741605291 2748346159 2809298087 1092053412 1338765760 2351965213 615486282 2630052412 3929573162 1739395271 4005558815 954057348 3737790264 1517272605 2142727654 362680461 1001957201 932809424 2239551746 4206290728 636823422 3017716930 1006603133 4096786645 2175671994 1312442297 1411552008 1743098260 2609100077 3491352424 428189583 1168439650 367060319 1364924795 1843134913 4115745640 3335360841 3335582600 1893721722 4230507057 2029115641 3983706615 1156525266 1402934321 4132509787 70110305 608562492 4097084556 468872750 3588843519 1799816027 3037099995 697774571 933216488 1309247973 3932071369 519092752 3610339376 2633941883 2952674437 164312434 1179983440 2604260452 1423281952 1970962633 1635112209 2970813265 1565686782 3046161189 3342475024 1373393795 3550350106 51697642 2753712000 2803669601 1956900188 350006341 1026311290 2774821742 1989159990 2085325813 2238327784 1573859627 2664355388 1133788441 1583785660 1917008494 3474839436 2157318239 2989250002 2475749646 3699451887 2849641928 2703257022 1631374128 3672443799 2277765450 751952847 3525932123 3200428172 2671906531 2310104574 2981712316 1471498221 4233155573 1471059194 1915110124 2572248345 1680072655 2515254599 1096440851 1775619510 1602804829 870469878 2600367863 3795974766 263116482 2293231440 1611380075 3537419404 4139610790 1203448099 1841759908 4076128272 124486795 2657536038 2326763196 3096508246 2865635123 3292329156 3033131448 3696449345 1492950450 3569940225 154643866 867825081 3670581654 2619221522 1189546914 3090471185 1585037777 2475783548 968636592 3336962536 3490624730 686815355 2876908860 3445181835 300119566 1256707144 4275142477 2512459965 2177713506 785867554 3266900254 2666165656 3935405971 1785996767 2694146089 428995626 2981908884 1193812405 811412813 2329438500 3108382676 2755394512 1295816798 3422272786 1848885445 254031006 3895301767 2189067867 3145612431 1514473852 3578682859 637434091 2621045151 2071857311 3570193039 1763654270 723792469 3527728823 1513380613 184538717 843802865 3761116019 2738110732 1174619339 2004956947 501088001 3024787507 1709958111 3904135336 2522130083 2445352411 3511476122 1254835052 2547832226 4261796087 2420353029 2842835122 3786183074 2849582114 2273949488 1467380279 1760002352 131949647 2694117532 4286101946 2832235788 2098803369 2824921342 990740137 1486571228 2341917338 1688337391 2412878093 3749233873 4029366524 3671545330 255 362436" option to reproduce the execution
7.69/7.77	c #vars 42085
7.69/7.77	c #constraints 974087
26.39/26.47	c Solving starts ...
26.39/26.47	c ============================[ Search Statistics ]============================
26.39/26.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.39/26.47	c       |         |          |          |    Limit     GC | Var      | Constra 
26.39/26.47	c =============================================================================
26.39/26.48	c  0.0s |       0 |        0 |        0 |   337409      0 |      316 |        0
27.08/27.19	c  0.7s |       1 |      147 |      100 |   337409      0 |      316 |     3648
29.28/29.39	c  2.9s |       1 |     7764 |      200 |   371150      0 |      316 |     3648
30.58/30.65	c  4.2s |       2 |    16493 |      250 |   371150      0 |      316 |     3648
32.79/32.82	c  6.3s |       2 |    27761 |      350 |   408266      0 |      316 |     3648
33.18/33.26	c  6.8s |       3 |    27943 |      475 |   408266      0 |      316 |     3648
37.89/37.92	c 11.5s |       3 |    55484 |      575 |   449093      0 |      317 |     3772
43.98/44.05	c 17.6s |       3 |    99745 |      675 |   449093      0 |      318 |     3968
49.08/49.19	c 22.7s |       3 |   146956 |      775 |   449093      0 |      318 |     3968
49.38/49.50	c 23.0s |       4 |   149878 |      813 |   449093      0 |      318 |     3968
52.58/52.61	c 26.1s |       4 |   181897 |      913 |   494003      0 |      318 |     3968
54.68/54.73	c 28.3s |       4 |   198931 |     1113 |   494003      0 |      318 |     3968
55.68/55.76	c 29.3s |       5 |   199293 |     1320 |   494003      0 |      318 |     3968
59.08/59.18	c 32.7s |       5 |   217138 |     1420 |   543404      0 |      318 |     3968
62.97/63.09	c 36.6s |       5 |   242505 |     1520 |   543404      0 |      318 |     3968
66.27/66.39	c 39.9s |       5 |   310678 |     1820 |   543404      0 |      319 |     4212
67.18/67.22	c 40.8s |       6 |   311005 |     2081 |   597745      0 |      319 |     4212
69.28/69.32	c 42.8s |       6 |   326274 |     2281 |   597745      0 |      319 |     4212
71.48/71.59	c 45.1s |       6 |   337918 |     2681 |   597745      0 |      319 |     4212
73.57/73.62	c 47.1s |       6 |   347575 |     2881 |   597745      0 |      320 |     4223
75.37/75.49	c 49.0s |       7 |   348004 |     3223 |   657520      0 |      320 |     4223
77.87/77.95	c 51.5s |       7 |   367941 |     3523 |   657520      0 |      320 |     4223
80.97/81.04	c 54.6s |       7 |   397856 |     3623 |   657520      0 |      320 |     4223
87.47/87.56	c 61.1s |       7 |   456709 |     3823 |   657520      0 |      320 |     4223
89.97/90.04	c 63.6s |       7 |   476529 |     3923 |   657520      0 |      320 |     4223
97.47/97.58	c 71.1s |       7 |   595957 |     4623 |   657520      0 |      320 |     4223
102.17/102.21	c 75.7s |       7 |   639392 |     4723 |   657520      0 |      320 |     4223
104.27/104.35	c 77.9s |       7 |   651611 |     4923 |   723273      0 |      320 |     4223
104.37/104.40	c 77.9s |       8 |   651623 |     4936 |   723273      0 |      320 |     4223
108.17/108.21	c 81.7s |       8 |   668475 |     5336 |   723273      0 |      321 |     4235
110.47/110.57	c 84.1s |       8 |   678105 |     5636 |   723273      0 |      321 |     4235
112.97/113.00	c 86.5s |       8 |   695011 |     5936 |   723273      0 |      321 |     4235
115.17/115.28	c 88.8s |       8 |   703434 |     6236 |   723273      0 |      321 |     4235
117.37/117.42	c 91.0s |       8 |   703931 |     6636 |   723273      0 |      321 |     4235
119.77/119.83	c 93.4s |       8 |   704413 |     7036 |   723273      0 |      321 |     4235
122.07/122.11	c 95.6s |       8 |   704920 |     7436 |   723273      0 |      321 |     4235
122.47/122.59	c 96.1s |       9 |   705012 |     7506 |   795601      0 |      321 |     4235
124.87/124.90	c 98.4s |       9 |   726241 |     7706 |   795601      0 |      321 |     4235
127.16/127.29	c  100s |       9 |   745099 |     7806 |   795601      0 |      321 |     4235
130.17/130.26	c  103s |       9 |   838694 |     8606 |   795601      0 |      322 |     4247
132.37/132.45	c  105s |       9 |   871385 |     9406 |   795601      0 |      322 |     4247
135.57/135.66	c  109s |       9 |   884897 |     9706 |   795601      0 |      322 |     4247
137.97/138.04	c  111s |       9 |   899572 |    10006 |   795601      0 |      322 |     4247
140.96/141.05	c  114s |       9 |   901250 |    10306 |   795601      0 |      323 |     4259
143.07/143.15	c  116s |       9 |   916808 |    10806 |   795601      0 |      323 |     4259
144.76/144.81	c  118s |      10 |   917449 |    11361 |   875162      0 |      323 |     4259
146.86/146.92	c  120s |      10 |   918035 |    11761 |   875162      0 |      323 |     4259
148.86/148.98	c  122s |      10 |   918744 |    12361 |   875162      0 |      323 |     4259
150.96/151.09	c  124s |      10 |   919431 |    12961 |   875162      0 |      323 |     4259
153.26/153.37	c  126s |      10 |   920212 |    13661 |   875162      0 |      323 |     4259
155.46/155.53	c  129s |      10 |   920912 |    14261 |   875162      0 |      323 |     4259
157.66/157.70	c  131s |      10 |   921617 |    14861 |   875162      0 |      323 |     4259
160.57/160.70	c  134s |      10 |   943467 |    15461 |   875162      0 |      323 |     4259
162.96/163.03	c  136s |      10 |   971378 |    16061 |   875162      0 |      323 |     4259
165.76/165.89	c  139s |      10 |   980181 |    16461 |   875162      0 |      324 |     4287
168.16/168.20	c  141s |      10 |   987657 |    16861 |   875162      0 |      324 |     4287
169.47/169.52	c  143s |      11 |   988087 |    17144 |   962679      0 |      324 |     4287
172.16/172.21	c  145s |      11 |  1014780 |    17344 |   962679      0 |      324 |     4287
174.36/174.40	c  147s |      11 |  1020072 |    17744 |   962679      0 |      325 |     4298
177.07/177.10	c  150s |      11 |  1033736 |    18344 |   962679      0 |      325 |     4298
179.06/179.17	c  152s |      11 |  1055620 |    18544 |   962679      0 |      325 |     4298
181.57/181.66	c  155s |      11 |  1090247 |    18844 |   962679      0 |      325 |     4298
183.86/183.95	c  157s |      11 |  1122465 |    19144 |   962679      0 |      325 |     4298
186.06/186.15	c  159s |      11 |  1123353 |    19844 |   962679      0 |      325 |     4298
188.36/188.40	c  161s |      11 |  1124112 |    20444 |   962679      0 |      325 |     4298
190.56/190.60	c  164s |      11 |  1124936 |    21044 |   962679      0 |      325 |     4298
192.66/192.73	c  166s |      11 |  1140532 |    21644 |   962679      0 |      325 |     4298
195.06/195.14	c  168s |      11 |  1154417 |    22044 |   962679      0 |      325 |     4298
197.26/197.37	c  170s |      11 |  1154895 |    22444 |   962679      0 |      325 |     4298
199.36/199.48	c  173s |      11 |  1155356 |    22844 |   962679      0 |      325 |     4298
201.86/201.93	c  175s |      11 |  1155941 |    23344 |   962679      0 |      325 |     4298
203.96/204.00	c  177s |      11 |  1156506 |    23844 |   962679      0 |      325 |     4298
206.05/206.13	c  179s |      11 |  1157089 |    24344 |   962679      0 |      325 |     4298
208.05/208.14	c  181s |      11 |  1157560 |    24744 |   962679      0 |      325 |     4298
210.25/210.33	c  183s |      11 |  1158113 |    25244 |   962679      0 |      325 |     4298
212.55/212.68	c  186s |      11 |  1158582 |    25644 |   962679      0 |      325 |     4298
213.55/213.64	c  187s |      12 |  1158767 |    25819 |  1058947      0 |      325 |     4298
215.66/215.73	c  189s |      12 |  1174589 |    25919 |  1058947      0 |      326 |     4310
217.95/218.07	c  191s |      12 |  1200932 |    26419 |  1058947      0 |      326 |     4310
220.25/220.36	c  193s |      12 |  1202256 |    27019 |  1058947      0 |      326 |     4310
222.26/222.37	c  195s |      12 |  1206751 |    27319 |  1058947      0 |      326 |     4310
224.65/224.77	c  198s |      12 |  1208215 |    27919 |  1058947      0 |      326 |     4310
227.15/227.21	c  200s |      12 |  1208774 |    28419 |  1058947      0 |      326 |     4310
229.35/229.43	c  202s |      12 |  1209394 |    28919 |  1058947      0 |      326 |     4310
231.45/231.52	c  205s |      12 |  1209869 |    29319 |  1058947      0 |      326 |     4310
233.65/233.70	c  207s |      12 |  1210460 |    29819 |  1058947      0 |      326 |     4310
236.15/236.20	c  209s |      12 |  1211057 |    30319 |  1058947      0 |      326 |     4310
238.25/238.34	c  211s |      12 |  1211731 |    30819 |  1058947      0 |      326 |     4310
240.55/240.68	c  214s |      12 |  1212343 |    31319 |  1058947      0 |      326 |     4310
242.85/242.97	c  216s |      12 |  1212985 |    31819 |  1058947      0 |      326 |     4310
244.85/244.98	c  218s |      12 |  1213493 |    32219 |  1058947      0 |      326 |     4310
247.15/247.28	c  220s |      12 |  1214142 |    32719 |  1058947      0 |      326 |     4310
249.45/249.57	c  223s |      12 |  1214771 |    33219 |  1058947      0 |      326 |     4310
251.55/251.66	c  225s |      12 |  1215363 |    33719 |  1058947      0 |      326 |     4310
253.85/253.91	c  227s |      12 |  1215939 |    34219 |  1058947      0 |      326 |     4310
255.95/256.04	c  229s |      12 |  1216534 |    34719 |  1058947      0 |      326 |     4310
258.35/258.42	c  231s |      12 |  1219553 |    35219 |  1058947      0 |      326 |     4310
260.45/260.59	c  234s |      12 |  1220073 |    35519 |  1058947      0 |      326 |     4310
262.55/262.69	c  236s |      12 |  1220453 |    35819 |  1058947      0 |      326 |     4310
264.94/265.01	c  238s |      12 |  1220806 |    36119 |  1058947      0 |      326 |     4310
267.44/267.59	c  241s |      12 |  1221165 |    36419 |  1058947      0 |      326 |     4310
269.55/269.66	c  243s |      12 |  1221509 |    36719 |  1058947      0 |      326 |     4310
272.04/272.16	c  245s |      12 |  1221912 |    37019 |  1058947      0 |      326 |     4310
274.95/275.01	c  248s |      12 |  1222285 |    37319 |  1058947      0 |      326 |     4310
277.64/277.70	c  251s |      12 |  1222657 |    37619 |  1058947      0 |      326 |     4310
280.85/280.94	c  254s |      12 |  1223059 |    37919 |  1058947      0 |      326 |     4310
282.95/283.02	c  256s |      12 |  1223448 |    38219 |  1058947      0 |      326 |     4310
285.25/285.36	c  258s |      12 |  1223918 |    38619 |  1164842      0 |      326 |     4310
286.85/286.94	c  260s |      13 |  1224179 |    38832 |  1164842      0 |      326 |     4310
289.55/289.63	c  263s |      13 |  1239770 |    39032 |  1164842      0 |      327 |     4322
292.04/292.17	c  265s |      13 |  1240251 |    39432 |  1164842      0 |      327 |     4322
294.54/294.63	c  268s |      13 |  1240760 |    39832 |  1164842      0 |      327 |     4322
296.84/296.94	c  270s |      13 |  1241210 |    40232 |  1164842      0 |      327 |     4322
299.04/299.18	c  272s |      13 |  1241666 |    40632 |  1164842      0 |      327 |     4322
301.14/301.25	c  274s |      13 |  1242127 |    41032 |  1164842      0 |      327 |     4322
303.44/303.58	c  277s |      13 |  1242584 |    41432 |  1164842      0 |      327 |     4322
305.94/306.00	c  279s |      13 |  1243070 |    41832 |  1164842      0 |      327 |     4322
308.34/308.48	c  282s |      13 |  1243519 |    42232 |  1164842      0 |      327 |     4322
310.84/310.98	c  284s |      13 |  1243979 |    42632 |  1164842      0 |      327 |     4322
313.34/313.47	c  287s |      13 |  1244437 |    43032 |  1164842      0 |      327 |     4322
315.44/315.50	c  289s |      13 |  1244811 |    43332 |  1164842      0 |      327 |     4322
317.74/317.83	c  291s |      13 |  1245275 |    43732 |  1164842      0 |      327 |     4322
320.24/320.35	c  293s |      13 |  1245756 |    44132 |  1164842      0 |      327 |     4322
322.64/322.73	c  296s |      13 |  1246192 |    44532 |  1164842      0 |      327 |     4322
324.84/324.92	c  298s |      13 |  1246657 |    44932 |  1164842      0 |      327 |     4322
327.44/327.53	c  301s |      13 |  1247112 |    45332 |  1164842      0 |      327 |     4322
330.14/330.20	c  303s |      13 |  1247593 |    45732 |  1164842      0 |      327 |     4322
332.34/332.40	c  305s |      13 |  1247930 |    46032 |  1164842      0 |      327 |     4322
334.34/334.49	c  308s |      13 |  1248298 |    46332 |  1164842      0 |      327 |     4322
336.44/336.54	c  310s |      13 |  1248631 |    46632 |  1164842      0 |      327 |     4322
338.84/338.99	c  312s |      13 |  1249084 |    47032 |  1164842      0 |      327 |     4322
341.24/341.39	c  314s |      13 |  1249570 |    47432 |  1164842      0 |      327 |     4322
343.64/343.74	c  317s |      13 |  1250006 |    47832 |  1164842      0 |      327 |     4322
345.94/346.09	c  319s |      13 |  1250444 |    48232 |  1164842      0 |      327 |     4322
348.04/348.14	c  321s |      13 |  1250916 |    48632 |  1164842      0 |      327 |     4322
350.53/350.60	c  324s |      13 |  1251390 |    49032 |  1164842      0 |      327 |     4322
352.53/352.62	c  326s |      13 |  1251701 |    49332 |  1164842      0 |      327 |     4322
354.73/354.80	c  328s |      13 |  1252047 |    49632 |  1164842      0 |      327 |     4322
357.03/357.13	c  330s |      13 |  1252506 |    50032 |  1164842      0 |      327 |     4322
359.33/359.40	c  332s |      13 |  1252928 |    50432 |  1164842      0 |      327 |     4322
361.53/361.68	c  335s |      13 |  1253356 |    50832 |  1164842      0 |      327 |     4322
363.73/363.82	c  337s |      13 |  1253754 |    51132 |  1164842      0 |      327 |     4322
366.13/366.20	c  339s |      13 |  1254207 |    51532 |  1164842      0 |      327 |     4322
368.33/368.43	c  341s |      13 |  1254653 |    51932 |  1164842      0 |      327 |     4322
370.53/370.66	c  344s |      13 |  1255026 |    52232 |  1164842      0 |      327 |     4322
372.84/372.93	c  346s |      13 |  1255515 |    52632 |  1164842      0 |      327 |     4322
375.14/375.29	c  348s |      13 |  1255987 |    53032 |  1164842      0 |      327 |     4322
377.73/377.82	c  351s |      13 |  1256411 |    53432 |  1164842      0 |      327 |     4322
380.33/380.49	c  354s |      13 |  1257172 |    53832 |  1164842      0 |      327 |     4322
382.53/382.62	c  356s |      13 |  1257625 |    54132 |  1164842      0 |      327 |     4322
384.94/385.04	c  358s |      13 |  1258228 |    54532 |  1164842      0 |      327 |     4322
386.93/387.04	c  360s |      13 |  1258669 |    54832 |  1164842      0 |      327 |     4322
389.63/389.74	c  363s |      13 |  1259146 |    55232 |  1164842      0 |      327 |     4322
391.73/391.87	c  365s |      13 |  1259483 |    55532 |  1164842      0 |      327 |     4322
394.33/394.46	c  367s |      13 |  1259943 |    55932 |  1164842      0 |      327 |     4322
396.43/396.57	c  370s |      13 |  1260445 |    56332 |  1164842      0 |      327 |     4322
398.43/398.60	c  372s |      13 |  1260965 |    56732 |  1164842      0 |      327 |     4322
400.63/400.79	c  374s |      13 |  1261517 |    57132 |  1164842      0 |      327 |     4322
403.23/403.33	c  376s |      13 |  1262049 |    57532 |  1164842      0 |      327 |     4322
405.53/405.60	c  379s |      13 |  1262486 |    57832 |  1164842      0 |      327 |     4322
408.13/408.25	c  381s |      13 |  1263086 |    58232 |  1281327      0 |      327 |     4322
408.73/408.88	c  382s |      14 |  1263235 |    58352 |  1281327      0 |      327 |     4322
411.23/411.35	c  384s |      14 |  1264309 |    58552 |  1281327      0 |      327 |     4322
413.53/413.67	c  387s |      14 |  1264837 |    58952 |  1281327      0 |      327 |     4322
415.92/416.01	c  389s |      14 |  1265422 |    59352 |  1281327      0 |      327 |     4322
418.32/418.42	c  391s |      14 |  1265918 |    59752 |  1281327      0 |      327 |     4322
420.52/420.67	c  394s |      14 |  1266361 |    60152 |  1281327      0 |      327 |     4322
423.02/423.10	c  396s |      14 |  1267350 |    60552 |  1281327      0 |      327 |     4322
425.32/425.47	c  399s |      14 |  1267826 |    60952 |  1281327      0 |      327 |     4322
427.62/427.73	c  401s |      14 |  1268314 |    61352 |  1281327      0 |      327 |     4322
429.72/429.84	c  403s |      14 |  1268788 |    61752 |  1281327      0 |      327 |     4322
432.42/432.51	c  406s |      14 |  1269384 |    62252 |  1281327      0 |      327 |     4322
434.82/434.99	c  408s |      14 |  1269863 |    62652 |  1281327      0 |      327 |     4322
436.92/437.01	c  410s |      14 |  1270195 |    62952 |  1281327      0 |      327 |     4322
439.52/439.60	c  413s |      14 |  1270653 |    63352 |  1281327      0 |      327 |     4322
441.52/441.68	c  415s |      14 |  1271113 |    63752 |  1281327      0 |      327 |     4322
443.92/444.08	c  417s |      14 |  1271575 |    64152 |  1281327      0 |      327 |     4322
446.22/446.34	c  419s |      14 |  1272065 |    64452 |  1281327      0 |      327 |     4322
448.73/448.85	c  422s |      14 |  1272566 |    64852 |  1281327      0 |      327 |     4322
450.93/451.04	c  424s |      14 |  1272932 |    65152 |  1281327      0 |      327 |     4322
453.02/453.11	c  426s |      14 |  1273336 |    65452 |  1281327      0 |      327 |     4322
455.82/455.93	c  429s |      14 |  1273743 |    65752 |  1281327      0 |      327 |     4322
457.92/458.07	c  431s |      14 |  1274024 |    65952 |  1281327      0 |      327 |     4322
460.72/460.84	c  434s |      14 |  1274405 |    66252 |  1281327      0 |      327 |     4322
463.12/463.29	c  436s |      14 |  1274759 |    66552 |  1281327      0 |      327 |     4322
465.72/465.85	c  439s |      14 |  1275101 |    66852 |  1281327      0 |      327 |     4322
467.82/467.97	c  441s |      14 |  1275349 |    67052 |  1281327      0 |      327 |     4322
470.51/470.65	c  444s |      14 |  1275723 |    67352 |  1281327      0 |      327 |     4322
473.41/473.53	c  447s |      14 |  1276084 |    67652 |  1281327      0 |      327 |     4322
475.71/475.80	c  449s |      14 |  1276466 |    67952 |  1281327      0 |      327 |     4322
478.53/478.63	c  452s |      14 |  1276941 |    68252 |  1281327      0 |      327 |     4322
481.61/481.76	c  455s |      14 |  1277316 |    68552 |  1281327      0 |      327 |     4322
484.12/484.26	c  457s |      14 |  1277725 |    68852 |  1281327      0 |      327 |     4322
486.82/486.91	c  460s |      14 |  1277968 |    69052 |  1281327      0 |      327 |     4322
488.92/489.01	c  462s |      14 |  1278369 |    69352 |  1281327      0 |      327 |     4322
490.92/491.08	c  464s |      14 |  1278748 |    69652 |  1281327      0 |      327 |     4322
493.02/493.17	c  466s |      14 |  1279105 |    69952 |  1281327      0 |      327 |     4322
495.41/495.50	c  469s |      14 |  1279635 |    70352 |  1281327      0 |      327 |     4322
497.51/497.69	c  471s |      14 |  1279985 |    70652 |  1281327      0 |      327 |     4322
499.71/499.84	c  473s |      14 |  1280390 |    70952 |  1281327      0 |      327 |     4322
502.31/502.44	c  475s |      14 |  1280973 |    71352 |  1281327      0 |      327 |     4322
504.51/504.62	c  478s |      14 |  1281319 |    71652 |  1281327      0 |      327 |     4322
506.81/506.97	c  480s |      14 |  1281712 |    71952 |  1281327      0 |      327 |     4322
508.91/509.06	c  482s |      14 |  1282079 |    72252 |  1281327      0 |      327 |     4322
511.61/511.75	c  485s |      14 |  1282594 |    72652 |  1281327      0 |      327 |     4322
514.11/514.20	c  487s |      14 |  1282967 |    72952 |  1281327      0 |      327 |     4322
516.31/516.46	c  489s |      14 |  1283318 |    73252 |  1281327      0 |      327 |     4322
518.51/518.63	c  492s |      14 |  1283663 |    73552 |  1281327      0 |      327 |     4322
520.91/521.02	c  494s |      14 |  1284066 |    73852 |  1281327      0 |      327 |     4322
523.01/523.14	c  496s |      14 |  1284416 |    74152 |  1281327      0 |      327 |     4322
526.92/527.08	c  500s |      14 |  1285182 |    74552 |  1281327      0 |      328 |     4334
529.02/529.14	c  502s |      14 |  1286021 |    74652 |  1281327      0 |      329 |     4346
531.81/531.94	c  505s |      14 |  1286563 |    74852 |  1281327      0 |      330 |     4358
536.61/536.77	c  510s |      14 |  1287496 |    75052 |  1281327      0 |      333 |     4394
538.71/538.80	c  512s |      14 |  1287879 |    75352 |  1281327      0 |      333 |     4394
540.71/540.85	c  514s |      14 |  1288256 |    75652 |  1281327      0 |      333 |     4394
543.21/543.31	c  516s |      14 |  1288753 |    76052 |  1281327      0 |      333 |     4394
545.61/545.72	c  519s |      14 |  1289266 |    76452 |  1281327      0 |      333 |     4394
548.71/548.81	c  522s |      14 |  1289897 |    76752 |  1281327      0 |      334 |     4406
551.01/551.20	c  524s |      14 |  1290539 |    77052 |  1281327      0 |      334 |     4406
553.51/553.67	c  527s |      14 |  1290893 |    77352 |  1281327      0 |      334 |     4406
555.91/556.08	c  529s |      14 |  1291325 |    77652 |  1281327      0 |      334 |     4406
558.50/558.60	c  532s |      14 |  1291739 |    77952 |  1281327      0 |      334 |     4406
561.10/561.26	c  534s |      14 |  1292099 |    78252 |  1281327      0 |      334 |     4406
563.70/563.86	c  537s |      14 |  1292472 |    78552 |  1281327      0 |      334 |     4406
566.00/566.17	c  539s |      14 |  1292885 |    78852 |  1281327      0 |      334 |     4406
568.20/568.33	c  541s |      14 |  1293215 |    79152 |  1281327      0 |      334 |     4406
570.40/570.51	c  544s |      14 |  1293605 |    79452 |  1281327      0 |      334 |     4406
573.10/573.28	c  546s |      14 |  1293851 |    79652 |  1281327      0 |      334 |     4406
575.20/575.37	c  548s |      14 |  1294212 |    79952 |  1281327      0 |      334 |     4406
577.29/577.43	c  550s |      14 |  1294557 |    80252 |  1281327      0 |      334 |     4406
579.89/580.00	c  553s |      14 |  1294983 |    80652 |  1281327      0 |      334 |     4406
581.99/582.15	c  555s |      14 |  1295343 |    80952 |  1281327      0 |      334 |     4406
584.00/584.20	c  557s |      14 |  1295689 |    81252 |  1281327      0 |      334 |     4406
586.59/586.71	c  560s |      14 |  1296036 |    81552 |  1281327      0 |      334 |     4406
588.79/588.91	c  562s |      14 |  1296406 |    81852 |  1281327      0 |      334 |     4406
591.09/591.23	c  564s |      14 |  1296864 |    82152 |  1281327      0 |      334 |     4406
593.59/593.72	c  567s |      14 |  1297242 |    82452 |  1281327      0 |      334 |     4406
595.59/595.77	c  569s |      14 |  1297591 |    82752 |  1281327      0 |      334 |     4406
598.09/598.23	c  571s |      14 |  1298082 |    83152 |  1281327      0 |      334 |     4406
600.29/600.41	c  573s |      14 |  1298436 |    83452 |  1281327      0 |      334 |     4406
602.49/602.65	c  576s |      14 |  1298764 |    83752 |  1281327      0 |      334 |     4406
604.59/604.78	c  578s |      14 |  1299124 |    84052 |  1281327      0 |      334 |     4406
606.79/606.91	c  580s |      14 |  1299503 |    84352 |  1281327      0 |      334 |     4406
608.89/609.01	c  582s |      14 |  1299863 |    84652 |  1281327      0 |      334 |     4406
611.49/611.67	c  585s |      14 |  1300347 |    85052 |  1281327      0 |      334 |     4406
613.59/613.79	c  587s |      14 |  1300696 |    85352 |  1281327      0 |      334 |     4406
615.79/615.95	c  589s |      14 |  1301065 |    85652 |  1281327      0 |      334 |     4406
618.09/618.21	c  591s |      14 |  1301439 |    85952 |  1281327      0 |      334 |     4406
620.29/620.48	c  594s |      14 |  1301806 |    86252 |  1281327      0 |      334 |     4406
622.38/622.56	c  596s |      14 |  1302146 |    86552 |  1281327      0 |      334 |     4406
624.58/624.77	c  598s |      14 |  1302517 |    86852 |  1281327      0 |      334 |     4406
626.68/626.89	c  600s |      14 |  1302880 |    87152 |  1409460      0 |      334 |     4406
628.88/629.05	c  602s |      14 |  1303225 |    87452 |  1409460      0 |      334 |     4406
629.98/630.16	c  603s |      15 |  1303452 |    87632 |  1409460      0 |      334 |     4406
632.58/632.77	c  606s |      15 |  1303869 |    87832 |  1409460      0 |      334 |     4406
635.08/635.22	c  608s |      15 |  1304266 |    88132 |  1409460      0 |      334 |     4406
637.48/637.66	c  611s |      15 |  1304641 |    88432 |  1409460      0 |      334 |     4406
639.68/639.81	c  613s |      15 |  1305029 |    88732 |  1409460      0 |      334 |     4406
641.88/642.07	c  615s |      15 |  1305374 |    89032 |  1409460      0 |      334 |     4406
644.08/644.29	c  617s |      15 |  1305721 |    89332 |  1409460      0 |      334 |     4406
646.58/646.72	c  620s |      15 |  1306072 |    89632 |  1409460      0 |      334 |     4406
648.88/649.08	c  622s |      15 |  1306426 |    89932 |  1409460      0 |      334 |     4406
651.48/651.63	c  625s |      15 |  1306814 |    90232 |  1409460      0 |      334 |     4406
653.68/653.86	c  627s |      15 |  1307176 |    90532 |  1409460      0 |      334 |     4406
655.87/656.09	c  629s |      15 |  1307572 |    90832 |  1409460      0 |      334 |     4406
658.07/658.23	c  631s |      15 |  1307930 |    91132 |  1409460      0 |      334 |     4406
660.67/660.87	c  634s |      15 |  1308372 |    91532 |  1409460      0 |      334 |     4406
663.37/663.51	c  637s |      15 |  1308844 |    91932 |  1409460      0 |      334 |     4406
665.57/665.70	c  639s |      15 |  1309177 |    92232 |  1409460      0 |      334 |     4406
667.87/668.04	c  641s |      15 |  1309523 |    92532 |  1409460      0 |      334 |     4406
670.47/670.63	c  644s |      15 |  1309975 |    92932 |  1409460      0 |      334 |     4406
672.67/672.83	c  646s |      15 |  1310328 |    93232 |  1409460      0 |      334 |     4406
674.77/674.93	c  648s |      15 |  1310688 |    93532 |  1409460      0 |      334 |     4406
677.27/677.49	c  651s |      15 |  1311176 |    93932 |  1409460      0 |      334 |     4406
679.37/679.55	c  653s |      15 |  1311508 |    94232 |  1409460      0 |      334 |     4406
681.77/681.96	c  655s |      15 |  1311994 |    94632 |  1409460      0 |      334 |     4406
684.47/684.63	c  658s |      15 |  1312480 |    95032 |  1409460      0 |      334 |     4406
686.96/687.18	c  660s |      15 |  1312915 |    95332 |  1409460      0 |      334 |     4406
689.46/689.64	c  663s |      15 |  1313257 |    95632 |  1409460      0 |      334 |     4406
691.77/691.96	c  665s |      15 |  1313603 |    95932 |  1409460      0 |      334 |     4406
693.86/694.04	c  667s |      15 |  1313962 |    96232 |  1409460      0 |      334 |     4406
695.86/696.09	c  669s |      15 |  1314290 |    96532 |  1409460      0 |      334 |     4406
698.66/698.85	c  672s |      15 |  1314644 |    96832 |  1409460      0 |      334 |     4406
700.96/701.18	c  674s |      15 |  1315024 |    97132 |  1409460      0 |      334 |     4406
703.16/703.39	c  676s |      15 |  1315361 |    97432 |  1409460      0 |      334 |     4406
705.26/705.45	c  678s |      15 |  1315695 |    97732 |  1409460      0 |      334 |     4406
707.55/707.75	c  681s |      15 |  1316091 |    98032 |  1409460      0 |      334 |     4406
709.75/709.93	c  683s |      15 |  1316458 |    98332 |  1409460      0 |      334 |     4406
711.85/712.07	c  685s |      15 |  1316818 |    98632 |  1409460      0 |      334 |     4406
713.95/714.15	c  687s |      15 |  1317146 |    98932 |  1409460      0 |      334 |     4406
716.15/716.37	c  689s |      15 |  1317489 |    99232 |  1409460      0 |      334 |     4406
718.95/719.18	c  692s |      15 |  1317933 |    99632 |  1409460      0 |      334 |     4406
721.15/721.37	c  694s |      15 |  1318283 |    99932 |  1409460      0 |      334 |     4406
723.45/723.61	c  697s |      15 |  1318623 |   100232 |  1409460      0 |      334 |     4406
725.54/725.77	c  699s |      15 |  1318978 |   100532 |  1409460      0 |      334 |     4406
727.84/728.05	c  701s |      15 |  1319320 |   100832 |  1409460      0 |      334 |     4406
730.04/730.23	c  703s |      15 |  1319670 |   101132 |  1409460      0 |      334 |     4406
732.14/732.33	c  705s |      15 |  1320012 |   101432 |  1409460      0 |      334 |     4406
734.54/734.71	c  708s |      15 |  1320360 |   101732 |  1409460      0 |      334 |     4406
736.95/737.12	c  710s |      15 |  1320705 |   102032 |  1409460      0 |      334 |     4406
738.94/739.16	c  712s |      15 |  1321062 |   102332 |  1409460      0 |      334 |     4406
741.25/741.49	c  715s |      15 |  1321403 |   102632 |  1409460      0 |      334 |     4406
743.94/744.10	c  717s |      15 |  1321762 |   102932 |  1409460      0 |      334 |     4406
746.64/746.80	c  720s |      15 |  1322122 |   103232 |  1409460      0 |      334 |     4406
749.04/749.22	c  722s |      15 |  1322488 |   103532 |  1409460      0 |      334 |     4406
751.54/751.70	c  725s |      15 |  1322828 |   103832 |  1409460      0 |      334 |     4406
753.74/753.94	c  727s |      15 |  1323196 |   104132 |  1409460      0 |      334 |     4406
756.04/756.23	c  729s |      15 |  1323536 |   104432 |  1409460      0 |      334 |     4406
758.85/759.04	c  732s |      15 |  1323889 |   104732 |  1409460      0 |      334 |     4406
761.14/761.32	c  734s |      15 |  1324250 |   105032 |  1409460      0 |      334 |     4406
763.53/763.76	c  737s |      15 |  1324596 |   105332 |  1409460      0 |      334 |     4406
765.55/765.78	c  739s |      15 |  1324854 |   105532 |  1409460      0 |      334 |     4406
768.54/768.70	c  742s |      15 |  1325073 |   105732 |  1409460      0 |      334 |     4406
770.94/771.17	c  744s |      15 |  1325414 |   106032 |  1409460      0 |      334 |     4406
773.04/773.27	c  746s |      15 |  1325751 |   106332 |  1409460      0 |      334 |     4406
775.34/775.54	c  749s |      15 |  1326113 |   106632 |  1409460      0 |      334 |     4406
777.43/777.66	c  751s |      15 |  1326468 |   106932 |  1409460      0 |      334 |     4406
779.74/779.93	c  753s |      15 |  1326797 |   107232 |  1409460      0 |      334 |     4406
781.83/782.03	c  755s |      15 |  1327181 |   107532 |  1409460      0 |      334 |     4406
784.33/784.57	c  758s |      15 |  1327616 |   107932 |  1409460      0 |      334 |     4406
786.34/786.59	c  760s |      15 |  1327997 |   108232 |  1409460      0 |      334 |     4406
788.43/788.61	c  762s |      15 |  1328348 |   108532 |  1409460      0 |      334 |     4406
790.84/791.02	c  764s |      15 |  1328698 |   108832 |  1409460      0 |      334 |     4406
793.53/793.71	c  767s |      15 |  1329153 |   109232 |  1409460      0 |      334 |     4406
795.73/795.92	c  769s |      15 |  1329478 |   109532 |  1409460      0 |      334 |     4406
798.13/798.39	c  771s |      15 |  1329839 |   109832 |  1409460      0 |      334 |     4406
800.43/800.68	c  774s |      15 |  1330179 |   110132 |  1409460      0 |      334 |     4406
802.43/802.68	c  776s |      15 |  1330540 |   110432 |  1409460      0 |      334 |     4406
805.23/805.48	c  779s |      15 |  1331021 |   110832 |  1409460      0 |      334 |     4406
807.73/807.92	c  781s |      15 |  1331494 |   111232 |  1409460      0 |      334 |     4406
810.13/810.33	c  783s |      15 |  1331957 |   111632 |  1409460      0 |      334 |     4406
812.23/812.49	c  786s |      15 |  1332310 |   111932 |  1409460      0 |      334 |     4406
814.43/814.65	c  788s |      15 |  1332645 |   112232 |  1409460      0 |      334 |     4406
816.62/816.82	c  790s |      15 |  1333002 |   112532 |  1409460      0 |      334 |     4406
819.43/819.62	c  793s |      15 |  1333339 |   112832 |  1409460      0 |      334 |     4406
821.82/822.04	c  795s |      15 |  1333671 |   113132 |  1409460      0 |      334 |     4406
824.32/824.54	c  798s |      15 |  1334013 |   113432 |  1409460      0 |      334 |     4406
826.42/826.68	c  800s |      15 |  1334369 |   113732 |  1409460      0 |      334 |     4406
828.72/828.95	c  802s |      15 |  1334721 |   114032 |  1409460      0 |      334 |     4406
830.92/831.17	c  804s |      15 |  1335062 |   114332 |  1409460      0 |      334 |     4406
833.32/833.55	c  807s |      15 |  1335396 |   114632 |  1409460      0 |      334 |     4406
836.02/836.27	c  809s |      15 |  1335747 |   114932 |  1409460      0 |      334 |     4406
838.42/838.63	c  812s |      15 |  1335988 |   115132 |  1409460      0 |      334 |     4406
840.92/841.16	c  814s |      15 |  1336232 |   115332 |  1409460      0 |      334 |     4406
843.42/843.61	c  817s |      15 |  1336456 |   115532 |  1409460      0 |      334 |     4406
845.72/845.93	c  819s |      15 |  1336680 |   115732 |  1409460      0 |      334 |     4406
847.81/848.00	c  821s |      15 |  1336904 |   115932 |  1409460      0 |      334 |     4406
850.51/850.76	c  824s |      15 |  1337245 |   116232 |  1409460      0 |      334 |     4406
853.31/853.50	c  827s |      15 |  1337572 |   116532 |  1409460      0 |      334 |     4406
855.91/856.16	c  829s |      15 |  1337906 |   116832 |  1409460      0 |      334 |     4406
858.61/858.80	c  832s |      15 |  1338229 |   117132 |  1409460      0 |      334 |     4406
860.61/860.86	c  834s |      15 |  1338453 |   117332 |  1409460      0 |      334 |     4406
863.11/863.31	c  836s |      15 |  1338774 |   117632 |  1409460      0 |      334 |     4406
865.41/865.61	c  839s |      15 |  1339105 |   117932 |  1409460      0 |      334 |     4406
867.72/867.95	c  841s |      15 |  1339427 |   118232 |  1409460      0 |      334 |     4406
870.41/870.63	c  844s |      15 |  1339764 |   118532 |  1409460      0 |      334 |     4406
873.11/873.33	c  846s |      15 |  1340095 |   118832 |  1409460      0 |      334 |     4406
875.61/875.82	c  849s |      15 |  1340417 |   119132 |  1409460      0 |      334 |     4406
877.72/877.90	c  851s |      15 |  1340740 |   119432 |  1409460      0 |      334 |     4406
880.41/880.64	c  854s |      15 |  1341071 |   119732 |  1409460      0 |      334 |     4406
882.41/882.69	c  856s |      15 |  1341313 |   119932 |  1409460      0 |      334 |     4406
885.00/885.29	c  858s |      15 |  1341631 |   120232 |  1409460      0 |      334 |     4406
887.80/888.04	c  861s |      15 |  1341949 |   120532 |  1409460      0 |      334 |     4406
889.81/890.05	c  863s |      15 |  1342438 |   120732 |  1409460      0 |      334 |     4406
892.80/893.07	c  866s |      15 |  1342780 |   120932 |  1409460      0 |      334 |     4406
895.21/895.49	c  869s |      15 |  1343016 |   121132 |  1409460      0 |      334 |     4406
897.70/897.90	c  871s |      15 |  1343265 |   121332 |  1409460      0 |      334 |     4406
900.30/900.54	c  874s |      15 |  1343532 |   121532 |  1409460      0 |      334 |     4406
902.70/902.92	c  876s |      15 |  1343764 |   121732 |  1409460      0 |      334 |     4406
905.00/905.27	c  878s |      15 |  1344010 |   121932 |  1409460      0 |      334 |     4406
907.30/907.59	c  881s |      15 |  1344263 |   122132 |  1409460      0 |      334 |     4406
909.70/909.98	c  883s |      15 |  1344495 |   122332 |  1409460      0 |      334 |     4406
912.70/912.94	c  886s |      15 |  1344847 |   122632 |  1409460      0 |      334 |     4406
915.80/916.07	c  889s |      15 |  1345195 |   122932 |  1409460      0 |      334 |     4406
918.09/918.34	c  891s |      15 |  1345419 |   123132 |  1409460      0 |      334 |     4406
920.90/921.14	c  894s |      15 |  1345658 |   123332 |  1409460      0 |      334 |     4406
923.29/923.54	c  897s |      15 |  1345902 |   123532 |  1409460      0 |      334 |     4406
925.60/925.80	c  899s |      15 |  1346136 |   123732 |  1409460      0 |      334 |     4406
928.79/929.01	c  902s |      15 |  1346409 |   123932 |  1409460      0 |      334 |     4406
931.50/931.78	c  905s |      15 |  1346772 |   124232 |  1409460      0 |      334 |     4406
934.09/934.36	c  907s |      15 |  1347172 |   124532 |  1409460      0 |      334 |     4406
936.79/937.07	c  910s |      15 |  1347531 |   124832 |  1409460      0 |      334 |     4406
939.69/939.93	c  913s |      15 |  1347915 |   125132 |  1409460      0 |      334 |     4406
942.19/942.45	c  915s |      15 |  1348265 |   125432 |  1409460      0 |      334 |     4406
944.80/945.06	c  918s |      15 |  1348633 |   125732 |  1409460      0 |      334 |     4406
946.90/947.17	c  920s |      15 |  1348872 |   125932 |  1409460      0 |      334 |     4406
949.09/949.38	c  922s |      15 |  1349280 |   126232 |  1409460      0 |      334 |     4406
951.39/951.64	c  925s |      15 |  1349650 |   126532 |  1409460      0 |      334 |     4406
953.69/953.91	c  927s |      15 |  1350025 |   126832 |  1409460      0 |      334 |     4406
955.69/956.00	c  929s |      15 |  1350363 |   127132 |  1409460      0 |      334 |     4406
958.39/958.61	c  932s |      15 |  1350827 |   127532 |  1409460      0 |      334 |     4406
960.49/960.76	c  934s |      15 |  1351166 |   127832 |  1409460      0 |      334 |     4406
963.18/963.43	c  936s |      15 |  1351507 |   128132 |  1409460      0 |      334 |     4406
965.28/965.51	c  939s |      15 |  1351758 |   128332 |  1409460      0 |      334 |     4406
967.69/967.93	c  941s |      15 |  1352135 |   128632 |  1409460      0 |      334 |     4406
970.19/970.41	c  943s |      15 |  1352494 |   128932 |  1409460      0 |      334 |     4406
972.99/973.26	c  946s |      15 |  1352841 |   129232 |  1409460      0 |      334 |     4406
975.79/976.09	c  949s |      15 |  1353185 |   129532 |  1409460      0 |      334 |     4406
978.29/978.56	c  952s |      15 |  1353523 |   129832 |  1409460      0 |      334 |     4406
980.89/981.17	c  954s |      15 |  1353856 |   130132 |  1409460      0 |      334 |     4406
983.39/983.65	c  957s |      15 |  1354234 |   130432 |  1409460      0 |      334 |     4406
985.59/985.80	c  959s |      15 |  1354586 |   130732 |  1550407      0 |      334 |     4406
987.89/988.13	c  961s |      15 |  1354969 |   131032 |  1550407      0 |      334 |     4406
990.29/990.57	c  964s |      15 |  1355337 |   131332 |  1550407      0 |      334 |     4406
992.39/992.62	c  966s |      16 |  1355598 |   131552 |  1550407      0 |      334 |     4406
995.08/995.34	c  968s |      16 |  1355890 |   131652 |  1550407      0 |      334 |     4406
997.38/997.64	c  971s |      16 |  1356144 |   131852 |  1550407      0 |      334 |     4406
999.48/999.78	c  973s |      16 |  1356357 |   132052 |  1550407      0 |      334 |     4406
1001.68/1001.96	c  975s |      16 |  1356595 |   132252 |  1550407      0 |      334 |     4406
1004.68/1004.96	c  978s |      16 |  1356995 |   132552 |  1550407      0 |      334 |     4406
1006.98/1007.28	c  980s |      16 |  1357248 |   132752 |  1550407      0 |      334 |     4406
1009.69/1009.91	c  983s |      16 |  1357601 |   133052 |  1550407      0 |      334 |     4406
1012.78/1013.10	c  986s |      16 |  1358094 |   133352 |  1550407      0 |      334 |     4406
1015.38/1015.68	c  989s |      16 |  1358469 |   133552 |  1550407      0 |      334 |     4406
1018.78/1019.03	c  992s |      16 |  1358834 |   133752 |  1550407      0 |      334 |     4406
1021.78/1022.09	c  995s |      16 |  1359063 |   133952 |  1550407      0 |      334 |     4406
1025.27/1025.59	c  999s |      16 |  1359341 |   134152 |  1550407      0 |      334 |     4406
1027.88/1028.11	c 1001s |      16 |  1359587 |   134352 |  1550407      0 |      334 |     4406
1032.98/1033.26	c 1006s |      16 |  1359852 |   134552 |  1550407      0 |      334 |     4406
1036.27/1036.50	c 1010s |      16 |  1360111 |   134752 |  1550407      0 |      334 |     4406
1039.38/1039.67	c 1013s |      16 |  1360360 |   134952 |  1550407      0 |      334 |     4406
1042.27/1042.60	c 1016s |      16 |  1360617 |   135152 |  1550407      0 |      334 |     4406
1045.37/1045.61	c 1019s |      16 |  1360881 |   135352 |  1550407      0 |      334 |     4406
1048.17/1048.43	c 1021s |      16 |  1361164 |   135552 |  1550407      0 |      334 |     4406
1051.07/1051.34	c 1024s |      16 |  1361418 |   135752 |  1550407      0 |      334 |     4406
1053.87/1054.14	c 1027s |      16 |  1361643 |   135952 |  1550407      0 |      334 |     4406
1057.66/1057.92	c 1031s |      16 |  1361918 |   136152 |  1550407      0 |      334 |     4406
1061.06/1061.34	c 1034s |      16 |  1362188 |   136352 |  1550407      0 |      334 |     4406
1064.16/1064.42	c 1037s |      16 |  1362423 |   136552 |  1550407      0 |      334 |     4406
1067.36/1067.66	c 1041s |      16 |  1362658 |   136752 |  1550407      0 |      334 |     4406
1070.16/1070.46	c 1043s |      16 |  1362903 |   136952 |  1550407      0 |      334 |     4406
1072.65/1072.93	c 1046s |      16 |  1363147 |   137152 |  1550407      0 |      334 |     4406
1075.66/1075.95	c 1049s |      16 |  1363383 |   137352 |  1550407      0 |      334 |     4406
1078.45/1078.78	c 1052s |      16 |  1363613 |   137552 |  1550407      0 |      334 |     4406
1081.75/1082.02	c 1055s |      16 |  1363869 |   137752 |  1550407      0 |      334 |     4406
1084.55/1084.83	c 1058s |      16 |  1364142 |   137952 |  1550407      0 |      334 |     4406
1087.45/1087.73	c 1061s |      16 |  1364372 |   138152 |  1550407      0 |      334 |     4406
1090.05/1090.34	c 1063s |      16 |  1364628 |   138352 |  1550407      0 |      334 |     4406
1092.95/1093.27	c 1066s |      16 |  1364874 |   138552 |  1550407      0 |      334 |     4406
1094.95/1095.29	c 1068s |      16 |  1364984 |   138652 |  1550407      0 |      334 |     4406
1098.66/1098.96	c 1072s |      16 |  1365209 |   138852 |  1550407      0 |      334 |     4406
1101.65/1101.98	c 1075s |      16 |  1365489 |   139052 |  1550407      0 |      334 |     4406
1104.75/1105.03	c 1078s |      16 |  1365846 |   139252 |  1550407      0 |      334 |     4406
1107.15/1107.40	c 1080s |      16 |  1366097 |   139452 |  1550407      0 |      334 |     4406
1110.65/1110.96	c 1084s |      16 |  1366391 |   139652 |  1550407      0 |      334 |     4406
1113.06/1113.35	c 1086s |      16 |  1366619 |   139852 |  1550407      0 |      334 |     4406
1115.26/1115.57	c 1089s |      16 |  1366878 |   140052 |  1550407      0 |      334 |     4406
1121.76/1122.08	c 1095s |      16 |  1438433 |   140252 |  1550407      0 |      334 |     4406
1124.85/1125.14	c 1098s |      16 |  1440955 |   140352 |  1550407      0 |      335 |     4422
1127.55/1127.85	c 1101s |      16 |  1441238 |   140552 |  1550407      0 |      335 |     4422
1130.55/1130.88	c 1104s |      16 |  1441464 |   140752 |  1550407      0 |      335 |     4422
1133.05/1133.35	c 1106s |      16 |  1441703 |   140952 |  1550407      0 |      335 |     4422
1135.85/1136.11	c 1109s |      16 |  1441964 |   141152 |  1550407      0 |      335 |     4422
1138.75/1139.07	c 1112s |      16 |  1442191 |   141352 |  1550407      0 |      335 |     4422
1141.65/1141.91	c 1115s |      16 |  1442417 |   141552 |  1550407      0 |      335 |     4422
1144.25/1144.56	c 1118s |      16 |  1442665 |   141752 |  1550407      0 |      335 |     4422
1146.84/1147.11	c 1120s |      16 |  1442883 |   141952 |  1550407      0 |      335 |     4422
1149.74/1150.04	c 1123s |      16 |  1443530 |   142152 |  1550407      0 |      335 |     4422
1152.74/1153.03	c 1126s |      16 |  1443894 |   142452 |  1550407      0 |      335 |     4422
1155.44/1155.74	c 1129s |      16 |  1444112 |   142652 |  1550407      0 |      335 |     4422
1158.54/1158.85	c 1132s |      16 |  1444361 |   142852 |  1550407      0 |      335 |     4422
1161.94/1162.24	c 1135s |      16 |  1444583 |   143052 |  1550407      0 |      335 |     4422
1165.43/1165.73	c 1139s |      16 |  1444796 |   143252 |  1550407      0 |      335 |     4422
1168.74/1169.03	c 1142s |      16 |  1445009 |   143452 |  1550407      0 |      335 |     4422
1172.04/1172.33	c 1145s |      16 |  1445249 |   143652 |  1550407      0 |      335 |     4422
1174.64/1174.91	c 1148s |      16 |  1445538 |   143852 |  1550407      0 |      335 |     4422
1179.13/1179.45	c 1152s |      16 |  1445785 |   144052 |  1550407      0 |      335 |     4422
1181.23/1181.54	c 1155s |      16 |  1446036 |   144252 |  1550407      0 |      335 |     4422
1183.53/1183.88	c 1157s |      16 |  1446283 |   144452 |  1550407      0 |      335 |     4422
1185.92/1186.29	c 1159s |      16 |  1446519 |   144652 |  1550407      0 |      335 |     4422
1188.12/1188.44	c 1161s |      16 |  1446791 |   144852 |  1550407      0 |      335 |     4422
1190.62/1190.93	c 1164s |      16 |  1447017 |   145052 |  1550407      0 |      335 |     4422
1192.92/1193.25	c 1166s |      16 |  1447285 |   145252 |  1550407      0 |      335 |     4422
1195.43/1195.80	c 1169s |      16 |  1447533 |   145452 |  1550407      0 |      335 |     4422
1197.82/1198.12	c 1171s |      16 |  1447799 |   145652 |  1550407      0 |      335 |     4422
1200.32/1200.63	c 1174s |      16 |  1448027 |   145852 |  1550407      0 |      335 |     4422
1202.52/1202.85	c 1176s |      16 |  1448266 |   146052 |  1550407      0 |      335 |     4422
1204.82/1205.10	c 1178s |      16 |  1448502 |   146252 |  1550407      0 |      335 |     4422
1207.22/1207.50	c 1181s |      16 |  1448767 |   146452 |  1550407      0 |      335 |     4422
1209.52/1209.81	c 1183s |      16 |  1449001 |   146652 |  1550407      0 |      335 |     4422
1211.62/1211.98	c 1185s |      16 |  1449268 |   146852 |  1550407      0 |      335 |     4422
1213.82/1214.13	c 1187s |      16 |  1449541 |   147052 |  1550407      0 |      335 |     4422
1217.02/1217.36	c 1190s |      16 |  1449922 |   147352 |  1550407      0 |      335 |     4422
1219.31/1219.63	c 1193s |      16 |  1450164 |   147552 |  1550407      0 |      335 |     4422
1221.92/1222.22	c 1195s |      16 |  1450402 |   147752 |  1550407      0 |      335 |     4422
1224.12/1224.42	c 1197s |      16 |  1450658 |   147952 |  1550407      0 |      335 |     4422
1226.32/1226.63	c 1200s |      16 |  1450906 |   148152 |  1550407      0 |      335 |     4422
1228.61/1228.98	c 1202s |      16 |  1451132 |   148352 |  1550407      0 |      335 |     4422
1230.62/1231.00	c 1204s |      16 |  1451396 |   148552 |  1550407      0 |      335 |     4422
1232.71/1233.05	c 1206s |      16 |  1451688 |   148752 |  1550407      0 |      335 |     4422
1235.02/1235.38	c 1208s |      16 |  1451952 |   148952 |  1550407      0 |      335 |     4422
1237.81/1238.12	c 1211s |      16 |  1452342 |   149252 |  1550407      0 |      335 |     4422
1240.21/1240.53	c 1214s |      16 |  1452751 |   149552 |  1550407      0 |      335 |     4422
1242.61/1242.97	c 1216s |      16 |  1453024 |   149752 |  1550407      0 |      335 |     4422
1245.21/1245.52	c 1219s |      16 |  1453251 |   149952 |  1550407      0 |      335 |     4422
1247.42/1247.76	c 1221s |      16 |  1453593 |   150152 |  1550407      0 |      335 |     4422
1249.92/1250.28	c 1223s |      16 |  1453855 |   150352 |  1550407      0 |      335 |     4422
1252.31/1252.68	c 1226s |      16 |  1454093 |   150552 |  1550407      0 |      335 |     4422
1254.51/1254.84	c 1228s |      16 |  1454349 |   150752 |  1550407      0 |      335 |     4422
1256.71/1257.09	c 1230s |      16 |  1454617 |   150952 |  1550407      0 |      335 |     4422
1259.01/1259.38	c 1232s |      16 |  1454862 |   151152 |  1550407      0 |      335 |     4422
1261.31/1261.68	c 1235s |      16 |  1455148 |   151352 |  1550407      0 |      335 |     4422
1263.41/1263.79	c 1237s |      16 |  1455414 |   151552 |  1550407      0 |      335 |     4422
1265.82/1266.13	c 1239s |      16 |  1455551 |   151652 |  1550407      0 |      335 |     4422
1268.31/1268.64	c 1242s |      16 |  1455776 |   151852 |  1550407      0 |      335 |     4422
1270.41/1270.73	c 1244s |      16 |  1456010 |   152052 |  1550407      0 |      335 |     4422
1272.52/1272.86	c 1246s |      16 |  1456246 |   152252 |  1550407      0 |      335 |     4422
1274.62/1274.94	c 1248s |      16 |  1456477 |   152452 |  1550407      0 |      335 |     4422
1277.21/1277.51	c 1251s |      16 |  1456709 |   152652 |  1550407      0 |      335 |     4422
1279.31/1279.66	c 1253s |      16 |  1456968 |   152852 |  1550407      0 |      335 |     4422
1281.41/1281.73	c 1255s |      16 |  1457181 |   153052 |  1550407      0 |      335 |     4422
1283.41/1283.75	c 1257s |      16 |  1457411 |   153252 |  1550407      0 |      335 |     4422
1286.30/1286.62	c 1260s |      16 |  1457756 |   153552 |  1550407      0 |      335 |     4422
1289.01/1289.37	c 1262s |      16 |  1458091 |   153852 |  1550407      0 |      335 |     4422
1291.90/1292.27	c 1265s |      16 |  1458459 |   154152 |  1550407      0 |      335 |     4422
1294.90/1295.28	c 1268s |      16 |  1458795 |   154452 |  1550407      0 |      335 |     4422
1297.60/1297.97	c 1271s |      16 |  1459153 |   154752 |  1550407      0 |      335 |     4422
1299.70/1300.04	c 1273s |      16 |  1459377 |   154952 |  1550407      0 |      335 |     4422
1301.90/1302.28	c 1275s |      16 |  1459627 |   155152 |  1550407      0 |      335 |     4422
1304.80/1305.16	c 1278s |      16 |  1459975 |   155452 |  1550407      0 |      335 |     4422
1307.71/1308.05	c 1281s |      16 |  1460318 |   155752 |  1550407      0 |      335 |     4422
1310.60/1310.99	c 1284s |      16 |  1460654 |   156052 |  1550407      0 |      335 |     4422
1312.80/1313.13	c 1286s |      16 |  1460881 |   156252 |  1550407      0 |      335 |     4422
1315.00/1315.30	c 1288s |      16 |  1461109 |   156452 |  1550407      0 |      335 |     4422
1317.90/1318.22	c 1291s |      16 |  1461339 |   156652 |  1550407      0 |      335 |     4422
1320.50/1320.84	c 1294s |      16 |  1461569 |   156852 |  1550407      0 |      335 |     4422
1323.10/1323.45	c 1296s |      16 |  1461795 |   157052 |  1550407      0 |      335 |     4422
1325.50/1325.85	c 1299s |      16 |  1462029 |   157252 |  1550407      0 |      335 |     4422
1328.40/1328.77	c 1302s |      16 |  1462382 |   157552 |  1550407      0 |      335 |     4422
1330.60/1330.94	c 1304s |      16 |  1462630 |   157752 |  1550407      0 |      335 |     4422
1333.10/1333.41	c 1306s |      16 |  1462862 |   157952 |  1550407      0 |      335 |     4422
1335.90/1336.21	c 1309s |      16 |  1463087 |   158152 |  1550407      0 |      335 |     4422
1339.39/1339.72	c 1313s |      16 |  1463368 |   158352 |  1550407      0 |      335 |     4422
1341.39/1341.76	c 1315s |      16 |  1463595 |   158552 |  1550407      0 |      335 |     4422
1343.79/1344.20	c 1317s |      16 |  1463937 |   158852 |  1550407      0 |      335 |     4422
1345.99/1346.35	c 1319s |      16 |  1464184 |   159052 |  1550407      0 |      335 |     4422
1348.09/1348.43	c 1321s |      16 |  1464398 |   159252 |  1550407      0 |      335 |     4422
1350.50/1350.85	c 1324s |      16 |  1464621 |   159452 |  1550407      0 |      335 |     4422
1352.70/1353.07	c 1326s |      16 |  1464826 |   159652 |  1550407      0 |      335 |     4422
1354.90/1355.26	c 1328s |      16 |  1465091 |   159852 |  1550407      0 |      335 |     4422
1357.20/1357.59	c 1331s |      16 |  1465353 |   160052 |  1550407      0 |      335 |     4422
1359.19/1359.60	c 1333s |      16 |  1465606 |   160252 |  1550407      0 |      335 |     4422
1361.29/1361.67	c 1335s |      16 |  1465835 |   160452 |  1550407      0 |      335 |     4422
1363.99/1364.33	c 1337s |      16 |  1466302 |   160752 |  1550407      0 |      335 |     4422
1366.19/1366.51	c 1340s |      16 |  1466591 |   160952 |  1550407      0 |      335 |     4422
1368.29/1368.61	c 1342s |      16 |  1466855 |   161152 |  1550407      0 |      335 |     4422
1370.49/1370.89	c 1344s |      16 |  1467086 |   161352 |  1550407      0 |      335 |     4422
1373.09/1373.47	c 1346s |      16 |  1467423 |   161652 |  1550407      0 |      335 |     4422
1375.98/1376.39	c 1349s |      16 |  1467770 |   161952 |  1550407      0 |      335 |     4422
1378.09/1378.47	c 1351s |      16 |  1468062 |   162152 |  1550407      0 |      335 |     4422
1380.29/1380.62	c 1354s |      16 |  1468335 |   162352 |  1550407      0 |      335 |     4422
1382.39/1382.77	c 1356s |      16 |  1468607 |   162552 |  1550407      0 |      335 |     4422
1384.48/1384.81	c 1358s |      16 |  1468848 |   162752 |  1550407      0 |      335 |     4422
1386.68/1387.00	c 1360s |      16 |  1469073 |   162952 |  1550407      0 |      335 |     4422
1388.99/1389.37	c 1362s |      16 |  1469316 |   163152 |  1550407      0 |      335 |     4422
1391.38/1391.72	c 1365s |      16 |  1469610 |   163352 |  1550407      0 |      335 |     4422
1393.49/1393.85	c 1367s |      16 |  1469866 |   163552 |  1550407      0 |      335 |     4422
1395.99/1396.36	c 1369s |      16 |  1470082 |   163752 |  1550407      0 |      335 |     4422
1398.69/1399.03	c 1372s |      16 |  1470320 |   163952 |  1550407      0 |      335 |     4422
1400.99/1401.37	c 1374s |      16 |  1470559 |   164152 |  1550407      0 |      335 |     4422
1404.39/1404.78	c 1378s |      16 |  1470779 |   164352 |  1550407      0 |      335 |     4422
1406.69/1407.03	c 1380s |      16 |  1471050 |   164552 |  1550407      0 |      335 |     4422
1409.08/1409.44	c 1382s |      16 |  1471277 |   164752 |  1550407      0 |      335 |     4422
1411.38/1411.72	c 1385s |      16 |  1471525 |   164952 |  1550407      0 |      335 |     4422
1413.78/1414.15	c 1387s |      16 |  1471747 |   165152 |  1550407      0 |      335 |     4422
1415.98/1416.39	c 1389s |      16 |  1471955 |   165352 |  1550407      0 |      335 |     4422
1418.28/1418.64	c 1392s |      16 |  1472177 |   165552 |  1550407      0 |      335 |     4422
1420.58/1420.94	c 1394s |      16 |  1472425 |   165752 |  1550407      0 |      335 |     4422
1422.78/1423.18	c 1396s |      16 |  1472646 |   165952 |  1550407      0 |      335 |     4422
1425.08/1425.47	c 1398s |      16 |  1472884 |   166152 |  1550407      0 |      335 |     4422
1427.18/1427.59	c 1401s |      16 |  1473166 |   166352 |  1550407      0 |      335 |     4422
1429.57/1429.90	c 1403s |      16 |  1473397 |   166552 |  1550407      0 |      335 |     4422
1431.98/1432.34	c 1405s |      16 |  1473622 |   166752 |  1550407      0 |      335 |     4422
1434.37/1434.70	c 1408s |      16 |  1473845 |   166952 |  1550407      0 |      335 |     4422
1436.57/1436.96	c 1410s |      16 |  1474064 |   167152 |  1550407      0 |      335 |     4422
1438.87/1439.23	c 1412s |      16 |  1474311 |   167352 |  1550407      0 |      335 |     4422
1441.27/1441.69	c 1415s |      16 |  1474527 |   167552 |  1550407      0 |      335 |     4422
1443.57/1443.93	c 1417s |      16 |  1474751 |   167752 |  1550407      0 |      335 |     4422
1445.67/1446.07	c 1419s |      16 |  1474997 |   167952 |  1550407      0 |      335 |     4422
1448.38/1448.72	c 1422s |      16 |  1475217 |   168152 |  1550407      0 |      335 |     4422
1450.47/1450.85	c 1424s |      16 |  1475448 |   168352 |  1550407      0 |      335 |     4422
1453.37/1453.72	c 1427s |      16 |  1475800 |   168652 |  1550407      0 |      335 |     4422
1456.37/1456.79	c 1430s |      16 |  1476134 |   168952 |  1550407      0 |      335 |     4422
1459.27/1459.66	c 1433s |      16 |  1476511 |   169252 |  1550407      0 |      335 |     4422
1461.47/1461.80	c 1435s |      16 |  1476728 |   169452 |  1550407      0 |      335 |     4422
1463.67/1464.02	c 1437s |      16 |  1476970 |   169652 |  1550407      0 |      335 |     4422
1465.98/1466.31	c 1439s |      16 |  1477074 |   169752 |  1550407      0 |      335 |     4422
1468.37/1468.79	c 1442s |      16 |  1477411 |   170052 |  1550407      0 |      335 |     4422
1470.47/1470.87	c 1444s |      16 |  1477695 |   170252 |  1550407      0 |      335 |     4422
1473.37/1473.72	c 1447s |      16 |  1478020 |   170552 |  1550407      0 |      335 |     4422
1475.97/1476.31	c 1449s |      16 |  1478380 |   170852 |  1550407      0 |      335 |     4422
1478.07/1478.47	c 1451s |      16 |  1478585 |   171052 |  1550407      0 |      335 |     4422
1480.17/1480.57	c 1454s |      16 |  1478825 |   171252 |  1550407      0 |      335 |     4422
1482.57/1482.95	c 1456s |      16 |  1479052 |   171452 |  1550407      0 |      335 |     4422
1484.67/1485.06	c 1458s |      16 |  1479268 |   171652 |  1550407      0 |      335 |     4422
1487.36/1487.77	c 1461s |      16 |  1479629 |   171952 |  1550407      0 |      335 |     4422
1489.66/1490.06	c 1463s |      16 |  1479886 |   172152 |  1550407      0 |      335 |     4422
1491.96/1492.37	c 1465s |      16 |  1480144 |   172352 |  1550407      0 |      335 |     4422
1494.26/1494.69	c 1468s |      16 |  1480417 |   172552 |  1550407      0 |      335 |     4422
1496.87/1497.24	c 1470s |      16 |  1480689 |   172752 |  1550407      0 |      335 |     4422
1498.97/1499.35	c 1472s |      16 |  1480941 |   172952 |  1550407      0 |      335 |     4422
1501.66/1502.05	c 1475s |      16 |  1481206 |   173152 |  1550407      0 |      335 |     4422
1504.36/1504.73	c 1478s |      16 |  1481418 |   173352 |  1550407      0 |      335 |     4422
1507.46/1507.86	c 1481s |      16 |  1481648 |   173552 |  1550407      0 |      335 |     4422
1510.46/1510.83	c 1484s |      16 |  1481884 |   173752 |  1550407      0 |      335 |     4422
1513.47/1513.87	c 1487s |      16 |  1482145 |   173952 |  1550407      0 |      335 |     4422
1516.56/1516.98	c 1490s |      16 |  1482367 |   174152 |  1550407      0 |      335 |     4422
1519.36/1519.79	c 1493s |      16 |  1482590 |   174352 |  1550407      0 |      335 |     4422
1521.76/1522.15	c 1495s |      16 |  1482713 |   174452 |  1550407      0 |      335 |     4422
1524.06/1524.41	c 1497s |      16 |  1482988 |   174652 |  1550407      0 |      335 |     4422
1526.46/1526.82	c 1500s |      16 |  1483238 |   174852 |  1550407      0 |      335 |     4422
1528.76/1529.13	c 1502s |      16 |  1483473 |   175052 |  1550407      0 |      335 |     4422
1531.05/1531.48	c 1505s |      16 |  1483693 |   175252 |  1550407      0 |      335 |     4422
1533.65/1534.05	c 1507s |      16 |  1483943 |   175452 |  1550407      0 |      335 |     4422
1536.25/1536.61	c 1510s |      16 |  1484178 |   175652 |  1550407      0 |      335 |     4422
1538.45/1538.85	c 1512s |      16 |  1484409 |   175852 |  1550407      0 |      335 |     4422
1540.76/1541.11	c 1514s |      16 |  1484652 |   176052 |  1550407      0 |      335 |     4422
1543.15/1543.53	c 1517s |      16 |  1484899 |   176252 |  1550407      0 |      335 |     4422
1545.65/1546.01	c 1519s |      16 |  1485127 |   176452 |  1550407      0 |      335 |     4422
1547.86/1548.26	c 1521s |      16 |  1485354 |   176652 |  1550407      0 |      335 |     4422
1550.36/1550.73	c 1524s |      16 |  1485571 |   176852 |  1550407      0 |      335 |     4422
1553.06/1553.40	c 1526s |      16 |  1485796 |   177052 |  1550407      0 |      335 |     4422
1555.65/1556.08	c 1529s |      16 |  1486020 |   177252 |  1550407      0 |      335 |     4422
1558.15/1558.57	c 1532s |      16 |  1486248 |   177452 |  1550407      0 |      335 |     4422
1560.75/1561.15	c 1534s |      16 |  1486508 |   177652 |  1550407      0 |      335 |     4422
1563.65/1564.07	c 1537s |      16 |  1486736 |   177852 |  1550407      0 |      335 |     4422
1566.54/1566.96	c 1540s |      16 |  1486955 |   178052 |  1550407      0 |      335 |     4422
1569.25/1569.64	c 1543s |      16 |  1487180 |   178252 |  1550407      0 |      335 |     4422
1571.95/1572.31	c 1545s |      16 |  1487405 |   178452 |  1550407      0 |      335 |     4422
1575.04/1575.42	c 1548s |      16 |  1487646 |   178652 |  1550407      0 |      335 |     4422
1577.45/1577.80	c 1551s |      16 |  1487758 |   178752 |  1550407      0 |      335 |     4422
1579.55/1579.92	c 1553s |      16 |  1488031 |   178952 |  1550407      0 |      335 |     4422
1581.85/1582.24	c 1555s |      16 |  1488263 |   179152 |  1550407      0 |      335 |     4422
1584.05/1584.48	c 1558s |      16 |  1488521 |   179352 |  1550407      0 |      335 |     4422
1586.45/1586.85	c 1560s |      16 |  1488750 |   179552 |  1550407      0 |      335 |     4422
1588.85/1589.24	c 1562s |      16 |  1488956 |   179752 |  1550407      0 |      335 |     4422
1591.15/1591.55	c 1565s |      16 |  1489178 |   179952 |  1550407      0 |      335 |     4422
1593.45/1593.84	c 1567s |      16 |  1489425 |   180152 |  1550407      0 |      335 |     4422
1595.65/1596.09	c 1569s |      16 |  1489641 |   180352 |  1550407      0 |      335 |     4422
1597.85/1598.29	c 1571s |      16 |  1489877 |   180552 |  1550407      0 |      335 |     4422
1600.65/1601.04	c 1574s |      16 |  1490170 |   180752 |  1550407      0 |      335 |     4422
1603.05/1603.42	c 1576s |      16 |  1490376 |   180952 |  1550407      0 |      335 |     4422
1605.65/1606.07	c 1579s |      16 |  1490595 |   181152 |  1550407      0 |      335 |     4422
1608.64/1609.04	c 1582s |      16 |  1490816 |   181352 |  1550407      0 |      335 |     4422
1611.44/1611.82	c 1585s |      16 |  1491028 |   181552 |  1550407      0 |      335 |     4422
1614.14/1614.58	c 1588s |      16 |  1491264 |   181752 |  1550407      0 |      335 |     4422
1616.84/1617.24	c 1590s |      16 |  1491485 |   181952 |  1550407      0 |      335 |     4422
1619.04/1619.47	c 1592s |      16 |  1491728 |   182152 |  1550407      0 |      335 |     4422
1621.83/1622.28	c 1595s |      16 |  1491968 |   182352 |  1550407      0 |      335 |     4422
1624.84/1625.25	c 1598s |      16 |  1492221 |   182552 |  1550407      0 |      335 |     4422
1627.74/1628.15	c 1601s |      16 |  1492335 |   182652 |  1550407      0 |      335 |     4422
1629.94/1630.36	c 1603s |      16 |  1492597 |   182852 |  1550407      0 |      335 |     4422
1632.14/1632.52	c 1606s |      16 |  1492840 |   183052 |  1550407      0 |      335 |     4422
1634.34/1634.76	c 1608s |      16 |  1493074 |   183252 |  1550407      0 |      335 |     4422
1636.54/1636.91	c 1610s |      16 |  1493316 |   183452 |  1550407      0 |      335 |     4422
1638.53/1638.91	c 1612s |      16 |  1493521 |   183652 |  1550407      0 |      335 |     4422
1640.73/1641.14	c 1614s |      16 |  1493787 |   183852 |  1550407      0 |      335 |     4422
1642.93/1643.39	c 1616s |      16 |  1494003 |   184052 |  1550407      0 |      335 |     4422
1645.23/1645.68	c 1619s |      16 |  1494236 |   184252 |  1550407      0 |      335 |     4422
1647.33/1647.75	c 1621s |      16 |  1494463 |   184452 |  1550407      0 |      335 |     4422
1649.63/1650.00	c 1623s |      16 |  1494679 |   184652 |  1550407      0 |      335 |     4422
1652.13/1652.51	c 1626s |      16 |  1494917 |   184852 |  1550407      0 |      335 |     4422
1654.83/1655.20	c 1628s |      16 |  1495157 |   185052 |  1550407      0 |      335 |     4422
1657.72/1658.16	c 1631s |      16 |  1495374 |   185252 |  1550407      0 |      335 |     4422
1660.33/1660.79	c 1634s |      16 |  1495610 |   185452 |  1550407      0 |      335 |     4422
1662.93/1663.32	c 1636s |      16 |  1495824 |   185652 |  1550407      0 |      335 |     4422
1665.13/1665.58	c 1639s |      16 |  1496049 |   185852 |  1550407      0 |      335 |     4422
1667.63/1668.01	c 1641s |      16 |  1496266 |   186052 |  1550407      0 |      335 |     4422
1671.93/1672.30	c 1645s |      16 |  1496526 |   186252 |  1550407      0 |      335 |     4422
1674.73/1675.10	c 1648s |      16 |  1496754 |   186452 |  1550407      0 |      335 |     4422
1677.13/1677.57	c 1651s |      16 |  1496978 |   186652 |  1550407      0 |      335 |     4422
1680.03/1680.43	c 1653s |      16 |  1497197 |   186852 |  1550407      0 |      335 |     4422
1682.83/1683.24	c 1656s |      16 |  1497411 |   187052 |  1550407      0 |      335 |     4422
1685.62/1686.05	c 1659s |      16 |  1497629 |   187252 |  1550407      0 |      335 |     4422
1688.02/1688.42	c 1661s |      16 |  1497890 |   187452 |  1550407      0 |      335 |     4422
1690.72/1691.12	c 1664s |      16 |  1498146 |   187652 |  1550407      0 |      335 |     4422
1693.52/1693.93	c 1667s |      16 |  1498381 |   187852 |  1550407      0 |      335 |     4422
1696.72/1697.17	c 1670s |      16 |  1498596 |   188052 |  1550407      0 |      335 |     4422
1700.23/1700.62	c 1674s |      16 |  1498866 |   188252 |  1550407      0 |      335 |     4422
1702.22/1702.64	c 1676s |      16 |  1498969 |   188352 |  1550407      0 |      335 |     4422
1705.41/1705.88	c 1679s |      16 |  1499258 |   188552 |  1550407      0 |      335 |     4422
1708.82/1709.24	c 1682s |      16 |  1499539 |   188752 |  1550407      0 |      335 |     4422
1712.42/1712.86	c 1686s |      16 |  1499753 |   188952 |  1550407      0 |      335 |     4422
1715.41/1715.80	c 1689s |      16 |  1499879 |   189052 |  1550407      0 |      335 |     4422
1718.01/1718.41	c 1691s |      16 |  1500163 |   189252 |  1550407      0 |      335 |     4422
1720.91/1721.36	c 1694s |      16 |  1500415 |   189452 |  1550407      0 |      335 |     4422
1724.22/1724.62	c 1698s |      16 |  1500647 |   189652 |  1550407      0 |      335 |     4422
1727.42/1727.89	c 1701s |      16 |  1500933 |   189852 |  1550407      0 |      335 |     4422
1730.32/1730.79	c 1704s |      16 |  1501156 |   190052 |  1550407      0 |      335 |     4422
1733.42/1733.83	c 1707s |      16 |  1501375 |   190252 |  1550407      0 |      335 |     4422
1736.41/1736.88	c 1710s |      16 |  1501596 |   190452 |  1550407      0 |      335 |     4422
1739.41/1739.82	c 1713s |      16 |  1501839 |   190652 |  1550407      0 |      335 |     4422
1742.81/1743.26	c 1716s |      16 |  1502111 |   190852 |  1550407      0 |      335 |     4422
1745.71/1746.18	c 1719s |      16 |  1502351 |   191052 |  1550407      0 |      335 |     4422
1748.51/1748.96	c 1722s |      16 |  1502587 |   191252 |  1550407      0 |      335 |     4422
1751.41/1751.83	c 1725s |      16 |  1502800 |   191452 |  1550407      0 |      335 |     4422
1754.12/1754.51	c 1728s |      16 |  1502918 |   191552 |  1550407      0 |      335 |     4422
1756.51/1756.98	c 1730s |      16 |  1503160 |   191752 |  1550407      0 |      335 |     4422
1759.21/1759.60	c 1733s |      16 |  1503414 |   191952 |  1550407      0 |      335 |     4422
1761.81/1762.25	c 1735s |      16 |  1503666 |   192152 |  1550407      0 |      335 |     4422
1764.40/1764.84	c 1738s |      16 |  1503918 |   192352 |  1550407      0 |      335 |     4422
1766.90/1767.39	c 1740s |      16 |  1504141 |   192552 |  1550407      0 |      335 |     4422
1769.30/1769.75	c 1743s |      16 |  1504371 |   192752 |  1550407      0 |      335 |     4422
1771.60/1772.00	c 1745s |      16 |  1504602 |   192952 |  1550407      0 |      335 |     4422
1774.50/1774.98	c 1748s |      16 |  1504860 |   193152 |  1550407      0 |      335 |     4422
1777.30/1777.73	c 1751s |      16 |  1505135 |   193352 |  1550407      0 |      335 |     4422
1779.79/1780.21	c 1753s |      16 |  1505403 |   193552 |  1550407      0 |      335 |     4422
1782.50/1782.93	c 1756s |      16 |  1505615 |   193752 |  1550407      0 |      335 |     4422
1785.39/1785.82	c 1759s |      16 |  1505851 |   193952 |  1550407      0 |      335 |     4422
1788.30/1788.77	c 1762s |      16 |  1506076 |   194152 |  1550407      0 |      335 |     4422
1792.30/1792.79	c 1766s |      16 |  1506312 |   194352 |  1550407      0 |      335 |     4422
1794.50/1794.94	c 1768s |      16 |  1506565 |   194552 |  1550407      0 |      335 |     4422
1796.60/1797.02	c 1770s |      16 |  1506813 |   194752 |  1550407      0 |      335 |     4422
1798.79/1799.20	c 1772s |      16 |  1507033 |   194952 |  1550407      0 |      335 |     4422

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

pid=17354
running on 4 cores: 0,2,4,6

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.18 2.11 3/179 17357
/proc/meminfo: memFree=29960264/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 2718 0 0 0 0 0 0 0 20 0 4 0 31317251 745992192 3078 33554432000 4194304 16246674 140733983931856 140733983931280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 182639 3088 441 2943 0 179533 0
[pid=17357/tid=17358] ppid=17354 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 763817984 3148 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 769060864 3165 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31317252 773255168 3183 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.23 2.18 2.11 3/179 17357
/proc/meminfo: memFree=29960264/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 26888 0 0 0 6 3 0 0 20 0 4 0 31317251 1250496512 27186 33554432000 4194304 16246674 140733983931856 140733983931168 4223718 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 305297 27191 801 2943 0 302191 0
[pid=17357/tid=17358] ppid=17354 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1250496512 27196 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1250496512 27199 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1250496512 27204 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200511 s]
/proc/loadavg: 2.23 2.18 2.11 3/179 17357
/proc/meminfo: memFree=29960264/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 51151 0 0 0 12 7 0 0 20 0 4 0 31317251 1339625472 51960 33554432000 4194304 16246674 140733983931856 140733983914848 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 327057 51963 801 2943 0 323951 0
[pid=17357/tid=17358] ppid=17354 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1339625472 51965 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1339625472 51968 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1339625472 51970 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300501 s]
/proc/loadavg: 2.23 2.18 2.11 3/179 17357
/proc/meminfo: memFree=29960264/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 61252 0 0 0 21 8 0 0 20 0 4 0 31317251 1345916928 62061 33554432000 4194304 16246674 140733983931856 140733983914848 4221129 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 328593 62061 801 2943 0 325487 0
[pid=17357/tid=17358] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1345916928 62061 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1345916928 62061 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1345916928 62061 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700431 s]
/proc/loadavg: 2.23 2.18 2.11 3/179 17357
/proc/meminfo: memFree=29960264/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 69845 0 0 0 59 9 0 0 20 0 4 0 31317251 1345916928 70654 33554432000 4194304 16246674 140733983931856 140733983914848 7440424 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 328593 70654 801 2943 0 325487 0
[pid=17357/tid=17358] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1345916928 70654 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1345916928 70654 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1345916928 70654 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50045 s]
/proc/loadavg: 2.37 2.21 2.12 4/183 17361
/proc/meminfo: memFree=29641548/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 83590 0 0 0 137 11 0 0 20 0 4 0 31317251 1345916928 84399 33554432000 4194304 16246674 140733983931856 140733983929664 7392894 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 328593 84399 802 2943 0 325487 0
[pid=17357/tid=17358] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1345916928 84399 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1345916928 84399 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1345916928 84399 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 2.37 2.21 2.12 3/183 17361
/proc/meminfo: memFree=29559568/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1338948 CPUtime=3.09 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 136744 0 0 0 289 20 0 0 20 0 4 0 31317251 1371082752 141641 33554432000 4194304 16246674 140733983931856 140733983914848 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 334737 141641 802 2943 0 331631 0
[pid=17357/tid=17358] ppid=17354 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1371082752 141641 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1371082752 141641 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1371082752 141641 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1338948

[startup+6.30044 s]
/proc/loadavg: 2.34 2.20 2.12 3/183 17361
/proc/meminfo: memFree=29050672/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1388100 CPUtime=6.29 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 214431 0 0 0 596 33 0 0 20 0 4 0 31317251 1421414400 230059 33554432000 4194304 16246674 140733983931856 140733983929664 7375629 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 347025 230059 802 2943 0 343919 0
[pid=17357/tid=17358] ppid=17354 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1421414400 230059 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1421414400 230059 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1421414400 230059 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1388100

[startup+12.7004 s]
/proc/loadavg: 2.39 2.22 2.12 3/183 17361
/proc/meminfo: memFree=28720480/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=1478212 CPUtime=12.69 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 291788 0 0 0 1225 44 0 0 20 0 4 0 31317251 1513689088 310993 33554432000 4194304 16246674 140733983931856 140733983913728 7204031 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 369553 310993 847 2943 0 366447 0
[pid=17357/tid=17358] ppid=17354 vsize=1478212 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 1513689088 310993 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=1478212 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 1513689088 310993 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=1478212 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 1513689088 310993 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1478212

[startup+25.5004 s]
/proc/loadavg: 2.31 2.20 2.12 3/183 17361
/proc/meminfo: memFree=27917384/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2281028 CPUtime=25.48 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 492497 0 0 0 2478 70 0 0 20 0 4 0 31317251 2335772672 511702 33554432000 4194304 16246674 140733983931856 140733983930952 13930627 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 570257 511702 848 2943 0 567151 0
[pid=17357/tid=17358] ppid=17354 vsize=2281028 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 2335772672 511702 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2281028 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 2335772672 511702 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2281028 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2335772672 511702 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2281028

[startup+51.1005 s]
/proc/loadavg: 2.28 2.20 2.12 3/183 17362
/proc/meminfo: memFree=27464940/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2732612 CPUtime=51.08 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 605438 0 0 0 5022 86 0 0 20 0 4 0 31317251 2798194688 624643 33554432000 4194304 16246674 140733983931856 140733983913728 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 683153 624643 893 2943 0 680047 0
[pid=17357/tid=17358] ppid=17354 vsize=2732612 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 2798194688 624643 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2732612 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 2798194688 624643 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2732612 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2798194688 624643 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2732612

[startup+102.3 s]
/proc/loadavg: 2.31 2.22 2.13 3/183 17363
/proc/meminfo: memFree=27464692/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2732612 CPUtime=102.28 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 605438 0 0 0 10142 86 0 0 20 0 4 0 31317251 2798194688 624643 33554432000 4194304 16246674 140733983931856 140733983913728 5600804 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17357/statm: 683153 624643 893 2943 0 680047 0
[pid=17357/tid=17358] ppid=17354 vsize=2732612 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 2798194688 624643 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2732612 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 2798194688 624643 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2732612 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2798194688 624643 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2732612


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

/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2864254976 641029 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 2797124

[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/183 17443
/proc/meminfo: memFree=27387588/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2833988 CPUtime=1361.99 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 630900 0 0 0 136084 115 0 0 20 0 4 0 31317251 2902003712 650245 33554432000 4194304 16246674 140733983931856 140733983913728 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 708497 650245 895 2943 0 705391 0
[pid=17357/tid=17358] ppid=17354 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 2902003712 650245 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 2902003712 650245 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2902003712 650245 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 2833988

[startup+1422.3 s]
/proc/loadavg: 2.11 2.08 2.09 3/183 17444
/proc/meminfo: memFree=27355752/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2865732 CPUtime=1421.98 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 638844 0 0 0 142079 119 0 0 20 0 4 0 31317251 2934509568 658181 33554432000 4194304 16246674 140733983931856 140733983913728 5677492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 716433 658181 895 2943 0 713327 0
[pid=17357/tid=17358] ppid=17354 vsize=2865732 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 2934509568 658181 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2865732 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 2934509568 658181 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2865732 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2934509568 658181 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 2865732

[startup+1482.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/183 17445
/proc/meminfo: memFree=27326764/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2894404 CPUtime=1481.96 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 646027 0 0 0 148073 123 0 0 20 0 4 0 31317251 2963869696 665349 33554432000 4194304 16246674 140733983931856 140733983913728 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 723601 665349 895 2943 0 720495 0
[pid=17357/tid=17358] ppid=17354 vsize=2894404 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 2963869696 665349 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2894404 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 2963869696 665349 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2894404 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2963869696 665349 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 2894404

[startup+1542.31 s]
/proc/loadavg: 2.14 2.10 2.09 3/183 17446
/proc/meminfo: memFree=27299140/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2922052 CPUtime=1541.96 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 652942 0 0 0 154070 126 0 0 20 0 4 0 31317251 2992181248 672261 33554432000 4194304 16246674 140733983931856 140733983913728 5823961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 730513 672261 895 2943 0 727407 0
[pid=17357/tid=17358] ppid=17354 vsize=2922052 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 2992181248 672261 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2922052 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 2992181248 672261 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2922052 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 2992181248 672261 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 2922052

[startup+1602.3 s]
/proc/loadavg: 2.19 2.12 2.10 3/183 17448
/proc/meminfo: memFree=27276224/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2944580 CPUtime=1601.95 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 658585 0 0 0 160063 132 0 0 20 0 4 0 31317251 3015249920 677893 33554432000 4194304 16246674 140733983931856 140733983913728 5672060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 736145 677893 895 2943 0 733039 0
[pid=17357/tid=17358] ppid=17354 vsize=2944580 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 3015249920 677893 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2944580 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 3015249920 677893 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2944580 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 3015249920 677893 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 2944580

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 17449
/proc/meminfo: memFree=27254928/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=2966084 CPUtime=1661.93 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 663971 0 0 0 166055 138 0 0 20 0 4 0 31317251 3037270016 683269 33554432000 4194304 16246674 140733983931856 140733983931032 5673980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 741521 683269 895 2943 0 738415 0
[pid=17357/tid=17358] ppid=17354 vsize=2966084 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 3037270016 683269 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=2966084 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 3037270016 683269 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=2966084 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 3037270016 683269 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 2966084

[startup+1722.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/184 17453
/proc/meminfo: memFree=27218208/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=3002948 CPUtime=1721.92 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 673039 0 0 0 172049 143 0 0 20 0 4 0 31317251 3075018752 692336 33554432000 4194304 16246674 140733983931856 140733983913728 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 750737 692336 895 2943 0 747631 0
[pid=17357/tid=17358] ppid=17354 vsize=3002948 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 3075018752 692336 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=3002948 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 3075018752 692336 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=3002948 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 3075018752 692336 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 3002948

[startup+1782.3 s]
/proc/loadavg: 2.20 2.13 2.10 3/184 17477
/proc/meminfo: memFree=27201996/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=3017284 CPUtime=1781.89 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 676791 0 0 0 178042 147 0 0 20 0 4 0 31317251 3089698816 696069 33554432000 4194304 16246674 140733983931856 140733983931032 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 754321 696069 895 2943 0 751215 0
[pid=17357/tid=17358] ppid=17354 vsize=3017284 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 3089698816 696069 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=3017284 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 3089698816 696069 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=3017284 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 3089698816 696069 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 3017284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.16 2.12 2.09 3/184 17477
/proc/meminfo: memFree=27191084/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=3030596 CPUtime=1800.09 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 679939 0 0 0 179859 150 0 0 20 0 4 0 31317251 3103330304 699217 33554432000 4194304 16246674 140733983931856 140733983913728 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 757649 699217 895 2943 0 754543 0
[pid=17357/tid=17358] ppid=17354 vsize=3030596 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 3103330304 699217 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=3030596 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 3103330304 699217 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=3030596 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 3103330304 699217 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3030596

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.12 2.09 3/184 17477
/proc/meminfo: memFree=27191084/32872528 swapFree=681964/737152
[pid=17357] ppid=17354 vsize=3030596 CPUtime=1800.09 cores=0,2,4,6
/proc/17357/stat : 17357 (toysat) R 17354 17357 13233 0 -1 4202496 679939 0 0 0 179859 150 0 0 20 0 4 0 31317251 3103330304 699217 33554432000 4194304 16246674 140733983931856 140733983913728 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17357/statm: 757649 699217 895 2943 0 754543 0
[pid=17357/tid=17358] ppid=17354 vsize=3030596 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17358/stat : 17358 (toysat) S 17354 17357 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31317251 3103330304 699217 33554432000 4194304 16246674 140733983931856 140428937506032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17357/tid=17359] ppid=17354 vsize=3030596 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17359/stat : 17359 (toysat) S 17354 17357 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31317252 3103330304 699217 33554432000 4194304 16246674 140733983931856 140428854668528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17357/tid=17360] ppid=17354 vsize=3030596 CPUtime=0 cores=0,2,4,6
/proc/17357/task/17360/stat : 17360 (toysat) S 17354 17357 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31317252 3103330304 699217 33554432000 4194304 16246674 140733983931856 140428844194992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 3030596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.16
CPU user time (s): 1798.6
CPU system time (s): 1.55276
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 3030596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.55276
maximum resident set size= 2796868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679939
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= 286
involuntary context switches= 2411

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67083 second user time and 8.26774 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-19 01:31:20
IDJOB=4108925
IDBENCH=89723
IDSOLVER=2542
FILE ID=node112/4108925-1466292679
RUNJOBID= node112-1466264161-13249
PBS_JOBID= 19918218
Free space on /tmp= 71648 MiB

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

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

MD5SUM BENCH= 58f5e00db07ecbae89c8567e683a0741
RANDOM SEED=1211396141

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29963620 kB
Buffers:           92816 kB
Cached:           238104 kB
SwapCached:         2028 kB
Active:          1254096 kB
Inactive:         178448 kB
Active(anon):    1101816 kB
Inactive(anon):     2096 kB
Active(file):     152280 kB
Inactive(file):   176352 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             59368 kB
Writeback:             0 kB
AnonPages:       1839788 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             605908 kB
SReclaimable:      49436 kB
SUnreclaim:       556472 kB
KernelStack:        1504 kB
PageTables:         7796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1980836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1150976 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= 71640 MiB
End job on node112 at 2016-06-19 02:01:21