Trace number 4078588

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.15 1800.49

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
MD5SUM3fa3d77c564aea49e42df3fe632e1a1c
Bench CategoryDEC-MEDINT (no optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark36.3785
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables77
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint77
Maximum length of a constraint77
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33367336
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 458257453
Number of bits of the biggest sum of numbers29
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-06T20:54:48+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-4078588-1465239288.opb"]
0.00/0.01	c use --random-gen="479232312 1992785343 15923438 2310342942 2211259668 3370137256 721998967 1128607611 863500153 2232003017 3059813594 1200831030 87296654 4230868511 2044038834 590498102 1704545136 3385857143 2337005806 195114821 4177140879 2263902826 811080361 1167214539 1027660393 3459734238 2874745101 1104615941 644118224 165948452 1421387448 2709188029 3905755501 1974359172 47018068 863775855 3159015041 2198369086 3461099065 2755025066 2335267908 3033418611 1646880951 3707303359 929597303 389249002 1996776485 4242105630 638703755 4230704293 3930097839 2296894112 2489756877 2471885397 3699894025 4168327249 1934667347 1192126477 3414640838 10442987 838085857 2720786632 2223104775 402017236 2610684256 3164228076 2342634624 4121675376 1058651367 640313599 1715902500 2196864079 4064655345 3185341411 747536654 3710600582 2942132326 3370336984 534484978 1234344793 1843468055 2524655130 3986983956 598992648 4159698846 2238955235 4110306504 3147803059 3890276948 2889310622 3627410373 1503311616 1597015220 2681966180 3185407600 1329838160 286813561 3071762893 3137402450 1262813685 3983456438 1349415231 3072114928 3678766425 2318562317 65732908 4075010424 1306545243 1823113577 368224040 3504630024 2345167081 3651779279 1680783208 3251323935 2540311085 1416105325 3895899041 1927647732 1760247717 4056701098 3144513035 3713718171 2062510593 2804659818 180778330 1477783738 1036009130 4221171237 1445438610 200870577 2350398131 987056497 3090924023 1406438701 2871792102 2783667751 2965589 2252034002 1727945475 795032362 2022573327 3596255677 1124536906 974206317 2368084719 3172004011 1801688562 869144365 3789378180 2827571128 2172421097 4217787494 3842938944 826545754 909094605 2727421918 2936619883 3739627361 896381101 1138459304 1348574370 2712911772 3083776681 470610230 4216325083 466623131 4173123053 3329311411 1686415622 608864862 2968398385 3019288797 3326613247 3183066163 1472518693 263682886 3079855911 1809404904 1892825645 2964697903 386622266 2780068555 2218832294 1587565090 2860045757 497119441 4009567545 555311604 3365972870 3246549412 786213204 2239417816 1512029404 1008807765 2016211077 1938651966 666387522 3986922806 4146004922 537227325 3715497981 1764005685 1284691586 2816620016 780887927 894915618 1589051770 3163789307 4157916447 1347893878 2605874860 797202214 257139766 1942657036 223499838 1465569829 420708589 3687571445 376574448 3735175794 983250738 1951853421 2264189463 225063692 3633444878 2121280913 411468267 4291391873 2967505066 813461578 2660874428 1266685633 3263368808 1537754584 1051542790 1969472838 1812100169 3098940451 4140032815 1698819507 2673005501 618817948 2769896016 4272499727 147805093 2885654018 3901051519 2647141969 666964909 3029909414 1008528335 1443424851 2760864445 2107481198 149720058 255 362436" option to reproduce the execution
0.00/0.01	c #vars 77
0.00/0.01	c #constraints 2
403.43/403.59	c Solving starts ...
403.43/403.59	c ============================[ Search Statistics ]============================
403.43/403.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
403.43/403.59	c       |         |          |          |    Limit     GC | Var      | Constra 
403.43/403.59	c =============================================================================
403.43/403.59	c  0.0s |       0 |        0 |        0 |       26      0 |        0 |        0
403.53/403.60	c  0.0s |       1 |      112 |      100 |       26      1 |        0 |        0
403.53/403.62	c  0.0s |       2 |      274 |      250 |       29      5 |        0 |        0
403.53/403.64	c  0.1s |       3 |      505 |      475 |       32     10 |        0 |        0
403.53/403.68	c  0.1s |       4 |      850 |      813 |       36     17 |        0 |        0
403.64/403.74	c  0.2s |       5 |     1362 |     1320 |       40     28 |        0 |        0
403.74/403.83	c  0.2s |       6 |     2134 |     2081 |       49     43 |        0 |        0
404.03/404.10	c  0.5s |       7 |     3288 |     3223 |       54     64 |        0 |        0
404.23/404.30	c  0.7s |       8 |     5007 |     4936 |       60     94 |        0 |        0
404.53/404.61	c  1.0s |       9 |     7587 |     7506 |       66    138 |        0 |        0
404.93/405.07	c  1.5s |      10 |    11451 |    11361 |       73    200 |        0 |        0
405.62/405.73	c  2.1s |      11 |    17244 |    17144 |       81    290 |        0 |        0
406.62/406.74	c  3.2s |      12 |    25929 |    25819 |       90    418 |        0 |        0
408.13/408.24	c  4.7s |      13 |    38952 |    38832 |      100    600 |        0 |        0
410.12/410.25	c  6.7s |      13 |    56269 |    56132 |      100    826 |        0 |        0
410.42/410.50	c  6.9s |      14 |    58493 |    58352 |      111    855 |        0 |        0
412.43/412.51	c  8.9s |      14 |    75903 |    75752 |      111   1067 |        0 |        0
413.72/413.82	c 10.2s |      15 |    87796 |    87632 |      123   1218 |        0 |        0
415.73/415.82	c 12.2s |      15 |   103168 |   102932 |      123   1392 |        0 |        0
417.72/417.83	c 14.2s |      15 |   116781 |   116532 |      123   1543 |        0 |        0
419.72/419.84	c 16.3s |      15 |   130384 |   130132 |      123   1696 |        0 |        0
419.92/420.06	c 16.5s |      16 |   131800 |   131552 |      136   1711 |        0 |        0
421.92/422.07	c 18.5s |      16 |   145907 |   145552 |      136   1856 |        0 |        0
423.92/424.07	c 20.5s |      16 |   159630 |   159252 |      136   1998 |        0 |        0
425.92/426.08	c 22.5s |      16 |   173153 |   172752 |      136   2139 |        0 |        0
427.93/428.08	c 24.5s |      16 |   186591 |   186152 |      136   2279 |        0 |        0
429.61/429.75	c 26.2s |      17 |   197896 |   197432 |      150   2396 |        0 |        0
431.61/431.75	c 28.2s |      17 |   211056 |   210532 |      150   2523 |        0 |        0
433.61/433.75	c 30.2s |      17 |   224659 |   224132 |      150   2656 |        0 |        0
435.62/435.77	c 32.2s |      17 |   238163 |   237632 |      150   2787 |        0 |        0
437.61/437.77	c 34.2s |      17 |   251571 |   251032 |      150   2919 |        0 |        0
439.61/439.78	c 36.2s |      17 |   264677 |   264132 |      150   3050 |        0 |        0
441.61/441.78	c 38.2s |      17 |   278696 |   278132 |      150   3187 |        0 |        0
443.61/443.79	c 40.2s |      17 |   292607 |   292032 |      150   3324 |        0 |        0
444.32/444.41	c 40.8s |      18 |   296826 |   296252 |      165   3364 |        0 |        0
446.31/446.41	c 42.8s |      18 |   310180 |   309552 |      165   3483 |        0 |        0
448.31/448.42	c 44.8s |      18 |   323286 |   322652 |      165   3601 |        0 |        0
450.31/450.43	c 46.8s |      18 |   336494 |   335852 |      165   3721 |        0 |        0
452.32/452.44	c 48.9s |      18 |   349496 |   348852 |      165   3839 |        0 |        0
454.33/454.45	c 50.9s |      18 |   362507 |   361852 |      165   3957 |        0 |        0
456.32/456.46	c 52.9s |      18 |   375424 |   374752 |      165   4074 |        0 |        0
458.32/458.47	c 54.9s |      18 |   388323 |   387652 |      165   4191 |        0 |        0
460.32/460.48	c 56.9s |      18 |   401131 |   400452 |      165   4308 |        0 |        0
462.32/462.48	c 58.9s |      18 |   414250 |   413552 |      165   4426 |        0 |        0
464.32/464.49	c 60.9s |      18 |   427253 |   426552 |      165   4545 |        0 |        0
466.32/466.49	c 62.9s |      18 |   440258 |   439552 |      165   4665 |        0 |        0
467.11/467.27	c 63.7s |      19 |   445195 |   444482 |      182   4708 |        0 |        0
469.11/469.29	c 65.7s |      19 |   459048 |   458282 |      182   4823 |        0 |        0
471.21/471.30	c 67.7s |      19 |   472565 |   471782 |      182   4937 |        0 |        0
473.21/473.30	c 69.7s |      19 |   486473 |   485682 |      182   5053 |        0 |        0
475.22/475.31	c 71.7s |      19 |   500173 |   499382 |      182   5169 |        0 |        0
477.21/477.32	c 73.7s |      19 |   513201 |   512382 |      182   5279 |        0 |        0
479.20/479.33	c 75.7s |      19 |   526302 |   525482 |      182   5391 |        0 |        0
481.20/481.33	c 77.7s |      19 |   538843 |   537982 |      182   5499 |        0 |        0
483.20/483.34	c 79.8s |      19 |   551592 |   550682 |      182   5608 |        0 |        0
485.20/485.35	c 81.8s |      19 |   564209 |   563282 |      182   5717 |        0 |        0
487.22/487.36	c 83.8s |      19 |   576932 |   575982 |      182   5827 |        0 |        0
489.20/489.37	c 85.8s |      19 |   589549 |   588582 |      182   5936 |        0 |        0
491.20/491.37	c 87.8s |      19 |   603046 |   602082 |      182   6049 |        0 |        0
493.20/493.37	c 89.8s |      19 |   616577 |   615582 |      182   6163 |        0 |        0
495.20/495.38	c 91.8s |      19 |   629962 |   628882 |      182   6276 |        0 |        0
497.21/497.39	c 93.8s |      19 |   643057 |   641882 |      182   6388 |        0 |        0
499.20/499.40	c 95.8s |      19 |   656059 |   654782 |      182   6501 |        0 |        0
501.10/501.29	c 97.7s |      20 |   668143 |   666827 |      201   6600 |        0 |        0
503.21/503.30	c 99.7s |      20 |   681399 |   679927 |      201   6702 |        0 |        0
505.20/505.31	c  101s |      20 |   694430 |   692927 |      201   6803 |        0 |        0
507.21/507.32	c  103s |      20 |   707943 |   706427 |      201   6908 |        0 |        0
509.21/509.32	c  105s |      20 |   720691 |   719127 |      201   7008 |        0 |        0
511.20/511.33	c  107s |      20 |   733448 |   731827 |      201   7109 |        0 |        0
513.20/513.34	c  109s |      20 |   745908 |   744227 |      201   7208 |        0 |        0
515.20/515.34	c  111s |      20 |   758920 |   757227 |      201   7309 |        0 |        0
517.21/517.36	c  113s |      20 |   771632 |   769927 |      201   7409 |        0 |        0
519.21/519.36	c  115s |      20 |   784569 |   782827 |      201   7511 |        0 |        0
521.20/521.37	c  117s |      20 |   797289 |   795527 |      201   7612 |        0 |        0
523.20/523.38	c  119s |      20 |   810007 |   808227 |      201   7712 |        0 |        0
525.20/525.38	c  121s |      20 |   823209 |   821427 |      201   7815 |        0 |        0
527.30/527.40	c  123s |      20 |   835944 |   834127 |      201   7915 |        0 |        0
529.30/529.40	c  125s |      20 |   848805 |   846927 |      201   8016 |        0 |        0
531.31/531.41	c  127s |      20 |   861543 |   859627 |      201   8116 |        0 |        0
533.29/533.42	c  129s |      20 |   874299 |   872327 |      201   8216 |        0 |        0
535.30/535.42	c  131s |      20 |   886855 |   884827 |      201   8315 |        0 |        0
537.30/537.43	c  133s |      20 |   899381 |   897327 |      201   8414 |        0 |        0
539.30/539.44	c  135s |      20 |   912233 |   910127 |      201   8515 |        0 |        0
541.30/541.46	c  137s |      20 |   925073 |   922927 |      201   8616 |        0 |        0
543.31/543.47	c  139s |      20 |   937396 |   935227 |      201   8714 |        0 |        0
545.30/545.47	c  141s |      20 |   950004 |   947827 |      201   8813 |        0 |        0
547.29/547.48	c  143s |      20 |   963306 |   961127 |      201   8917 |        0 |        0
549.29/549.48	c  145s |      20 |   977406 |   975227 |      201   9027 |        0 |        0
551.30/551.49	c  147s |      20 |   990436 |   988227 |      201   9129 |        0 |        0
553.30/553.42	c  149s |      21 |  1002596 |  1000345 |      222   9220 |        0 |        0
555.29/555.43	c  151s |      21 |  1015981 |  1013545 |      222   9315 |        0 |        0
557.29/557.43	c  153s |      21 |  1029009 |  1026545 |      222   9408 |        0 |        0
559.29/559.44	c  155s |      21 |  1042032 |  1039545 |      222   9502 |        0 |        0
561.29/561.44	c  157s |      21 |  1055132 |  1052645 |      222   9596 |        0 |        0
563.29/563.45	c  159s |      21 |  1068037 |  1065545 |      222   9688 |        0 |        0
565.30/565.45	c  161s |      21 |  1080850 |  1078345 |      222   9782 |        0 |        0
567.30/567.46	c  163s |      21 |  1093854 |  1091345 |      222   9876 |        0 |        0
569.29/569.47	c  165s |      21 |  1107007 |  1104445 |      222   9971 |        0 |        0
571.29/571.48	c  167s |      21 |  1119721 |  1117145 |      222  10064 |        0 |        0
573.29/573.48	c  169s |      21 |  1132336 |  1129745 |      222  10157 |        0 |        0
575.30/575.49	c  171s |      21 |  1145344 |  1142745 |      222  10251 |        0 |        0
577.29/577.50	c  173s |      21 |  1157946 |  1155345 |      222  10343 |        0 |        0
579.39/579.51	c  175s |      21 |  1170547 |  1167945 |      222  10435 |        0 |        0
581.39/581.51	c  177s |      21 |  1183349 |  1180745 |      222  10528 |        0 |        0
583.39/583.52	c  179s |      21 |  1196055 |  1193445 |      222  10621 |        0 |        0
585.39/585.52	c  181s |      21 |  1208662 |  1206045 |      222  10714 |        0 |        0
587.40/587.54	c  183s |      21 |  1221485 |  1218845 |      222  10807 |        0 |        0
589.39/589.55	c  185s |      21 |  1234286 |  1231645 |      222  10900 |        0 |        0
591.39/591.56	c  187s |      21 |  1247092 |  1244445 |      222  10994 |        0 |        0
593.39/593.57	c  189s |      21 |  1259197 |  1256545 |      222  11083 |        0 |        0
595.39/595.57	c  191s |      21 |  1271410 |  1268745 |      222  11172 |        0 |        0
597.39/597.58	c  193s |      21 |  1282606 |  1279945 |      222  11253 |        0 |        0
599.40/599.58	c  195s |      21 |  1294011 |  1291345 |      222  11336 |        0 |        0
601.39/601.59	c  198s |      21 |  1305810 |  1303145 |      222  11422 |        0 |        0
603.39/603.60	c  200s |      21 |  1317514 |  1314845 |      222  11507 |        0 |        0
605.48/605.61	c  202s |      21 |  1329918 |  1327245 |      222  11598 |        0 |        0
607.48/607.62	c  204s |      21 |  1342320 |  1339645 |      222  11689 |        0 |        0
609.49/609.63	c  206s |      21 |  1354430 |  1351745 |      222  11778 |        0 |        0
611.49/611.63	c  208s |      21 |  1365830 |  1363145 |      222  11862 |        0 |        0
613.48/613.64	c  210s |      21 |  1377537 |  1374845 |      222  11947 |        0 |        0
615.48/615.64	c  212s |      21 |  1389434 |  1386745 |      222  12033 |        0 |        0
617.49/617.64	c  214s |      21 |  1401237 |  1398545 |      222  12119 |        0 |        0
619.48/619.65	c  216s |      21 |  1412835 |  1410145 |      222  12203 |        0 |        0
621.49/621.66	c  218s |      21 |  1424256 |  1421545 |      222  12286 |        0 |        0
623.48/623.68	c  220s |      21 |  1435362 |  1432645 |      222  12367 |        0 |        0
625.48/625.69	c  222s |      21 |  1446962 |  1444245 |      222  12452 |        0 |        0
627.58/627.70	c  224s |      21 |  1458769 |  1456045 |      222  12539 |        0 |        0
629.58/629.71	c  226s |      21 |  1470665 |  1467945 |      222  12627 |        0 |        0
631.58/631.72	c  228s |      21 |  1482071 |  1479345 |      222  12710 |        0 |        0
633.59/633.73	c  230s |      21 |  1493367 |  1490645 |      245  12793 |        0 |        0
635.39/635.56	c  231s |      22 |  1503348 |  1500622 |      245  12862 |        0 |        0
637.39/637.57	c  233s |      22 |  1514798 |  1512022 |      245  12938 |        0 |        0
639.38/639.58	c  235s |      22 |  1526806 |  1524022 |      245  13018 |        0 |        0
641.38/641.59	c  238s |      22 |  1539711 |  1536922 |      245  13105 |        0 |        0
643.39/643.60	c  240s |      22 |  1552415 |  1549622 |      245  13190 |        0 |        0
645.48/645.61	c  242s |      22 |  1564918 |  1562122 |      245  13274 |        0 |        0
647.48/647.61	c  244s |      22 |  1577324 |  1574522 |      245  13358 |        0 |        0
649.48/649.62	c  246s |      22 |  1589722 |  1586922 |      245  13442 |        0 |        0
651.48/651.63	c  248s |      22 |  1602634 |  1599822 |      245  13528 |        0 |        0
653.48/653.64	c  250s |      22 |  1615534 |  1612722 |      245  13614 |        0 |        0
655.49/655.65	c  252s |      22 |  1628238 |  1625422 |      245  13700 |        0 |        0
657.48/657.67	c  254s |      22 |  1641137 |  1638322 |      245  13786 |        0 |        0
659.48/659.67	c  256s |      22 |  1654038 |  1651222 |      245  13873 |        0 |        0
661.47/661.68	c  258s |      22 |  1666745 |  1663922 |      245  13960 |        0 |        0
663.47/663.69	c  260s |      22 |  1679054 |  1676222 |      245  14043 |        0 |        0
665.58/665.70	c  262s |      22 |  1691665 |  1688822 |      245  14127 |        0 |        0
667.59/667.71	c  264s |      22 |  1703769 |  1700922 |      245  14209 |        0 |        0
669.58/669.72	c  266s |      22 |  1715874 |  1713022 |      245  14292 |        0 |        0
671.58/671.73	c  268s |      22 |  1728179 |  1725322 |      245  14377 |        0 |        0
673.57/673.74	c  270s |      22 |  1740381 |  1737522 |      245  14460 |        0 |        0
675.57/675.74	c  272s |      22 |  1752779 |  1749922 |      245  14543 |        0 |        0
677.58/677.75	c  274s |      22 |  1765081 |  1762222 |      245  14627 |        0 |        0
679.57/679.76	c  276s |      22 |  1777284 |  1774422 |      245  14710 |        0 |        0
681.57/681.77	c  278s |      22 |  1789189 |  1786322 |      245  14791 |        0 |        0
683.57/683.77	c  280s |      22 |  1801193 |  1798322 |      245  14873 |        0 |        0
685.58/685.78	c  282s |      22 |  1813001 |  1810122 |      245  14954 |        0 |        0
687.57/687.79	c  284s |      22 |  1825305 |  1822422 |      245  15037 |        0 |        0
689.59/689.80	c  286s |      22 |  1837411 |  1834522 |      245  15120 |        0 |        0
691.67/691.82	c  288s |      22 |  1849613 |  1846722 |      245  15203 |        0 |        0
693.67/693.82	c  290s |      22 |  1861812 |  1858922 |      245  15286 |        0 |        0
695.67/695.83	c  292s |      22 |  1873816 |  1870922 |      245  15368 |        0 |        0
697.67/697.84	c  294s |      22 |  1886019 |  1883122 |      245  15452 |        0 |        0
699.67/699.84	c  296s |      22 |  1898019 |  1895122 |      245  15534 |        0 |        0
701.68/701.85	c  298s |      22 |  1910120 |  1907222 |      245  15617 |        0 |        0
703.67/703.86	c  300s |      22 |  1922421 |  1919522 |      245  15701 |        0 |        0
705.67/705.87	c  302s |      22 |  1934727 |  1931822 |      245  15785 |        0 |        0
707.67/707.88	c  304s |      22 |  1946830 |  1943922 |      245  15868 |        0 |        0
709.67/709.88	c  306s |      22 |  1959032 |  1956122 |      245  15952 |        0 |        0
711.68/711.89	c  308s |      22 |  1971134 |  1968222 |      245  16034 |        0 |        0
713.67/713.89	c  310s |      22 |  1983237 |  1980322 |      245  16117 |        0 |        0
715.77/715.90	c  312s |      22 |  1995235 |  1992322 |      245  16200 |        0 |        0
717.77/717.92	c  314s |      22 |  2007341 |  2004422 |      245  16284 |        0 |        0
719.77/719.93	c  316s |      22 |  2019342 |  2016422 |      245  16367 |        0 |        0
721.77/721.93	c  318s |      22 |  2031446 |  2028522 |      245  16451 |        0 |        0
723.78/723.93	c  320s |      22 |  2042347 |  2039422 |      245  16525 |        0 |        0
725.77/725.94	c  322s |      22 |  2054553 |  2051622 |      245  16607 |        0 |        0
727.76/727.95	c  324s |      22 |  2066954 |  2064022 |      245  16691 |        0 |        0
729.76/729.96	c  326s |      22 |  2079262 |  2076322 |      245  16774 |        0 |        0
731.76/731.97	c  328s |      22 |  2091462 |  2088522 |      245  16856 |        0 |        0
733.76/733.98	c  330s |      22 |  2103864 |  2100922 |      245  16940 |        0 |        0
735.77/735.99	c  332s |      22 |  2116167 |  2113222 |      245  17023 |        0 |        0
737.76/737.99	c  334s |      22 |  2128679 |  2125722 |      245  17108 |        0 |        0
739.87/740.00	c  336s |      22 |  2141480 |  2138522 |      245  17194 |        0 |        0
741.86/742.00	c  338s |      22 |  2154183 |  2151222 |      245  17279 |        0 |        0
743.87/744.01	c  340s |      22 |  2166883 |  2163922 |      245  17365 |        0 |        0
745.86/746.02	c  342s |      22 |  2179589 |  2176622 |      245  17451 |        0 |        0
747.87/748.03	c  344s |      22 |  2192301 |  2189322 |      245  17537 |        0 |        0
749.87/750.04	c  346s |      22 |  2205002 |  2202022 |      245  17623 |        0 |        0
751.86/752.06	c  348s |      22 |  2217604 |  2214622 |      245  17708 |        0 |        0
753.86/754.06	c  350s |      22 |  2230207 |  2227222 |      245  17794 |        0 |        0
755.86/756.07	c  352s |      22 |  2242909 |  2239922 |      270  17877 |        0 |        0
757.67/757.82	c  354s |      23 |  2254029 |  2251038 |      270  17946 |        0 |        0
759.67/759.83	c  356s |      23 |  2266586 |  2263538 |      270  18023 |        0 |        0
761.67/761.83	c  358s |      23 |  2278987 |  2275938 |      270  18099 |        0 |        0
763.66/763.85	c  360s |      23 |  2291401 |  2288338 |      270  18176 |        0 |        0
765.66/765.85	c  362s |      23 |  2303508 |  2300438 |      270  18251 |        0 |        0
767.67/767.85	c  364s |      23 |  2315708 |  2312638 |      270  18326 |        0 |        0
769.66/769.86	c  366s |      23 |  2327812 |  2324738 |      270  18401 |        0 |        0
771.66/771.87	c  368s |      23 |  2339813 |  2336738 |      270  18477 |        0 |        0
773.66/773.87	c  370s |      23 |  2352023 |  2348938 |      270  18552 |        0 |        0
775.66/775.87	c  372s |      23 |  2364029 |  2360938 |      270  18628 |        0 |        0
777.67/777.88	c  374s |      23 |  2377130 |  2374038 |      270  18708 |        0 |        0
779.66/779.88	c  376s |      23 |  2389634 |  2386538 |      270  18785 |        0 |        0
781.66/781.88	c  378s |      23 |  2401834 |  2398738 |      270  18860 |        0 |        0
783.66/783.88	c  380s |      23 |  2414036 |  2410938 |      270  18935 |        0 |        0
785.66/785.89	c  382s |      23 |  2426535 |  2423438 |      270  19012 |        0 |        0
787.66/787.90	c  384s |      23 |  2438840 |  2435738 |      270  19088 |        0 |        0
789.66/789.91	c  386s |      23 |  2451039 |  2447938 |      270  19164 |        0 |        0
791.76/791.91	c  388s |      23 |  2462945 |  2459838 |      270  19237 |        0 |        0
793.76/793.91	c  390s |      23 |  2474855 |  2471738 |      270  19311 |        0 |        0
795.76/795.91	c  392s |      23 |  2486762 |  2483638 |      270  19384 |        0 |        0
797.75/797.92	c  394s |      23 |  2498573 |  2495438 |      270  19458 |        0 |        0
799.76/799.93	c  396s |      23 |  2510471 |  2507338 |      270  19532 |        0 |        0
801.76/801.94	c  398s |      23 |  2522278 |  2519138 |      270  19605 |        0 |        0
803.76/803.96	c  400s |      23 |  2533979 |  2530838 |      270  19678 |        0 |        0
805.76/805.96	c  402s |      23 |  2545890 |  2542738 |      270  19752 |        0 |        0
807.75/807.96	c  404s |      23 |  2558290 |  2555138 |      270  19828 |        0 |        0
809.76/809.98	c  406s |      23 |  2570593 |  2567438 |      270  19904 |        0 |        0
811.77/811.98	c  408s |      23 |  2582698 |  2579538 |      270  19980 |        0 |        0
813.75/813.98	c  410s |      23 |  2594601 |  2591438 |      270  20054 |        0 |        0
815.75/815.99	c  412s |      23 |  2606304 |  2603138 |      270  20126 |        0 |        0
817.76/817.99	c  414s |      23 |  2618208 |  2615038 |      270  20200 |        0 |        0
819.85/820.00	c  416s |      23 |  2629915 |  2626738 |      270  20274 |        0 |        0
821.85/822.01	c  418s |      23 |  2641612 |  2638438 |      270  20346 |        0 |        0
823.87/824.02	c  420s |      23 |  2653313 |  2650138 |      270  20419 |        0 |        0
825.85/826.02	c  422s |      23 |  2664712 |  2661538 |      270  20490 |        0 |        0
827.85/828.03	c  424s |      23 |  2676616 |  2673438 |      270  20564 |        0 |        0
829.86/830.03	c  426s |      23 |  2688220 |  2685038 |      270  20637 |        0 |        0
831.85/832.05	c  428s |      23 |  2699623 |  2696438 |      270  20708 |        0 |        0
833.85/834.05	c  430s |      23 |  2711134 |  2707938 |      270  20780 |        0 |        0
835.87/836.05	c  432s |      23 |  2723343 |  2720138 |      270  20855 |        0 |        0
837.85/838.06	c  434s |      23 |  2735354 |  2732138 |      270  20929 |        0 |        0
839.85/840.06	c  436s |      23 |  2747368 |  2744138 |      270  21004 |        0 |        0
841.85/842.08	c  438s |      23 |  2759197 |  2755938 |      270  21078 |        0 |        0
843.95/844.10	c  440s |      23 |  2771301 |  2768038 |      270  21153 |        0 |        0
845.95/846.11	c  442s |      23 |  2783419 |  2780138 |      270  21228 |        0 |        0
847.96/848.11	c  444s |      23 |  2795223 |  2791938 |      270  21301 |        0 |        0
849.95/850.13	c  446s |      23 |  2807239 |  2803938 |      270  21376 |        0 |        0
851.95/852.14	c  448s |      23 |  2819757 |  2816438 |      270  21454 |        0 |        0
853.95/854.15	c  450s |      23 |  2832173 |  2828838 |      270  21531 |        0 |        0
855.95/856.16	c  452s |      23 |  2843579 |  2840238 |      270  21602 |        0 |        0
857.95/858.16	c  454s |      23 |  2854987 |  2851638 |      270  21673 |        0 |        0
859.95/860.16	c  456s |      23 |  2866910 |  2863538 |      270  21748 |        0 |        0
861.95/862.18	c  458s |      23 |  2879157 |  2875738 |      270  21824 |        0 |        0
863.94/864.18	c  460s |      23 |  2891197 |  2887738 |      270  21899 |        0 |        0
865.95/866.19	c  462s |      23 |  2903007 |  2899538 |      270  21974 |        0 |        0
868.05/868.20	c  464s |      23 |  2915207 |  2911738 |      270  22050 |        0 |        0
870.05/870.22	c  466s |      23 |  2927214 |  2923738 |      270  22125 |        0 |        0
872.04/872.22	c  468s |      23 |  2939416 |  2935938 |      270  22201 |        0 |        0
874.04/874.23	c  470s |      23 |  2951626 |  2948138 |      270  22276 |        0 |        0
876.04/876.24	c  472s |      23 |  2963532 |  2960038 |      270  22351 |        0 |        0
878.05/878.24	c  474s |      23 |  2975634 |  2972138 |      270  22426 |        0 |        0
880.04/880.25	c  476s |      23 |  2987765 |  2984238 |      270  22502 |        0 |        0
882.05/882.26	c  478s |      23 |  2999469 |  2995938 |      270  22575 |        0 |        0
884.04/884.26	c  480s |      23 |  3010770 |  3007238 |      270  22646 |        0 |        0
886.04/886.27	c  482s |      23 |  3022792 |  3019238 |      270  22721 |        0 |        0
888.05/888.29	c  484s |      23 |  3034400 |  3030838 |      270  22794 |        0 |        0
890.04/890.29	c  486s |      23 |  3046103 |  3042538 |      270  22868 |        0 |        0
892.05/892.29	c  488s |      23 |  3057407 |  3053838 |      270  22939 |        0 |        0
894.04/894.30	c  490s |      23 |  3068715 |  3065138 |      270  23010 |        0 |        0
896.14/896.32	c  492s |      23 |  3081217 |  3077638 |      270  23089 |        0 |        0
898.14/898.33	c  494s |      23 |  3093623 |  3090038 |      270  23168 |        0 |        0
900.15/900.35	c  496s |      23 |  3105627 |  3102038 |      270  23244 |        0 |        0
902.14/902.36	c  498s |      23 |  3117826 |  3114238 |      270  23321 |        0 |        0
904.15/904.37	c  500s |      23 |  3129528 |  3125938 |      270  23396 |        0 |        0
906.14/906.38	c  502s |      23 |  3141041 |  3137438 |      270  23467 |        0 |        0
908.14/908.38	c  504s |      23 |  3152638 |  3149038 |      270  23538 |        0 |        0
910.14/910.39	c  506s |      23 |  3164236 |  3160638 |      270  23610 |        0 |        0
912.14/912.39	c  508s |      23 |  3175542 |  3171938 |      270  23680 |        0 |        0
914.24/914.41	c  510s |      23 |  3187043 |  3183438 |      270  23752 |        0 |        0
916.25/916.42	c  512s |      23 |  3199346 |  3195738 |      270  23829 |        0 |        0
918.24/918.43	c  514s |      23 |  3211954 |  3208338 |      270  23907 |        0 |        0
920.24/920.44	c  516s |      23 |  3224658 |  3221038 |      270  23986 |        0 |        0
922.24/922.44	c  518s |      23 |  3237161 |  3233538 |      270  24064 |        0 |        0
924.24/924.45	c  520s |      23 |  3249665 |  3246038 |      270  24142 |        0 |        0
926.24/926.46	c  522s |      23 |  3262164 |  3258538 |      270  24220 |        0 |        0
928.24/928.46	c  524s |      23 |  3274571 |  3270938 |      270  24298 |        0 |        0
930.24/930.47	c  526s |      23 |  3286974 |  3283338 |      270  24375 |        0 |        0
932.24/932.47	c  528s |      23 |  3299276 |  3295638 |      270  24452 |        0 |        0
934.24/934.48	c  530s |      23 |  3311577 |  3307938 |      270  24529 |        0 |        0
936.24/936.49	c  532s |      23 |  3324076 |  3320438 |      270  24608 |        0 |        0
938.25/938.49	c  534s |      23 |  3336179 |  3332538 |      270  24684 |        0 |        0
940.24/940.49	c  536s |      23 |  3348182 |  3344538 |      270  24760 |        0 |        0
942.23/942.49	c  538s |      23 |  3360085 |  3356438 |      297  24833 |        0 |        0
944.33/944.50	c  540s |      23 |  3371589 |  3367938 |      297  24899 |        0 |        0
945.84/946.08	c  542s |      24 |  3380311 |  3376662 |      297  24949 |        0 |        0
947.84/948.09	c  544s |      24 |  3391874 |  3388162 |      297  25015 |        0 |        0
949.94/950.10	c  546s |      24 |  3404176 |  3400462 |      297  25085 |        0 |        0
951.94/952.10	c  548s |      24 |  3416273 |  3412562 |      297  25154 |        0 |        0
953.94/954.10	c  550s |      24 |  3428176 |  3424462 |      297  25222 |        0 |        0
955.93/956.10	c  552s |      24 |  3439979 |  3436262 |      297  25290 |        0 |        0
957.94/958.12	c  554s |      24 |  3451989 |  3448262 |      297  25359 |        0 |        0
959.93/960.12	c  556s |      24 |  3463489 |  3459762 |      297  25425 |        0 |        0
961.93/962.14	c  558s |      24 |  3475198 |  3471462 |      297  25493 |        0 |        0
963.94/964.14	c  560s |      24 |  3486699 |  3482962 |      297  25560 |        0 |        0
965.93/966.14	c  562s |      24 |  3499106 |  3495362 |      297  25631 |        0 |        0
967.94/968.14	c  564s |      24 |  3511304 |  3507562 |      297  25701 |        0 |        0
969.93/970.15	c  566s |      24 |  3523308 |  3519562 |      297  25770 |        0 |        0
971.93/972.15	c  568s |      24 |  3534713 |  3530962 |      297  25836 |        0 |        0
973.93/974.17	c  570s |      24 |  3546512 |  3542762 |      297  25904 |        0 |        0
975.93/976.17	c  572s |      24 |  3558515 |  3554762 |      297  25973 |        0 |        0
977.94/978.18	c  574s |      24 |  3570416 |  3566662 |      297  26043 |        0 |        0
979.94/980.19	c  576s |      24 |  3582624 |  3578862 |      297  26113 |        0 |        0
982.03/982.20	c  578s |      24 |  3594934 |  3591162 |      297  26184 |        0 |        0
984.03/984.22	c  580s |      24 |  3607033 |  3603262 |      297  26254 |        0 |        0
986.03/986.23	c  582s |      24 |  3618840 |  3615062 |      297  26322 |        0 |        0
988.02/988.25	c  584s |      24 |  3630542 |  3626762 |      297  26390 |        0 |        0
990.03/990.26	c  586s |      24 |  3642740 |  3638962 |      297  26460 |        0 |        0
992.03/992.26	c  588s |      24 |  3654641 |  3650862 |      297  26529 |        0 |        0
994.02/994.27	c  590s |      24 |  3666145 |  3662362 |      297  26596 |        0 |        0
996.03/996.28	c  592s |      24 |  3677155 |  3673362 |      297  26660 |        0 |        0
998.13/998.30	c  594s |      24 |  3688357 |  3684562 |      297  26724 |        0 |        0
1000.12/1000.31	c  596s |      24 |  3700060 |  3696262 |      297  26792 |        0 |        0
1002.12/1002.31	c  598s |      24 |  3711969 |  3708162 |      297  26861 |        0 |        0
1004.13/1004.31	c  600s |      24 |  3723769 |  3719962 |      297  26929 |        0 |        0
1006.13/1006.33	c  602s |      24 |  3735573 |  3731762 |      297  26998 |        0 |        0
1008.13/1008.33	c  604s |      24 |  3747276 |  3743462 |      297  27066 |        0 |        0
1010.13/1010.35	c  606s |      24 |  3759079 |  3755262 |      297  27135 |        0 |        0
1012.12/1012.36	c  608s |      24 |  3771579 |  3767762 |      297  27207 |        0 |        0
1014.14/1014.36	c  610s |      24 |  3783778 |  3779962 |      297  27277 |        0 |        0
1016.12/1016.36	c  612s |      24 |  3795399 |  3791562 |      297  27344 |        0 |        0
1018.12/1018.38	c  614s |      24 |  3807102 |  3803262 |      297  27412 |        0 |        0
1020.12/1020.38	c  616s |      24 |  3818896 |  3815062 |      297  27480 |        0 |        0
1022.12/1022.39	c  618s |      24 |  3830607 |  3826762 |      297  27548 |        0 |        0
1024.22/1024.40	c  620s |      24 |  3841910 |  3838062 |      297  27614 |        0 |        0
1026.23/1026.42	c  622s |      24 |  3853811 |  3849962 |      297  27684 |        0 |        0
1028.22/1028.43	c  624s |      24 |  3865717 |  3861862 |      297  27754 |        0 |        0
1030.23/1030.44	c  626s |      24 |  3877519 |  3873662 |      297  27823 |        0 |        0
1032.22/1032.45	c  628s |      24 |  3889717 |  3885862 |      297  27894 |        0 |        0
1034.22/1034.46	c  630s |      24 |  3901324 |  3897462 |      297  27962 |        0 |        0
1036.23/1036.47	c  632s |      24 |  3913120 |  3909262 |      297  28031 |        0 |        0
1038.23/1038.49	c  634s |      24 |  3924825 |  3920962 |      297  28100 |        0 |        0
1040.32/1040.50	c  636s |      24 |  3936229 |  3932362 |      297  28167 |        0 |        0
1042.32/1042.50	c  638s |      24 |  3947734 |  3943862 |      297  28234 |        0 |        0
1044.32/1044.51	c  640s |      24 |  3959238 |  3955362 |      297  28302 |        0 |        0
1046.32/1046.52	c  642s |      24 |  3971248 |  3967362 |      297  28370 |        0 |        0
1048.32/1048.53	c  644s |      24 |  3982754 |  3978862 |      297  28437 |        0 |        0
1050.33/1050.54	c  646s |      24 |  3994356 |  3990462 |      297  28504 |        0 |        0
1052.32/1052.55	c  648s |      24 |  4006458 |  4002562 |      297  28573 |        0 |        0
1054.32/1054.55	c  650s |      24 |  4017960 |  4014062 |      297  28639 |        0 |        0
1056.32/1056.56	c  652s |      24 |  4029866 |  4025962 |      297  28708 |        0 |        0
1058.32/1058.58	c  654s |      24 |  4041672 |  4037762 |      297  28776 |        0 |        0
1060.33/1060.58	c  656s |      24 |  4052471 |  4048562 |      297  28839 |        0 |        0
1062.32/1062.58	c  658s |      24 |  4063476 |  4059562 |      297  28902 |        0 |        0
1064.32/1064.59	c  661s |      24 |  4075379 |  4071462 |      297  28970 |        0 |        0
1066.31/1066.59	c  663s |      24 |  4087479 |  4083562 |      297  29040 |        0 |        0
1068.42/1068.60	c  665s |      24 |  4099485 |  4095562 |      297  29109 |        0 |        0
1070.42/1070.61	c  667s |      24 |  4111582 |  4107662 |      297  29179 |        0 |        0
1072.43/1072.63	c  669s |      24 |  4123486 |  4119562 |      297  29248 |        0 |        0
1074.42/1074.64	c  671s |      24 |  4135589 |  4131662 |      297  29319 |        0 |        0
1076.41/1076.64	c  673s |      24 |  4147397 |  4143462 |      297  29386 |        0 |        0
1078.41/1078.65	c  675s |      24 |  4158901 |  4154962 |      297  29453 |        0 |        0
1080.41/1080.67	c  677s |      24 |  4170616 |  4166662 |      297  29520 |        0 |        0
1082.41/1082.68	c  679s |      24 |  4182227 |  4178262 |      297  29587 |        0 |        0
1084.42/1084.68	c  681s |      24 |  4194427 |  4190462 |      297  29658 |        0 |        0
1086.42/1086.69	c  683s |      24 |  4206430 |  4202462 |      297  29727 |        0 |        0
1088.51/1088.71	c  685s |      24 |  4217635 |  4213662 |      297  29792 |        0 |        0
1090.52/1090.72	c  687s |      24 |  4229246 |  4225262 |      297  29859 |        0 |        0
1092.51/1092.72	c  689s |      24 |  4240653 |  4236662 |      297  29925 |        0 |        0
1094.51/1094.72	c  691s |      24 |  4251959 |  4247962 |      297  29991 |        0 |        0
1096.53/1096.73	c  693s |      24 |  4263459 |  4259462 |      297  30058 |        0 |        0
1098.51/1098.73	c  695s |      24 |  4275068 |  4271062 |      297  30126 |        0 |        0
1100.51/1100.74	c  697s |      24 |  4286967 |  4282962 |      297  30196 |        0 |        0
1102.52/1102.76	c  699s |      24 |  4298870 |  4294862 |      297  30266 |        0 |        0
1104.51/1104.77	c  701s |      24 |  4310366 |  4306362 |      297  30333 |        0 |        0
1106.53/1106.79	c  703s |      24 |  4321277 |  4317262 |      297  30397 |        0 |        0
1108.51/1108.80	c  705s |      24 |  4332579 |  4328562 |      297  30462 |        0 |        0
1110.61/1110.81	c  707s |      24 |  4343989 |  4339962 |      297  30528 |        0 |        0
1112.61/1112.82	c  709s |      24 |  4355392 |  4351362 |      297  30595 |        0 |        0
1114.61/1114.83	c  711s |      24 |  4366894 |  4362862 |      297  30662 |        0 |        0
1116.61/1116.85	c  713s |      24 |  4378292 |  4374262 |      297  30729 |        0 |        0
1118.62/1118.86	c  715s |      24 |  4389393 |  4385362 |      297  30794 |        0 |        0
1120.61/1120.87	c  717s |      24 |  4400597 |  4396562 |      297  30860 |        0 |        0
1122.61/1122.88	c  719s |      24 |  4412000 |  4407962 |      297  30927 |        0 |        0
1124.61/1124.88	c  721s |      24 |  4423299 |  4419262 |      297  30993 |        0 |        0
1126.61/1126.89	c  723s |      24 |  4434496 |  4430462 |      297  31060 |        0 |        0
1128.61/1128.90	c  725s |      24 |  4446506 |  4442462 |      297  31129 |        0 |        0
1130.71/1130.91	c  727s |      24 |  4458605 |  4454562 |      297  31200 |        0 |        0
1132.70/1132.93	c  729s |      24 |  4470708 |  4466662 |      297  31270 |        0 |        0
1134.70/1134.94	c  731s |      24 |  4482612 |  4478562 |      297  31339 |        0 |        0
1136.71/1136.94	c  733s |      24 |  4494513 |  4490462 |      297  31409 |        0 |        0
1138.70/1138.95	c  735s |      24 |  4506412 |  4502362 |      297  31478 |        0 |        0
1140.71/1140.96	c  737s |      24 |  4518216 |  4514162 |      297  31547 |        0 |        0
1142.71/1142.96	c  739s |      24 |  4530121 |  4526062 |      297  31617 |        0 |        0
1144.71/1144.96	c  741s |      24 |  4542025 |  4537962 |      297  31687 |        0 |        0
1146.71/1146.97	c  743s |      24 |  4554024 |  4549962 |      297  31757 |        0 |        0
1148.70/1148.99	c  745s |      24 |  4566131 |  4562062 |      297  31828 |        0 |        0
1150.70/1150.99	c  747s |      24 |  4578027 |  4573962 |      297  31898 |        0 |        0
1152.81/1153.00	c  749s |      24 |  4589834 |  4585762 |      297  31967 |        0 |        0
1154.70/1155.01	c  751s |      24 |  4601736 |  4597662 |      297  32036 |        0 |        0
1156.80/1157.02	c  753s |      24 |  4613634 |  4609562 |      297  32106 |        0 |        0
1158.80/1159.02	c  755s |      24 |  4625542 |  4621462 |      297  32176 |        0 |        0
1160.80/1161.02	c  757s |      24 |  4637342 |  4633262 |      297  32246 |        0 |        0
1162.80/1163.02	c  759s |      24 |  4648941 |  4644862 |      297  32314 |        0 |        0
1164.81/1165.03	c  761s |      24 |  4661547 |  4657462 |      297  32387 |        0 |        0
1166.80/1167.05	c  763s |      24 |  4674048 |  4669962 |      297  32459 |        0 |        0
1168.79/1169.05	c  765s |      24 |  4686348 |  4682262 |      297  32530 |        0 |        0
1170.80/1171.06	c  767s |      24 |  4698856 |  4694762 |      297  32603 |        0 |        0
1172.79/1173.07	c  769s |      24 |  4711164 |  4707062 |      297  32674 |        0 |        0
1174.79/1175.08	c  771s |      24 |  4723274 |  4719162 |      297  32744 |        0 |        0
1176.81/1177.08	c  773s |      24 |  4735474 |  4731362 |      297  32814 |        0 |        0
1178.80/1179.09	c  775s |      24 |  4747276 |  4743162 |      297  32882 |        0 |        0
1180.89/1181.10	c  777s |      24 |  4758884 |  4754762 |      297  32949 |        0 |        0
1182.90/1183.11	c  779s |      24 |  4771185 |  4767062 |      297  33019 |        0 |        0
1184.89/1185.11	c  781s |      24 |  4782791 |  4778662 |      297  33086 |        0 |        0
1186.89/1187.12	c  783s |      24 |  4794492 |  4790362 |      297  33154 |        0 |        0
1188.91/1189.13	c  785s |      24 |  4806392 |  4802262 |      297  33223 |        0 |        0
1190.89/1191.14	c  787s |      24 |  4818200 |  4814062 |      297  33291 |        0 |        0
1192.89/1193.15	c  789s |      24 |  4829715 |  4825562 |      297  33357 |        0 |        0
1194.89/1195.15	c  791s |      24 |  4841619 |  4837462 |      297  33426 |        0 |        0
1196.89/1197.16	c  793s |      24 |  4853816 |  4849662 |      297  33497 |        0 |        0
1198.90/1199.17	c  795s |      24 |  4865419 |  4861262 |      297  33564 |        0 |        0
1200.89/1201.17	c  797s |      24 |  4877327 |  4873162 |      297  33634 |        0 |        0
1202.89/1203.18	c  799s |      24 |  4889135 |  4884962 |      297  33702 |        0 |        0
1204.88/1205.19	c  801s |      24 |  4901134 |  4896962 |      297  33772 |        0 |        0
1206.98/1207.20	c  803s |      24 |  4912942 |  4908762 |      297  33840 |        0 |        0
1208.99/1209.21	c  805s |      24 |  4925046 |  4920862 |      297  33911 |        0 |        0
1210.99/1211.22	c  807s |      24 |  4936848 |  4932662 |      297  33979 |        0 |        0
1212.98/1213.23	c  809s |      24 |  4948954 |  4944762 |      297  34049 |        0 |        0
1214.98/1215.24	c  811s |      24 |  4961058 |  4956862 |      297  34119 |        0 |        0
1216.97/1217.24	c  813s |      24 |  4973264 |  4969062 |      297  34190 |        0 |        0
1218.97/1219.25	c  815s |      24 |  4985167 |  4980962 |      297  34259 |        0 |        0
1220.98/1221.26	c  817s |      24 |  4997172 |  4992962 |      297  34329 |        0 |        0
1222.98/1223.28	c  819s |      24 |  5009275 |  5005062 |      297  34400 |        0 |        0
1224.97/1225.29	c  821s |      24 |  5020474 |  5016262 |      297  34465 |        0 |        0
1227.07/1227.31	c  823s |      24 |  5031673 |  5027462 |      297  34530 |        0 |        0
1229.07/1229.32	c  825s |      24 |  5042880 |  5038662 |      327  34591 |        0 |        0
1231.07/1231.34	c  827s |      24 |  5054582 |  5050362 |      327  34654 |        0 |        0
1233.07/1233.35	c  829s |      24 |  5066588 |  5062362 |      327  34718 |        0 |        0
1233.57/1233.82	c  830s |      25 |  5069323 |  5065098 |      327  34733 |        0 |        0
1235.56/1235.82	c  832s |      25 |  5080793 |  5076498 |      327  34793 |        0 |        0
1237.57/1237.83	c  834s |      25 |  5091997 |  5087698 |      327  34851 |        0 |        0
1239.57/1239.84	c  836s |      25 |  5103201 |  5098898 |      327  34910 |        0 |        0
1241.57/1241.86	c  838s |      25 |  5114204 |  5109898 |      327  34969 |        0 |        0
1243.56/1243.87	c  840s |      25 |  5125309 |  5120998 |      327  35027 |        0 |        0
1245.55/1245.87	c  842s |      25 |  5136307 |  5131998 |      327  35085 |        0 |        0
1247.56/1247.88	c  844s |      25 |  5147312 |  5142998 |      327  35143 |        0 |        0
1249.66/1249.90	c  846s |      25 |  5158427 |  5154098 |      327  35202 |        0 |        0
1251.57/1251.90	c  848s |      25 |  5169224 |  5164898 |      327  35260 |        0 |        0
1253.65/1253.91	c  850s |      25 |  5180144 |  5175798 |      327  35318 |        0 |        0
1255.65/1255.91	c  852s |      25 |  5190849 |  5186498 |      327  35375 |        0 |        0
1257.65/1257.91	c  854s |      25 |  5201553 |  5197198 |      327  35432 |        0 |        0
1259.65/1259.92	c  856s |      25 |  5212264 |  5207898 |      327  35489 |        0 |        0
1261.65/1261.93	c  858s |      25 |  5223072 |  5218698 |      327  35547 |        0 |        0
1263.66/1263.95	c  860s |      25 |  5233778 |  5229398 |      327  35604 |        0 |        0
1265.65/1265.95	c  862s |      25 |  5244388 |  5239998 |      327  35661 |        0 |        0
1267.65/1267.96	c  864s |      25 |  5254991 |  5250598 |      327  35718 |        0 |        0
1269.65/1269.96	c  866s |      25 |  5266399 |  5261998 |      327  35778 |        0 |        0
1271.65/1271.98	c  868s |      25 |  5277798 |  5273398 |      327  35839 |        0 |        0
1273.65/1273.99	c  870s |      25 |  5288807 |  5284398 |      327  35897 |        0 |        0
1275.64/1276.01	c  872s |      25 |  5299708 |  5295298 |      327  35955 |        0 |        0
1277.74/1278.01	c  874s |      25 |  5310518 |  5306098 |      327  36012 |        0 |        0
1279.74/1280.01	c  876s |      25 |  5321319 |  5316898 |      327  36070 |        0 |        0
1281.75/1282.02	c  878s |      25 |  5332540 |  5328098 |      327  36129 |        0 |        0
1283.74/1284.04	c  880s |      25 |  5343551 |  5339098 |      327  36188 |        0 |        0
1285.75/1286.05	c  882s |      25 |  5354667 |  5350198 |      327  36247 |        0 |        0
1287.74/1288.06	c  884s |      25 |  5365382 |  5360898 |      327  36304 |        0 |        0
1289.74/1290.07	c  886s |      25 |  5376280 |  5371798 |      327  36362 |        0 |        0
1291.74/1292.09	c  888s |      25 |  5387291 |  5382798 |      327  36421 |        0 |        0
1293.74/1294.09	c  890s |      25 |  5398193 |  5393698 |      327  36480 |        0 |        0
1295.84/1296.10	c  892s |      25 |  5409195 |  5404698 |      327  36539 |        0 |        0
1297.84/1298.12	c  894s |      25 |  5419800 |  5415298 |      327  36596 |        0 |        0
1299.83/1300.13	c  896s |      25 |  5430524 |  5425998 |      327  36653 |        0 |        0
1301.84/1302.13	c  898s |      25 |  5441028 |  5436498 |      327  36709 |        0 |        0
1303.83/1304.13	c  900s |      25 |  5451434 |  5446898 |      327  36765 |        0 |        0
1305.84/1306.14	c  902s |      25 |  5461844 |  5457298 |      327  36822 |        0 |        0
1307.84/1308.15	c  904s |      25 |  5472854 |  5468298 |      327  36880 |        0 |        0
1309.84/1310.16	c  906s |      25 |  5483464 |  5478898 |      327  36937 |        0 |        0
1311.83/1312.17	c  908s |      25 |  5493878 |  5489298 |      327  36992 |        0 |        0
1313.83/1314.19	c  910s |      25 |  5504388 |  5499798 |      327  37049 |        0 |        0
1315.84/1316.19	c  912s |      25 |  5514688 |  5510098 |      327  37104 |        0 |        0
1317.93/1318.20	c  914s |      25 |  5524895 |  5520298 |      327  37159 |        0 |        0
1319.93/1320.22	c  916s |      25 |  5535404 |  5530798 |      327  37215 |        0 |        0
1321.95/1322.23	c  918s |      25 |  5545709 |  5541098 |      327  37270 |        0 |        0
1323.93/1324.24	c  920s |      25 |  5556021 |  5551398 |      327  37326 |        0 |        0
1325.93/1326.24	c  922s |      25 |  5566331 |  5561698 |      327  37381 |        0 |        0
1327.93/1328.25	c  924s |      25 |  5576732 |  5572098 |      327  37437 |        0 |        0
1329.93/1330.25	c  926s |      25 |  5587043 |  5582398 |      327  37493 |        0 |        0
1331.94/1332.27	c  928s |      25 |  5597452 |  5592798 |      327  37549 |        0 |        0
1333.93/1334.28	c  930s |      25 |  5607956 |  5603298 |      327  37605 |        0 |        0
1335.93/1336.29	c  932s |      25 |  5618264 |  5613598 |      327  37660 |        0 |        0
1338.03/1338.30	c  934s |      25 |  5628476 |  5623798 |      327  37715 |        0 |        0
1340.03/1340.31	c  936s |      25 |  5638780 |  5634098 |      327  37771 |        0 |        0
1342.03/1342.33	c  938s |      25 |  5649191 |  5644498 |      327  37827 |        0 |        0
1344.04/1344.34	c  940s |      25 |  5659791 |  5655098 |      327  37884 |        0 |        0
1346.03/1346.36	c  942s |      25 |  5670606 |  5665898 |      327  37942 |        0 |        0
1348.03/1348.37	c  944s |      25 |  5681211 |  5676498 |      327  37999 |        0 |        0
1350.02/1350.38	c  946s |      25 |  5691630 |  5686898 |      327  38056 |        0 |        0
1352.03/1352.38	c  948s |      25 |  5702037 |  5697298 |      327  38113 |        0 |        0
1354.03/1354.39	c  950s |      25 |  5712641 |  5707898 |      327  38170 |        0 |        0
1356.04/1356.40	c  952s |      25 |  5723054 |  5718298 |      327  38226 |        0 |        0
1358.13/1358.41	c  954s |      25 |  5733486 |  5728698 |      327  38283 |        0 |        0
1360.13/1360.43	c  956s |      25 |  5743914 |  5739098 |      327  38340 |        0 |        0
1362.12/1362.43	c  958s |      25 |  5755114 |  5750298 |      327  38399 |        0 |        0
1364.12/1364.44	c  960s |      25 |  5766314 |  5761498 |      327  38458 |        0 |        0
1366.12/1366.45	c  962s |      25 |  5777318 |  5772498 |      327  38516 |        0 |        0
1368.13/1368.45	c  964s |      25 |  5788217 |  5783398 |      327  38574 |        0 |        0
1370.12/1370.46	c  966s |      25 |  5799224 |  5794398 |      327  38632 |        0 |        0
1372.12/1372.46	c  968s |      25 |  5810123 |  5805298 |      327  38690 |        0 |        0
1374.13/1374.47	c  970s |      25 |  5821033 |  5816198 |      327  38748 |        0 |        0
1376.13/1376.48	c  972s |      25 |  5831732 |  5826898 |      327  38805 |        0 |        0
1378.14/1378.49	c  974s |      25 |  5842633 |  5837798 |      327  38863 |        0 |        0
1380.13/1380.50	c  976s |      25 |  5853237 |  5848398 |      327  38920 |        0 |        0
1382.22/1382.50	c  978s |      25 |  5864244 |  5859398 |      327  38978 |        0 |        0
1384.22/1384.50	c  980s |      25 |  5875149 |  5870298 |      327  39036 |        0 |        0
1386.22/1386.51	c  982s |      25 |  5885859 |  5880998 |      327  39093 |        0 |        0
1388.22/1388.51	c  984s |      25 |  5896661 |  5891798 |      327  39151 |        0 |        0
1390.23/1390.52	c  986s |      25 |  5907466 |  5902598 |      327  39209 |        0 |        0
1392.22/1392.53	c  988s |      25 |  5918268 |  5913398 |      327  39267 |        0 |        0
1394.22/1394.54	c  990s |      25 |  5928870 |  5923998 |      327  39324 |        0 |        0
1396.22/1396.55	c  992s |      25 |  5939570 |  5934698 |      327  39382 |        0 |        0
1398.22/1398.56	c  994s |      25 |  5950273 |  5945398 |      327  39438 |        0 |        0
1400.22/1400.57	c  996s |      25 |  5961077 |  5956198 |      327  39496 |        0 |        0
1402.23/1402.58	c  998s |      25 |  5971878 |  5966998 |      327  39554 |        0 |        0
1404.22/1404.59	c 1001s |      25 |  5982681 |  5977798 |      327  39611 |        0 |        0
1406.32/1406.60	c 1003s |      25 |  5993482 |  5988598 |      327  39669 |        0 |        0
1408.32/1408.61	c 1005s |      25 |  6004185 |  5999298 |      327  39726 |        0 |        0
1410.32/1410.61	c 1007s |      25 |  6014982 |  6010098 |      327  39784 |        0 |        0
1412.32/1412.62	c 1009s |      25 |  6025690 |  6020798 |      327  39841 |        0 |        0
1414.33/1414.62	c 1011s |      25 |  6036486 |  6031598 |      327  39898 |        0 |        0
1416.32/1416.62	c 1013s |      25 |  6047087 |  6042198 |      327  39955 |        0 |        0
1418.32/1418.64	c 1015s |      25 |  6057983 |  6053098 |      327  40013 |        0 |        0
1420.32/1420.66	c 1017s |      25 |  6068899 |  6063998 |      327  40071 |        0 |        0
1422.32/1422.67	c 1019s |      25 |  6079193 |  6074298 |      327  40126 |        0 |        0
1424.33/1424.69	c 1021s |      25 |  6089598 |  6084698 |      327  40182 |        0 |        0
1426.32/1426.69	c 1023s |      25 |  6099802 |  6094898 |      327  40237 |        0 |        0
1428.42/1428.70	c 1025s |      25 |  6109911 |  6104998 |      327  40291 |        0 |        0
1430.42/1430.71	c 1027s |      25 |  6120313 |  6115398 |      327  40347 |        0 |        0
1432.41/1432.71	c 1029s |      25 |  6130819 |  6125898 |      327  40403 |        0 |        0
1434.41/1434.73	c 1031s |      25 |  6141130 |  6136198 |      327  40459 |        0 |        0
1436.43/1436.75	c 1033s |      25 |  6151542 |  6146598 |      327  40514 |        0 |        0
1438.42/1438.76	c 1035s |      25 |  6161740 |  6156798 |      327  40569 |        0 |        0
1440.41/1440.76	c 1037s |      25 |  6172350 |  6167398 |      327  40626 |        0 |        0
1442.42/1442.77	c 1039s |      25 |  6182855 |  6177898 |      327  40682 |        0 |        0
1444.41/1444.78	c 1041s |      25 |  6193158 |  6188198 |      327  40737 |        0 |        0
1446.41/1446.79	c 1043s |      25 |  6203474 |  6198498 |      327  40792 |        0 |        0
1448.42/1448.80	c 1045s |      25 |  6213778 |  6208798 |      327  40848 |        0 |        0
1450.52/1450.81	c 1047s |      25 |  6224077 |  6219098 |      327  40903 |        0 |        0
1452.51/1452.82	c 1049s |      25 |  6234588 |  6229598 |      327  40960 |        0 |        0
1454.51/1454.83	c 1051s |      25 |  6244797 |  6239798 |      327  41015 |        0 |        0
1456.51/1456.84	c 1053s |      25 |  6255001 |  6249998 |      327  41070 |        0 |        0
1458.51/1458.86	c 1055s |      25 |  6265202 |  6260198 |      327  41126 |        0 |        0
1460.52/1460.87	c 1057s |      25 |  6275507 |  6270498 |      327  41182 |        0 |        0
1462.51/1462.88	c 1059s |      25 |  6285919 |  6280898 |      327  41237 |        0 |        0
1464.61/1464.90	c 1061s |      25 |  6296425 |  6291398 |      327  41292 |        0 |        0
1466.61/1466.92	c 1063s |      25 |  6307229 |  6302198 |      327  41349 |        0 |        0
1468.61/1468.93	c 1065s |      25 |  6317931 |  6312898 |      327  41406 |        0 |        0
1470.61/1470.94	c 1067s |      25 |  6328336 |  6323298 |      327  41462 |        0 |        0
1472.62/1472.95	c 1069s |      25 |  6338639 |  6333598 |      327  41516 |        0 |        0
1474.61/1474.95	c 1071s |      25 |  6349140 |  6344098 |      327  41572 |        0 |        0
1476.61/1476.96	c 1073s |      25 |  6359642 |  6354598 |      327  41628 |        0 |        0
1478.61/1478.97	c 1075s |      25 |  6369846 |  6364798 |      327  41683 |        0 |        0
1480.60/1480.98	c 1077s |      25 |  6380361 |  6375298 |      327  41739 |        0 |        0
1482.62/1482.99	c 1079s |      25 |  6390566 |  6385498 |      327  41794 |        0 |        0
1484.61/1485.00	c 1081s |      25 |  6400672 |  6395598 |      327  41848 |        0 |        0
1486.70/1487.00	c 1083s |      25 |  6410882 |  6405798 |      327  41902 |        0 |        0
1488.71/1489.01	c 1085s |      25 |  6421386 |  6416298 |      327  41959 |        0 |        0
1490.70/1491.02	c 1087s |      25 |  6431998 |  6426898 |      327  42017 |        0 |        0
1492.71/1493.03	c 1089s |      25 |  6442609 |  6437498 |      327  42073 |        0 |        0
1494.72/1495.04	c 1091s |      25 |  6453109 |  6447998 |      327  42129 |        0 |        0
1496.70/1497.05	c 1093s |      25 |  6463623 |  6458498 |      327  42186 |        0 |        0
1498.71/1499.05	c 1095s |      25 |  6474236 |  6469098 |      327  42242 |        0 |        0
1500.70/1501.06	c 1097s |      25 |  6484540 |  6479398 |      327  42298 |        0 |        0
1502.70/1503.06	c 1099s |      25 |  6494743 |  6489598 |      327  42352 |        0 |        0
1504.70/1505.08	c 1101s |      25 |  6505051 |  6499898 |      327  42408 |        0 |        0
1506.71/1507.10	c 1103s |      25 |  6515459 |  6510298 |      327  42463 |        0 |        0
1508.81/1509.10	c 1105s |      25 |  6525859 |  6520698 |      327  42519 |        0 |        0
1510.80/1511.10	c 1107s |      25 |  6536264 |  6531098 |      327  42575 |        0 |        0
1512.81/1513.12	c 1109s |      25 |  6546673 |  6541498 |      327  42631 |        0 |        0
1514.80/1515.13	c 1111s |      25 |  6556971 |  6551798 |      327  42687 |        0 |        0
1516.80/1517.14	c 1113s |      25 |  6567187 |  6561998 |      327  42743 |        0 |        0
1518.81/1519.15	c 1115s |      25 |  6577993 |  6572798 |      327  42800 |        0 |        0
1520.80/1521.15	c 1117s |      25 |  6588394 |  6583198 |      327  42856 |        0 |        0
1522.81/1523.16	c 1119s |      25 |  6598803 |  6593598 |      327  42912 |        0 |        0
1524.81/1525.17	c 1121s |      25 |  6609407 |  6604198 |      327  42969 |        0 |        0
1526.80/1527.17	c 1123s |      25 |  6620213 |  6614998 |      327  43027 |        0 |        0
1528.81/1529.18	c 1125s |      25 |  6630612 |  6625398 |      327  43083 |        0 |        0
1530.80/1531.18	c 1127s |      25 |  6641023 |  6635798 |      327  43140 |        0 |        0
1532.80/1533.19	c 1129s |      25 |  6651621 |  6646398 |      327  43197 |        0 |        0
1534.80/1535.19	c 1131s |      25 |  6661928 |  6656698 |      327  43252 |        0 |        0
1536.90/1537.20	c 1133s |      25 |  6672340 |  6667098 |      327  43309 |        0 |        0
1538.90/1539.22	c 1135s |      25 |  6682634 |  6677398 |      327  43365 |        0 |        0
1540.91/1541.22	c 1137s |      25 |  6692847 |  6687598 |      327  43421 |        0 |        0
1542.90/1543.22	c 1139s |      25 |  6703448 |  6698198 |      327  43477 |        0 |        0
1544.90/1545.22	c 1141s |      25 |  6713749 |  6708498 |      327  43532 |        0 |        0
1546.90/1547.24	c 1143s |      25 |  6724261 |  6718998 |      327  43588 |        0 |        0
1548.89/1549.25	c 1145s |      25 |  6734969 |  6729698 |      327  43646 |        0 |        0
1550.90/1551.25	c 1147s |      25 |  6745375 |  6740098 |      327  43702 |        0 |        0
1552.91/1553.27	c 1149s |      25 |  6756074 |  6750798 |      327  43759 |        0 |        0
1554.90/1555.29	c 1151s |      25 |  6766491 |  6761198 |      327  43815 |        0 |        0
1556.90/1557.29	c 1153s |      25 |  6776904 |  6771598 |      327  43870 |        0 |        0
1558.89/1559.29	c 1155s |      25 |  6787209 |  6781898 |      327  43926 |        0 |        0
1561.00/1561.30	c 1157s |      25 |  6797626 |  6792298 |      327  43982 |        0 |        0
1562.99/1563.30	c 1159s |      25 |  6808138 |  6802798 |      327  44039 |        0 |        0
1565.00/1565.31	c 1161s |      25 |  6818646 |  6813298 |      327  44096 |        0 |        0
1566.99/1567.32	c 1163s |      25 |  6828950 |  6823598 |      327  44151 |        0 |        0
1568.99/1569.33	c 1165s |      25 |  6839357 |  6833998 |      327  44207 |        0 |        0
1570.99/1571.35	c 1167s |      25 |  6849951 |  6844598 |      327  44263 |        0 |        0
1572.99/1573.36	c 1169s |      25 |  6860457 |  6855098 |      327  44320 |        0 |        0
1575.00/1575.37	c 1171s |      25 |  6870658 |  6865298 |      327  44374 |        0 |        0
1577.00/1577.37	c 1173s |      25 |  6880862 |  6875498 |      327  44429 |        0 |        0
1578.99/1579.37	c 1175s |      25 |  6891166 |  6885798 |      327  44485 |        0 |        0
1581.00/1581.39	c 1177s |      25 |  6901472 |  6896098 |      327  44541 |        0 |        0
1582.99/1583.39	c 1179s |      25 |  6911781 |  6906398 |      327  44597 |        0 |        0
1585.09/1585.40	c 1181s |      25 |  6922092 |  6916698 |      327  44653 |        0 |        0
1587.10/1587.41	c 1183s |      25 |  6932204 |  6926798 |      327  44708 |        0 |        0
1589.09/1589.41	c 1185s |      25 |  6942608 |  6937198 |      327  44765 |        0 |        0
1591.10/1591.43	c 1187s |      25 |  6953023 |  6947598 |      327  44821 |        0 |        0
1593.09/1593.44	c 1189s |      25 |  6963629 |  6958198 |      327  44877 |        0 |        0
1595.09/1595.46	c 1191s |      25 |  6973940 |  6968498 |      327  44933 |        0 |        0
1597.09/1597.46	c 1193s |      25 |  6984050 |  6978598 |      327  44987 |        0 |        0
1599.10/1599.47	c 1195s |      25 |  6994465 |  6988998 |      327  45043 |        0 |        0
1601.09/1601.48	c 1197s |      25 |  7004873 |  6999398 |      327  45099 |        0 |        0
1603.19/1603.50	c 1199s |      25 |  7015281 |  7009798 |      327  45155 |        0 |        0
1605.18/1605.50	c 1201s |      25 |  7025585 |  7020098 |      327  45210 |        0 |        0
1607.19/1607.51	c 1203s |      25 |  7035890 |  7030398 |      327  45265 |        0 |        0
1609.19/1609.51	c 1205s |      25 |  7046294 |  7040798 |      327  45322 |        0 |        0
1611.20/1611.51	c 1207s |      25 |  7056499 |  7050998 |      327  45377 |        0 |        0
1613.19/1613.52	c 1209s |      25 |  7066711 |  7061198 |      327  45432 |        0 |        0
1615.18/1615.52	c 1211s |      25 |  7077319 |  7071798 |      327  45489 |        0 |        0
1617.19/1617.54	c 1213s |      25 |  7087718 |  7082198 |      327  45545 |        0 |        0
1619.19/1619.54	c 1215s |      25 |  7098024 |  7092498 |      327  45601 |        0 |        0
1621.20/1621.55	c 1217s |      25 |  7108327 |  7102798 |      327  45657 |        0 |        0
1623.19/1623.56	c 1219s |      25 |  7118627 |  7113098 |      327  45713 |        0 |        0
1625.18/1625.58	c 1221s |      25 |  7129036 |  7123498 |      327  45770 |        0 |        0
1627.18/1627.58	c 1223s |      25 |  7139651 |  7134098 |      327  45827 |        0 |        0
1629.19/1629.59	c 1226s |      25 |  7150263 |  7144698 |      327  45885 |        0 |        0
1631.18/1631.59	c 1228s |      25 |  7160670 |  7155098 |      327  45942 |        0 |        0
1633.19/1633.60	c 1230s |      25 |  7170976 |  7165398 |      327  45998 |        0 |        0
1635.29/1635.62	c 1232s |      25 |  7181287 |  7175698 |      327  46055 |        0 |        0
1637.28/1637.62	c 1234s |      25 |  7191586 |  7185998 |      327  46111 |        0 |        0
1639.28/1639.62	c 1236s |      25 |  7201904 |  7196298 |      327  46168 |        0 |        0
1641.28/1641.63	c 1238s |      25 |  7212316 |  7206698 |      327  46225 |        0 |        0
1643.28/1643.65	c 1240s |      25 |  7222737 |  7217098 |      327  46282 |        0 |        0
1645.29/1645.66	c 1242s |      25 |  7233032 |  7227398 |      327  46339 |        0 |        0
1647.28/1647.67	c 1244s |      25 |  7244250 |  7238598 |      327  46397 |        0 |        0
1649.28/1649.68	c 1246s |      25 |  7255249 |  7249598 |      327  46455 |        0 |        0
1651.28/1651.69	c 1248s |      25 |  7266158 |  7260498 |      327  46513 |        0 |        0
1653.28/1653.69	c 1250s |      25 |  7277168 |  7271498 |      327  46572 |        0 |        0
1655.38/1655.70	c 1252s |      25 |  7287985 |  7282298 |      327  46629 |        0 |        0
1657.28/1657.70	c 1254s |      25 |  7298696 |  7292998 |      327  46686 |        0 |        0
1659.38/1659.70	c 1256s |      25 |  7309318 |  7303598 |      327  46743 |        0 |        0
1661.38/1661.72	c 1258s |      25 |  7320127 |  7314398 |      327  46800 |        0 |        0
1663.38/1663.72	c 1260s |      25 |  7330727 |  7324998 |      327  46857 |        0 |        0
1665.38/1665.73	c 1262s |      25 |  7341537 |  7335798 |      327  46915 |        0 |        0
1667.39/1667.74	c 1264s |      25 |  7352147 |  7346398 |      327  46972 |        0 |        0
1669.38/1669.75	c 1266s |      25 |  7362759 |  7356998 |      327  47029 |        0 |        0
1671.38/1671.77	c 1268s |      25 |  7373259 |  7367498 |      327  47085 |        0 |        0
1673.38/1673.77	c 1270s |      25 |  7383964 |  7378198 |      327  47142 |        0 |        0
1675.38/1675.77	c 1272s |      25 |  7394473 |  7388698 |      327  47198 |        0 |        0
1677.37/1677.78	c 1274s |      25 |  7405375 |  7399598 |      327  47256 |        0 |        0
1679.38/1679.79	c 1276s |      25 |  7416089 |  7410298 |      327  47314 |        0 |        0
1681.48/1681.80	c 1278s |      25 |  7426786 |  7420998 |      327  47371 |        0 |        0
1683.48/1683.81	c 1280s |      25 |  7437391 |  7431598 |      327  47428 |        0 |        0
1685.47/1685.83	c 1282s |      25 |  7447898 |  7442098 |      327  47485 |        0 |        0
1687.47/1687.84	c 1284s |      25 |  7458906 |  7453098 |      327  47544 |        0 |        0
1689.48/1689.85	c 1286s |      25 |  7469404 |  7463598 |      327  47600 |        0 |        0
1691.48/1691.86	c 1288s |      25 |  7479913 |  7474098 |      327  47656 |        0 |        0
1693.47/1693.86	c 1290s |      25 |  7490528 |  7484698 |      327  47714 |        0 |        0
1695.48/1695.87	c 1292s |      25 |  7501029 |  7495198 |      327  47770 |        0 |        0
1697.47/1697.87	c 1294s |      25 |  7511223 |  7505398 |      327  47825 |        0 |        0
1699.47/1699.88	c 1296s |      25 |  7521527 |  7515698 |      327  47880 |        0 |        0
1701.57/1701.90	c 1298s |      25 |  7531635 |  7525798 |      327  47935 |        0 |        0
1703.59/1703.92	c 1300s |      25 |  7541937 |  7536098 |      327  47991 |        0 |        0
1705.57/1705.93	c 1302s |      25 |  7552141 |  7546298 |      360  48044 |        0 |        0
1707.57/1707.94	c 1304s |      25 |  7562343 |  7556498 |      360  48094 |        0 |        0
1709.57/1709.95	c 1306s |      25 |  7572350 |  7566498 |      360  48144 |        0 |        0
1711.57/1711.96	c 1308s |      25 |  7582561 |  7576698 |      360  48195 |        0 |        0
1713.58/1713.97	c 1310s |      25 |  7592656 |  7586798 |      360  48245 |        0 |        0
1715.57/1715.97	c 1312s |      25 |  7602965 |  7597098 |      360  48296 |        0 |        0
1715.69/1716.10	c 1312s |      26 |  7603616 |  7597752 |      360  48299 |        0 |        0
1717.78/1718.10	c 1314s |      26 |  7615085 |  7609152 |      360  48354 |        0 |        0
1719.77/1720.11	c 1316s |      26 |  7626514 |  7620552 |      360  48409 |        0 |        0
1721.77/1722.12	c 1318s |      26 |  7638045 |  7632052 |      360  48464 |        0 |        0
1723.77/1724.12	c 1320s |      26 |  7649557 |  7643552 |      360  48519 |        0 |        0
1725.77/1726.14	c 1322s |      26 |  7660871 |  7654852 |      360  48573 |        0 |        0
1727.78/1728.15	c 1324s |      26 |  7672283 |  7666252 |      360  48628 |        0 |        0
1729.77/1730.16	c 1326s |      26 |  7683814 |  7677752 |      360  48684 |        0 |        0
1731.77/1732.17	c 1328s |      26 |  7695230 |  7689152 |      360  48739 |        0 |        0
1733.76/1734.18	c 1330s |      26 |  7706642 |  7700552 |      360  48794 |        0 |        0
1735.77/1736.19	c 1332s |      26 |  7718057 |  7711952 |      360  48849 |        0 |        0
1737.78/1738.20	c 1334s |      26 |  7729483 |  7723352 |      360  48904 |        0 |        0
1739.77/1740.20	c 1336s |      26 |  7740810 |  7734652 |      360  48959 |        0 |        0
1741.86/1742.21	c 1338s |      26 |  7752237 |  7746052 |      360  49014 |        0 |        0
1743.87/1744.21	c 1340s |      26 |  7763749 |  7757552 |      360  49069 |        0 |        0
1745.87/1746.21	c 1342s |      26 |  7775062 |  7768852 |      360  49124 |        0 |        0
1747.87/1748.23	c 1344s |      26 |  7786475 |  7780252 |      360  49179 |        0 |        0
1749.88/1750.24	c 1346s |      26 |  7797780 |  7791552 |      360  49233 |        0 |        0
1751.87/1752.24	c 1348s |      26 |  7809099 |  7802852 |      360  49288 |        0 |        0
1753.87/1754.24	c 1350s |      26 |  7820419 |  7814152 |      360  49343 |        0 |        0
1755.87/1756.24	c 1352s |      26 |  7831731 |  7825452 |      360  49398 |        0 |        0
1757.86/1758.25	c 1354s |      26 |  7843057 |  7836752 |      360  49453 |        0 |        0
1759.86/1760.25	c 1356s |      26 |  7854356 |  7848052 |      360  49507 |        0 |        0
1761.88/1762.26	c 1358s |      26 |  7865480 |  7859152 |      360  49562 |        0 |        0
1763.86/1764.27	c 1360s |      26 |  7876592 |  7870252 |      360  49616 |        0 |        0
1765.87/1766.28	c 1362s |      26 |  7887709 |  7881352 |      360  49670 |        0 |        0
1767.96/1768.30	c 1364s |      26 |  7898821 |  7892452 |      360  49724 |        0 |        0
1769.96/1770.31	c 1366s |      26 |  7910334 |  7903952 |      360  49779 |        0 |        0
1771.96/1772.32	c 1368s |      26 |  7921938 |  7915552 |      360  49835 |        0 |        0
1773.97/1774.32	c 1370s |      26 |  7933367 |  7926952 |      360  49890 |        0 |        0
1775.96/1776.32	c 1372s |      26 |  7944804 |  7938352 |      360  49946 |        0 |        0
1777.96/1778.32	c 1374s |      26 |  7956220 |  7949752 |      360  50001 |        0 |        0
1779.96/1780.33	c 1376s |      26 |  7967419 |  7960952 |      360  50055 |        0 |        0
1781.96/1782.34	c 1378s |      26 |  7978632 |  7972152 |      360  50110 |        0 |        0
1783.97/1784.36	c 1380s |      26 |  7989743 |  7983252 |      360  50164 |        0 |        0
1785.97/1786.36	c 1382s |      26 |  8000866 |  7994352 |      360  50218 |        0 |        0
1787.96/1788.37	c 1384s |      26 |  8011986 |  8005452 |      360  50271 |        0 |        0
1789.96/1790.38	c 1386s |      26 |  8023097 |  8016552 |      360  50325 |        0 |        0
1791.96/1792.39	c 1388s |      26 |  8034225 |  8027652 |      360  50379 |        0 |        0
1794.06/1794.40	c 1390s |      26 |  8045240 |  8038652 |      360  50432 |        0 |        0
1795.97/1796.40	c 1392s |      26 |  8056364 |  8049752 |      360  50486 |        0 |        0
1798.06/1798.41	c 1394s |      26 |  8067493 |  8060852 |      360  50540 |        0 |        0

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

pid=31572
running on 8 cores: 0-3,8-11

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.01 2.07 2.07 3/261 31575
/proc/meminfo: memFree=28073248/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1002940 CPUtime=0 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 3791 0 0 0 0 0 0 0 20 0 4 0 105770825 1027010560 4662 33554432000 4194304 16246674 140736824596608 140736824596032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 251247 4667 441 2943 0 248141 0
[pid=31575/tid=31576] ppid=31572 vsize=1024444 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1049030656 4745 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1028540 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1053224960 4762 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1032636 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1057419264 4779 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.01 2.07 2.07 3/261 31575
/proc/meminfo: memFree=28073248/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 26744 0 0 0 6 3 0 0 20 0 4 0 105770825 1247350784 27607 33554432000 4194304 16246674 140736824596608 140736824596032 12653060 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 304529 27613 601 2943 0 301423 0
[pid=31575/tid=31576] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 27619 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 27625 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 27631 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 2.01 2.07 2.07 3/261 31575
/proc/meminfo: memFree=28073248/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1218116 CPUtime=0.18 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 48356 0 0 0 13 5 0 0 20 0 4 0 105770825 1247350784 49219 33554432000 4194304 16246674 140736824596608 140736824596032 12429797 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 304529 49224 601 2943 0 301423 0
[pid=31575/tid=31576] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 49227 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 49231 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 49235 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300436 s]
/proc/loadavg: 2.01 2.07 2.07 3/261 31575
/proc/meminfo: memFree=28073248/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 76182 0 0 0 20 9 0 0 20 0 4 0 105770825 1247350784 77044 33554432000 4194304 16246674 140736824596608 140736824596032 12653060 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 304529 77051 601 2943 0 301423 0
[pid=31575/tid=31576] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 77057 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 77062 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 77067 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700367 s]
/proc/loadavg: 2.01 2.07 2.07 3/261 31575
/proc/meminfo: memFree=28073248/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 162782 0 0 0 48 21 0 0 20 0 4 0 105770825 1247350784 163645 33554432000 4194304 16246674 140736824596608 140736824578496 6958465 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 304529 163657 601 2943 0 301423 0
[pid=31575/tid=31576] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 163664 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 163672 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1247350784 163679 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.01 2.07 2.07 3/265 31579
/proc/meminfo: memFree=27073888/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1320516 CPUtime=1.49 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 271077 0 0 0 114 35 0 0 20 0 4 0 105770825 1352208384 271895 33554432000 4194304 16246674 140736824596608 140736824578496 12429241 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 330129 271895 821 2943 0 327023 0
[pid=31575/tid=31576] ppid=31572 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1352208384 271895 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1352208384 271895 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1352208384 271895 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1320516

[startup+3.10041 s]
/proc/loadavg: 2.01 2.07 2.07 3/265 31579
/proc/meminfo: memFree=26985028/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1320516 CPUtime=3.09 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 271224 0 0 0 274 35 0 0 20 0 4 0 105770825 1352208384 272042 33554432000 4194304 16246674 140736824596608 140736824578496 4206688 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 330129 272042 821 2943 0 327023 0
[pid=31575/tid=31576] ppid=31572 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1352208384 272042 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1352208384 272042 33554432000 4194304 16246674 140736824596608 140692842060816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1320516 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1352208384 272042 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1320516

[startup+6.30037 s]
/proc/loadavg: 2.01 2.07 2.07 3/265 31579
/proc/meminfo: memFree=26978296/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=1471044 CPUtime=6.28 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 308730 0 0 0 589 39 0 0 20 0 4 0 105770825 1506349056 309548 33554432000 4194304 16246674 140736824596608 140736824595920 12449273 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 367761 309548 821 2943 0 364655 0
[pid=31575/tid=31576] ppid=31572 vsize=1471044 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 1506349056 309548 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=1471044 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 1506349056 309548 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=1471044 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 1506349056 309548 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1471044

[startup+12.7004 s]
/proc/loadavg: 2.01 2.06 2.07 3/265 31579
/proc/meminfo: memFree=26024248/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2277956 CPUtime=12.69 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 510587 0 0 0 1206 63 0 0 20 0 4 0 105770825 2332626944 511405 33554432000 4194304 16246674 140736824596608 140736824594496 4221031 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 569489 511405 822 2943 0 566383 0
[pid=31575/tid=31576] ppid=31572 vsize=2277956 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2332626944 511405 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2277956 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2332626944 511405 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2277956 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2332626944 511405 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2277956

[startup+25.5005 s]
/proc/loadavg: 2.01 2.06 2.07 3/265 31579
/proc/meminfo: memFree=25292512/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=3008068 CPUtime=25.48 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 693115 0 0 0 2459 89 0 0 20 0 4 0 105770825 3080261632 693933 33554432000 4194304 16246674 140736824596608 140736824594432 4220495 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 752017 693933 822 2943 0 748911 0
[pid=31575/tid=31576] ppid=31572 vsize=3008068 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 3080261632 693933 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=3008068 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 3080261632 693933 33554432000 4194304 16246674 140736824596608 140692842060816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=3008068 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 3080261632 693933 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3008068

[startup+51.1005 s]
/proc/loadavg: 2.00 2.05 2.07 3/265 31579
/proc/meminfo: memFree=24203568/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=4094532 CPUtime=51.08 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 970107 0 0 0 4982 126 0 0 20 0 4 0 105770825 4192800768 965549 33554432000 4194304 16246674 140736824596608 140736824595704 4220897 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 1023633 965549 822 2943 0 1020527 0
[pid=31575/tid=31576] ppid=31572 vsize=4094532 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 4192800768 965549 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=4094532 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 4192800768 965549 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=4094532 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 4192800768 965549 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4094532

[startup+102.301 s]
/proc/loadavg: 2.00 2.04 2.06 3/265 31580
/proc/meminfo: memFree=22604256/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=5690948 CPUtime=102.29 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 1369211 0 0 0 10044 185 0 0 20 0 4 0 105770825 5827530752 1364653 33554432000 4194304 16246674 140736824596608 140736824595920 15015658 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31575/statm: 1422737 1364653 822 2943 0 1419631 0
[pid=31575/tid=31576] ppid=31572 vsize=5690948 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 5827530752 1364653 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=5690948 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 5827530752 1364653 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=5690948 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 5827530752 1364653 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 5690948


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

/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 2808388

[startup+1302.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/265 31683
/proc/meminfo: memFree=28331920/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1302.03 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217250 0 0 0 127188 3015 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824578496 13950230 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2808388

[startup+1362.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/265 31684
/proc/meminfo: memFree=28331952/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1362.03 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 133049 3154 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824579608 5711355 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2808388

[startup+1422.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/265 31685
/proc/meminfo: memFree=28331852/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1422.02 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 138845 3357 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824578496 6020473 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2808388

[startup+1482.3 s]
/proc/loadavg: 2.05 2.11 2.08 3/265 31686
/proc/meminfo: memFree=28332012/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1482.01 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 144697 3504 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824579608 5722896 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2808388

[startup+1542.31 s]
/proc/loadavg: 2.08 2.10 2.08 3/265 31690
/proc/meminfo: memFree=28331736/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1542.01 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 150558 3643 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824579608 5711829 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 2808388

[startup+1602.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/265 31692
/proc/meminfo: memFree=28331400/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1601.99 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 156432 3767 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824579608 5545708 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2808388

[startup+1662.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/265 31693
/proc/meminfo: memFree=28331920/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1661.98 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 162251 3947 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824579608 5600808 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2808388

[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/265 31694
/proc/meminfo: memFree=28328592/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1721.98 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 168088 4110 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824578496 6021608 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2808388

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/265 31695
/proc/meminfo: memFree=28327384/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1781.96 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 173911 4285 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824579608 5723034 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 2808388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.05 2.06 3/265 31695
/proc/meminfo: memFree=28327600/32872528 swapFree=9196/9196
[pid=31575] ppid=31572 vsize=2808388 CPUtime=1800.06 cores=0-3,8-11
/proc/31575/stat : 31575 (toysat) R 31572 31575 25889 0 -1 4202496 2217251 0 0 0 175675 4331 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140736824578496 12415672 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/31575/statm: 702097 644088 890 2943 0 698991 0
[pid=31575/tid=31576] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31576/stat : 31576 (toysat) S 31572 31575 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692852550896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31575/tid=31577] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31577/stat : 31577 (toysat) S 31572 31575 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692842061040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31575/tid=31578] ppid=31572 vsize=2808388 CPUtime=0 cores=0-3,8-11
/proc/31575/task/31578/stat : 31578 (toysat) S 31572 31575 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105770825 2875789312 644088 33554432000 4194304 16246674 140736824596608 140692726738096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2808388

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.49
CPU time (s): 1800.15
CPU user time (s): 1756.76
CPU system time (s): 43.3894
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 6188612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.76
system time used= 43.3894
maximum resident set size= 5956328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2217251
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= 313
involuntary context switches= 1905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07562 second user time and 22.1786 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 20:54:48
IDJOB=4078588
IDBENCH=2566
IDSOLVER=2542
FILE ID=node132/4078588-1465239288
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078588-1465239288/watcher-4078588-1465239288 -o /tmp/evaluation-result-4078588-1465239288/solver-4078588-1465239288 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078588-1465239288.opb

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

MD5SUM BENCH= 3fa3d77c564aea49e42df3fe632e1a1c
RANDOM SEED=293359813

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:        28073248 kB
Buffers:           41024 kB
Cached:            97488 kB
SwapCached:         3224 kB
Active:          3998432 kB
Inactive:          74856 kB
Active(anon):    3933932 kB
Inactive(anon):     3236 kB
Active(file):      64500 kB
Inactive(file):    71620 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             16488 kB
Writeback:             0 kB
AnonPages:       3959140 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             573020 kB
SReclaimable:      13584 kB
SUnreclaim:       559436 kB
KernelStack:        2240 kB
PageTables:        11800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4086864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node132 at 2016-06-06 21:24:49