Trace number 4079474

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.27 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM1ef5c8e94b66b7ed63dffc6923ecd901
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3
Optimality of the best value was proved NO
Number of variables1041679
Total number of constraints127860
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints127780
Minimum length of a constraint2
Maximum length of a constraint275
Number of terms in the objective function 1611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1611
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24576
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 98256
Number of bits of the biggest sum of numbers17
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-06T16:23:41+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079474-1465223019.opb"]
0.00/0.01	c use --random-gen="3018939221 3952262882 553660230 1917376212 3854685216 2873889946 1348108388 1067090928 3552842703 4232660971 388524699 1968501342 3849782578 985194463 3724978554 2623916045 476950953 664061901 1664609267 13773868 2131850310 342903114 194451907 702790139 733148557 231022024 3751854501 3846129563 2690237547 3075141568 1045297273 2360526423 1010745111 1579307454 955571877 1281546223 3938153352 2749257901 1342775328 452382100 551777747 2249203902 1585239779 1113116280 1649434362 3778803026 1469873765 4180269608 207393698 3361031104 524408924 2370453367 3569273926 3982783440 2113179129 2291423765 1681432041 2066982190 655556456 2781087470 2585182593 1213451876 2920521718 1871556240 4264332218 4232111276 1591780782 4017451025 3274811217 2873612501 1110233371 2562840430 3756220591 4255929851 2290528972 3758543952 1440565972 1627585787 2066749213 2681918629 727544949 1584174091 3222169884 3082973073 2830563706 249534691 312914499 3044726292 2675261459 1444470293 1853530183 847480305 2583300094 1306075814 622970337 2941230197 1390996190 710489574 2679904340 1141026052 3399733844 611557651 962225021 2980105509 1975679403 2287092505 3520521866 561914984 414871128 4215399774 259611284 1535479483 786802210 2819328864 3994357541 2260256439 3989018710 2812040250 239442101 35880347 1521787270 2390221443 1330846973 3815365484 3195525497 3775372008 3331805936 4127079641 794333916 2810871284 765758343 4234963123 2776670175 1489530659 595856895 2457575912 4070020033 1308234278 767270668 3497563528 3984951109 1618364188 4106414926 906921085 4036668932 2971873445 4083145790 4191143219 1155689073 935808415 1016968279 2966417124 665728039 3363209396 2840442826 1150765094 99262171 175510139 55297270 3642204243 881524258 2601553667 635453536 1894370427 4245395406 3657606817 2230424830 268815000 2271094048 2971667095 2631392705 250421729 2500809554 3037757821 928483988 2512959958 4282574010 3774533830 939584851 3091860854 131825836 3492020183 1623664041 1739524893 1866403245 2922930724 607737082 3612717770 1888627817 1382914993 866203013 2511147603 262946220 2011583047 4100196350 573197117 2813783726 1000669113 1941065568 2090619486 744098327 1905878804 2602803375 66641631 1629005808 2215986147 3900236428 3422997711 1851061126 499203818 3015107395 3283046640 2231800867 2159159937 897317941 3963532293 2995247557 2783989261 4127041061 1705108060 2155844362 3599483952 3672001505 3887303360 3008346132 130044082 160116456 3875932787 3703696588 108718972 142410974 4196906846 521184714 1675975544 3584258868 22841004 3536720327 4285978808 693729076 3685276926 2261178160 1044238500 1995283514 358356409 1934062746 136263249 2804385312 5359167 1817963348 3063737627 2274218697 3096068478 374846291 386007660 1230546152 3986321161 255 362436" option to reproduce the execution
5.19/5.28	c #vars 1041679
5.19/5.28	c #constraints 127860
24.09/24.20	c BCD2: Hardening is enabled.
24.09/24.20	c BCD2: BiasedSearch is enabled.
24.09/24.20	c Solving starts ...
24.09/24.20	c ============================[ Search Statistics ]============================
24.09/24.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.09/24.20	c       |         |          |          |    Limit     GC | Var      | Constra 
24.09/24.20	c =============================================================================
24.09/24.20	c  0.0s |       0 |        0 |        0 |   400625      0 |    18205 |        0
101.77/101.81	c 77.6s |       0 |   264716 |      100 |   400625      0 |    18301 |     3310
101.87/101.92	c 77.7s |       1 |   264716 |      100 |   400625      0 |    18301 |     3310
151.96/152.04	c  127s |       1 |   424333 |      200 |   440688      0 |    18354 |     3310
152.06/152.12	c  127s |       2 |   424387 |      250 |   440688      0 |    18354 |     3310
174.06/174.16	c  149s |       2 |   488294 |      350 |   484757      0 |    18376 |     3310
174.06/174.19	c  149s |       3 |   488409 |      475 |   484757      0 |    18376 |     3310
224.66/224.78	c  200s |       3 |   605439 |      775 |   533233      0 |    18423 |     3310
234.36/234.42	c  210s |       4 |   626739 |      813 |   533233      0 |    18432 |     3310
238.55/238.64	c  214s |       4 |   629148 |      913 |   586557      0 |    18435 |     3310
239.45/239.52	c  215s |       5 |   629723 |     1320 |   586557      0 |    18436 |     3310
240.96/241.09	c  216s |       6 |   630664 |     2081 |   709735      0 |    18437 |     3310
242.65/242.75	c  218s |       7 |   632015 |     3223 |   780709      0 |    18438 |     3310
243.85/243.98	c  219s |       8 |   634014 |     4936 |   858780      0 |    18438 |     3310
245.65/245.71	c  221s |       9 |   636884 |     7506 |   944659      0 |    18438 |     3310
247.65/247.73	c  223s |       9 |   638645 |     9006 |   944659      0 |    18439 |     3310
248.75/248.80	c  224s |      10 |   641218 |    11361 |  1039125      0 |    18439 |     3310
251.26/251.30	c  227s |      10 |   643687 |    13561 |  1039125      0 |    18440 |     3310
253.75/253.86	c  229s |      10 |   646694 |    16061 |  1039125      0 |    18442 |     3310
254.35/254.46	c  230s |      11 |   647968 |    17144 |  1143038      0 |    18442 |     3310
256.36/256.48	c  232s |      11 |   649572 |    18444 |  1143038      0 |    18443 |     3310
259.05/259.15	c  234s |      11 |   652337 |    21044 |  1143038      0 |    18445 |     3310
261.05/261.18	c  236s |      11 |   656310 |    24844 |  1143038      0 |    18445 |     3310
261.65/261.74	c  237s |      12 |   657321 |    25819 |  1257342      0 |    18445 |     3310
263.75/263.81	c  239s |      12 |   659524 |    27819 |  1257342      0 |    18445 |     3310
265.74/265.84	c  241s |      12 |   662385 |    30519 |  1257342      0 |    18445 |     3310
267.75/267.85	c  243s |      12 |   665159 |    33119 |  1257342      0 |    18445 |     3310
269.74/269.89	c  245s |      12 |   668064 |    35619 |  1257342      0 |    18445 |     3310
271.75/271.89	c  247s |      12 |   671270 |    38219 |  1257342      0 |    18445 |     3310
272.25/272.30	c  248s |      13 |   671919 |    38832 |  1383077      0 |    18445 |     3310
274.24/274.35	c  250s |      13 |   673927 |    40432 |  1383077      0 |    18445 |     3310
276.94/277.00	c  252s |      13 |   676464 |    42432 |  1383077      0 |    18446 |     3310
278.94/279.03	c  254s |      13 |   678058 |    43732 |  1383077      0 |    18447 |     3310
280.95/281.06	c  256s |      13 |   680481 |    45732 |  1383077      0 |    18447 |     3310
283.15/283.20	c  259s |      13 |   682666 |    47732 |  1383077      0 |    18447 |     3310
285.15/285.22	c  261s |      13 |   684148 |    49132 |  1383077      0 |    18447 |     3310
287.24/287.34	c  263s |      13 |   686170 |    50932 |  1383077      0 |    18447 |     3310
290.15/290.21	c  266s |      13 |   688083 |    52632 |  1383077      0 |    18448 |     3310
292.14/292.21	c  268s |      13 |   690085 |    54432 |  1383077      0 |    18448 |     3310
294.25/294.37	c  270s |      13 |   692068 |    56232 |  1383077      0 |    18448 |     3310
296.85/296.93	c  272s |      13 |   693137 |    57232 |  1383077      0 |    18449 |     3310
300.05/300.12	c  275s |      13 |   693986 |    58032 |  1521385      0 |    18449 |     3310
300.36/300.48	c  276s |      14 |   694337 |    58352 |  1521385      0 |    18449 |     3310
302.45/302.54	c  278s |      14 |   695889 |    59652 |  1521385      0 |    18449 |     3310
304.44/304.55	c  280s |      14 |   697562 |    61152 |  1521385      0 |    18450 |     3310
306.85/306.97	c  282s |      14 |   698673 |    62152 |  1521385      0 |    18452 |     3310
308.94/309.09	c  284s |      14 |   700772 |    64152 |  1521385      0 |    18452 |     3310
311.04/311.15	c  286s |      14 |   702069 |    65352 |  1521385      0 |    18453 |     3310
313.14/313.20	c  288s |      14 |   703880 |    66952 |  1521385      0 |    18453 |     3310
315.24/315.32	c  291s |      14 |   704989 |    67952 |  1521385      0 |    18454 |     3310
317.34/317.44	c  293s |      14 |   706489 |    69052 |  1521385      0 |    18454 |     3310
319.34/319.48	c  295s |      14 |   707891 |    70152 |  1521385      0 |    18454 |     3310
321.44/321.59	c  297s |      14 |   708903 |    70952 |  1521385      0 |    18455 |     3310
323.64/323.70	c  299s |      14 |   709431 |    71352 |  1521385      0 |    18457 |     3310
325.65/325.76	c  301s |      14 |   710917 |    72652 |  1521385      0 |    18457 |     3310
327.75/327.85	c  303s |      14 |   711976 |    73552 |  1521385      0 |    18458 |     3310
329.74/329.89	c  305s |      14 |   713486 |    74952 |  1521385      0 |    18458 |     3310
331.84/331.91	c  307s |      14 |   714453 |    75852 |  1521385      0 |    18458 |     3310
334.54/334.68	c  310s |      14 |   715402 |    76652 |  1521385      0 |    18459 |     3310
336.84/336.91	c  312s |      14 |   715953 |    77152 |  1521385      0 |    18460 |     3310
339.95/340.04	c  315s |      14 |   716850 |    77952 |  1521385      0 |    18461 |     3310
342.04/342.15	c  317s |      14 |   717430 |    78452 |  1521385      0 |    18461 |     3310
344.14/344.30	c  320s |      14 |   718178 |    79152 |  1521385      0 |    18461 |     3310
346.54/346.70	c  322s |      14 |   718278 |    79252 |  1521385      0 |    18461 |     3310
348.75/348.86	c  324s |      14 |   719285 |    80152 |  1521385      0 |    18461 |     3310
350.95/351.04	c  326s |      14 |   720403 |    81152 |  1521385      0 |    18461 |     3310
353.74/353.85	c  329s |      14 |   721396 |    82052 |  1521385      0 |    18462 |     3310
355.94/356.00	c  331s |      14 |   722193 |    82752 |  1521385      0 |    18462 |     3310
358.03/358.13	c  333s |      14 |   723142 |    83652 |  1521385      0 |    18462 |     3310
360.03/360.18	c  335s |      14 |   724167 |    84552 |  1521385      0 |    18462 |     3310
362.14/362.23	c  338s |      14 |   725330 |    85652 |  1521385      0 |    18462 |     3310
364.14/364.29	c  340s |      14 |   726635 |    86852 |  1521385      0 |    18462 |     3310
365.43/365.52	c  341s |      15 |   727493 |    87632 |  1673524      0 |    18462 |     3310
367.44/367.53	c  343s |      15 |   728621 |    88632 |  1673524      0 |    18462 |     3310
369.73/369.88	c  345s |      15 |   729451 |    89332 |  1673524      0 |    18464 |     3310
371.84/371.98	c  347s |      15 |   730353 |    90132 |  1673524      0 |    18465 |     3310
373.94/374.06	c  349s |      15 |   732035 |    91732 |  1673524      0 |    18465 |     3310
376.03/376.20	c  351s |      15 |   733135 |    92732 |  1673524      0 |    18466 |     3310
378.13/378.28	c  354s |      15 |   734102 |    93632 |  1673524      0 |    18467 |     3310
380.13/380.29	c  356s |      15 |   735761 |    95232 |  1673524      0 |    18467 |     3310
384.33/384.40	c  360s |      15 |   737560 |    96932 |  1673524      0 |    18467 |     3310
386.73/386.86	c  362s |      15 |   739415 |    98632 |  1673524      0 |    18468 |     3310
388.83/388.95	c  364s |      15 |   741352 |   100432 |  1673524      0 |    18468 |     3310
391.03/391.11	c  366s |      15 |   742706 |   101732 |  1673524      0 |    18468 |     3310
393.03/393.12	c  368s |      15 |   744071 |   103032 |  1673524      0 |    18468 |     3310
395.73/395.83	c  371s |      15 |   745250 |   104132 |  1673524      0 |    18469 |     3310
397.82/397.92	c  373s |      15 |   747142 |   105732 |  1673524      0 |    18469 |     3310
400.34/400.45	c  376s |      15 |   750772 |   106132 |  1673524      0 |    18471 |     3310
404.63/404.73	c  380s |      15 |   757756 |   106332 |  1673524      0 |    18475 |     3310
408.23/408.32	c  384s |      15 |   764623 |   106832 |  1673524      0 |    18478 |     3310
417.53/417.66	c  393s |      15 |   789810 |   107232 |  1673524      0 |    18486 |     3310
419.52/419.67	c  395s |      15 |   795037 |   111532 |  1673524      0 |    18486 |     3310
423.03/423.18	c  398s |      15 |   797251 |   113332 |  1673524      0 |    18489 |     3310
425.53/425.68	c  401s |      15 |   799217 |   115032 |  1673524      0 |    18491 |     3310
427.63/427.78	c  403s |      15 |   802224 |   117532 |  1673524      0 |    18492 |     3310
429.73/429.82	c  405s |      15 |   807367 |   121732 |  1673524      0 |    18492 |     3310
431.72/431.83	c  407s |      15 |   809963 |   123932 |  1673524      0 |    18493 |     3310
433.82/433.97	c  409s |      15 |   813051 |   126432 |  1673524      0 |    18494 |     3310
435.92/436.02	c  411s |      15 |   816011 |   128832 |  1673524      0 |    18494 |     3310
438.02/438.11	c  413s |      15 |   817288 |   129832 |  1673524      0 |    18495 |     3310
440.22/440.31	c  416s |      15 |   818580 |   130832 |  1840877      0 |    18496 |     3310
440.82/440.96	c  416s |      16 |   819489 |   131552 |  1840877      0 |    18496 |     3310
442.92/443.00	c  418s |      16 |   822382 |   133552 |  1840877      0 |    18496 |     3310
444.92/445.01	c  420s |      16 |   825014 |   135452 |  1840877      0 |    18497 |     3310
447.52/447.67	c  423s |      16 |   827066 |   136852 |  1840877      0 |    18499 |     3310
449.52/449.68	c  425s |      16 |   829531 |   138652 |  1840877      0 |    18500 |     3310
451.62/451.70	c  427s |      16 |   833576 |   141652 |  1840877      0 |    18500 |     3310
453.61/453.74	c  429s |      16 |   836027 |   143452 |  1840877      0 |    18501 |     3310
455.62/455.77	c  431s |      16 |   838290 |   145152 |  1840877      0 |    18502 |     3310
458.52/458.67	c  434s |      16 |   840547 |   146752 |  1840877      0 |    18504 |     3310
460.61/460.71	c  436s |      16 |   842989 |   148552 |  1840877      0 |    18505 |     3310
462.61/462.75	c  438s |      16 |   845595 |   150452 |  1840877      0 |    18506 |     3310
464.62/464.80	c  440s |      16 |   847833 |   152152 |  1840877      0 |    18507 |     3310
466.72/466.84	c  442s |      16 |   851930 |   155252 |  1840877      0 |    18507 |     3310
468.72/468.85	c  444s |      16 |   854323 |   157152 |  1840877      0 |    18508 |     3310
471.62/471.75	c  447s |      16 |   855741 |   158352 |  1840877      0 |    18508 |     3310
473.61/473.78	c  449s |      16 |   858045 |   160152 |  1840877      0 |    18509 |     3310
475.71/475.81	c  451s |      16 |   860402 |   161852 |  1840877      0 |    18510 |     3310
477.71/477.81	c  453s |      16 |   864778 |   165152 |  1840877      0 |    18510 |     3310
479.72/479.86	c  455s |      16 |   866766 |   166652 |  1840877      0 |    18511 |     3310
482.11/482.20	c  457s |      16 |   869082 |   168352 |  1840877      0 |    18512 |     3310
484.22/484.36	c  460s |      16 |   870902 |   169652 |  1840877      0 |    18513 |     3310
486.22/486.36	c  462s |      16 |   874523 |   172252 |  1840877      0 |    18513 |     3310
488.32/488.44	c  464s |      16 |   876301 |   173452 |  1840877      0 |    18514 |     3310
490.32/490.46	c  466s |      16 |   878882 |   175252 |  1840877      0 |    18514 |     3310
492.42/492.54	c  468s |      16 |   880057 |   176152 |  1840877      0 |    18515 |     3310
494.71/494.84	c  470s |      16 |   880532 |   176452 |  1840877      0 |    18517 |     3310
496.71/496.88	c  472s |      16 |   883893 |   178952 |  1840877      0 |    18517 |     3310
498.82/498.93	c  474s |      16 |   887795 |   181752 |  1840877      0 |    18517 |     3310
500.81/500.93	c  476s |      16 |   891113 |   184152 |  1840877      0 |    18517 |     3310
503.31/503.41	c  479s |      16 |   893766 |   186152 |  1840877      0 |    18518 |     3310
505.31/505.47	c  481s |      16 |   897196 |   188552 |  1840877      0 |    18518 |     3310
507.41/507.51	c  483s |      16 |   900251 |   190752 |  1840877      0 |    18518 |     3310
510.11/510.26	c  486s |      16 |   903510 |   193152 |  1840877      0 |    18519 |     3310
512.62/512.74	c  488s |      16 |   906357 |   195152 |  1840877      0 |    18520 |     3310
514.61/514.79	c  490s |      16 |   908166 |   196452 |  2024965      0 |    18521 |     3310
516.31/516.48	c  492s |      17 |   909687 |   197432 |  2024965      0 |    18522 |     3310
518.41/518.53	c  494s |      17 |   912137 |   199132 |  2024965      0 |    18522 |     3310
521.21/521.34	c  497s |      17 |   916264 |   202132 |  2024965      0 |    18523 |     3310
523.62/523.76	c  499s |      17 |   917003 |   202632 |  2024965      0 |    18525 |     3310
525.72/525.81	c  501s |      17 |   918785 |   204032 |  2024965      0 |    18526 |     3310
527.71/527.83	c  503s |      17 |   921040 |   205732 |  2024965      0 |    18527 |     3310
529.81/529.94	c  505s |      17 |   923815 |   207832 |  2024965      0 |    18528 |     3310
531.81/531.95	c  507s |      17 |   925768 |   209432 |  2024965      0 |    18529 |     3310
533.81/533.98	c  509s |      17 |   930093 |   213032 |  2024965      0 |    18529 |     3310
536.41/536.54	c  512s |      17 |   932968 |   215532 |  2024965      0 |    18530 |     3310
538.61/538.75	c  514s |      17 |   935119 |   217332 |  2024965      0 |    18531 |     3310
541.22/541.32	c  517s |      17 |   938064 |   219832 |  2024965      0 |    18532 |     3310
543.90/544.09	c  519s |      17 |   938920 |   220532 |  2024965      0 |    18534 |     3310
545.90/546.09	c  521s |      17 |   942572 |   223532 |  2024965      0 |    18534 |     3310
548.01/548.10	c  523s |      17 |   944907 |   225632 |  2024965      0 |    18534 |     3310
550.11/550.27	c  526s |      17 |   945678 |   226332 |  2024965      0 |    18535 |     3310
552.12/552.28	c  528s |      17 |   947339 |   227832 |  2024965      0 |    18535 |     3310
555.30/555.44	c  531s |      17 |   948987 |   229332 |  2024965      0 |    18536 |     3310
557.90/558.01	c  533s |      17 |   949210 |   229532 |  2024965      0 |    18536 |     3310
560.01/560.12	c  535s |      17 |   950550 |   230732 |  2024965      0 |    18537 |     3310
562.01/562.14	c  537s |      17 |   952140 |   232032 |  2024965      0 |    18538 |     3310
564.21/564.36	c  540s |      17 |   952318 |   232132 |  2024965      0 |    18540 |     3310
567.90/568.08	c  543s |      17 |   953177 |   232732 |  2024965      0 |    18543 |     3310
570.01/570.10	c  545s |      17 |   956540 |   235532 |  2024965      0 |    18543 |     3310
572.01/572.12	c  547s |      17 |   957986 |   236732 |  2024965      0 |    18544 |     3310
574.00/574.14	c  549s |      17 |   961591 |   239632 |  2024965      0 |    18544 |     3310
576.00/576.15	c  551s |      17 |   965276 |   242732 |  2024965      0 |    18544 |     3310
578.00/578.17	c  553s |      17 |   966927 |   244232 |  2024965      0 |    18544 |     3310
580.10/580.21	c  556s |      17 |   968797 |   245832 |  2024965      0 |    18544 |     3310
582.80/582.94	c  558s |      17 |   970701 |   247532 |  2024965      0 |    18545 |     3310
584.80/584.96	c  560s |      17 |   972849 |   249332 |  2024965      0 |    18545 |     3310
586.80/586.98	c  562s |      17 |   974264 |   250532 |  2024965      0 |    18546 |     3310
588.89/589.02	c  564s |      17 |   975629 |   251732 |  2024965      0 |    18547 |     3310
591.50/591.66	c  567s |      17 |   977456 |   253332 |  2024965      0 |    18548 |     3310
594.01/594.14	c  569s |      17 |   978266 |   254032 |  2024965      0 |    18549 |     3310
596.11/596.25	c  572s |      17 |   978931 |   254632 |  2024965      0 |    18550 |     3310
598.20/598.32	c  574s |      17 |   979878 |   255532 |  2024965      0 |    18550 |     3310
601.20/601.35	c  577s |      17 |   981235 |   256732 |  2024965      0 |    18551 |     3310
603.90/604.04	c  579s |      17 |   982588 |   257932 |  2024965      0 |    18552 |     3310
606.00/606.17	c  581s |      17 |   983873 |   259132 |  2024965      0 |    18552 |     3310
608.59/608.78	c  584s |      17 |   984845 |   260032 |  2024965      0 |    18553 |     3310
610.69/610.85	c  586s |      17 |   986128 |   261232 |  2024965      0 |    18553 |     3310
612.79/612.94	c  588s |      17 |   988129 |   263132 |  2024965      0 |    18553 |     3310
614.81/614.97	c  590s |      17 |   989858 |   264732 |  2024965      0 |    18553 |     3310
618.20/618.33	c  594s |      17 |   990685 |   265532 |  2024965      0 |    18553 |     3310
620.20/620.34	c  596s |      17 |   992505 |   267232 |  2024965      0 |    18553 |     3310
622.39/622.53	c  598s |      17 |   993386 |   268032 |  2024965      0 |    18554 |     3310
624.50/624.62	c  600s |      17 |   994967 |   269532 |  2024965      0 |    18554 |     3310
626.49/626.64	c  602s |      17 |   996444 |   270932 |  2024965      0 |    18554 |     3310
628.50/628.68	c  604s |      17 |   997802 |   272232 |  2024965      0 |    18554 |     3310
630.69/630.82	c  606s |      17 |   999295 |   273632 |  2024965      0 |    18554 |     3310
632.69/632.87	c  608s |      17 |  1000387 |   274632 |  2024965      0 |    18554 |     3310
634.79/634.95	c  610s |      17 |  1000846 |   275032 |  2024965      0 |    18555 |     3310
636.80/636.97	c  612s |      17 |  1002801 |   276732 |  2024965      0 |    18555 |     3310
638.89/639.01	c  614s |      17 |  1005347 |   278732 |  2024965      0 |    18555 |     3310
640.89/641.02	c  616s |      17 |  1008405 |   281232 |  2024965      0 |    18555 |     3310
644.19/644.32	c  620s |      17 |  1009533 |   282232 |  2024965      0 |    18557 |     3310
646.19/646.38	c  622s |      17 |  1011667 |   284132 |  2024965      0 |    18557 |     3310
648.39/648.54	c  624s |      17 |  1012596 |   284932 |  2024965      0 |    18558 |     3310
650.39/650.56	c  626s |      17 |  1013987 |   286132 |  2024965      0 |    18558 |     3310
652.39/652.57	c  628s |      17 |  1016009 |   287832 |  2024965      0 |    18558 |     3310
654.50/654.65	c  630s |      17 |  1018217 |   289832 |  2024965      0 |    18558 |     3310
656.60/656.77	c  632s |      17 |  1020320 |   291732 |  2024965      0 |    18558 |     3310
658.59/658.78	c  634s |      17 |  1020919 |   292232 |  2024965      0 |    18559 |     3310
660.89/661.03	c  636s |      17 |  1021911 |   293032 |  2024965      0 |    18560 |     3310
663.79/663.97	c  639s |      17 |  1022327 |   293332 |  2024965      0 |    18562 |     3310
665.89/666.01	c  641s |      17 |  1023497 |   294232 |  2227462      0 |    18562 |     3310
670.09/670.21	c  646s |      17 |  1024760 |   295232 |  2227462      0 |    18562 |     3310
671.78/671.94	c  647s |      18 |  1025983 |   296252 |  2227462      0 |    18562 |     3310
673.78/673.99	c  649s |      18 |  1026659 |   296852 |  2227462      0 |    18562 |     3310
675.88/676.01	c  651s |      18 |  1028042 |   298052 |  2227462      0 |    18562 |     3310
677.98/678.18	c  653s |      18 |  1029606 |   299452 |  2227462      0 |    18562 |     3310
680.08/680.21	c  656s |      18 |  1030054 |   299852 |  2227462      0 |    18563 |     3310
682.09/682.24	c  658s |      18 |  1031106 |   300852 |  2227462      0 |    18563 |     3310
684.28/684.42	c  660s |      18 |  1032188 |   301852 |  2227462      0 |    18563 |     3310
686.30/686.45	c  662s |      18 |  1033067 |   302652 |  2227462      0 |    18563 |     3310
688.38/688.58	c  664s |      18 |  1034029 |   303552 |  2227462      0 |    18563 |     3310
690.48/690.62	c  666s |      18 |  1034372 |   303852 |  2227462      0 |    18564 |     3310
692.48/692.67	c  668s |      18 |  1034814 |   304252 |  2227462      0 |    18565 |     3310
694.58/694.76	c  670s |      18 |  1035143 |   304552 |  2227462      0 |    18566 |     3310
696.68/696.83	c  672s |      18 |  1035885 |   305252 |  2227462      0 |    18566 |     3310
698.68/698.85	c  674s |      18 |  1036765 |   306052 |  2227462      0 |    18566 |     3310
700.88/701.03	c  676s |      18 |  1038020 |   307252 |  2227462      0 |    18566 |     3310
703.59/703.78	c  679s |      18 |  1039017 |   308152 |  2227462      0 |    18567 |     3310
705.78/705.96	c  681s |      18 |  1040008 |   309052 |  2227462      0 |    18567 |     3310
707.78/707.98	c  683s |      18 |  1041439 |   310352 |  2227462      0 |    18567 |     3310
709.88/710.05	c  685s |      18 |  1042177 |   311052 |  2227462      0 |    18567 |     3310
713.89/714.07	c  689s |      18 |  1042808 |   311652 |  2227462      0 |    18567 |     3310
715.99/716.20	c  691s |      18 |  1044072 |   312852 |  2227462      0 |    18567 |     3310
718.19/718.37	c  694s |      18 |  1045328 |   314052 |  2227462      0 |    18567 |     3310
720.28/720.49	c  696s |      18 |  1046505 |   315152 |  2227462      0 |    18567 |     3310
722.38/722.52	c  698s |      18 |  1047736 |   316352 |  2227462      0 |    18567 |     3310
724.47/724.64	c  700s |      18 |  1049142 |   317652 |  2227462      0 |    18567 |     3310
726.47/726.67	c  702s |      18 |  1050221 |   318652 |  2227462      0 |    18567 |     3310
728.57/728.73	c  704s |      18 |  1051419 |   319752 |  2227462      0 |    18567 |     3310
730.68/730.86	c  706s |      18 |  1052016 |   320252 |  2227462      0 |    18568 |     3310
732.87/733.00	c  708s |      18 |  1053225 |   321352 |  2227462      0 |    18568 |     3310
735.07/735.24	c  711s |      18 |  1053686 |   321752 |  2227462      0 |    18569 |     3310
737.07/737.26	c  713s |      18 |  1054510 |   322552 |  2227462      0 |    18569 |     3310
739.27/739.44	c  715s |      18 |  1055559 |   323552 |  2227462      0 |    18569 |     3310
741.38/741.56	c  717s |      18 |  1056523 |   324452 |  2227462      0 |    18569 |     3310
743.58/743.76	c  719s |      18 |  1056993 |   324852 |  2227462      0 |    18570 |     3310
745.68/745.81	c  721s |      18 |  1058079 |   325852 |  2227462      0 |    18570 |     3310
747.67/747.85	c  723s |      18 |  1059058 |   326752 |  2227462      0 |    18570 |     3310
749.67/749.86	c  725s |      18 |  1059988 |   327652 |  2227462      0 |    18570 |     3310
752.77/752.97	c  728s |      18 |  1060311 |   327952 |  2227462      0 |    18570 |     3310
755.37/755.59	c  731s |      18 |  1060987 |   328552 |  2227462      0 |    18571 |     3310
758.26/758.45	c  734s |      18 |  1061589 |   329052 |  2227462      0 |    18572 |     3310
760.57/760.79	c  736s |      18 |  1062085 |   329452 |  2227462      0 |    18573 |     3310
762.66/762.89	c  738s |      18 |  1063227 |   330352 |  2227462      0 |    18573 |     3310
764.87/765.04	c  740s |      18 |  1064351 |   331352 |  2227462      0 |    18573 |     3310
766.97/767.13	c  742s |      18 |  1065553 |   332352 |  2227462      0 |    18573 |     3310
769.06/769.24	c  745s |      18 |  1066399 |   333052 |  2227462      0 |    18573 |     3310
771.16/771.38	c  747s |      18 |  1067534 |   334052 |  2227462      0 |    18573 |     3310
773.28/773.49	c  749s |      18 |  1068424 |   334752 |  2227462      0 |    18573 |     3310
776.77/776.93	c  752s |      18 |  1069694 |   335852 |  2227462      0 |    18574 |     3310
779.87/780.06	c  755s |      18 |  1070564 |   336652 |  2227462      0 |    18575 |     3310
781.87/782.09	c  757s |      18 |  1071444 |   337452 |  2227462      0 |    18575 |     3310
784.57/784.74	c  760s |      18 |  1072159 |   338052 |  2227462      0 |    18576 |     3310
786.86/787.05	c  762s |      18 |  1072503 |   338352 |  2227462      0 |    18577 |     3310
790.36/790.54	c  766s |      18 |  1073727 |   339352 |  2227462      0 |    18578 |     3310
792.37/792.59	c  768s |      18 |  1074918 |   340352 |  2227462      0 |    18578 |     3310
795.96/796.18	c  771s |      18 |  1075555 |   340852 |  2227462      0 |    18578 |     3310
798.26/798.40	c  774s |      18 |  1076668 |   341852 |  2227462      0 |    18578 |     3310
800.26/800.44	c  776s |      18 |  1077504 |   342652 |  2227462      0 |    18578 |     3310
802.66/802.82	c  778s |      18 |  1078353 |   343452 |  2227462      0 |    18578 |     3310
804.66/804.84	c  780s |      18 |  1078903 |   343952 |  2227462      0 |    18578 |     3310
806.96/807.11	c  782s |      18 |  1079573 |   344552 |  2227462      0 |    18578 |     3310
809.16/809.31	c  785s |      18 |  1080103 |   345052 |  2227462      0 |    18578 |     3310
811.56/811.80	c  787s |      18 |  1080650 |   345552 |  2227462      0 |    18578 |     3310
813.66/813.88	c  789s |      18 |  1081183 |   346052 |  2227462      0 |    18578 |     3310
815.75/815.98	c  791s |      18 |  1081919 |   346752 |  2227462      0 |    18578 |     3310
819.16/819.31	c  795s |      18 |  1082555 |   347352 |  2227462      0 |    18579 |     3310
822.76/822.94	c  798s |      18 |  1083214 |   347952 |  2227462      0 |    18580 |     3310
824.76/824.97	c  800s |      18 |  1083948 |   348652 |  2227462      0 |    18580 |     3310
827.06/827.25	c  803s |      18 |  1084523 |   349152 |  2227462      0 |    18581 |     3310
831.25/831.46	c  807s |      18 |  1085700 |   350252 |  2227462      0 |    18581 |     3310
833.56/833.73	c  809s |      18 |  1086642 |   351152 |  2227462      0 |    18581 |     3310
835.75/835.98	c  811s |      18 |  1087420 |   351852 |  2227462      0 |    18581 |     3310
837.85/838.03	c  813s |      18 |  1088117 |   352452 |  2227462      0 |    18581 |     3310
839.95/840.12	c  815s |      18 |  1089117 |   353352 |  2227462      0 |    18581 |     3310
842.65/842.88	c  818s |      18 |  1089666 |   353852 |  2227462      0 |    18582 |     3310
845.65/845.80	c  821s |      18 |  1090433 |   354552 |  2227462      0 |    18583 |     3310
847.65/847.83	c  823s |      18 |  1091336 |   355352 |  2227462      0 |    18583 |     3310
849.65/849.84	c  825s |      18 |  1092158 |   356052 |  2227462      0 |    18583 |     3310
852.55/852.77	c  828s |      18 |  1092655 |   356452 |  2227462      0 |    18584 |     3310
854.55/854.78	c  830s |      18 |  1093772 |   357352 |  2227462      0 |    18584 |     3310
856.64/856.85	c  832s |      18 |  1095148 |   358452 |  2227462      0 |    18584 |     3310
859.24/859.41	c  835s |      18 |  1095988 |   359152 |  2227462      0 |    18585 |     3310
861.25/861.46	c  837s |      18 |  1097908 |   360652 |  2227462      0 |    18585 |     3310
863.45/863.62	c  839s |      18 |  1099255 |   361752 |  2227462      0 |    18585 |     3310
865.45/865.67	c  841s |      18 |  1101121 |   363252 |  2227462      0 |    18585 |     3310
868.64/868.82	c  844s |      18 |  1102816 |   364552 |  2227462      0 |    18586 |     3310
871.05/871.24	c  847s |      18 |  1104017 |   365452 |  2227462      0 |    18587 |     3310
873.25/873.42	c  849s |      18 |  1106021 |   366952 |  2227462      0 |    18587 |     3310
875.74/875.96	c  851s |      18 |  1106129 |   367052 |  2227462      0 |    18587 |     3310
878.24/878.44	c  854s |      18 |  1107007 |   367752 |  2227462      0 |    18588 |     3310
880.54/880.73	c  856s |      18 |  1108068 |   368552 |  2227462      0 |    18589 |     3310
882.54/882.79	c  858s |      18 |  1110200 |   370252 |  2227462      0 |    18589 |     3310
884.54/884.79	c  860s |      18 |  1112384 |   371952 |  2227462      0 |    18589 |     3310
886.64/886.83	c  862s |      18 |  1112984 |   372452 |  2227462      0 |    18590 |     3310
888.84/889.00	c  864s |      18 |  1114711 |   373852 |  2227462      0 |    18590 |     3310
890.95/891.11	c  866s |      18 |  1116713 |   375452 |  2227462      0 |    18590 |     3310
892.94/893.15	c  868s |      18 |  1117402 |   375952 |  2227462      0 |    18591 |     3310
895.14/895.37	c  871s |      18 |  1118165 |   376552 |  2227462      0 |    18592 |     3310
897.55/897.74	c  873s |      18 |  1119158 |   377352 |  2227462      0 |    18593 |     3310
900.44/900.61	c  876s |      18 |  1120513 |   378452 |  2227462      0 |    18594 |     3310
902.43/902.65	c  878s |      18 |  1121068 |   378952 |  2227462      0 |    18595 |     3310
904.43/904.67	c  880s |      18 |  1122117 |   379952 |  2227462      0 |    18595 |     3310
906.53/906.72	c  882s |      18 |  1123276 |   381052 |  2227462      0 |    18595 |     3310
908.63/908.82	c  884s |      18 |  1124919 |   382652 |  2227462      0 |    18595 |     3310
911.34/911.59	c  887s |      18 |  1126236 |   383852 |  2227462      0 |    18596 |     3310
913.44/913.68	c  889s |      18 |  1127866 |   385252 |  2227462      0 |    18596 |     3310
915.63/915.83	c  891s |      18 |  1129638 |   386852 |  2227462      0 |    18596 |     3310
917.83/918.00	c  893s |      18 |  1130693 |   387852 |  2227462      0 |    18596 |     3310
919.93/920.16	c  895s |      18 |  1131986 |   389052 |  2227462      0 |    18596 |     3310
922.13/922.32	c  898s |      18 |  1133436 |   390352 |  2227462      0 |    18596 |     3310
924.33/924.51	c  900s |      18 |  1134467 |   391352 |  2227462      0 |    18596 |     3310
926.92/927.13	c  902s |      18 |  1134565 |   391452 |  2227462      0 |    18596 |     3310
929.02/929.26	c  905s |      18 |  1135128 |   391952 |  2227462      0 |    18597 |     3310
931.12/931.34	c  907s |      18 |  1136360 |   392952 |  2227462      0 |    18597 |     3310
934.51/934.70	c  910s |      18 |  1137448 |   393852 |  2227462      0 |    18598 |     3310
936.62/936.84	c  912s |      18 |  1138688 |   394852 |  2227462      0 |    18598 |     3310
938.62/938.87	c  914s |      18 |  1139707 |   395752 |  2227462      0 |    18598 |     3310
941.02/941.29	c  917s |      18 |  1140551 |   396552 |  2227462      0 |    18598 |     3310
943.32/943.51	c  919s |      18 |  1141308 |   397252 |  2227462      0 |    18598 |     3310
945.42/945.64	c  921s |      18 |  1141540 |   397452 |  2227462      0 |    18599 |     3310
947.71/947.94	c  923s |      18 |  1142440 |   398252 |  2227462      0 |    18599 |     3310
949.91/950.18	c  925s |      18 |  1143441 |   399152 |  2227462      0 |    18599 |     3310
952.01/952.29	c  928s |      18 |  1144829 |   400452 |  2227462      0 |    18599 |     3310
954.11/954.34	c  930s |      18 |  1146012 |   401552 |  2227462      0 |    18599 |     3310
956.31/956.50	c  932s |      18 |  1147434 |   402852 |  2227462      0 |    18599 |     3310
958.41/958.66	c  934s |      18 |  1148603 |   403952 |  2227462      0 |    18599 |     3310
960.61/960.84	c  936s |      18 |  1149682 |   404952 |  2227462      0 |    18599 |     3310
963.81/964.08	c  939s |      18 |  1150546 |   405752 |  2227462      0 |    18600 |     3310
966.01/966.22	c  942s |      18 |  1151678 |   406752 |  2227462      0 |    18600 |     3310
968.31/968.54	c  944s |      18 |  1152156 |   407152 |  2227462      0 |    18601 |     3310
971.21/971.44	c  947s |      18 |  1152510 |   407452 |  2227462      0 |    18601 |     3310
973.32/973.57	c  949s |      18 |  1153699 |   408552 |  2227462      0 |    18601 |     3310
975.52/975.77	c  951s |      18 |  1154532 |   409352 |  2227462      0 |    18601 |     3310
977.82/978.09	c  953s |      18 |  1155247 |   410052 |  2227462      0 |    18601 |     3310
980.10/980.39	c  956s |      18 |  1155903 |   410652 |  2227462      0 |    18601 |     3310
982.40/982.62	c  958s |      18 |  1156635 |   411352 |  2227462      0 |    18601 |     3310
984.42/984.65	c  960s |      18 |  1157256 |   411952 |  2227462      0 |    18601 |     3310
986.52/986.71	c  962s |      18 |  1158004 |   412652 |  2227462      0 |    18601 |     3310
988.61/988.82	c  964s |      18 |  1158642 |   413252 |  2227462      0 |    18601 |     3310
990.81/991.09	c  966s |      18 |  1159434 |   413952 |  2227462      0 |    18601 |     3310
993.01/993.24	c  969s |      18 |  1160214 |   414652 |  2227462      0 |    18601 |     3310
995.31/995.51	c  971s |      18 |  1161076 |   415452 |  2227462      0 |    18601 |     3310
997.51/997.71	c  973s |      18 |  1161770 |   416052 |  2227462      0 |    18601 |     3310
999.50/999.76	c  975s |      18 |  1162602 |   416752 |  2227462      0 |    18601 |     3310
1001.80/1002.02	c  977s |      18 |  1163487 |   417552 |  2227462      0 |    18601 |     3310
1004.00/1004.28	c  980s |      18 |  1164278 |   418252 |  2227462      0 |    18601 |     3310
1008.10/1008.30	c  984s |      18 |  1164774 |   418652 |  2227462      0 |    18601 |     3310
1010.10/1010.34	c  986s |      18 |  1165554 |   419352 |  2227462      0 |    18601 |     3310
1012.31/1012.54	c  988s |      18 |  1166497 |   420152 |  2227462      0 |    18601 |     3310
1014.60/1014.88	c  990s |      18 |  1167406 |   420952 |  2227462      0 |    18601 |     3310
1016.60/1016.88	c  992s |      18 |  1167980 |   421452 |  2227462      0 |    18601 |     3310
1018.71/1018.96	c  994s |      18 |  1168581 |   421952 |  2227462      0 |    18601 |     3310
1021.71/1021.97	c  997s |      18 |  1169341 |   422552 |  2227462      0 |    18602 |     3310
1023.91/1024.14	c  999s |      18 |  1170571 |   423552 |  2227462      0 |    18602 |     3310
1026.00/1026.25	c 1002s |      18 |  1171616 |   424552 |  2227462      0 |    18602 |     3310
1028.10/1028.39	c 1004s |      18 |  1172222 |   425152 |  2227462      0 |    18602 |     3310
1030.30/1030.57	c 1006s |      18 |  1172854 |   425752 |  2227462      0 |    18602 |     3310
1032.71/1032.91	c 1008s |      18 |  1173573 |   426452 |  2227462      0 |    18602 |     3310
1035.00/1035.21	c 1011s |      18 |  1174357 |   427152 |  2227462      0 |    18602 |     3310
1036.99/1037.29	c 1013s |      18 |  1175192 |   427852 |  2227462      0 |    18602 |     3310
1039.09/1039.35	c 1015s |      18 |  1175851 |   428452 |  2227462      0 |    18602 |     3310
1041.19/1041.48	c 1017s |      18 |  1176854 |   429252 |  2227462      0 |    18602 |     3310
1043.29/1043.54	c 1019s |      18 |  1178138 |   430252 |  2227462      0 |    18602 |     3310
1046.19/1046.45	c 1022s |      18 |  1178531 |   430552 |  2227462      0 |    18602 |     3310
1048.29/1048.52	c 1024s |      18 |  1179849 |   431652 |  2227462      0 |    18602 |     3310
1050.30/1050.59	c 1026s |      18 |  1180233 |   431952 |  2227462      0 |    18603 |     3310
1052.60/1052.86	c 1028s |      18 |  1181340 |   432852 |  2227462      0 |    18603 |     3310
1054.69/1054.96	c 1030s |      18 |  1182184 |   433552 |  2227462      0 |    18603 |     3310
1056.79/1057.10	c 1032s |      18 |  1183111 |   434352 |  2227462      0 |    18603 |     3310
1059.10/1059.33	c 1035s |      18 |  1184182 |   435252 |  2227462      0 |    18603 |     3310
1061.08/1061.39	c 1037s |      18 |  1185247 |   436152 |  2227462      0 |    18603 |     3310
1064.60/1064.86	c 1040s |      18 |  1186246 |   437052 |  2227462      0 |    18604 |     3310
1066.68/1066.93	c 1042s |      18 |  1187340 |   438052 |  2227462      0 |    18604 |     3310
1068.89/1069.14	c 1044s |      18 |  1188536 |   439052 |  2227462      0 |    18604 |     3310
1070.98/1071.29	c 1047s |      18 |  1189708 |   439952 |  2227462      0 |    18604 |     3310
1073.18/1073.46	c 1049s |      18 |  1190824 |   440852 |  2227462      0 |    18604 |     3310
1075.37/1075.65	c 1051s |      18 |  1192286 |   442052 |  2450209      0 |    18604 |     3310
1077.79/1078.01	c 1053s |      18 |  1192948 |   442552 |  2450209      0 |    18605 |     3310
1079.99/1080.22	c 1056s |      18 |  1194340 |   443652 |  2450209      0 |    18605 |     3310
1082.08/1082.39	c 1058s |      18 |  1195212 |   444452 |  2450209      0 |    18605 |     3310
1082.19/1082.48	c 1058s |      19 |  1195247 |   444482 |  2450209      0 |    18605 |     3310
1084.38/1084.62	c 1060s |      19 |  1195630 |   444782 |  2450209      0 |    18605 |     3310
1090.18/1090.41	c 1066s |      19 |  1196544 |   445582 |  2450209      0 |    18606 |     3310
1092.27/1092.51	c 1068s |      19 |  1197314 |   446282 |  2450209      0 |    18606 |     3310
1094.38/1094.62	c 1070s |      19 |  1198125 |   446982 |  2450209      0 |    18606 |     3310
1096.37/1096.64	c 1072s |      19 |  1199053 |   447782 |  2450209      0 |    18606 |     3310
1098.47/1098.73	c 1074s |      19 |  1199855 |   448482 |  2450209      0 |    18606 |     3310
1100.77/1101.08	c 1076s |      19 |  1200826 |   449382 |  2450209      0 |    18606 |     3310
1103.08/1103.36	c 1079s |      19 |  1201574 |   450082 |  2450209      0 |    18606 |     3310
1105.87/1106.14	c 1081s |      19 |  1202010 |   450482 |  2450209      0 |    18607 |     3310
1108.07/1108.33	c 1084s |      19 |  1202742 |   451182 |  2450209      0 |    18607 |     3310
1110.07/1110.38	c 1086s |      19 |  1203618 |   451982 |  2450209      0 |    18607 |     3310
1112.17/1112.48	c 1088s |      19 |  1204780 |   453082 |  2450209      0 |    18607 |     3310
1114.27/1114.57	c 1090s |      19 |  1205627 |   453882 |  2450209      0 |    18607 |     3310
1116.38/1116.62	c 1092s |      19 |  1206052 |   454282 |  2450209      0 |    18607 |     3310
1118.57/1118.85	c 1094s |      19 |  1206663 |   454882 |  2450209      0 |    18607 |     3310
1120.86/1121.15	c 1096s |      19 |  1207510 |   455682 |  2450209      0 |    18607 |     3310
1125.46/1125.78	c 1101s |      19 |  1207883 |   455982 |  2450209      0 |    18609 |     3310
1128.67/1128.93	c 1104s |      19 |  1208091 |   456182 |  2450209      0 |    18609 |     3310
1130.67/1130.93	c 1106s |      19 |  1208745 |   456782 |  2450209      0 |    18609 |     3310
1133.16/1133.41	c 1109s |      19 |  1209180 |   457182 |  2450209      0 |    18609 |     3310
1135.56/1135.80	c 1111s |      19 |  1209453 |   457382 |  2450209      0 |    18610 |     3310
1137.96/1138.27	c 1114s |      19 |  1209714 |   457582 |  2450209      0 |    18611 |     3310
1140.16/1140.50	c 1116s |      19 |  1210244 |   458082 |  2450209      0 |    18611 |     3310
1143.16/1143.44	c 1119s |      19 |  1210683 |   458482 |  2450209      0 |    18612 |     3310
1145.26/1145.50	c 1121s |      19 |  1211272 |   458982 |  2450209      0 |    18612 |     3310
1147.36/1147.67	c 1123s |      19 |  1212210 |   459782 |  2450209      0 |    18612 |     3310
1149.46/1149.72	c 1125s |      19 |  1213165 |   460582 |  2450209      0 |    18612 |     3310
1152.67/1152.91	c 1128s |      19 |  1213923 |   461282 |  2450209      0 |    18613 |     3310
1154.77/1155.10	c 1130s |      19 |  1214360 |   461682 |  2450209      0 |    18613 |     3310
1157.25/1157.50	c 1133s |      19 |  1214880 |   462182 |  2450209      0 |    18613 |     3310
1159.46/1159.73	c 1135s |      19 |  1215430 |   462682 |  2450209      0 |    18613 |     3310
1161.56/1161.83	c 1137s |      19 |  1216192 |   463382 |  2450209      0 |    18613 |     3310
1163.85/1164.12	c 1139s |      19 |  1216659 |   463782 |  2450209      0 |    18613 |     3310
1165.96/1166.20	c 1142s |      19 |  1217204 |   464182 |  2450209      0 |    18613 |     3310
1170.35/1170.67	c 1146s |      19 |  1217758 |   464682 |  2450209      0 |    18613 |     3310
1172.37/1172.71	c 1148s |      19 |  1218293 |   465182 |  2450209      0 |    18613 |     3310
1174.56/1174.88	c 1150s |      19 |  1218928 |   465782 |  2450209      0 |    18613 |     3310
1176.66/1176.96	c 1152s |      19 |  1219467 |   466282 |  2450209      0 |    18613 |     3310
1178.97/1179.25	c 1155s |      19 |  1220115 |   466882 |  2450209      0 |    18613 |     3310
1180.95/1181.29	c 1157s |      19 |  1220741 |   467482 |  2450209      0 |    18613 |     3310
1183.47/1183.75	c 1159s |      19 |  1221386 |   468082 |  2450209      0 |    18613 |     3310
1185.95/1186.20	c 1162s |      19 |  1221944 |   468582 |  2450209      0 |    18613 |     3310
1188.36/1188.65	c 1164s |      19 |  1222498 |   469082 |  2450209      0 |    18613 |     3310
1192.36/1192.64	c 1168s |      19 |  1223074 |   469582 |  2450209      0 |    18614 |     3310
1194.85/1195.10	c 1170s |      19 |  1223669 |   470082 |  2450209      0 |    18614 |     3310
1196.96/1197.20	c 1173s |      19 |  1224313 |   470582 |  2450209      0 |    18614 |     3310
1199.16/1199.43	c 1175s |      19 |  1224990 |   471182 |  2450209      0 |    18614 |     3310
1201.15/1201.47	c 1177s |      19 |  1225552 |   471682 |  2450209      0 |    18614 |     3310
1204.05/1204.35	c 1180s |      19 |  1225681 |   471782 |  2450209      0 |    18614 |     3310
1206.35/1206.64	c 1182s |      19 |  1226356 |   472382 |  2450209      0 |    18614 |     3310
1208.45/1208.71	c 1184s |      19 |  1227096 |   472982 |  2450209      0 |    18614 |     3310
1211.05/1211.36	c 1187s |      19 |  1227379 |   473182 |  2450209      0 |    18615 |     3310
1213.35/1213.62	c 1189s |      19 |  1228253 |   473882 |  2450209      0 |    18615 |     3310
1215.45/1215.71	c 1191s |      19 |  1228998 |   474482 |  2450209      0 |    18615 |     3310
1219.15/1219.40	c 1195s |      19 |  1229494 |   474882 |  2450209      0 |    18616 |     3310
1221.15/1221.43	c 1197s |      19 |  1230211 |   475482 |  2450209      0 |    18616 |     3310
1223.25/1223.50	c 1199s |      19 |  1230943 |   476082 |  2450209      0 |    18616 |     3310
1225.34/1225.65	c 1201s |      19 |  1231196 |   476282 |  2450209      0 |    18617 |     3310
1227.74/1228.02	c 1203s |      19 |  1231432 |   476482 |  2450209      0 |    18618 |     3310
1230.04/1230.36	c 1206s |      19 |  1231681 |   476682 |  2450209      0 |    18619 |     3310
1232.25/1232.56	c 1208s |      19 |  1232324 |   477282 |  2450209      0 |    18619 |     3310
1234.44/1234.76	c 1210s |      19 |  1232902 |   477782 |  2450209      0 |    18619 |     3310
1236.84/1237.12	c 1212s |      19 |  1233499 |   478282 |  2450209      0 |    18619 |     3310
1239.25/1239.50	c 1215s |      19 |  1234087 |   478782 |  2450209      0 |    18619 |     3310
1241.54/1241.81	c 1217s |      19 |  1234645 |   479282 |  2450209      0 |    18619 |     3310
1245.54/1245.82	c 1221s |      19 |  1234986 |   479582 |  2450209      0 |    18619 |     3310
1247.94/1248.26	c 1224s |      19 |  1235386 |   479982 |  2450209      0 |    18619 |     3310
1250.04/1250.35	c 1226s |      19 |  1235696 |   480282 |  2450209      0 |    18619 |     3310
1252.34/1252.65	c 1228s |      19 |  1236123 |   480682 |  2450209      0 |    18619 |     3310
1254.34/1254.68	c 1230s |      19 |  1236595 |   481082 |  2450209      0 |    18619 |     3310
1256.74/1257.08	c 1232s |      19 |  1237162 |   481582 |  2450209      0 |    18619 |     3310
1258.84/1259.14	c 1234s |      19 |  1237621 |   481982 |  2450209      0 |    18619 |     3310
1260.84/1261.16	c 1236s |      19 |  1237929 |   482282 |  2450209      0 |    18619 |     3310
1262.84/1263.17	c 1238s |      19 |  1238250 |   482582 |  2450209      0 |    18619 |     3310
1265.24/1265.50	c 1241s |      19 |  1238666 |   482982 |  2450209      0 |    18619 |     3310
1267.53/1267.88	c 1243s |      19 |  1239089 |   483382 |  2450209      0 |    18619 |     3310
1269.84/1270.14	c 1245s |      19 |  1239528 |   483782 |  2450209      0 |    18619 |     3310
1272.33/1272.63	c 1248s |      19 |  1240013 |   484182 |  2450209      0 |    18619 |     3310
1274.83/1275.13	c 1250s |      19 |  1240604 |   484682 |  2450209      0 |    18619 |     3310
1278.63/1278.96	c 1254s |      19 |  1240923 |   484982 |  2450209      0 |    18619 |     3310
1280.84/1281.16	c 1256s |      19 |  1241054 |   485082 |  2450209      0 |    18620 |     3310
1283.23/1283.53	c 1259s |      19 |  1241623 |   485582 |  2450209      0 |    18620 |     3310
1285.34/1285.60	c 1261s |      19 |  1242049 |   485982 |  2450209      0 |    18620 |     3310
1287.73/1288.00	c 1263s |      19 |  1242710 |   486582 |  2450209      0 |    18620 |     3310
1289.93/1290.20	c 1265s |      19 |  1243138 |   486982 |  2450209      0 |    18620 |     3310
1291.93/1292.22	c 1268s |      19 |  1243549 |   487382 |  2450209      0 |    18620 |     3310
1294.63/1294.90	c 1270s |      19 |  1243787 |   487582 |  2450209      0 |    18621 |     3310
1296.74/1297.09	c 1272s |      19 |  1244363 |   488082 |  2450209      0 |    18621 |     3310
1299.13/1299.48	c 1275s |      19 |  1244933 |   488582 |  2450209      0 |    18621 |     3310
1301.63/1301.99	c 1277s |      19 |  1245169 |   488782 |  2450209      0 |    18622 |     3310
1304.82/1305.11	c 1280s |      19 |  1245631 |   489182 |  2450209      0 |    18623 |     3310
1307.03/1307.32	c 1283s |      19 |  1246258 |   489782 |  2450209      0 |    18623 |     3310
1309.03/1309.34	c 1285s |      19 |  1246808 |   490282 |  2450209      0 |    18623 |     3310
1311.42/1311.77	c 1287s |      19 |  1247321 |   490782 |  2450209      0 |    18623 |     3310
1313.62/1313.99	c 1289s |      19 |  1247845 |   491282 |  2450209      0 |    18623 |     3310
1315.83/1316.15	c 1291s |      19 |  1247966 |   491382 |  2450209      0 |    18624 |     3310
1319.42/1319.70	c 1295s |      19 |  1248165 |   491582 |  2450209      0 |    18624 |     3310
1321.53/1321.84	c 1297s |      19 |  1248638 |   491982 |  2450209      0 |    18624 |     3310
1323.62/1323.90	c 1299s |      19 |  1249098 |   492382 |  2450209      0 |    18624 |     3310
1326.22/1326.54	c 1302s |      19 |  1249664 |   492882 |  2450209      0 |    18624 |     3310
1328.72/1329.01	c 1304s |      19 |  1249899 |   493082 |  2450209      0 |    18625 |     3310
1330.92/1331.29	c 1307s |      19 |  1250530 |   493682 |  2450209      0 |    18625 |     3310
1332.93/1333.30	c 1309s |      19 |  1251057 |   494182 |  2450209      0 |    18625 |     3310
1335.13/1335.48	c 1311s |      19 |  1251576 |   494682 |  2450209      0 |    18625 |     3310
1338.61/1338.97	c 1314s |      19 |  1252039 |   495082 |  2450209      0 |    18626 |     3310
1341.12/1341.43	c 1317s |      19 |  1252658 |   495582 |  2450209      0 |    18626 |     3310
1343.62/1343.92	c 1319s |      19 |  1253225 |   496082 |  2450209      0 |    18626 |     3310
1345.71/1346.08	c 1321s |      19 |  1253680 |   496482 |  2450209      0 |    18626 |     3310
1348.22/1348.51	c 1324s |      19 |  1254222 |   496982 |  2450209      0 |    18626 |     3310
1350.52/1350.81	c 1326s |      19 |  1254840 |   497582 |  2450209      0 |    18626 |     3310
1352.72/1353.02	c 1328s |      19 |  1255361 |   498082 |  2450209      0 |    18626 |     3310
1356.21/1356.53	c 1332s |      19 |  1255568 |   498282 |  2450209      0 |    18626 |     3310
1358.71/1359.01	c 1334s |      19 |  1256005 |   498682 |  2450209      0 |    18626 |     3310
1360.91/1361.28	c 1337s |      19 |  1256130 |   498782 |  2450209      0 |    18627 |     3310
1364.11/1364.41	c 1340s |      19 |  1256483 |   499082 |  2450209      0 |    18628 |     3310
1366.51/1366.88	c 1342s |      19 |  1256894 |   499482 |  2450209      0 |    18628 |     3310
1369.21/1369.60	c 1345s |      19 |  1257420 |   499982 |  2450209      0 |    18628 |     3310
1371.60/1371.91	c 1347s |      19 |  1258174 |   500682 |  2450209      0 |    18628 |     3310
1373.61/1373.95	c 1349s |      19 |  1258812 |   501282 |  2450209      0 |    18628 |     3310
1375.71/1376.00	c 1351s |      19 |  1259703 |   502082 |  2450209      0 |    18628 |     3310
1378.01/1378.34	c 1354s |      19 |  1260242 |   502582 |  2450209      0 |    18628 |     3310
1380.32/1380.67	c 1356s |      19 |  1260819 |   503082 |  2450209      0 |    18628 |     3310
1382.71/1383.06	c 1358s |      19 |  1261373 |   503582 |  2450209      0 |    18628 |     3310
1385.82/1386.18	c 1361s |      19 |  1261842 |   503982 |  2450209      0 |    18629 |     3310
1388.01/1388.39	c 1364s |      19 |  1262425 |   504482 |  2450209      0 |    18629 |     3310
1390.30/1390.67	c 1366s |      19 |  1262785 |   504782 |  2450209      0 |    18629 |     3310
1393.00/1393.38	c 1369s |      19 |  1263494 |   505282 |  2450209      0 |    18629 |     3310
1397.60/1397.94	c 1373s |      19 |  1263844 |   505582 |  2450209      0 |    18629 |     3310
1399.81/1400.15	c 1375s |      19 |  1264328 |   505982 |  2450209      0 |    18629 |     3310
1401.90/1402.25	c 1378s |      19 |  1264838 |   506382 |  2450209      0 |    18629 |     3310
1404.30/1404.60	c 1380s |      19 |  1265433 |   506882 |  2450209      0 |    18629 |     3310
1408.00/1408.31	c 1384s |      19 |  1266056 |   507382 |  2450209      0 |    18630 |     3310
1410.01/1410.36	c 1386s |      19 |  1266655 |   507882 |  2450209      0 |    18630 |     3310
1412.12/1412.50	c 1388s |      19 |  1267473 |   508482 |  2450209      0 |    18630 |     3310
1414.31/1414.68	c 1390s |      19 |  1268679 |   509382 |  2450209      0 |    18630 |     3310
1417.40/1417.75	c 1393s |      19 |  1269239 |   509782 |  2450209      0 |    18631 |     3310
1419.70/1420.01	c 1395s |      19 |  1270050 |   510382 |  2450209      0 |    18631 |     3310
1422.01/1422.32	c 1398s |      19 |  1270989 |   511082 |  2450209      0 |    18631 |     3310
1424.40/1424.74	c 1400s |      19 |  1271743 |   511682 |  2450209      0 |    18631 |     3310
1426.69/1427.09	c 1402s |      19 |  1272669 |   512382 |  2450209      0 |    18631 |     3310
1428.80/1429.13	c 1404s |      19 |  1273529 |   513082 |  2450209      0 |    18631 |     3310
1430.90/1431.24	c 1407s |      19 |  1274212 |   513682 |  2450209      0 |    18631 |     3310
1433.20/1433.58	c 1409s |      19 |  1275046 |   514382 |  2450209      0 |    18631 |     3310
1437.29/1437.69	c 1413s |      19 |  1275899 |   515082 |  2450209      0 |    18631 |     3310
1439.50/1439.88	c 1415s |      19 |  1277192 |   516182 |  2450209      0 |    18631 |     3310
1441.49/1441.88	c 1417s |      19 |  1278074 |   516982 |  2450209      0 |    18631 |     3310
1443.50/1443.89	c 1419s |      19 |  1278968 |   517782 |  2450209      0 |    18631 |     3310
1445.60/1445.98	c 1421s |      19 |  1279523 |   518282 |  2450209      0 |    18631 |     3310
1447.99/1448.30	c 1424s |      19 |  1280175 |   518882 |  2450209      0 |    18631 |     3310
1449.99/1450.32	c 1426s |      19 |  1280603 |   519282 |  2450209      0 |    18631 |     3310
1452.00/1452.34	c 1428s |      19 |  1281055 |   519682 |  2450209      0 |    18631 |     3310
1454.00/1454.40	c 1430s |      19 |  1281498 |   520082 |  2450209      0 |    18631 |     3310
1456.11/1456.49	c 1432s |      19 |  1282176 |   520682 |  2450209      0 |    18631 |     3310
1458.09/1458.49	c 1434s |      19 |  1283030 |   521382 |  2450209      0 |    18631 |     3310
1460.50/1460.85	c 1436s |      19 |  1283923 |   522182 |  2450209      0 |    18631 |     3310
1462.59/1462.98	c 1438s |      19 |  1284608 |   522782 |  2450209      0 |    18631 |     3310
1466.39/1466.71	c 1442s |      19 |  1285280 |   523382 |  2450209      0 |    18632 |     3310
1468.59/1468.97	c 1444s |      19 |  1286137 |   524082 |  2450209      0 |    18632 |     3310
1470.70/1471.05	c 1446s |      19 |  1286853 |   524682 |  2450209      0 |    18632 |     3310
1472.79/1473.17	c 1448s |      19 |  1287578 |   525282 |  2450209      0 |    18632 |     3310
1475.79/1476.18	c 1451s |      19 |  1287793 |   525482 |  2450209      0 |    18632 |     3310
1477.99/1478.39	c 1454s |      19 |  1288587 |   526182 |  2450209      0 |    18632 |     3310
1480.49/1480.88	c 1456s |      19 |  1288940 |   526482 |  2450209      0 |    18633 |     3310
1484.29/1484.67	c 1460s |      19 |  1289856 |   527282 |  2450209      0 |    18634 |     3310
1487.29/1487.65	c 1463s |      19 |  1290410 |   527782 |  2450209      0 |    18635 |     3310
1489.49/1489.81	c 1465s |      19 |  1290662 |   527982 |  2450209      0 |    18636 |     3310
1492.19/1492.51	c 1468s |      19 |  1291003 |   528282 |  2450209      0 |    18637 |     3310
1494.19/1494.55	c 1470s |      19 |  1291519 |   528782 |  2450209      0 |    18637 |     3310
1496.80/1497.17	c 1472s |      19 |  1292249 |   529482 |  2450209      0 |    18637 |     3310
1498.89/1499.28	c 1475s |      19 |  1292653 |   529882 |  2450209      0 |    18637 |     3310
1501.30/1501.67	c 1477s |      19 |  1293164 |   530382 |  2450209      0 |    18637 |     3310
1503.69/1504.04	c 1479s |      19 |  1293793 |   530982 |  2450209      0 |    18637 |     3310
1505.89/1506.27	c 1482s |      19 |  1294305 |   531482 |  2450209      0 |    18637 |     3310
1508.19/1508.51	c 1484s |      19 |  1294841 |   531982 |  2450209      0 |    18637 |     3310
1510.19/1510.59	c 1486s |      19 |  1295264 |   532382 |  2450209      0 |    18637 |     3310
1512.39/1512.78	c 1488s |      19 |  1296143 |   533182 |  2450209      0 |    18637 |     3310
1514.59/1514.99	c 1490s |      19 |  1296775 |   533782 |  2450209      0 |    18637 |     3310
1516.78/1517.16	c 1492s |      19 |  1297415 |   534382 |  2450209      0 |    18637 |     3310
1519.59/1519.93	c 1495s |      19 |  1297524 |   534482 |  2450209      0 |    18637 |     3310
1521.78/1522.14	c 1497s |      19 |  1298572 |   535482 |  2450209      0 |    18637 |     3310
1523.98/1524.33	c 1500s |      19 |  1299337 |   536182 |  2450209      0 |    18637 |     3310
1526.19/1526.59	c 1502s |      19 |  1300233 |   536982 |  2450209      0 |    18637 |     3310
1528.49/1528.88	c 1504s |      19 |  1300965 |   537682 |  2450209      0 |    18637 |     3310
1530.78/1531.10	c 1506s |      19 |  1301587 |   538282 |  2450209      0 |    18637 |     3310
1533.19/1533.53	c 1509s |      19 |  1302000 |   538682 |  2450209      0 |    18637 |     3310
1535.68/1536.07	c 1511s |      19 |  1302500 |   539182 |  2450209      0 |    18637 |     3310
1537.78/1538.15	c 1513s |      19 |  1303016 |   539682 |  2450209      0 |    18637 |     3310
1540.08/1540.41	c 1516s |      19 |  1303625 |   540282 |  2450209      0 |    18637 |     3310
1542.38/1542.76	c 1518s |      19 |  1304247 |   540882 |  2450209      0 |    18637 |     3310
1546.98/1547.37	c 1523s |      19 |  1304513 |   541082 |  2450209      0 |    18639 |     3310
1549.38/1549.78	c 1525s |      19 |  1304937 |   541482 |  2450209      0 |    18639 |     3310
1551.79/1552.11	c 1527s |      19 |  1305350 |   541882 |  2450209      0 |    18639 |     3310
1553.88/1554.25	c 1530s |      19 |  1305789 |   542282 |  2450209      0 |    18639 |     3310
1557.97/1558.30	c 1534s |      19 |  1306092 |   542582 |  2450209      0 |    18639 |     3310
1560.38/1560.77	c 1536s |      19 |  1306514 |   542982 |  2450209      0 |    18639 |     3310
1562.68/1563.02	c 1538s |      19 |  1306935 |   543382 |  2450209      0 |    18639 |     3310
1564.77/1565.11	c 1540s |      19 |  1307248 |   543682 |  2450209      0 |    18639 |     3310
1566.88/1567.23	c 1543s |      19 |  1307567 |   543982 |  2450209      0 |    18639 |     3310
1568.98/1569.31	c 1545s |      19 |  1308133 |   544482 |  2450209      0 |    18639 |     3310
1571.18/1571.55	c 1547s |      19 |  1308575 |   544882 |  2450209      0 |    18639 |     3310
1573.27/1573.62	c 1549s |      19 |  1308981 |   545282 |  2450209      0 |    18639 |     3310
1575.77/1576.11	c 1551s |      19 |  1309321 |   545582 |  2450209      0 |    18639 |     3310
1578.18/1578.57	c 1554s |      19 |  1309637 |   545882 |  2450209      0 |    18639 |     3310
1580.67/1581.08	c 1556s |      19 |  1309764 |   545982 |  2450209      0 |    18640 |     3310
1583.27/1583.68	c 1559s |      19 |  1310068 |   546282 |  2450209      0 |    18640 |     3310
1585.68/1586.06	c 1561s |      19 |  1310370 |   546582 |  2450209      0 |    18640 |     3310
1587.97/1588.34	c 1564s |      19 |  1310709 |   546882 |  2450209      0 |    18640 |     3310
1590.57/1590.94	c 1566s |      19 |  1311139 |   547282 |  2450209      0 |    18640 |     3310
1593.07/1593.46	c 1569s |      19 |  1311546 |   547682 |  2450209      0 |    18640 |     3310
1596.17/1596.56	c 1572s |      19 |  1311652 |   547782 |  2450209      0 |    18640 |     3310
1598.57/1598.97	c 1574s |      19 |  1312074 |   548182 |  2450209      0 |    18640 |     3310
1600.67/1601.06	c 1576s |      19 |  1312283 |   548382 |  2450209      0 |    18640 |     3310
1602.87/1603.22	c 1579s |      19 |  1312484 |   548582 |  2450209      0 |    18640 |     3310
1605.68/1606.02	c 1581s |      19 |  1312791 |   548882 |  2450209      0 |    18640 |     3310
1609.37/1609.76	c 1585s |      19 |  1313138 |   549182 |  2450209      0 |    18641 |     3310
1611.87/1612.23	c 1588s |      19 |  1313434 |   549482 |  2450209      0 |    18641 |     3310
1614.58/1614.99	c 1590s |      19 |  1313744 |   549782 |  2450209      0 |    18641 |     3310
1616.97/1617.31	c 1593s |      19 |  1314047 |   550082 |  2450209      0 |    18641 |     3310
1619.37/1619.75	c 1595s |      19 |  1314460 |   550482 |  2450209      0 |    18641 |     3310
1621.77/1622.17	c 1597s |      19 |  1314859 |   550882 |  2450209      0 |    18641 |     3310
1624.47/1624.84	c 1600s |      19 |  1315179 |   551182 |  2450209      0 |    18641 |     3310
1626.47/1626.85	c 1602s |      19 |  1315503 |   551482 |  2450209      0 |    18641 |     3310
1629.06/1629.46	c 1605s |      19 |  1315933 |   551882 |  2450209      0 |    18641 |     3310
1631.17/1631.59	c 1607s |      19 |  1316371 |   552282 |  2450209      0 |    18641 |     3310
1634.16/1634.58	c 1610s |      19 |  1316487 |   552382 |  2450209      0 |    18641 |     3310
1636.48/1636.87	c 1612s |      19 |  1317009 |   552882 |  2450209      0 |    18641 |     3310
1638.56/1638.93	c 1614s |      19 |  1317534 |   553382 |  2450209      0 |    18641 |     3310
1640.76/1641.18	c 1616s |      19 |  1318217 |   553982 |  2450209      0 |    18641 |     3310
1643.26/1643.63	c 1619s |      19 |  1318850 |   554582 |  2450209      0 |    18641 |     3310
1645.66/1646.04	c 1621s |      19 |  1319604 |   555282 |  2450209      0 |    18641 |     3310
1647.96/1648.38	c 1624s |      19 |  1320156 |   555782 |  2450209      0 |    18641 |     3310
1650.37/1650.75	c 1626s |      19 |  1320682 |   556282 |  2450209      0 |    18641 |     3310
1652.66/1653.09	c 1628s |      19 |  1321223 |   556782 |  2450209      0 |    18641 |     3310
1654.76/1655.18	c 1630s |      19 |  1321676 |   557182 |  2450209      0 |    18641 |     3310
1657.16/1657.58	c 1633s |      19 |  1321916 |   557382 |  2450209      0 |    18642 |     3310
1659.26/1659.69	c 1635s |      19 |  1322359 |   557782 |  2450209      0 |    18642 |     3310
1661.45/1661.85	c 1637s |      19 |  1322663 |   558082 |  2450209      0 |    18642 |     3310
1663.86/1664.23	c 1640s |      19 |  1322967 |   558382 |  2450209      0 |    18642 |     3310
1666.06/1666.46	c 1642s |      19 |  1323379 |   558782 |  2450209      0 |    18642 |     3310
1670.35/1670.79	c 1646s |      19 |  1323680 |   559082 |  2450209      0 |    18642 |     3310
1673.05/1673.47	c 1649s |      19 |  1324188 |   559582 |  2450209      0 |    18642 |     3310
1675.76/1676.14	c 1651s |      19 |  1324603 |   559982 |  2450209      0 |    18642 |     3310
1678.75/1679.16	c 1654s |      19 |  1324725 |   560082 |  2450209      0 |    18643 |     3310
1681.67/1682.01	c 1657s |      19 |  1325036 |   560382 |  2450209      0 |    18643 |     3310
1684.15/1684.56	c 1660s |      19 |  1325237 |   560582 |  2450209      0 |    18643 |     3310
1687.35/1687.71	c 1663s |      19 |  1325537 |   560882 |  2450209      0 |    18643 |     3310
1691.05/1691.43	c 1667s |      19 |  1325776 |   561082 |  2450209      0 |    18644 |     3310
1693.35/1693.79	c 1669s |      19 |  1326096 |   561382 |  2450209      0 |    18644 |     3310
1695.45/1695.82	c 1671s |      19 |  1326305 |   561582 |  2450209      0 |    18644 |     3310
1697.65/1698.09	c 1673s |      19 |  1326611 |   561882 |  2450209      0 |    18644 |     3310
1700.14/1700.50	c 1676s |      19 |  1326941 |   562182 |  2450209      0 |    18644 |     3310
1702.46/1702.89	c 1678s |      19 |  1327348 |   562582 |  2450209      0 |    18644 |     3310
1705.86/1706.25	c 1682s |      19 |  1327586 |   562782 |  2450209      0 |    18645 |     3310
1708.35/1708.79	c 1684s |      19 |  1328029 |   563182 |  2450209      0 |    18645 |     3310
1711.36/1711.74	c 1687s |      19 |  1328146 |   563282 |  2450209      0 |    18645 |     3310
1713.55/1713.98	c 1689s |      19 |  1328783 |   563782 |  2450209      0 |    18645 |     3310
1715.95/1716.31	c 1692s |      19 |  1329446 |   564282 |  2450209      0 |    18645 |     3310
1717.96/1718.33	c 1694s |      19 |  1329954 |   564682 |  2450209      0 |    18645 |     3310
1719.94/1720.33	c 1696s |      19 |  1330413 |   565082 |  2450209      0 |    18645 |     3310
1722.26/1722.62	c 1698s |      19 |  1331151 |   565682 |  2450209      0 |    18645 |     3310
1724.65/1725.06	c 1700s |      19 |  1331829 |   566282 |  2450209      0 |    18645 |     3310
1726.84/1727.20	c 1703s |      19 |  1332251 |   566682 |  2450209      0 |    18645 |     3310
1728.95/1729.36	c 1705s |      19 |  1332829 |   567182 |  2450209      0 |    18645 |     3310
1731.34/1731.77	c 1707s |      19 |  1333417 |   567682 |  2450209      0 |    18645 |     3310
1733.64/1734.01	c 1709s |      19 |  1334013 |   568182 |  2450209      0 |    18645 |     3310
1735.84/1736.21	c 1712s |      19 |  1334550 |   568682 |  2450209      0 |    18645 |     3310
1738.14/1738.57	c 1714s |      19 |  1335180 |   569282 |  2450209      0 |    18645 |     3310
1740.45/1740.82	c 1716s |      19 |  1335305 |   569382 |  2450209      0 |    18646 |     3310
1742.64/1743.07	c 1718s |      19 |  1335731 |   569782 |  2450209      0 |    18646 |     3310
1747.04/1747.47	c 1723s |      19 |  1336145 |   570182 |  2450209      0 |    18646 |     3310
1752.44/1752.81	c 1728s |      19 |  1336700 |   570682 |  2450209      0 |    18648 |     3310
1754.63/1755.05	c 1730s |      19 |  1337013 |   570982 |  2450209      0 |    18648 |     3310
1756.73/1757.15	c 1732s |      19 |  1337322 |   571282 |  2450209      0 |    18648 |     3310
1759.13/1759.50	c 1735s |      19 |  1337849 |   571782 |  2450209      0 |    18648 |     3310
1761.24/1761.65	c 1737s |      19 |  1338369 |   572282 |  2450209      0 |    18648 |     3310
1763.44/1763.89	c 1739s |      19 |  1338789 |   572682 |  2450209      0 |    18648 |     3310
1765.74/1766.10	c 1741s |      19 |  1339204 |   573082 |  2450209      0 |    18648 |     3310
1768.04/1768.46	c 1744s |      19 |  1339729 |   573582 |  2450209      0 |    18648 |     3310
1770.14/1770.50	c 1746s |      19 |  1340361 |   574182 |  2450209      0 |    18648 |     3310
1774.14/1774.55	c 1750s |      19 |  1341027 |   574782 |  2450209      0 |    18649 |     3310
1776.54/1776.93	c 1752s |      19 |  1341533 |   575282 |  2450209      0 |    18649 |     3310
1780.33/1780.80	c 1756s |      19 |  1341977 |   575682 |  2450209      0 |    18650 |     3310
1782.74/1783.20	c 1759s |      19 |  1342379 |   576082 |  2450209      0 |    18650 |     3310
1787.25/1787.66	c 1763s |      19 |  1342793 |   576482 |  2450209      0 |    18650 |     3310
1789.64/1790.07	c 1765s |      19 |  1343457 |   577082 |  2450209      0 |    18650 |     3310
1793.04/1793.43	c 1769s |      19 |  1344088 |   577582 |  2450209      0 |    18651 |     3310
1795.13/1795.58	c 1771s |      19 |  1344834 |   578182 |  2450209      0 |    18651 |     3310
1797.43/1797.87	c 1773s |      19 |  1345487 |   578782 |  2450209      0 |    18651 |     3310

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

pid=29756
running on 8 cores: 4-7,12-15

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.05 2.06 2.05 3/261 29759
/proc/meminfo: memFree=30938476/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1134012 CPUtime=0 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 4301 0 0 0 0 0 0 0 20 0 4 0 104144076 1161228288 4663 33554432000 4194304 16246674 140735404062368 140735404061792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 284015 4671 441 2943 0 280909 0
[pid=29759/tid=29760] ppid=29756 vsize=1156540 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1184296960 4751 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1160636 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1188491264 4768 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1165756 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104144076 1193734144 4787 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.05 2.06 2.05 3/261 29759
/proc/meminfo: memFree=30938476/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1302084 CPUtime=0.08 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 29764 0 0 0 5 3 0 0 20 0 4 0 104144076 1333334016 30064 33554432000 4194304 16246674 140735404062368 140735404061680 7889646 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 325521 30078 800 2943 0 322415 0
[pid=29759/tid=29760] ppid=29756 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1333334016 30089 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1333334016 30104 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1333334016 30115 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.20054 s]
/proc/loadavg: 2.05 2.06 2.05 3/261 29759
/proc/meminfo: memFree=30938476/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1313348 CPUtime=0.19 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 44636 0 0 0 13 6 0 0 20 0 4 0 104144076 1344868352 45446 33554432000 4194304 16246674 140735404062368 140735404061680 8055525 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 328337 45446 800 2943 0 325231 0
[pid=29759/tid=29760] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 45446 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 45446 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 45446 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300498 s]
/proc/loadavg: 2.05 2.06 2.05 3/261 29759
/proc/meminfo: memFree=30938476/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1313348 CPUtime=0.28 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 51341 0 0 0 22 6 0 0 20 0 4 0 104144076 1344868352 52151 33554432000 4194304 16246674 140735404062368 140735404061680 7440126 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 328337 52151 800 2943 0 325231 0
[pid=29759/tid=29760] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 52151 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 52151 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 52151 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700423 s]
/proc/loadavg: 2.05 2.06 2.05 3/261 29759
/proc/meminfo: memFree=30938476/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1313348 CPUtime=0.69 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 63657 0 0 0 61 8 0 0 20 0 4 0 104144076 1344868352 64468 33554432000 4194304 16246674 140735404062368 140735404061680 7378241 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 328337 64489 801 2943 0 325231 0
[pid=29759/tid=29760] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 64501 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 64512 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 64523 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.05 2.06 2.05 3/265 29763
/proc/meminfo: memFree=30663260/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1313348 CPUtime=1.49 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 80577 0 0 0 138 11 0 0 20 0 4 0 104144076 1344868352 81387 33554432000 4194304 16246674 140735404062368 140735404061464 8058197 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 328337 81407 801 2943 0 325231 0
[pid=29759/tid=29760] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 81419 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 81431 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1313348 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1344868352 81442 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.05 2.06 2.05 3/265 29763
/proc/meminfo: memFree=30481276/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1337924 CPUtime=3.09 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 114971 0 0 0 293 16 0 0 20 0 4 0 104144076 1370034176 121402 33554432000 4194304 16246674 140735404062368 140735404045360 4221108 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 334481 121402 802 2943 0 331375 0
[pid=29759/tid=29760] ppid=29756 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1370034176 121402 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1370034176 121402 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1337924 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1370034176 121402 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.3004 s]
/proc/loadavg: 2.21 2.10 2.06 3/265 29763
/proc/meminfo: memFree=30065400/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1641028 CPUtime=6.29 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 332266 0 0 0 584 45 0 0 20 0 4 0 104144076 1680412672 348406 33554432000 4194304 16246674 140735404062368 140735404061032 4225154 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 410257 348412 810 2943 0 407151 0
[pid=29759/tid=29760] ppid=29756 vsize=1641028 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1680412672 348416 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1641028 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1680412672 348420 33554432000 4194304 16246674 140735404062368 140302411078672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1641028 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1680412672 348424 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1641028

[startup+12.7004 s]
/proc/loadavg: 2.19 2.09 2.06 3/265 29763
/proc/meminfo: memFree=29270056/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=1903172 CPUtime=12.69 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 398030 0 0 0 1215 54 0 0 20 0 4 0 104144076 1948848128 417236 33554432000 4194304 16246674 140735404062368 140735404061464 6770321 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 475793 417236 848 2943 0 472687 0
[pid=29759/tid=29760] ppid=29756 vsize=1903172 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 1948848128 417236 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=1903172 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 1948848128 417236 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=1903172 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 1948848128 417236 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1903172

[startup+25.5005 s]
/proc/loadavg: 2.15 2.09 2.05 3/265 29763
/proc/meminfo: memFree=27901176/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=3270212 CPUtime=25.49 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 739844 0 0 0 2443 106 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140735404061544 5813189 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 817553 759050 900 2943 0 814447 0
[pid=29759/tid=29760] ppid=29756 vsize=3270212 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=3270212 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=3270212 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3270212

[startup+51.1005 s]
/proc/loadavg: 2.10 2.08 2.05 3/265 29763
/proc/meminfo: memFree=27900036/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=3270212 CPUtime=51.08 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 739844 0 0 0 4996 112 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140735404061544 5842427 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 817553 759050 900 2943 0 814447 0
[pid=29759/tid=29760] ppid=29756 vsize=3270212 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=3270212 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=3270212 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 3348697088 759050 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3270212

[startup+102.301 s]
/proc/loadavg: 2.16 2.10 2.06 3/265 29764
/proc/meminfo: memFree=26354132/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=4812356 CPUtime=102.28 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1125383 0 0 0 10056 172 0 0 20 0 4 0 104144076 4927852544 1144589 33554432000 4194304 16246674 140735404062368 140735404061544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1203089 1144589 903 2943 0 1199983 0
[pid=29759/tid=29760] ppid=29756 vsize=4812356 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 4927852544 1144589 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=4812356 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 4927852544 1144589 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=4812356 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 4927852544 1144589 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4812356


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

/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6218649600 1459735 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6072900 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6218649600 1459735 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6072900 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6218649600 1459735 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 6072900

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/265 29796
/proc/meminfo: memFree=25054776/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6092356 CPUtime=1362.01 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1445504 0 0 0 135468 733 0 0 20 0 4 0 104144076 6238572544 1464599 33554432000 4194304 16246674 140735404062368 140735404061544 15015658 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1523089 1464599 906 2943 0 1519983 0
[pid=29759/tid=29760] ppid=29756 vsize=6092356 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6238572544 1464599 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6092356 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6238572544 1464599 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6092356 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6238572544 1464599 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 6092356

[startup+1422.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/265 29797
/proc/meminfo: memFree=25042252/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6105668 CPUtime=1422.01 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1448835 0 0 0 141445 756 0 0 20 0 4 0 104144076 6252204032 1467927 33554432000 4194304 16246674 140735404062368 140735404061544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1526417 1467927 906 2943 0 1523311 0
[pid=29759/tid=29760] ppid=29756 vsize=6105668 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6252204032 1467927 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6105668 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6252204032 1467927 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6105668 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6252204032 1467927 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 6105668

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/265 29799
/proc/meminfo: memFree=25011724/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6135364 CPUtime=1481.99 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1456259 0 0 0 147422 777 0 0 20 0 4 0 104144076 6282612736 1475351 33554432000 4194304 16246674 140735404062368 140735404061544 15015658 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1533841 1475351 906 2943 0 1530735 0
[pid=29759/tid=29760] ppid=29756 vsize=6135364 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6282612736 1475351 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6135364 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6282612736 1475351 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6135364 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6282612736 1475351 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 6135364

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/265 29800
/proc/meminfo: memFree=24995632/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6151748 CPUtime=1541.99 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1460358 0 0 0 153395 804 0 0 20 0 4 0 104144076 6299389952 1479447 33554432000 4194304 16246674 140735404062368 140735404061544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1537937 1479447 906 2943 0 1534831 0
[pid=29759/tid=29760] ppid=29756 vsize=6151748 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6299389952 1479447 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6151748 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6299389952 1479447 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6151748 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6299389952 1479447 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 6151748

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/266 29804
/proc/meminfo: memFree=24967940/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6179396 CPUtime=1601.97 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1467272 0 0 0 159368 829 0 0 20 0 4 0 104144076 6327701504 1486359 33554432000 4194304 16246674 140735404062368 140735404061544 5822604 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1544849 1486359 906 2943 0 1541743 0
[pid=29759/tid=29760] ppid=29756 vsize=6179396 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6327701504 1486359 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6179396 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6327701504 1486359 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6179396 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6327701504 1486359 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 6179396

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/265 29805
/proc/meminfo: memFree=24958044/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6188612 CPUtime=1661.95 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1469581 0 0 0 165344 851 0 0 20 0 4 0 104144076 6337138688 1488663 33554432000 4194304 16246674 140735404062368 140735404061544 15015658 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1547153 1488663 906 2943 0 1544047 0
[pid=29759/tid=29760] ppid=29756 vsize=6188612 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6337138688 1488663 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6188612 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6337138688 1488663 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6188612 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6337138688 1488663 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 6188612

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/265 29806
/proc/meminfo: memFree=24938220/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6209092 CPUtime=1721.95 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1474706 0 0 0 171319 876 0 0 20 0 4 0 104144076 6358110208 1493783 33554432000 4194304 16246674 140735404062368 140735404061544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1552273 1493783 906 2943 0 1549167 0
[pid=29759/tid=29760] ppid=29756 vsize=6209092 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6358110208 1493783 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6209092 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6358110208 1493783 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6209092 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6358110208 1493783 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 6209092

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/265 29857
/proc/meminfo: memFree=24867628/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6218308 CPUtime=1781.93 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1477011 0 0 0 177286 907 0 0 20 0 4 0 104144076 6367547392 1496087 33554432000 4194304 16246674 140735404062368 140735404061544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1554577 1496087 906 2943 0 1551471 0
[pid=29759/tid=29760] ppid=29756 vsize=6218308 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6367547392 1496087 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6218308 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6367547392 1496087 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6218308 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6367547392 1496087 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 6218308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/265 29906
/proc/meminfo: memFree=24910404/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=6230596 CPUtime=1800.03 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) R 29756 29759 25889 0 -1 4202496 1480084 0 0 0 179087 916 0 0 20 0 4 0 104144076 6380130304 1499159 33554432000 4194304 16246674 140735404062368 140735404061464 5822484 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 1557649 1499159 906 2943 0 1554543 0
[pid=29759/tid=29760] ppid=29756 vsize=6230596 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29760/stat : 29760 (toysat) S 29756 29759 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104144076 6380130304 1499159 33554432000 4194304 16246674 140735404062368 140302421568752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=6230596 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) S 29756 29759 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104144076 6380130304 1499159 33554432000 4194304 16246674 140735404062368 140302411078896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29759/tid=29762] ppid=29756 vsize=6230596 CPUtime=0 cores=4-7,12-15
/proc/29759/task/29762/stat : 29762 (toysat) S 29756 29759 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104144076 6380130304 1499159 33554432000 4194304 16246674 140735404062368 140302400605360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6230596

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

[startup+1800.6 s]
/proc/loadavg: 2.07 2.03 2.00 3/265 29906
/proc/meminfo: memFree=24910404/32872528 swapFree=9196/9196
[pid=29759] ppid=29756 vsize=0 CPUtime=1800.23 cores=4-7,12-15
/proc/29759/stat : 29759 (toysat) Z 29756 29759 25889 0 -1 4203532 1480084 0 0 0 179088 935 0 0 20 0 2 0 104144076 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29759/statm: 0 0 0 0 0 0 0
[pid=29759/tid=29761] ppid=29756 vsize=0 CPUtime=0.18 cores=4-7,12-15
/proc/29759/task/29761/stat : 29761 (toysat) R 29756 29759 25889 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 104144076 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.27
CPU user time (s): 1790.88
CPU system time (s): 9.39057
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 6230596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.88
system time used= 9.39057
maximum resident set size= 5996636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1480084
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= 272
involuntary context switches= 1827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35488 second user time and 10.1645 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 16:23:41
IDJOB=4079474
IDBENCH=1845
IDSOLVER=2542
FILE ID=node132/4079474-1465223019
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079474-1465223019/watcher-4079474-1465223019 -o /tmp/evaluation-result-4079474-1465223019/solver-4079474-1465223019 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079474-1465223019.opb

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

MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901
RANDOM SEED=883747448

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30938500 kB
Buffers:           14984 kB
Cached:           119256 kB
SwapCached:         3228 kB
Active:          1172028 kB
Inactive:          38400 kB
Active(anon):    1075644 kB
Inactive(anon):     3236 kB
Active(file):      96384 kB
Inactive(file):    35164 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094524 kB
Dirty:             52232 kB
Writeback:             0 kB
AnonPages:       1083388 kB
Mapped:            10584 kB
Shmem:                 0 kB
Slab:             574688 kB
SReclaimable:      14720 kB
SUnreclaim:       559968 kB
KernelStack:        2192 kB
PageTables:         6312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1228768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71680 MiB
End job on node132 at 2016-06-06 16:53:41