Trace number 4093707

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
MD5SUM5c6d98aba4f4f2cf2db8cd0c78364d4c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.223965
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints25
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 979
Min constraint cost 1
Max constraint cost 88
Sum of constraints costs 978
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
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-16T18:07:14+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","--wbo","--search=bcd2","HOME/instance-4093707-1466093233.wbo"]
0.00/0.01	c use --random-gen="1888447711 2850942631 3243370257 2536536765 3126203143 3398838700 3546932516 3287082926 493340933 1069041501 2220309793 731997057 2786386938 483957633 2576218189 3052570236 3765280090 3015470174 2735659754 554812753 678613197 1182192509 1592464113 1373296930 2283052732 3745968267 507227291 2037507029 604723320 1635824529 3754896787 121892542 297218314 336636124 2742379004 3899911853 1551657271 4172071038 4254416531 4043385038 2649159417 2714019074 1320296912 2392399427 4134870896 3553794957 3305365034 2625389895 577897627 1819756666 2944678809 3101211295 2150265144 1733938724 2899847731 2828232130 286342702 3937674288 1434072701 971732928 3188249951 277074316 3467912869 136554364 2038939109 656833323 3251336557 3989592132 3389200155 3110766121 3456771511 1327055864 2143157778 2732711155 522112150 2288816253 623175718 3977197224 2764128426 1231339588 3797723593 1137372296 4029319637 2916165583 449813570 1906192472 4227998520 3467361854 909509201 3802052834 3327568079 1796752033 2448221302 2817503839 3793815622 2986940202 2229983376 2852028964 108677933 2852272406 3546194661 3470031037 835896001 4090181401 1176601046 1006689873 1108335319 2807602456 618585208 3920563802 2355311365 445628499 206161835 2222886875 2205721801 1908662365 1070775414 472939850 2201582874 3590617103 4210892219 3273260257 3409739718 3106730442 2995677618 3797569680 521727402 254853679 2814535817 1084988867 3615572192 3492225880 954047459 3464862597 809540629 4012938954 576168182 969487577 676467245 225634359 1424482088 908492493 1532683990 3967567624 783732201 1360614640 1349318575 3549309796 1323520034 3473128489 3357599267 1778972629 265532746 3005255604 476612153 2649253612 1472775629 3149147755 969078165 3659064956 1918572698 2942458389 2774968177 3318165998 583975330 3189625077 3013145188 2718968235 717842506 2058421595 2391241164 2545000841 625745304 3948574244 3331764504 605077469 3953508045 3096494086 270159204 741187368 434231008 606922051 480770841 2911023334 3340153406 162730588 920929578 3263296587 738523424 1430290931 3500623821 2155961825 3952620069 3016825059 1782368105 2314387473 1885206042 4232229324 3889921219 812434665 268158420 559250646 1681575321 290857917 2790121619 3374189755 2845060734 3951370551 3885445898 3300895802 3521545723 3797389719 2020524682 860044779 3990634744 31156085 2414502124 4152912964 3117213569 1329819049 3682185395 1457024844 327333129 4228603148 4041435395 89006057 1830044238 649911558 1228655530 3772600859 3491389578 1200337812 1313544294 3206345142 1291506251 1285999364 3631006943 3033272638 1950782304 2871354527 3778448773 2398927800 1933252274 1948305275 3848022703 2102409382 4040465770 4157686669 382410024 2079998468 3704196290 2368063952 2855845750 2115600495 2030800914 3929768870 255 362436" option to reproduce the execution
0.00/0.01	c #vars 150
0.00/0.01	c #constraints 25
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       66      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       35 |        0 |       66      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.000s
0.00/0.02	c #wall_clock_time = 0.000s
0.00/0.02	c #decision = 35
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	o 583
0.00/0.02	c BCD2: updating upper bound: 978 -> 582
0.00/0.02	c BCD2: 0 <= obj <= 582
0.00/0.02	c BCD2: #cores=0, #unrelaxed=25, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       66      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      148 |      100 |       66      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      528 |      250 |       73      2 |        0 |        0
0.09/0.10	c  0.1s |       3 |     1025 |      475 |       81      5 |        0 |        0
0.09/0.18	c  0.2s |       4 |     1602 |      813 |       90      9 |        0 |        0
0.19/0.29	c  0.3s |       5 |     2294 |     1320 |      100     14 |        0 |        0
0.39/0.45	c  0.4s |       6 |     3323 |     2081 |      123     21 |        0 |        0
0.69/0.70	c  0.7s |       7 |     4745 |     3223 |      136     31 |        0 |        0
0.99/1.02	c  1.0s |       8 |     6748 |     4936 |      150     45 |        0 |        0
1.39/1.40	c  1.4s |       9 |     9835 |     7506 |      165     65 |        0 |        0
1.89/1.94	c  1.9s |      10 |    14591 |    11361 |      182     97 |        0 |        0
2.69/2.75	c  2.7s |      11 |    21489 |    17144 |      201    141 |        0 |        0
3.89/3.99	c  4.0s |      12 |    31749 |    25819 |      222    201 |        0 |        0
5.89/5.92	c  5.9s |      13 |    46998 |    38832 |      245    282 |        0 |        0
7.89/7.94	c  7.9s |      13 |    61658 |    51332 |      245    356 |        0 |        0
9.19/9.21	c  9.2s |      14 |    69685 |    58352 |      270    397 |        0 |        0
11.19/11.21	c 11.2s |      14 |    83971 |    70352 |      270    465 |        0 |        0
13.19/13.22	c 13.2s |      14 |    98621 |    82952 |      270    538 |        0 |        0
13.88/13.93	c 13.9s |      15 |   103983 |    87632 |      297    566 |        0 |        0
15.88/15.94	c 15.9s |      15 |   118479 |    99932 |      297    633 |        0 |        0
17.88/17.94	c 17.9s |      15 |   131014 |   110532 |      297    686 |        0 |        0
19.89/19.96	c 19.9s |      15 |   143576 |   121132 |      297    740 |        0 |        0
21.78/21.80	c 21.8s |      16 |   155678 |   131552 |      327    792 |        0 |        0
23.78/23.81	c 23.8s |      16 |   170676 |   144052 |      327    850 |        0 |        0
25.78/25.81	c 25.8s |      16 |   185007 |   156052 |      327    907 |        0 |        0
27.78/27.81	c 27.8s |      16 |   198267 |   167352 |      327    961 |        0 |        0
29.79/29.82	c 29.8s |      16 |   211298 |   178652 |      327   1014 |        0 |        0
31.78/31.84	c 31.8s |      16 |   224979 |   190452 |      327   1070 |        0 |        0
33.09/33.12	c 33.1s |      17 |   233137 |   197432 |      360   1103 |        0 |        0
35.08/35.13	c 35.1s |      17 |   247443 |   209432 |      360   1155 |        0 |        0
37.09/37.14	c 37.1s |      17 |   261453 |   221332 |      360   1207 |        0 |        0
39.09/39.15	c 39.1s |      17 |   275200 |   233132 |      360   1259 |        0 |        0
41.09/41.17	c 41.2s |      17 |   288407 |   244832 |      360   1311 |        0 |        0
43.09/43.17	c 43.2s |      17 |   301229 |   255932 |      360   1359 |        0 |        0
45.09/45.19	c 45.2s |      17 |   314399 |   267132 |      360   1408 |        0 |        0
47.18/47.20	c 47.2s |      17 |   327181 |   278132 |      360   1456 |        0 |        0
49.18/49.21	c 49.2s |      17 |   340979 |   289832 |      360   1508 |        0 |        0
50.48/50.50	c 50.5s |      18 |   348637 |   296252 |      397   1536 |        0 |        0
52.48/52.51	c 52.5s |      18 |   361186 |   307052 |      397   1580 |        0 |        0
54.48/54.53	c 54.5s |      18 |   373159 |   317352 |      397   1621 |        0 |        0
56.48/56.54	c 56.5s |      18 |   385197 |   327752 |      397   1663 |        0 |        0
58.48/58.54	c 58.5s |      18 |   396332 |   337552 |      397   1703 |        0 |        0
60.49/60.56	c 60.5s |      18 |   406467 |   346352 |      397   1739 |        0 |        0
62.48/62.58	c 62.6s |      18 |   416564 |   355152 |      397   1775 |        0 |        0
64.58/64.60	c 64.6s |      18 |   426949 |   364052 |      397   1811 |        0 |        0
66.59/66.60	c 66.6s |      18 |   439409 |   374652 |      397   1855 |        0 |        0
68.59/68.61	c 68.6s |      18 |   452058 |   385552 |      397   1899 |        0 |        0
70.58/70.62	c 70.6s |      18 |   465112 |   397052 |      397   1946 |        0 |        0
72.59/72.64	c 72.6s |      18 |   477822 |   408152 |      397   1992 |        0 |        0
74.58/74.66	c 74.6s |      18 |   490187 |   418852 |      397   2037 |        0 |        0
76.58/76.66	c 76.6s |      18 |   502368 |   429252 |      397   2080 |        0 |        0
78.58/78.66	c 78.6s |      18 |   514392 |   439852 |      397   2124 |        0 |        0
79.38/79.42	c 79.4s |      19 |   519661 |   444482 |      437   2142 |        0 |        0
81.39/81.42	c 81.4s |      19 |   532742 |   455882 |      437   2185 |        0 |        0
83.38/83.43	c 83.4s |      19 |   544302 |   466082 |      437   2224 |        0 |        0
85.38/85.45	c 85.4s |      19 |   556934 |   477082 |      437   2265 |        0 |        0
87.38/87.45	c 87.4s |      19 |   569919 |   488382 |      437   2308 |        0 |        0
89.38/89.46	c 89.4s |      19 |   582441 |   499282 |      437   2350 |        0 |        0
91.39/91.46	c 91.4s |      19 |   594591 |   509882 |      437   2391 |        0 |        0
93.38/93.47	c 93.5s |      19 |   605770 |   519682 |      437   2428 |        0 |        0
95.38/95.48	c 95.5s |      19 |   616237 |   528882 |      437   2464 |        0 |        0
97.38/97.49	c 97.5s |      19 |   627369 |   538682 |      437   2501 |        0 |        0
99.47/99.50	c 99.5s |      19 |   638968 |   548682 |      437   2540 |        0 |        0
101.47/101.51	c  101s |      19 |   650576 |   558782 |      437   2578 |        0 |        0
103.48/103.51	c  103s |      19 |   662566 |   569282 |      437   2618 |        0 |        0
105.47/105.53	c  105s |      19 |   674687 |   579882 |      437   2659 |        0 |        0
107.47/107.54	c  107s |      19 |   684795 |   588882 |      437   2693 |        0 |        0
109.47/109.56	c  109s |      19 |   696304 |   598782 |      437   2730 |        0 |        0
111.47/111.57	c  111s |      19 |   707214 |   608482 |      437   2767 |        0 |        0
113.47/113.57	c  113s |      19 |   717935 |   617982 |      437   2803 |        0 |        0
115.49/115.58	c  115s |      19 |   729537 |   627982 |      437   2841 |        0 |        0
117.58/117.60	c  117s |      19 |   741477 |   638182 |      437   2880 |        0 |        0
119.58/119.62	c  119s |      19 |   753375 |   648382 |      437   2920 |        0 |        0
121.58/121.63	c  121s |      19 |   764701 |   658182 |      437   2957 |        0 |        0
123.48/123.50	c  123s |      20 |   774683 |   666827 |      481   2989 |        0 |        0
125.48/125.51	c  125s |      20 |   786428 |   676927 |      481   3024 |        0 |        0
127.47/127.52	c  127s |      20 |   797954 |   686927 |      481   3060 |        0 |        0
129.47/129.52	c  129s |      20 |   809446 |   697027 |      481   3096 |        0 |        0
131.47/131.53	c  131s |      20 |   819595 |   706027 |      481   3128 |        0 |        0
133.47/133.54	c  133s |      20 |   829467 |   714727 |      481   3159 |        0 |        0
135.47/135.55	c  135s |      20 |   840440 |   724127 |      481   3193 |        0 |        0
137.48/137.55	c  137s |      20 |   851360 |   733627 |      481   3227 |        0 |        0
139.47/139.55	c  139s |      20 |   862661 |   743527 |      481   3262 |        0 |        0
141.47/141.56	c  141s |      20 |   873810 |   753127 |      481   3296 |        0 |        0
143.47/143.57	c  143s |      20 |   885359 |   763127 |      481   3331 |        0 |        0
145.47/145.57	c  145s |      20 |   897588 |   773627 |      481   3369 |        0 |        0
147.48/147.57	c  147s |      20 |   909047 |   783527 |      481   3405 |        0 |        0
149.47/149.58	c  149s |      20 |   922577 |   795427 |      481   3445 |        0 |        0
151.47/151.58	c  151s |      20 |   935853 |   807027 |      481   3485 |        0 |        0
153.47/153.59	c  153s |      20 |   947688 |   817427 |      481   3522 |        0 |        0
155.57/155.60	c  155s |      20 |   958501 |   827027 |      481   3555 |        0 |        0
157.57/157.60	c  157s |      20 |   969544 |   836927 |      481   3589 |        0 |        0
159.57/159.61	c  159s |      20 |   980870 |   846827 |      481   3624 |        0 |        0
161.57/161.62	c  161s |      20 |   991686 |   856227 |      481   3657 |        0 |        0
163.57/163.62	c  163s |      20 |  1002926 |   866127 |      481   3691 |        0 |        0
165.57/165.63	c  165s |      20 |  1013876 |   875827 |      481   3725 |        0 |        0
167.57/167.63	c  167s |      20 |  1024594 |   885327 |      481   3757 |        0 |        0
169.57/169.65	c  169s |      20 |  1035862 |   895427 |      481   3793 |        0 |        0
171.57/171.65	c  171s |      20 |  1047613 |   905727 |      481   3828 |        0 |        0
173.56/173.67	c  173s |      20 |  1059737 |   916427 |      481   3865 |        0 |        0
175.56/175.68	c  175s |      20 |  1072170 |   927327 |      481   3903 |        0 |        0
177.66/177.70	c  177s |      20 |  1084209 |   937927 |      481   3940 |        0 |        0
179.66/179.72	c  179s |      20 |  1094830 |   947227 |      481   3972 |        0 |        0
181.66/181.74	c  181s |      20 |  1104731 |   955827 |      481   4001 |        0 |        0
183.67/183.75	c  183s |      20 |  1115083 |   964927 |      481   4033 |        0 |        0
185.67/185.76	c  185s |      20 |  1125916 |   974327 |      481   4065 |        0 |        0
187.67/187.78	c  187s |      20 |  1137804 |   984527 |      481   4101 |        0 |        0
189.67/189.79	c  189s |      20 |  1148702 |   994027 |      530   4133 |        0 |        0
191.07/191.15	c  191s |      21 |  1155724 |  1000345 |      530   4153 |        0 |        0
193.06/193.16	c  193s |      21 |  1168175 |  1010945 |      530   4187 |        0 |        0
195.06/195.16	c  195s |      21 |  1178947 |  1020545 |      530   4218 |        0 |        0
197.06/197.17	c  197s |      21 |  1189845 |  1030245 |      530   4249 |        0 |        0
199.07/199.19	c  199s |      21 |  1201876 |  1040845 |      530   4283 |        0 |        0
201.16/201.21	c  201s |      21 |  1213007 |  1050845 |      530   4315 |        0 |        0
203.16/203.21	c  203s |      21 |  1224371 |  1060845 |      530   4347 |        0 |        0
205.16/205.23	c  205s |      21 |  1234626 |  1070045 |      530   4376 |        0 |        0
207.16/207.23	c  207s |      21 |  1245107 |  1079345 |      530   4406 |        0 |        0
209.16/209.25	c  209s |      21 |  1256692 |  1089445 |      530   4438 |        0 |        0
211.16/211.27	c  211s |      21 |  1268102 |  1099345 |      530   4470 |        0 |        0
213.16/213.29	c  213s |      21 |  1278563 |  1108545 |      530   4499 |        0 |        0
215.26/215.30	c  215s |      21 |  1288478 |  1117145 |      530   4526 |        0 |        0
217.26/217.30	c  217s |      21 |  1298160 |  1125645 |      530   4553 |        0 |        0
219.25/219.31	c  219s |      21 |  1308214 |  1134545 |      530   4582 |        0 |        0
221.25/221.32	c  221s |      21 |  1319081 |  1143845 |      530   4612 |        0 |        0
223.26/223.32	c  223s |      21 |  1329366 |  1153045 |      530   4641 |        0 |        0
225.25/225.33	c  225s |      21 |  1339590 |  1162145 |      530   4670 |        0 |        0
227.25/227.34	c  227s |      21 |  1349302 |  1170745 |      530   4697 |        0 |        0
229.25/229.34	c  229s |      21 |  1360250 |  1180145 |      530   4727 |        0 |        0
231.26/231.35	c  231s |      21 |  1370361 |  1188645 |      530   4755 |        0 |        0
233.27/233.36	c  233s |      21 |  1381145 |  1197745 |      530   4784 |        0 |        0
235.26/235.37	c  235s |      21 |  1391319 |  1206545 |      530   4812 |        0 |        0
237.26/237.38	c  237s |      21 |  1401316 |  1215245 |      530   4840 |        0 |        0
239.26/239.39	c  239s |      21 |  1410812 |  1223545 |      530   4866 |        0 |        0
241.36/241.40	c  241s |      21 |  1420369 |  1232145 |      530   4894 |        0 |        0
243.36/243.42	c  243s |      21 |  1431442 |  1241645 |      530   4924 |        0 |        0
245.36/245.42	c  245s |      21 |  1443168 |  1252045 |      530   4957 |        0 |        0
247.36/247.43	c  247s |      21 |  1454639 |  1262045 |      530   4989 |        0 |        0
249.35/249.44	c  249s |      21 |  1465489 |  1271645 |      530   5020 |        0 |        0
251.35/251.45	c  251s |      21 |  1476683 |  1281545 |      530   5052 |        0 |        0
253.35/253.46	c  253s |      21 |  1487133 |  1290745 |      530   5081 |        0 |        0
255.35/255.47	c  255s |      21 |  1496985 |  1299545 |      530   5109 |        0 |        0
257.36/257.47	c  257s |      21 |  1508795 |  1309745 |      530   5141 |        0 |        0
259.35/259.48	c  259s |      21 |  1519825 |  1319345 |      530   5172 |        0 |        0
261.35/261.49	c  261s |      21 |  1529884 |  1328345 |      530   5201 |        0 |        0
263.45/263.50	c  263s |      21 |  1539510 |  1336745 |      530   5228 |        0 |        0
265.45/265.51	c  265s |      21 |  1550459 |  1346245 |      530   5259 |        0 |        0
267.45/267.52	c  267s |      21 |  1561649 |  1355945 |      530   5290 |        0 |        0
269.46/269.54	c  269s |      21 |  1573034 |  1365945 |      530   5321 |        0 |        0
271.45/271.55	c  271s |      21 |  1583763 |  1375345 |      530   5351 |        0 |        0
273.45/273.56	c  273s |      21 |  1594761 |  1384845 |      530   5382 |        0 |        0
275.45/275.57	c  275s |      21 |  1605064 |  1393845 |      530   5411 |        0 |        0
277.45/277.57	c  277s |      21 |  1614852 |  1402545 |      530   5438 |        0 |        0
279.45/279.58	c  279s |      21 |  1625287 |  1411445 |      530   5467 |        0 |        0
281.45/281.60	c  281s |      21 |  1635798 |  1420645 |      530   5496 |        0 |        0
283.55/283.60	c  283s |      21 |  1645284 |  1429045 |      530   5523 |        0 |        0
285.55/285.61	c  285s |      21 |  1655433 |  1437945 |      530   5552 |        0 |        0
287.55/287.62	c  287s |      21 |  1665674 |  1446845 |      530   5581 |        0 |        0
289.55/289.64	c  289s |      21 |  1674784 |  1454845 |      530   5607 |        0 |        0
291.55/291.66	c  291s |      21 |  1684081 |  1462945 |      530   5633 |        0 |        0
293.54/293.67	c  293s |      21 |  1693597 |  1471245 |      530   5660 |        0 |        0
295.54/295.67	c  295s |      21 |  1703841 |  1480145 |      530   5689 |        0 |        0
297.54/297.69	c  297s |      21 |  1714688 |  1489545 |      530   5719 |        0 |        0
299.64/299.70	c  299s |      21 |  1726390 |  1499645 |      583   5750 |        0 |        0
299.84/299.90	c  299s |      22 |  1727516 |  1500622 |      583   5752 |        0 |        0
301.84/301.91	c  301s |      22 |  1738979 |  1510422 |      583   5781 |        0 |        0
303.84/303.92	c  303s |      22 |  1750083 |  1520022 |      583   5809 |        0 |        0
305.85/305.93	c  305s |      22 |  1761856 |  1529522 |      583   5838 |        0 |        0
307.84/307.95	c  307s |      22 |  1775595 |  1540322 |      583   5870 |        0 |        0
309.84/309.96	c  309s |      22 |  1787079 |  1550322 |      583   5900 |        0 |        0
311.84/311.98	c  311s |      22 |  1796900 |  1559022 |      583   5926 |        0 |        0
313.94/314.00	c  313s |      22 |  1805766 |  1566822 |      583   5949 |        0 |        0
315.94/316.01	c  315s |      22 |  1816937 |  1576522 |      583   5977 |        0 |        0
317.95/318.02	c  318s |      22 |  1827841 |  1585922 |      583   6005 |        0 |        0
319.94/320.03	c  320s |      22 |  1838718 |  1595322 |      583   6033 |        0 |        0
321.94/322.04	c  322s |      22 |  1849268 |  1604322 |      583   6061 |        0 |        0
323.94/324.05	c  324s |      22 |  1860369 |  1614022 |      583   6090 |        0 |        0
325.94/326.07	c  326s |      22 |  1871454 |  1623822 |      583   6119 |        0 |        0
327.94/328.07	c  328s |      22 |  1882824 |  1633822 |      583   6149 |        0 |        0
329.95/330.08	c  330s |      22 |  1894102 |  1643822 |      583   6179 |        0 |        0
331.95/332.09	c  332s |      22 |  1905721 |  1654022 |      583   6209 |        0 |        0
334.05/334.10	c  334s |      22 |  1917314 |  1663922 |      583   6239 |        0 |        0
336.04/336.11	c  336s |      22 |  1927627 |  1672822 |      583   6266 |        0 |        0
338.04/338.13	c  338s |      22 |  1938974 |  1682722 |      583   6295 |        0 |        0
340.04/340.15	c  340s |      22 |  1950643 |  1692822 |      583   6325 |        0 |        0
342.05/342.17	c  342s |      22 |  1961350 |  1702322 |      583   6353 |        0 |        0
344.04/344.17	c  344s |      22 |  1972927 |  1712322 |      583   6383 |        0 |        0
346.04/346.17	c  346s |      22 |  1984761 |  1722622 |      583   6414 |        0 |        0
348.04/348.18	c  348s |      22 |  1996507 |  1732722 |      583   6444 |        0 |        0
350.14/350.20	c  350s |      22 |  2007124 |  1742022 |      583   6471 |        0 |        0
352.14/352.22	c  352s |      22 |  2017612 |  1751222 |      583   6499 |        0 |        0
354.15/354.25	c  354s |      22 |  2027862 |  1760122 |      583   6525 |        0 |        0
356.14/356.27	c  356s |      22 |  2036414 |  1767622 |      583   6547 |        0 |        0
358.14/358.28	c  358s |      22 |  2046325 |  1776222 |      583   6573 |        0 |        0
360.14/360.28	c  360s |      22 |  2055208 |  1784022 |      583   6596 |        0 |        0
362.24/362.30	c  362s |      22 |  2064619 |  1792322 |      583   6621 |        0 |        0
364.24/364.32	c  364s |      22 |  2074115 |  1800722 |      583   6646 |        0 |        0
366.24/366.34	c  366s |      22 |  2083741 |  1809122 |      583   6671 |        0 |        0
368.24/368.35	c  368s |      22 |  2092808 |  1817222 |      583   6696 |        0 |        0
370.24/370.35	c  370s |      22 |  2102300 |  1825422 |      583   6720 |        0 |        0
372.24/372.38	c  372s |      22 |  2111479 |  1833622 |      583   6745 |        0 |        0
374.24/374.38	c  374s |      22 |  2121679 |  1842422 |      583   6771 |        0 |        0
376.33/376.40	c  376s |      22 |  2132543 |  1851722 |      583   6799 |        0 |        0
378.34/378.41	c  378s |      22 |  2142661 |  1860522 |      583   6825 |        0 |        0
380.33/380.42	c  380s |      22 |  2152163 |  1868922 |      583   6850 |        0 |        0
382.33/382.44	c  382s |      22 |  2161412 |  1877122 |      583   6874 |        0 |        0
384.33/384.46	c  384s |      22 |  2170418 |  1885122 |      583   6898 |        0 |        0
386.33/386.49	c  386s |      22 |  2178455 |  1892222 |      583   6920 |        0 |        0
388.43/388.50	c  388s |      22 |  2186908 |  1899622 |      583   6942 |        0 |        0
390.44/390.50	c  390s |      22 |  2196603 |  1908222 |      583   6967 |        0 |        0
392.43/392.52	c  392s |      22 |  2206071 |  1916622 |      583   6992 |        0 |        0
394.43/394.52	c  394s |      22 |  2215609 |  1924822 |      583   7016 |        0 |        0
396.43/396.54	c  396s |      22 |  2226916 |  1934422 |      583   7045 |        0 |        0
398.43/398.55	c  398s |      22 |  2236620 |  1943122 |      583   7071 |        0 |        0
400.43/400.57	c  400s |      22 |  2248678 |  1952722 |      583   7100 |        0 |        0
402.43/402.57	c  402s |      22 |  2262760 |  1962722 |      583   7131 |        0 |        0
404.43/404.57	c  404s |      22 |  2274448 |  1972822 |      583   7161 |        0 |        0
406.43/406.57	c  406s |      22 |  2285019 |  1982022 |      583   7188 |        0 |        0
408.42/408.59	c  408s |      22 |  2296124 |  1991522 |      583   7217 |        0 |        0
410.42/410.59	c  410s |      22 |  2307748 |  2001722 |      583   7247 |        0 |        0
412.44/412.60	c  412s |      22 |  2319057 |  2011522 |      583   7276 |        0 |        0
414.53/414.62	c  414s |      22 |  2330214 |  2021222 |      583   7305 |        0 |        0
416.53/416.64	c  416s |      22 |  2340541 |  2030322 |      583   7332 |        0 |        0
418.53/418.64	c  418s |      22 |  2350114 |  2038622 |      583   7357 |        0 |        0
420.53/420.65	c  420s |      22 |  2359880 |  2047222 |      583   7384 |        0 |        0
422.53/422.65	c  422s |      22 |  2368986 |  2055322 |      583   7408 |        0 |        0
424.54/424.66	c  424s |      22 |  2378697 |  2063822 |      583   7433 |        0 |        0
426.53/426.67	c  426s |      22 |  2388918 |  2072722 |      583   7460 |        0 |        0
428.53/428.69	c  428s |      22 |  2398926 |  2081522 |      583   7486 |        0 |        0
430.53/430.69	c  430s |      22 |  2409416 |  2090722 |      583   7513 |        0 |        0
432.63/432.70	c  432s |      22 |  2420119 |  2100122 |      583   7541 |        0 |        0
434.63/434.70	c  434s |      22 |  2431119 |  2109822 |      583   7570 |        0 |        0
436.63/436.72	c  436s |      22 |  2441904 |  2119122 |      583   7598 |        0 |        0
438.63/438.72	c  438s |      22 |  2451592 |  2127622 |      583   7623 |        0 |        0
440.63/440.72	c  440s |      22 |  2460998 |  2135922 |      583   7647 |        0 |        0
442.62/442.73	c  442s |      22 |  2471009 |  2144622 |      583   7673 |        0 |        0
444.62/444.75	c  444s |      22 |  2480796 |  2153122 |      583   7698 |        0 |        0
446.63/446.76	c  446s |      22 |  2490897 |  2161622 |      583   7723 |        0 |        0
448.62/448.77	c  448s |      22 |  2501460 |  2170422 |      583   7749 |        0 |        0
450.62/450.78	c  450s |      22 |  2512256 |  2179922 |      583   7777 |        0 |        0
452.62/452.79	c  452s |      22 |  2522614 |  2189022 |      583   7804 |        0 |        0
454.72/454.80	c  454s |      22 |  2533196 |  2198322 |      583   7831 |        0 |        0
456.72/456.81	c  456s |      22 |  2543258 |  2207322 |      583   7857 |        0 |        0
458.73/458.83	c  458s |      22 |  2553502 |  2216322 |      583   7884 |        0 |        0
460.72/460.85	c  460s |      22 |  2563003 |  2224722 |      583   7908 |        0 |        0
462.72/462.86	c  462s |      22 |  2572678 |  2233322 |      583   7934 |        0 |        0
464.72/464.87	c  464s |      22 |  2581982 |  2241622 |      642   7956 |        0 |        0
466.72/466.88	c  466s |      22 |  2591817 |  2250422 |      642   7980 |        0 |        0
466.92/467.04	c  467s |      23 |  2592505 |  2251038 |      642   7981 |        0 |        0
468.92/469.05	c  469s |      23 |  2604544 |  2260438 |      642   8007 |        0 |        0
470.92/471.06	c  471s |      23 |  2614741 |  2268938 |      642   8030 |        0 |        0
472.93/473.07	c  473s |      23 |  2625158 |  2277738 |      642   8054 |        0 |        0
474.92/475.09	c  475s |      23 |  2635695 |  2286538 |      642   8078 |        0 |        0
477.02/477.11	c  477s |      23 |  2645700 |  2295338 |      642   8103 |        0 |        0
479.02/479.13	c  479s |      23 |  2656132 |  2304538 |      642   8128 |        0 |        0
481.02/481.13	c  481s |      23 |  2665922 |  2313038 |      642   8151 |        0 |        0
483.02/483.15	c  483s |      23 |  2675704 |  2321638 |      642   8175 |        0 |        0
485.02/485.16	c  485s |      23 |  2685446 |  2330038 |      642   8198 |        0 |        0
487.02/487.17	c  487s |      23 |  2696875 |  2340138 |      642   8225 |        0 |        0
489.02/489.18	c  489s |      23 |  2707792 |  2349638 |      642   8251 |        0 |        0
491.12/491.20	c  491s |      23 |  2718846 |  2359138 |      642   8277 |        0 |        0
493.12/493.21	c  493s |      23 |  2729254 |  2368338 |      642   8301 |        0 |        0
495.11/495.23	c  495s |      23 |  2739511 |  2377438 |      642   8326 |        0 |        0
497.12/497.24	c  497s |      23 |  2749424 |  2386138 |      642   8350 |        0 |        0
499.11/499.26	c  499s |      23 |  2759458 |  2394838 |      642   8374 |        0 |        0
501.11/501.27	c  501s |      23 |  2769600 |  2403638 |      642   8398 |        0 |        0
503.11/503.28	c  503s |      23 |  2778325 |  2411238 |      642   8418 |        0 |        0
505.22/505.30	c  505s |      23 |  2788185 |  2419738 |      642   8442 |        0 |        0
507.22/507.31	c  507s |      23 |  2797574 |  2427838 |      642   8464 |        0 |        0
509.22/509.34	c  509s |      23 |  2806705 |  2435838 |      642   8486 |        0 |        0
511.22/511.35	c  511s |      23 |  2816853 |  2444638 |      642   8510 |        0 |        0
513.22/513.36	c  513s |      23 |  2826831 |  2453238 |      642   8533 |        0 |        0
515.22/515.37	c  515s |      23 |  2836104 |  2461438 |      642   8555 |        0 |        0
517.22/517.37	c  517s |      23 |  2845530 |  2469738 |      642   8578 |        0 |        0
519.22/519.38	c  519s |      23 |  2856160 |  2478638 |      642   8602 |        0 |        0
521.21/521.40	c  521s |      23 |  2866391 |  2487438 |      642   8626 |        0 |        0
523.31/523.41	c  523s |      23 |  2876381 |  2496338 |      642   8650 |        0 |        0
525.31/525.41	c  525s |      23 |  2886286 |  2505038 |      642   8674 |        0 |        0
527.31/527.42	c  527s |      23 |  2896819 |  2514238 |      642   8699 |        0 |        0
529.31/529.44	c  529s |      23 |  2906852 |  2523038 |      642   8723 |        0 |        0
531.32/531.45	c  531s |      23 |  2917403 |  2532238 |      642   8748 |        0 |        0
533.31/533.46	c  533s |      23 |  2928141 |  2541538 |      642   8774 |        0 |        0
535.31/535.47	c  535s |      23 |  2938353 |  2550338 |      642   8798 |        0 |        0
537.31/537.47	c  537s |      23 |  2948046 |  2558938 |      642   8821 |        0 |        0
539.31/539.49	c  539s |      23 |  2958293 |  2567938 |      642   8845 |        0 |        0
541.41/541.52	c  541s |      23 |  2968351 |  2576838 |      642   8869 |        0 |        0
543.41/543.53	c  543s |      23 |  2978209 |  2585438 |      642   8893 |        0 |        0
545.41/545.54	c  545s |      23 |  2988213 |  2594338 |      642   8917 |        0 |        0
547.41/547.54	c  547s |      23 |  2998271 |  2603238 |      642   8941 |        0 |        0
549.41/549.55	c  549s |      23 |  3008130 |  2611838 |      642   8964 |        0 |        0
551.41/551.56	c  551s |      23 |  3018026 |  2620538 |      642   8987 |        0 |        0
553.40/553.56	c  553s |      23 |  3028592 |  2629738 |      642   9012 |        0 |        0
555.41/555.59	c  555s |      23 |  3037949 |  2638138 |      642   9035 |        0 |        0
557.50/557.61	c  557s |      23 |  3047019 |  2646138 |      642   9057 |        0 |        0
559.50/559.63	c  559s |      23 |  3056223 |  2654238 |      642   9079 |        0 |        0
561.50/561.64	c  561s |      23 |  3065777 |  2662738 |      642   9102 |        0 |        0
563.50/563.65	c  563s |      23 |  3075609 |  2671338 |      642   9126 |        0 |        0
565.50/565.67	c  565s |      23 |  3086121 |  2680538 |      642   9151 |        0 |        0
567.51/567.69	c  567s |      23 |  3095772 |  2689038 |      642   9174 |        0 |        0
569.60/569.71	c  569s |      23 |  3104589 |  2696938 |      642   9195 |        0 |        0
571.60/571.71	c  571s |      23 |  3113579 |  2704938 |      642   9217 |        0 |        0
573.60/573.72	c  573s |      23 |  3123403 |  2713638 |      642   9240 |        0 |        0
575.60/575.72	c  575s |      23 |  3132630 |  2721838 |      642   9263 |        0 |        0
577.60/577.73	c  577s |      23 |  3141750 |  2730038 |      642   9285 |        0 |        0
579.61/579.74	c  579s |      23 |  3150792 |  2738038 |      642   9307 |        0 |        0
581.61/581.76	c  581s |      23 |  3159693 |  2745838 |      642   9328 |        0 |        0
583.61/583.77	c  583s |      23 |  3169296 |  2754238 |      642   9350 |        0 |        0
585.61/585.79	c  585s |      23 |  3178708 |  2762538 |      642   9373 |        0 |        0
587.60/587.79	c  587s |      23 |  3188199 |  2770938 |      642   9395 |        0 |        0
589.61/589.79	c  589s |      23 |  3198040 |  2779638 |      642   9419 |        0 |        0
591.71/591.81	c  591s |      23 |  3207928 |  2788338 |      642   9443 |        0 |        0
593.70/593.82	c  593s |      23 |  3217949 |  2797138 |      642   9466 |        0 |        0
595.70/595.83	c  595s |      23 |  3227730 |  2805738 |      642   9490 |        0 |        0
597.70/597.85	c  597s |      23 |  3238707 |  2815038 |      642   9515 |        0 |        0
599.70/599.85	c  599s |      23 |  3250128 |  2824638 |      642   9541 |        0 |        0
601.71/601.87	c  601s |      23 |  3261126 |  2834138 |      642   9567 |        0 |        0
603.70/603.88	c  603s |      23 |  3271803 |  2843438 |      642   9592 |        0 |        0
605.70/605.89	c  605s |      23 |  3282790 |  2852938 |      642   9618 |        0 |        0
607.80/607.90	c  607s |      23 |  3293770 |  2862438 |      642   9645 |        0 |        0
609.80/609.92	c  609s |      23 |  3304637 |  2871838 |      642   9670 |        0 |        0
611.80/611.93	c  611s |      23 |  3314543 |  2880538 |      642   9694 |        0 |        0
613.81/613.95	c  613s |      23 |  3324332 |  2889338 |      642   9718 |        0 |        0
615.80/615.96	c  615s |      23 |  3333750 |  2897738 |      642   9741 |        0 |        0
617.80/617.98	c  617s |      23 |  3343974 |  2906638 |      642   9765 |        0 |        0
619.80/619.98	c  619s |      23 |  3353567 |  2915038 |      642   9788 |        0 |        0
621.90/622.01	c  621s |      23 |  3363283 |  2923638 |      642   9812 |        0 |        0
623.90/624.02	c  624s |      23 |  3372650 |  2932038 |      642   9834 |        0 |        0
625.90/626.03	c  626s |      23 |  3382083 |  2940338 |      642   9857 |        0 |        0
627.89/628.05	c  628s |      23 |  3392076 |  2949138 |      642   9881 |        0 |        0
629.89/630.07	c  630s |      23 |  3402474 |  2958238 |      642   9906 |        0 |        0
631.89/632.09	c  632s |      23 |  3412556 |  2967338 |      642   9930 |        0 |        0
633.99/634.11	c  634s |      23 |  3422270 |  2976038 |      642   9954 |        0 |        0
635.99/636.12	c  636s |      23 |  3431785 |  2984538 |      642   9977 |        0 |        0
638.00/638.13	c  638s |      23 |  3441171 |  2992938 |      642  10000 |        0 |        0
639.99/640.16	c  640s |      23 |  3450413 |  3001138 |      642  10022 |        0 |        0
641.99/642.16	c  642s |      23 |  3460058 |  3009638 |      642  10045 |        0 |        0
643.99/644.17	c  644s |      23 |  3469920 |  3018238 |      642  10068 |        0 |        0
645.99/646.18	c  646s |      23 |  3478860 |  3026238 |      642  10090 |        0 |        0
648.09/648.20	c  648s |      23 |  3488271 |  3034638 |      642  10113 |        0 |        0
650.10/650.21	c  650s |      23 |  3498061 |  3043338 |      642  10136 |        0 |        0
652.09/652.22	c  652s |      23 |  3507345 |  3051638 |      642  10159 |        0 |        0
654.09/654.24	c  654s |      23 |  3516568 |  3059938 |      642  10181 |        0 |        0
656.09/656.25	c  656s |      23 |  3526516 |  3068738 |      642  10205 |        0 |        0
658.09/658.26	c  658s |      23 |  3536214 |  3077438 |      642  10229 |        0 |        0
660.09/660.28	c  660s |      23 |  3545824 |  3085938 |      642  10252 |        0 |        0
662.09/662.30	c  662s |      23 |  3556203 |  3095038 |      642  10277 |        0 |        0
664.19/664.30	c  664s |      23 |  3565523 |  3103438 |      642  10300 |        0 |        0
666.19/666.32	c  666s |      23 |  3574682 |  3111538 |      642  10322 |        0 |        0
668.19/668.34	c  668s |      23 |  3584520 |  3120138 |      642  10345 |        0 |        0
670.19/670.35	c  670s |      23 |  3594225 |  3128838 |      642  10369 |        0 |        0
672.18/672.36	c  672s |      23 |  3603158 |  3136838 |      642  10391 |        0 |        0
674.19/674.38	c  674s |      23 |  3612157 |  3144838 |      642  10412 |        0 |        0
676.19/676.40	c  676s |      23 |  3621130 |  3152738 |      642  10434 |        0 |        0
678.29/678.41	c  678s |      23 |  3630537 |  3161138 |      642  10457 |        0 |        0
680.29/680.42	c  680s |      23 |  3640588 |  3170038 |      642  10481 |        0 |        0
682.29/682.44	c  682s |      23 |  3650263 |  3178738 |      642  10505 |        0 |        0
684.29/684.44	c  684s |      23 |  3659836 |  3187138 |      642  10527 |        0 |        0
686.30/686.45	c  686s |      23 |  3669098 |  3195338 |      642  10550 |        0 |        0
688.29/688.47	c  688s |      23 |  3678699 |  3203838 |      642  10573 |        0 |        0
690.29/690.47	c  690s |      23 |  3687553 |  3211638 |      642  10594 |        0 |        0
692.29/692.48	c  692s |      23 |  3697003 |  3219838 |      642  10617 |        0 |        0
694.29/694.48	c  694s |      23 |  3706651 |  3228138 |      642  10639 |        0 |        0
696.39/696.50	c  696s |      23 |  3715570 |  3236038 |      642  10661 |        0 |        0
698.39/698.51	c  698s |      23 |  3725136 |  3244538 |      642  10684 |        0 |        0
700.39/700.51	c  700s |      23 |  3734721 |  3253038 |      642  10707 |        0 |        0
702.39/702.51	c  702s |      23 |  3744153 |  3261438 |      642  10730 |        0 |        0
704.38/704.54	c  704s |      23 |  3753545 |  3269638 |      642  10753 |        0 |        0
706.38/706.54	c  706s |      23 |  3763414 |  3278338 |      642  10776 |        0 |        0
708.39/708.56	c  708s |      23 |  3772336 |  3286338 |      642  10798 |        0 |        0
710.38/710.58	c  710s |      23 |  3781906 |  3294838 |      642  10821 |        0 |        0
712.48/712.60	c  712s |      23 |  3791959 |  3303738 |      642  10846 |        0 |        0
714.48/714.61	c  714s |      23 |  3801330 |  3311938 |      642  10868 |        0 |        0
716.48/716.63	c  716s |      23 |  3810558 |  3320038 |      642  10890 |        0 |        0
718.48/718.63	c  718s |      23 |  3819442 |  3327838 |      642  10911 |        0 |        0
720.49/720.64	c  720s |      23 |  3827881 |  3335338 |      642  10932 |        0 |        0
722.48/722.65	c  722s |      23 |  3836569 |  3343138 |      642  10953 |        0 |        0
724.48/724.66	c  724s |      23 |  3845421 |  3351038 |      642  10975 |        0 |        0
726.48/726.67	c  726s |      23 |  3855289 |  3359738 |      707  10997 |        0 |        0
728.48/728.68	c  728s |      23 |  3865575 |  3368538 |      707  11019 |        0 |        0
730.29/730.45	c  730s |      24 |  3874994 |  3376662 |      707  11039 |        0 |        0
732.28/732.47	c  732s |      24 |  3885405 |  3385762 |      707  11062 |        0 |        0
734.28/734.47	c  734s |      24 |  3895578 |  3394662 |      707  11084 |        0 |        0
736.28/736.47	c  736s |      24 |  3905112 |  3403062 |      707  11105 |        0 |        0
738.28/738.48	c  738s |      24 |  3915584 |  3412262 |      707  11128 |        0 |        0
740.38/740.50	c  740s |      24 |  3925627 |  3421162 |      707  11150 |        0 |        0
742.38/742.52	c  742s |      24 |  3935705 |  3430162 |      707  11172 |        0 |        0
744.38/744.54	c  744s |      24 |  3944940 |  3438462 |      707  11193 |        0 |        0
746.38/746.55	c  746s |      24 |  3953659 |  3446062 |      707  11212 |        0 |        0
748.38/748.56	c  748s |      24 |  3964111 |  3455062 |      707  11234 |        0 |        0
750.37/750.58	c  750s |      24 |  3974443 |  3464062 |      707  11257 |        0 |        0
752.38/752.59	c  752s |      24 |  3983348 |  3471762 |      707  11276 |        0 |        0
754.37/754.59	c  754s |      24 |  3993484 |  3480562 |      707  11298 |        0 |        0
756.47/756.60	c  756s |      24 |  4003165 |  3489162 |      707  11320 |        0 |        0
758.47/758.61	c  758s |      24 |  4013701 |  3498362 |      707  11343 |        0 |        0
760.47/760.63	c  760s |      24 |  4023300 |  3506562 |      707  11364 |        0 |        0
762.47/762.63	c  762s |      24 |  4033051 |  3514862 |      707  11385 |        0 |        0
764.48/764.64	c  764s |      24 |  4042493 |  3523162 |      707  11406 |        0 |        0
766.47/766.65	c  766s |      24 |  4053060 |  3532362 |      707  11429 |        0 |        0
768.47/768.67	c  768s |      24 |  4063046 |  3541262 |      707  11451 |        0 |        0
770.47/770.69	c  770s |      24 |  4073217 |  3550262 |      707  11474 |        0 |        0
772.57/772.70	c  772s |      24 |  4083127 |  3558962 |      707  11496 |        0 |        0
774.57/774.70	c  774s |      24 |  4091779 |  3566562 |      707  11515 |        0 |        0
776.58/776.71	c  776s |      24 |  4099778 |  3573662 |      707  11533 |        0 |        0
778.57/778.73	c  778s |      24 |  4110175 |  3582662 |      707  11555 |        0 |        0
780.57/780.74	c  780s |      24 |  4119382 |  3590762 |      707  11575 |        0 |        0
782.57/782.74	c  782s |      24 |  4128863 |  3599062 |      707  11596 |        0 |        0
784.57/784.74	c  784s |      24 |  4139151 |  3608062 |      707  11618 |        0 |        0
786.57/786.75	c  786s |      24 |  4148470 |  3616262 |      707  11639 |        0 |        0
788.58/788.78	c  788s |      24 |  4158155 |  3624762 |      707  11660 |        0 |        0
790.68/790.80	c  790s |      24 |  4166400 |  3632062 |      707  11678 |        0 |        0
792.68/792.80	c  792s |      24 |  4174591 |  3639262 |      707  11696 |        0 |        0
794.67/794.81	c  794s |      24 |  4183224 |  3646962 |      707  11715 |        0 |        0
796.67/796.83	c  796s |      24 |  4192015 |  3654762 |      707  11735 |        0 |        0
798.67/798.84	c  798s |      24 |  4201204 |  3662862 |      707  11755 |        0 |        0
800.68/800.86	c  800s |      24 |  4210016 |  3670562 |      707  11774 |        0 |        0
802.67/802.86	c  802s |      24 |  4219095 |  3678762 |      707  11794 |        0 |        0
804.67/804.87	c  804s |      24 |  4228819 |  3687162 |      707  11815 |        0 |        0
806.67/806.87	c  806s |      24 |  4238569 |  3695762 |      707  11836 |        0 |        0
808.67/808.89	c  808s |      24 |  4248139 |  3704262 |      707  11857 |        0 |        0
810.77/810.90	c  810s |      24 |  4257718 |  3712862 |      707  11879 |        0 |        0
812.67/812.90	c  812s |      24 |  4266122 |  3720362 |      707  11897 |        0 |        0
814.77/814.91	c  814s |      24 |  4275266 |  3728362 |      707  11917 |        0 |        0
816.77/816.92	c  816s |      24 |  4284455 |  3736462 |      707  11937 |        0 |        0
818.77/818.93	c  818s |      24 |  4292859 |  3743962 |      707  11956 |        0 |        0
820.77/820.94	c  820s |      24 |  4301907 |  3751962 |      707  11976 |        0 |        0
822.77/822.97	c  822s |      24 |  4311909 |  3760662 |      707  11998 |        0 |        0
824.77/824.98	c  824s |      24 |  4322548 |  3769962 |      707  12021 |        0 |        0
826.77/826.99	c  826s |      24 |  4333867 |  3779762 |      707  12045 |        0 |        0
828.87/829.00	c  828s |      24 |  4344311 |  3788662 |      707  12067 |        0 |        0
830.87/831.02	c  831s |      24 |  4354452 |  3797562 |      707  12089 |        0 |        0
832.87/833.02	c  833s |      24 |  4365588 |  3807362 |      707  12114 |        0 |        0
834.87/835.03	c  835s |      24 |  4376115 |  3816662 |      707  12137 |        0 |        0
836.86/837.04	c  837s |      24 |  4385997 |  3825462 |      707  12159 |        0 |        0
838.86/839.06	c  839s |      24 |  4394477 |  3832962 |      707  12177 |        0 |        0
840.86/841.07	c  841s |      24 |  4403431 |  3840962 |      707  12197 |        0 |        0
842.86/843.09	c  843s |      24 |  4412118 |  3848862 |      707  12217 |        0 |        0
844.96/845.11	c  845s |      24 |  4421506 |  3857162 |      707  12238 |        0 |        0
846.97/847.11	c  847s |      24 |  4429686 |  3864462 |      707  12256 |        0 |        0
848.96/849.13	c  849s |      24 |  4438907 |  3872262 |      707  12275 |        0 |        0
850.96/851.13	c  851s |      24 |  4447944 |  3880262 |      707  12295 |        0 |        0
852.96/853.13	c  853s |      24 |  4456924 |  3888162 |      707  12315 |        0 |        0
854.96/855.15	c  855s |      24 |  4466259 |  3896362 |      707  12336 |        0 |        0
856.96/857.17	c  857s |      24 |  4475324 |  3904262 |      707  12355 |        0 |        0
858.96/859.18	c  859s |      24 |  4484399 |  3912262 |      707  12375 |        0 |        0
860.96/861.19	c  861s |      24 |  4493423 |  3920162 |      707  12395 |        0 |        0
862.96/863.20	c  863s |      24 |  4501105 |  3927062 |      707  12412 |        0 |        0
865.06/865.21	c  865s |      24 |  4509521 |  3934462 |      707  12431 |        0 |        0
867.06/867.21	c  867s |      24 |  4518543 |  3942262 |      707  12450 |        0 |        0
869.06/869.23	c  869s |      24 |  4528199 |  3950662 |      707  12472 |        0 |        0
871.07/871.26	c  871s |      24 |  4537387 |  3958662 |      707  12492 |        0 |        0
873.06/873.27	c  873s |      24 |  4547132 |  3967062 |      707  12513 |        0 |        0
875.06/875.29	c  875s |      24 |  4556203 |  3975162 |      707  12533 |        0 |        0
877.16/877.31	c  877s |      24 |  4565427 |  3983262 |      707  12553 |        0 |        0
879.16/879.33	c  879s |      24 |  4575707 |  3991962 |      707  12576 |        0 |        0
881.16/881.33	c  881s |      24 |  4585149 |  4000362 |      707  12597 |        0 |        0
883.16/883.34	c  883s |      24 |  4594154 |  4008362 |      707  12617 |        0 |        0
885.16/885.35	c  885s |      24 |  4604015 |  4017062 |      707  12639 |        0 |        0
887.16/887.36	c  887s |      24 |  4612889 |  4024762 |      707  12659 |        0 |        0
889.15/889.38	c  889s |      24 |  4621984 |  4032662 |      707  12678 |        0 |        0
891.15/891.39	c  891s |      24 |  4630597 |  4040362 |      707  12698 |        0 |        0
893.16/893.39	c  893s |      24 |  4639064 |  4047962 |      707  12717 |        0 |        0
895.15/895.40	c  895s |      24 |  4648271 |  4056162 |      707  12738 |        0 |        0
897.25/897.41	c  897s |      24 |  4657779 |  4064562 |      707  12760 |        0 |        0
899.25/899.42	c  899s |      24 |  4667227 |  4072962 |      707  12781 |        0 |        0
901.25/901.44	c  901s |      24 |  4676372 |  4081162 |      707  12802 |        0 |        0
903.25/903.46	c  903s |      24 |  4685785 |  4089462 |      707  12823 |        0 |        0
905.26/905.46	c  905s |      24 |  4695366 |  4097962 |      707  12844 |        0 |        0
907.25/907.48	c  907s |      24 |  4705106 |  4106662 |      707  12866 |        0 |        0
909.35/909.50	c  909s |      24 |  4715017 |  4115362 |      707  12889 |        0 |        0
911.35/911.51	c  911s |      24 |  4725301 |  4124462 |      707  12912 |        0 |        0
913.36/913.52	c  913s |      24 |  4735121 |  4133162 |      707  12934 |        0 |        0
915.36/915.53	c  915s |      24 |  4744422 |  4141462 |      707  12955 |        0 |        0
917.36/917.54	c  917s |      24 |  4754250 |  4150162 |      707  12977 |        0 |        0
919.35/919.55	c  919s |      24 |  4764330 |  4159062 |      707  13000 |        0 |        0
921.35/921.56	c  921s |      24 |  4774057 |  4167762 |      707  13022 |        0 |        0
923.35/923.58	c  923s |      24 |  4784056 |  4176462 |      707  13044 |        0 |        0
925.35/925.59	c  925s |      24 |  4793615 |  4184962 |      707  13066 |        0 |        0
927.45/927.60	c  927s |      24 |  4802700 |  4193062 |      707  13086 |        0 |        0
929.36/929.60	c  929s |      24 |  4810505 |  4200062 |      707  13104 |        0 |        0
931.45/931.60	c  931s |      24 |  4820134 |  4208462 |      707  13125 |        0 |        0
933.45/933.61	c  933s |      24 |  4830420 |  4217462 |      707  13148 |        0 |        0
935.45/935.62	c  935s |      24 |  4840533 |  4226262 |      707  13170 |        0 |        0
937.45/937.64	c  937s |      24 |  4850087 |  4234862 |      707  13191 |        0 |        0
939.45/939.66	c  939s |      24 |  4859547 |  4243362 |      707  13213 |        0 |        0
941.45/941.67	c  941s |      24 |  4868673 |  4251462 |      707  13233 |        0 |        0
943.45/943.69	c  943s |      24 |  4878466 |  4260162 |      707  13255 |        0 |        0
945.45/945.69	c  945s |      24 |  4887870 |  4268662 |      707  13276 |        0 |        0
947.54/947.70	c  947s |      24 |  4896744 |  4276562 |      707  13296 |        0 |        0
949.54/949.72	c  949s |      24 |  4905390 |  4284362 |      707  13316 |        0 |        0
951.54/951.73	c  951s |      24 |  4914433 |  4292462 |      707  13336 |        0 |        0
953.55/953.74	c  953s |      24 |  4923131 |  4300162 |      707  13355 |        0 |        0
955.54/955.76	c  955s |      24 |  4931691 |  4307862 |      707  13375 |        0 |        0
957.54/957.79	c  957s |      24 |  4940870 |  4316062 |      707  13395 |        0 |        0
959.54/959.79	c  959s |      24 |  4949639 |  4323862 |      707  13415 |        0 |        0
961.64/961.80	c  961s |      24 |  4958544 |  4331762 |      707  13435 |        0 |        0
963.64/963.81	c  963s |      24 |  4966935 |  4339262 |      707  13454 |        0 |        0
965.65/965.82	c  965s |      24 |  4976766 |  4347662 |      707  13475 |        0 |        0
967.64/967.84	c  967s |      24 |  4986331 |  4356062 |      707  13495 |        0 |        0
969.64/969.86	c  969s |      24 |  4995822 |  4364362 |      707  13516 |        0 |        0
971.64/971.87	c  971s |      24 |  5005153 |  4372362 |      707  13536 |        0 |        0
973.64/973.89	c  973s |      24 |  5014415 |  4380062 |      707  13556 |        0 |        0
975.75/975.92	c  975s |      24 |  5023443 |  4388062 |      707  13576 |        0 |        0
977.75/977.93	c  977s |      24 |  5033288 |  4396762 |      707  13597 |        0 |        0
979.75/979.96	c  979s |      24 |  5042650 |  4405162 |      707  13618 |        0 |        0
981.75/981.96	c  981s |      24 |  5053053 |  4414362 |      707  13641 |        0 |        0
983.75/983.98	c  983s |      24 |  5063743 |  4423962 |      707  13665 |        0 |        0
985.75/985.99	c  985s |      24 |  5074500 |  4433462 |      707  13689 |        0 |        0
987.84/988.01	c  987s |      24 |  5085305 |  4443062 |      707  13713 |        0 |        0
989.85/990.01	c  989s |      24 |  5094395 |  4451162 |      707  13733 |        0 |        0
991.84/992.03	c  992s |      24 |  5103851 |  4459662 |      707  13754 |        0 |        0
993.84/994.05	c  994s |      24 |  5112927 |  4467762 |      707  13774 |        0 |        0
995.84/996.07	c  996s |      24 |  5121544 |  4475462 |      707  13794 |        0 |        0
997.84/998.08	c  998s |      24 |  5130584 |  4483262 |      707  13813 |        0 |        0
999.85/1000.09	c 1000s |      24 |  5140414 |  4491862 |      707  13834 |        0 |        0
1001.95/1002.11	c 1002s |      24 |  5150332 |  4500662 |      707  13856 |        0 |        0
1003.94/1004.12	c 1004s |      24 |  5160001 |  4509262 |      707  13878 |        0 |        0
1005.94/1006.13	c 1006s |      24 |  5169214 |  4517462 |      707  13898 |        0 |        0
1007.94/1008.15	c 1008s |      24 |  5178265 |  4525562 |      707  13918 |        0 |        0
1009.94/1010.15	c 1010s |      24 |  5187365 |  4533562 |      707  13938 |        0 |        0
1011.95/1012.16	c 1012s |      24 |  5196775 |  4541862 |      707  13959 |        0 |        0
1013.94/1014.18	c 1014s |      24 |  5206247 |  4550262 |      707  13980 |        0 |        0
1015.94/1016.18	c 1016s |      24 |  5215684 |  4558662 |      707  14000 |        0 |        0
1018.04/1018.20	c 1018s |      24 |  5225062 |  4566862 |      707  14021 |        0 |        0
1020.04/1020.20	c 1020s |      24 |  5234748 |  4575362 |      707  14042 |        0 |        0
1022.04/1022.22	c 1022s |      24 |  5244377 |  4583862 |      707  14063 |        0 |        0
1024.04/1024.24	c 1024s |      24 |  5254403 |  4592762 |      707  14085 |        0 |        0
1026.04/1026.24	c 1026s |      24 |  5264290 |  4601562 |      707  14107 |        0 |        0
1028.04/1028.25	c 1028s |      24 |  5273792 |  4610062 |      707  14128 |        0 |        0
1030.03/1030.26	c 1030s |      24 |  5282741 |  4618062 |      707  14148 |        0 |        0
1032.03/1032.27	c 1032s |      24 |  5292170 |  4626262 |      707  14169 |        0 |        0
1034.03/1034.27	c 1034s |      24 |  5302827 |  4635362 |      707  14192 |        0 |        0
1036.04/1036.27	c 1036s |      24 |  5313196 |  4643962 |      707  14213 |        0 |        0
1038.13/1038.30	c 1038s |      24 |  5324098 |  4652762 |      707  14236 |        0 |        0
1040.13/1040.30	c 1040s |      24 |  5334275 |  4661462 |      707  14257 |        0 |        0
1042.13/1042.32	c 1042s |      24 |  5343394 |  4669562 |      707  14277 |        0 |        0
1044.13/1044.34	c 1044s |      24 |  5352658 |  4677862 |      707  14298 |        0 |        0
1046.13/1046.35	c 1046s |      24 |  5361439 |  4685662 |      707  14318 |        0 |        0
1048.13/1048.37	c 1048s |      24 |  5370437 |  4693662 |      707  14338 |        0 |        0
1050.13/1050.38	c 1050s |      24 |  5379213 |  4701462 |      707  14357 |        0 |        0
1052.13/1052.39	c 1052s |      24 |  5387543 |  4708962 |      707  14376 |        0 |        0
1054.22/1054.40	c 1054s |      24 |  5396433 |  4716762 |      707  14396 |        0 |        0
1056.22/1056.41	c 1056s |      24 |  5406682 |  4725862 |      707  14418 |        0 |        0
1058.22/1058.41	c 1058s |      24 |  5416674 |  4734762 |      707  14440 |        0 |        0
1060.23/1060.44	c 1060s |      24 |  5425832 |  4742962 |      707  14461 |        0 |        0
1062.22/1062.45	c 1062s |      24 |  5436200 |  4752262 |      707  14484 |        0 |        0
1064.22/1064.47	c 1064s |      24 |  5446315 |  4761262 |      707  14506 |        0 |        0
1066.22/1066.49	c 1066s |      24 |  5456394 |  4770162 |      707  14529 |        0 |        0
1068.32/1068.50	c 1068s |      24 |  5466109 |  4778762 |      707  14550 |        0 |        0
1070.32/1070.52	c 1070s |      24 |  5475218 |  4786862 |      707  14571 |        0 |        0
1072.32/1072.54	c 1072s |      24 |  5484047 |  4794762 |      707  14591 |        0 |        0
1074.31/1074.55	c 1074s |      24 |  5493352 |  4802962 |      707  14611 |        0 |        0
1076.31/1076.56	c 1076s |      24 |  5502038 |  4810562 |      707  14630 |        0 |        0
1078.31/1078.59	c 1078s |      24 |  5510700 |  4818262 |      707  14650 |        0 |        0
1080.41/1080.61	c 1080s |      24 |  5519765 |  4826262 |      707  14670 |        0 |        0
1082.41/1082.63	c 1082s |      24 |  5528847 |  4834362 |      707  14690 |        0 |        0
1084.41/1084.63	c 1084s |      24 |  5538632 |  4843062 |      707  14712 |        0 |        0
1086.40/1086.64	c 1086s |      24 |  5548670 |  4851962 |      707  14734 |        0 |        0
1088.40/1088.66	c 1088s |      24 |  5557942 |  4860262 |      707  14755 |        0 |        0
1090.40/1090.66	c 1090s |      24 |  5565987 |  4867562 |      707  14773 |        0 |        0
1092.41/1092.67	c 1092s |      24 |  5574897 |  4875662 |      707  14793 |        0 |        0
1094.41/1094.69	c 1094s |      24 |  5582808 |  4882762 |      707  14811 |        0 |        0
1096.41/1096.70	c 1096s |      24 |  5590920 |  4889862 |      707  14829 |        0 |        0
1098.51/1098.70	c 1098s |      24 |  5599133 |  4897262 |      707  14847 |        0 |        0
1100.50/1100.71	c 1100s |      24 |  5607424 |  4904662 |      707  14866 |        0 |        0
1102.50/1102.73	c 1102s |      24 |  5615298 |  4911662 |      707  14883 |        0 |        0
1104.50/1104.73	c 1104s |      24 |  5623075 |  4918662 |      707  14901 |        0 |        0
1106.51/1106.73	c 1106s |      24 |  5631134 |  4925862 |      707  14919 |        0 |        0
1108.50/1108.76	c 1108s |      24 |  5638615 |  4932562 |      707  14936 |        0 |        0
1110.50/1110.77	c 1110s |      24 |  5647996 |  4940862 |      707  14956 |        0 |        0
1112.50/1112.78	c 1112s |      24 |  5656537 |  4948462 |      707  14975 |        0 |        0
1114.49/1114.79	c 1114s |      24 |  5665358 |  4956462 |      707  14996 |        0 |        0
1116.59/1116.80	c 1116s |      24 |  5674187 |  4964362 |      707  15015 |        0 |        0
1118.60/1118.82	c 1118s |      24 |  5682260 |  4971662 |      707  15034 |        0 |        0
1120.59/1120.83	c 1120s |      24 |  5691380 |  4979762 |      707  15054 |        0 |        0
1122.59/1122.86	c 1122s |      24 |  5700358 |  4987762 |      707  15074 |        0 |        0
1124.59/1124.88	c 1124s |      24 |  5709198 |  4995662 |      707  15093 |        0 |        0
1126.69/1126.90	c 1126s |      24 |  5718161 |  5003662 |      707  15113 |        0 |        0
1128.68/1128.90	c 1128s |      24 |  5726978 |  5011462 |      707  15133 |        0 |        0
1130.69/1130.91	c 1130s |      24 |  5736877 |  5019962 |      707  15154 |        0 |        0
1132.68/1132.93	c 1132s |      24 |  5747814 |  5029662 |      778  15178 |        0 |        0
1134.68/1134.93	c 1134s |      24 |  5757803 |  5038462 |      778  15198 |        0 |        0
1136.68/1136.94	c 1136s |      24 |  5767340 |  5046962 |      778  15218 |        0 |        0
1138.68/1138.95	c 1138s |      24 |  5776930 |  5055562 |      778  15237 |        0 |        0
1140.68/1140.95	c 1140s |      24 |  5785980 |  5063562 |      778  15256 |        0 |        0
1140.98/1141.28	c 1141s |      25 |  5787751 |  5065098 |      778  15259 |        0 |        0
1143.08/1143.31	c 1143s |      25 |  5798141 |  5073498 |      778  15279 |        0 |        0
1145.07/1145.31	c 1145s |      25 |  5807926 |  5082098 |      778  15298 |        0 |        0
1147.08/1147.32	c 1147s |      25 |  5818700 |  5091498 |      778  15320 |        0 |        0
1149.07/1149.34	c 1149s |      25 |  5828520 |  5100098 |      778  15340 |        0 |        0
1151.07/1151.35	c 1151s |      25 |  5837748 |  5108198 |      778  15359 |        0 |        0
1153.07/1153.36	c 1153s |      25 |  5846698 |  5116098 |      778  15377 |        0 |        0
1155.07/1155.37	c 1155s |      25 |  5855378 |  5123798 |      778  15395 |        0 |        0
1157.07/1157.37	c 1157s |      25 |  5864742 |  5131998 |      778  15414 |        0 |        0
1159.07/1159.39	c 1159s |      25 |  5874937 |  5140898 |      778  15434 |        0 |        0
1161.07/1161.39	c 1161s |      25 |  5884774 |  5149598 |      778  15454 |        0 |        0
1163.17/1163.40	c 1163s |      25 |  5895797 |  5159398 |      778  15477 |        0 |        0
1165.17/1165.41	c 1165s |      25 |  5907332 |  5169498 |      778  15501 |        0 |        0
1167.17/1167.42	c 1167s |      25 |  5918725 |  5179498 |      778  15524 |        0 |        0
1169.17/1169.45	c 1169s |      25 |  5929465 |  5188898 |      778  15546 |        0 |        0
1171.16/1171.45	c 1171s |      25 |  5939599 |  5197898 |      778  15567 |        0 |        0
1173.16/1173.47	c 1173s |      25 |  5949957 |  5206998 |      778  15588 |        0 |        0
1175.16/1175.49	c 1175s |      25 |  5960285 |  5216098 |      778  15609 |        0 |        0
1177.26/1177.50	c 1177s |      25 |  5970601 |  5225098 |      778  15630 |        0 |        0
1179.26/1179.51	c 1179s |      25 |  5981105 |  5234298 |      778  15651 |        0 |        0
1181.26/1181.52	c 1181s |      25 |  5991827 |  5243598 |      778  15673 |        0 |        0
1183.26/1183.54	c 1183s |      25 |  6002519 |  5252998 |      778  15695 |        0 |        0
1185.25/1185.54	c 1185s |      25 |  6013797 |  5262898 |      778  15718 |        0 |        0
1187.25/1187.55	c 1187s |      25 |  6024814 |  5272698 |      778  15741 |        0 |        0
1189.25/1189.56	c 1189s |      25 |  6034466 |  5281198 |      778  15761 |        0 |        0
1191.25/1191.58	c 1191s |      25 |  6043958 |  5289698 |      778  15781 |        0 |        0
1193.25/1193.58	c 1193s |      25 |  6052699 |  5297598 |      778  15799 |        0 |        0
1195.24/1195.58	c 1195s |      25 |  6061925 |  5305798 |      778  15818 |        0 |        0
1197.34/1197.60	c 1197s |      25 |  6071176 |  5314198 |      778  15837 |        0 |        0
1199.34/1199.62	c 1199s |      25 |  6080309 |  5322398 |      778  15856 |        0 |        0
1201.34/1201.63	c 1201s |      25 |  6090198 |  5330998 |      778  15876 |        0 |        0
1203.34/1203.66	c 1203s |      25 |  6099552 |  5339298 |      778  15895 |        0 |        0
1205.35/1205.67	c 1205s |      25 |  6109253 |  5347898 |      778  15914 |        0 |        0
1207.44/1207.70	c 1207s |      25 |  6119456 |  5357098 |      778  15935 |        0 |        0
1209.44/1209.71	c 1209s |      25 |  6129710 |  5366198 |      778  15956 |        0 |        0
1211.45/1211.72	c 1211s |      25 |  6140547 |  5375798 |      778  15978 |        0 |        0
1213.44/1213.73	c 1213s |      25 |  6151494 |  5385398 |      778  16001 |        0 |        0
1215.44/1215.74	c 1215s |      25 |  6162017 |  5394698 |      778  16022 |        0 |        0
1217.44/1217.76	c 1217s |      25 |  6172548 |  5403998 |      778  16043 |        0 |        0
1219.44/1219.79	c 1219s |      25 |  6182510 |  5412498 |      778  16063 |        0 |        0
1221.44/1221.79	c 1221s |      25 |  6191815 |  5420698 |      778  16082 |        0 |        0
1223.53/1223.80	c 1223s |      25 |  6201340 |  5428798 |      778  16100 |        0 |        0
1225.53/1225.80	c 1225s |      25 |  6209949 |  5436398 |      778  16118 |        0 |        0
1227.53/1227.82	c 1227s |      25 |  6219113 |  5444498 |      778  16136 |        0 |        0
1229.54/1229.84	c 1229s |      25 |  6227989 |  5452298 |      778  16154 |        0 |        0
1231.53/1231.86	c 1231s |      25 |  6236969 |  5460098 |      778  16172 |        0 |        0
1233.52/1233.87	c 1233s |      25 |  6246151 |  5468098 |      778  16191 |        0 |        0
1235.52/1235.88	c 1235s |      25 |  6255006 |  5475698 |      778  16208 |        0 |        0
1237.62/1237.90	c 1237s |      25 |  6263736 |  5483298 |      778  16226 |        0 |        0
1239.62/1239.92	c 1239s |      25 |  6273218 |  5491298 |      778  16244 |        0 |        0
1241.63/1241.95	c 1241s |      25 |  6282730 |  5499698 |      778  16263 |        0 |        0
1243.62/1243.97	c 1243s |      25 |  6292044 |  5507898 |      778  16282 |        0 |        0
1245.62/1245.97	c 1245s |      25 |  6300672 |  5515398 |      778  16300 |        0 |        0
1247.62/1247.98	c 1247s |      25 |  6310031 |  5523698 |      778  16319 |        0 |        0
1249.62/1249.98	c 1249s |      25 |  6319440 |  5532098 |      778  16338 |        0 |        0
1251.62/1251.99	c 1251s |      25 |  6329270 |  5540898 |      778  16358 |        0 |        0
1253.72/1254.01	c 1253s |      25 |  6339221 |  5549698 |      778  16379 |        0 |        0
1255.71/1256.03	c 1256s |      25 |  6350013 |  5559198 |      778  16400 |        0 |        0
1257.71/1258.04	c 1258s |      25 |  6360350 |  5568298 |      778  16421 |        0 |        0
1259.71/1260.06	c 1260s |      25 |  6369908 |  5576698 |      778  16441 |        0 |        0
1261.71/1262.08	c 1262s |      25 |  6378387 |  5584198 |      778  16458 |        0 |        0
1263.81/1264.10	c 1264s |      25 |  6388614 |  5592998 |      778  16478 |        0 |        0
1265.82/1266.12	c 1266s |      25 |  6397555 |  5600898 |      778  16497 |        0 |        0
1267.81/1268.12	c 1268s |      25 |  6408268 |  5610398 |      778  16519 |        0 |        0
1269.81/1270.15	c 1270s |      25 |  6418375 |  5619498 |      778  16540 |        0 |        0
1271.81/1272.16	c 1272s |      25 |  6428676 |  5628698 |      778  16561 |        0 |        0
1273.81/1274.17	c 1274s |      25 |  6439215 |  5638098 |      778  16583 |        0 |        0
1275.81/1276.17	c 1276s |      25 |  6448961 |  5646798 |      778  16603 |        0 |        0
1277.80/1278.19	c 1278s |      25 |  6458595 |  5655398 |      778  16622 |        0 |        0
1279.90/1280.21	c 1280s |      25 |  6468844 |  5664398 |      778  16643 |        0 |        0
1281.90/1282.23	c 1282s |      25 |  6478301 |  5672798 |      778  16662 |        0 |        0
1283.90/1284.24	c 1284s |      25 |  6487856 |  5681198 |      778  16682 |        0 |        0
1285.90/1286.26	c 1286s |      25 |  6497486 |  5689698 |      778  16701 |        0 |        0
1287.90/1288.27	c 1288s |      25 |  6505316 |  5696698 |      778  16717 |        0 |        0
1289.90/1290.28	c 1290s |      25 |  6514082 |  5704398 |      778  16735 |        0 |        0
1291.90/1292.28	c 1292s |      25 |  6522875 |  5712098 |      778  16753 |        0 |        0
1293.89/1294.28	c 1294s |      25 |  6531311 |  5719598 |      778  16770 |        0 |        0
1295.89/1296.29	c 1296s |      25 |  6540221 |  5727498 |      778  16788 |        0 |        0
1298.00/1298.30	c 1298s |      25 |  6548634 |  5734998 |      778  16806 |        0 |        0
1300.00/1300.31	c 1300s |      25 |  6557896 |  5742998 |      778  16824 |        0 |        0
1302.00/1302.32	c 1302s |      25 |  6567340 |  5751398 |      778  16843 |        0 |        0
1303.99/1304.33	c 1304s |      25 |  6576351 |  5759398 |      778  16862 |        0 |        0
1305.99/1306.35	c 1306s |      25 |  6584801 |  5766998 |      778  16879 |        0 |        0
1307.99/1308.37	c 1308s |      25 |  6593306 |  5774698 |      778  16897 |        0 |        0
1309.99/1310.39	c 1310s |      25 |  6601953 |  5782498 |      778  16915 |        0 |        0
1312.10/1312.41	c 1312s |      25 |  6610602 |  5790298 |      778  16933 |        0 |        0
1314.09/1314.41	c 1314s |      25 |  6619185 |  5797998 |      778  16951 |        0 |        0
1316.09/1316.42	c 1316s |      25 |  6628709 |  5806398 |      778  16970 |        0 |        0
1318.08/1318.43	c 1318s |      25 |  6638933 |  5815498 |      778  16991 |        0 |        0
1320.08/1320.45	c 1320s |      25 |  6649162 |  5824598 |      778  17012 |        0 |        0
1322.08/1322.45	c 1322s |      25 |  6658943 |  5833298 |      778  17032 |        0 |        0
1324.09/1324.47	c 1324s |      25 |  6667233 |  5840698 |      778  17049 |        0 |        0
1326.08/1326.49	c 1326s |      25 |  6675457 |  5847998 |      778  17066 |        0 |        0
1328.08/1328.49	c 1328s |      25 |  6683659 |  5855398 |      778  17083 |        0 |        0
1330.18/1330.50	c 1330s |      25 |  6692274 |  5862998 |      778  17100 |        0 |        0
1332.18/1332.50	c 1332s |      25 |  6700886 |  5870698 |      778  17118 |        0 |        0
1334.17/1334.51	c 1334s |      25 |  6709298 |  5878298 |      778  17135 |        0 |        0
1336.18/1336.53	c 1336s |      25 |  6717905 |  5885998 |      778  17153 |        0 |        0
1338.17/1338.56	c 1338s |      25 |  6726535 |  5893698 |      778  17171 |        0 |        0
1340.17/1340.56	c 1340s |      25 |  6735105 |  5901298 |      778  17188 |        0 |        0
1342.17/1342.57	c 1342s |      25 |  6743945 |  5909298 |      778  17206 |        0 |        0
1344.17/1344.59	c 1344s |      25 |  6752643 |  5917098 |      778  17225 |        0 |        0
1346.17/1346.59	c 1346s |      25 |  6761313 |  5924898 |      778  17243 |        0 |        0
1348.27/1348.61	c 1348s |      25 |  6770155 |  5932798 |      778  17261 |        0 |        0
1350.27/1350.62	c 1350s |      25 |  6779454 |  5941198 |      778  17280 |        0 |        0
1352.27/1352.64	c 1352s |      25 |  6788435 |  5949098 |      778  17298 |        0 |        0
1354.26/1354.65	c 1354s |      25 |  6797980 |  5957498 |      778  17318 |        0 |        0
1356.26/1356.66	c 1356s |      25 |  6806862 |  5965498 |      778  17336 |        0 |        0
1358.27/1358.68	c 1358s |      25 |  6815717 |  5973398 |      778  17354 |        0 |        0
1360.26/1360.69	c 1360s |      25 |  6824430 |  5981198 |      778  17373 |        0 |        0
1362.36/1362.70	c 1362s |      25 |  6833496 |  5989298 |      778  17391 |        0 |        0
1364.35/1364.71	c 1364s |      25 |  6842973 |  5997798 |      778  17411 |        0 |        0
1366.35/1366.72	c 1366s |      25 |  6852503 |  6006398 |      778  17431 |        0 |        0
1368.35/1368.74	c 1368s |      25 |  6862370 |  6015098 |      778  17451 |        0 |        0
1370.37/1370.76	c 1370s |      25 |  6872104 |  6023798 |      778  17471 |        0 |        0
1372.36/1372.77	c 1372s |      25 |  6881502 |  6032098 |      778  17490 |        0 |        0
1374.36/1374.78	c 1374s |      25 |  6890992 |  6040498 |      778  17509 |        0 |        0
1376.36/1376.78	c 1376s |      25 |  6900242 |  6048798 |      778  17528 |        0 |        0
1378.46/1378.80	c 1378s |      25 |  6910177 |  6057598 |      778  17549 |        0 |        0
1380.46/1380.81	c 1380s |      25 |  6919346 |  6065798 |      778  17568 |        0 |        0
1382.46/1382.81	c 1382s |      25 |  6928528 |  6073998 |      778  17587 |        0 |        0
1384.45/1384.81	c 1384s |      25 |  6938168 |  6082498 |      778  17606 |        0 |        0
1386.45/1386.81	c 1386s |      25 |  6947351 |  6090698 |      778  17625 |        0 |        0
1388.45/1388.83	c 1388s |      25 |  6957097 |  6099298 |      778  17645 |        0 |        0
1390.45/1390.85	c 1390s |      25 |  6966622 |  6107898 |      778  17665 |        0 |        0
1392.45/1392.85	c 1392s |      25 |  6976350 |  6116598 |      778  17684 |        0 |        0
1394.45/1394.87	c 1394s |      25 |  6985925 |  6125198 |      778  17704 |        0 |        0
1396.44/1396.87	c 1396s |      25 |  6995979 |  6134198 |      778  17725 |        0 |        0
1398.44/1398.89	c 1398s |      25 |  7006549 |  6143498 |      778  17747 |        0 |        0
1400.54/1400.90	c 1400s |      25 |  7016706 |  6152598 |      778  17768 |        0 |        0
1402.54/1402.92	c 1402s |      25 |  7027369 |  6161898 |      778  17789 |        0 |        0
1404.54/1404.92	c 1404s |      25 |  7037569 |  6170998 |      778  17810 |        0 |        0
1406.55/1406.92	c 1406s |      25 |  7048024 |  6180298 |      778  17832 |        0 |        0
1408.54/1408.93	c 1408s |      25 |  7058743 |  6189798 |      778  17853 |        0 |        0
1410.54/1410.94	c 1410s |      25 |  7069478 |  6199298 |      778  17875 |        0 |        0
1412.54/1412.94	c 1412s |      25 |  7080278 |  6208798 |      778  17897 |        0 |        0
1414.53/1414.95	c 1414s |      25 |  7091442 |  6218498 |      778  17920 |        0 |        0
1416.54/1416.96	c 1416s |      25 |  7102089 |  6227898 |      778  17941 |        0 |        0
1418.53/1418.97	c 1418s |      25 |  7112587 |  6237298 |      778  17963 |        0 |        0
1420.53/1420.98	c 1420s |      25 |  7122778 |  6246298 |      778  17984 |        0 |        0
1422.53/1422.99	c 1422s |      25 |  7133544 |  6255898 |      778  18006 |        0 |        0
1424.53/1425.00	c 1424s |      25 |  7144189 |  6265298 |      778  18028 |        0 |        0
1426.62/1427.00	c 1426s |      25 |  7154645 |  6274598 |      778  18049 |        0 |        0
1428.63/1429.01	c 1428s |      25 |  7164606 |  6283398 |      778  18069 |        0 |        0
1430.62/1431.02	c 1431s |      25 |  7174768 |  6292398 |      778  18090 |        0 |        0
1432.62/1433.02	c 1433s |      25 |  7184662 |  6301198 |      778  18110 |        0 |        0
1434.62/1435.05	c 1435s |      25 |  7193947 |  6309498 |      778  18130 |        0 |        0
1436.62/1437.05	c 1437s |      25 |  7203772 |  6317998 |      778  18149 |        0 |        0
1438.62/1439.06	c 1439s |      25 |  7213245 |  6326298 |      778  18168 |        0 |        0
1440.62/1441.07	c 1441s |      25 |  7221735 |  6333898 |      778  18186 |        0 |        0
1442.62/1443.08	c 1443s |      25 |  7230857 |  6342098 |      778  18205 |        0 |        0
1444.62/1445.09	c 1445s |      25 |  7239953 |  6350298 |      778  18223 |        0 |        0
1446.72/1447.10	c 1447s |      25 |  7249798 |  6358998 |      778  18243 |        0 |        0
1448.72/1449.11	c 1449s |      25 |  7259753 |  6367898 |      778  18264 |        0 |        0
1450.72/1451.12	c 1451s |      25 |  7269881 |  6376998 |      778  18285 |        0 |        0
1452.73/1453.12	c 1453s |      25 |  7279726 |  6385798 |      778  18305 |        0 |        0
1454.72/1455.13	c 1455s |      25 |  7290382 |  6395298 |      778  18327 |        0 |        0
1456.72/1457.13	c 1457s |      25 |  7301244 |  6404998 |      778  18350 |        0 |        0
1458.72/1459.14	c 1459s |      25 |  7311705 |  6414298 |      778  18371 |        0 |        0
1460.72/1461.14	c 1461s |      25 |  7322609 |  6423998 |      778  18394 |        0 |        0
1462.72/1463.15	c 1463s |      25 |  7332663 |  6432898 |      778  18414 |        0 |        0
1464.71/1465.16	c 1465s |      25 |  7342490 |  6441598 |      778  18434 |        0 |        0
1466.71/1467.16	c 1467s |      25 |  7352976 |  6450998 |      778  18456 |        0 |        0
1468.71/1469.17	c 1469s |      25 |  7363714 |  6460498 |      778  18478 |        0 |        0
1470.71/1471.18	c 1471s |      25 |  7374249 |  6469898 |      778  18499 |        0 |        0
1472.71/1473.19	c 1473s |      25 |  7384849 |  6479298 |      778  18521 |        0 |        0
1474.72/1475.20	c 1475s |      25 |  7395420 |  6488698 |      778  18543 |        0 |        0
1476.81/1477.22	c 1477s |      25 |  7404204 |  6496398 |      778  18561 |        0 |        0
1477.91/1478.37	c 1478s |      25 |  7408445 |  6500220 |      778  18570 |        0 |        0
1477.91/1478.37	c #cpu_time = 1474.363s
1477.91/1478.37	c #wall_clock_time = 1478.355s
1477.91/1478.37	c #decision = 7408445
1477.91/1478.37	c #random_decision = 25905
1477.91/1478.37	c #conflict = 6500220
1477.91/1478.37	c #restart = 25
1477.91/1478.37	c BCD2: found a new core of size 25: cost of the new core is >=1
1477.91/1478.37	c lower bound updated to 1
1477.91/1478.37	c BCD2: 1 <= obj <= 582
1477.91/1478.37	c BCD2: #cores=1, #unrelaxed=0, #relaxed=25, #hardened=0
1477.91/1478.37	c BCD2: #sat=1 #unsat=2 bias=2/3
1477.91/1478.37	c Solving starts ...
1477.91/1478.37	c ============================[ Search Statistics ]============================
1477.91/1478.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1477.91/1478.37	c       |         |          |          |    Limit     GC | Var      | Constra 
1477.91/1478.37	c =============================================================================
1477.91/1478.37	c  0.0s |       0 |        0 |        0 |      778      0 |        0 |        0
1477.91/1478.37	c  0.0s |       0 |       86 |        0 |      778      0 |        0 |        0
1477.91/1478.37	c #cpu_time = 0.002s
1477.91/1478.37	c #wall_clock_time = 0.002s
1477.91/1478.37	c #decision = 86
1477.91/1478.37	c #random_decision = 0
1477.91/1478.37	c #conflict = 0
1477.91/1478.37	c #restart = 0
1477.91/1478.37	o 2
1477.91/1478.37	c BCD2: hardening fixes 24 literals
1477.91/1478.37	c BCD2: updating upper bound: 582 -> 1
1477.91/1478.37	c BCD2: 1 <= obj <= 1
1477.91/1478.37	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1, #hardened=24
1477.91/1478.37	c BCD2: #sat=2 #unsat=2 bias=2/4
1477.91/1478.37	c Solving starts ...
1477.91/1478.37	c ============================[ Search Statistics ]============================
1477.91/1478.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1477.91/1478.37	c       |         |          |          |    Limit     GC | Var      | Constra 
1477.91/1478.37	c =============================================================================
1477.91/1478.37	c  0.0s |       0 |        0 |        0 |      778      0 |       26 |        0
1477.91/1478.39	c  0.0s |       1 |      207 |      100 |      778      0 |       26 |        4
1478.01/1478.42	c  0.0s |       2 |      433 |      250 |      778      0 |       26 |        4
1478.01/1478.47	c  0.1s |       3 |      744 |      475 |      778      1 |       26 |        4
1478.11/1478.53	c  0.2s |       4 |     1160 |      813 |      778      1 |       26 |        4
1478.21/1478.62	c  0.2s |       5 |     1796 |     1320 |      778      3 |       26 |        4
1478.31/1478.75	c  0.4s |       6 |     2698 |     2081 |      778      4 |       26 |        4
1478.51/1478.95	c  0.6s |       7 |     4003 |     3223 |      778      7 |       26 |        4
1478.81/1479.24	c  0.9s |       8 |     5947 |     4936 |      778     11 |       26 |        4
1479.31/1479.71	c  1.3s |       9 |     9091 |     7506 |      778     17 |       26 |        4
1480.01/1480.42	c  2.0s |      10 |    13520 |    11361 |      778     26 |       26 |        4
1481.01/1481.44	c  3.1s |      11 |    20372 |    17144 |      778     39 |       26 |        4
1482.41/1482.90	c  4.5s |      12 |    30360 |    25819 |      778     59 |       26 |        4
1484.50/1484.90	c  6.5s |      12 |    43774 |    37619 |      778     87 |       26 |        4
1484.61/1485.10	c  6.7s |      13 |    45182 |    38832 |      778     90 |       26 |        4
1486.70/1487.11	c  8.7s |      13 |    58714 |    50732 |      778    117 |       26 |        4
1488.20/1488.67	c 10.3s |      14 |    67584 |    58352 |      778    135 |       26 |        4
1490.21/1490.68	c 12.3s |      14 |    79170 |    68352 |      778    158 |       26 |        4
1492.20/1492.68	c 14.3s |      14 |    89653 |    77652 |      778    179 |       26 |        4
1494.29/1494.70	c 16.3s |      14 |   100694 |    86952 |      778    200 |       26 |        4
1494.39/1494.83	c 16.5s |      15 |   101492 |    87632 |      778    202 |       26 |        4
1496.39/1496.84	c 18.5s |      15 |   113955 |    98232 |      778    226 |       26 |        4
1498.39/1498.85	c 20.5s |      15 |   126848 |   109132 |      778    251 |       26 |        4
1500.39/1500.85	c 22.5s |      15 |   139387 |   119932 |      778    276 |       26 |        4
1502.39/1502.86	c 24.5s |      15 |   151896 |   130632 |      778    300 |       26 |        4
1502.59/1503.01	c 24.6s |      16 |   153001 |   131552 |      778    302 |       26 |        4
1504.59/1505.02	c 26.6s |      16 |   166137 |   142652 |      778    328 |       26 |        4
1506.59/1507.03	c 28.7s |      16 |   179427 |   153852 |      778    354 |       26 |        4
1508.59/1509.03	c 30.7s |      16 |   192398 |   164952 |      778    379 |       26 |        4
1510.58/1511.04	c 32.7s |      16 |   206166 |   176752 |      778    406 |       26 |        4
1512.58/1513.05	c 34.7s |      16 |   219495 |   188052 |      778    432 |       26 |        4
1514.28/1514.76	c 36.4s |      17 |   230170 |   197432 |      778    453 |       26 |        4
1516.28/1516.77	c 38.4s |      17 |   242268 |   208132 |      778    478 |       26 |        4
1518.28/1518.78	c 40.4s |      17 |   253433 |   218132 |      778    501 |       26 |        4
1520.28/1520.79	c 42.4s |      17 |   265545 |   228832 |      778    525 |       26 |        4
1522.38/1522.80	c 44.4s |      17 |   277650 |   239532 |      778    550 |       26 |        4
1524.37/1524.81	c 46.4s |      17 |   290354 |   250532 |      778    576 |       26 |        4
1526.38/1526.82	c 48.4s |      17 |   302189 |   261032 |      778    600 |       26 |        4
1528.37/1528.82	c 50.4s |      17 |   314210 |   271532 |      778    624 |       26 |        4
1530.37/1530.83	c 52.5s |      17 |   325075 |   281332 |      778    647 |       26 |        4
1532.37/1532.85	c 54.5s |      17 |   336793 |   291732 |      778    671 |       26 |        4
1533.27/1533.73	c 55.4s |      18 |   341803 |   296252 |      778    681 |       26 |        4
1535.27/1535.75	c 57.4s |      18 |   354685 |   307352 |      778    707 |       26 |        4
1537.27/1537.75	c 59.4s |      18 |   367482 |   318652 |      778    733 |       26 |        4
1539.26/1539.76	c 61.4s |      18 |   380967 |   330452 |      778    760 |       26 |        4
1541.26/1541.78	c 63.4s |      18 |   393318 |   341152 |      778    785 |       26 |        4
1543.26/1543.78	c 65.4s |      18 |   405365 |   351852 |      778    809 |       26 |        4
1545.27/1545.79	c 67.4s |      18 |   417351 |   362452 |      778    833 |       26 |        4
1547.37/1547.81	c 69.4s |      18 |   428845 |   372552 |      778    857 |       26 |        4
1549.37/1549.81	c 71.4s |      18 |   440022 |   382552 |      778    880 |       26 |        4
1551.37/1551.83	c 73.5s |      18 |   451460 |   392552 |      778    902 |       26 |        4
1553.36/1553.84	c 75.5s |      18 |   463611 |   403252 |      778    927 |       26 |        4
1555.36/1555.86	c 77.5s |      18 |   476468 |   414752 |      778    954 |       26 |        4
1557.36/1557.86	c 79.5s |      18 |   489505 |   426052 |      778    979 |       26 |        4
1559.37/1559.86	c 81.5s |      18 |   502468 |   437652 |      778   1006 |       26 |        4
1560.46/1560.95	c 82.6s |      19 |   510157 |   444482 |      778   1022 |       26 |        4
1562.46/1562.96	c 84.6s |      19 |   523414 |   456082 |      778   1048 |       26 |        4
1564.45/1564.96	c 86.6s |      19 |   535903 |   466682 |      778   1072 |       26 |        4
1566.45/1566.98	c 88.6s |      19 |   548126 |   477082 |      778   1096 |       26 |        4
1568.45/1568.98	c 90.6s |      19 |   561661 |   488382 |      778   1123 |       26 |        4
1570.46/1570.99	c 92.6s |      19 |   576624 |   500482 |      778   1150 |       26 |        4
1572.45/1572.99	c 94.6s |      19 |   589996 |   512182 |      778   1177 |       26 |        4
1574.54/1575.00	c 96.6s |      19 |   603284 |   523282 |      778   1203 |       26 |        4
1576.54/1577.02	c 98.6s |      19 |   615950 |   534282 |      778   1228 |       26 |        4
1578.54/1579.02	c  100s |      19 |   628442 |   545182 |      778   1253 |       26 |        4
1580.54/1581.03	c  102s |      19 |   641177 |   556282 |      778   1279 |       26 |        4
1582.55/1583.04	c  104s |      19 |   654333 |   567882 |      778   1305 |       26 |        4
1584.54/1585.04	c  106s |      19 |   666246 |   578382 |      778   1330 |       26 |        4
1586.54/1587.06	c  108s |      19 |   677481 |   588282 |      778   1352 |       26 |        4
1588.54/1589.08	c  110s |      19 |   688973 |   598282 |      778   1375 |       26 |        4
1590.54/1591.09	c  112s |      19 |   700473 |   608382 |      778   1398 |       26 |        4
1592.64/1593.10	c  114s |      19 |   711713 |   618382 |      778   1421 |       26 |        4
1594.64/1595.12	c  116s |      19 |   723067 |   628482 |      778   1444 |       26 |        4
1596.63/1597.13	c  118s |      19 |   735211 |   639082 |      778   1469 |       26 |        4
1598.63/1599.14	c  120s |      19 |   747108 |   649482 |      778   1492 |       26 |        4
1600.63/1601.14	c  122s |      19 |   758580 |   659582 |      778   1515 |       26 |        4
1602.13/1602.60	c  124s |      20 |   766931 |   666827 |      778   1532 |       26 |        4
1604.13/1604.62	c  126s |      20 |   779115 |   677427 |      778   1556 |       26 |        4
1606.12/1606.62	c  128s |      20 |   792219 |   688727 |      778   1583 |       26 |        4
1608.12/1608.63	c  130s |      20 |   804793 |   699727 |      778   1608 |       26 |        4
1610.12/1610.64	c  132s |      20 |   817124 |   710627 |      778   1633 |       26 |        4
1612.13/1612.64	c  134s |      20 |   829390 |   721527 |      778   1658 |       26 |        4
1614.12/1614.64	c  136s |      20 |   841417 |   732027 |      778   1682 |       26 |        4
1616.12/1616.66	c  138s |      20 |   852614 |   741927 |      778   1705 |       26 |        4
1618.12/1618.66	c  140s |      20 |   865240 |   753027 |      778   1730 |       26 |        4
1620.12/1620.66	c  142s |      20 |   878461 |   764627 |      778   1757 |       26 |        4
1622.13/1622.67	c  144s |      20 |   890708 |   775427 |      778   1782 |       26 |        4
1624.12/1624.68	c  146s |      20 |   901469 |   785027 |      778   1804 |       26 |        4
1626.12/1626.69	c  148s |      20 |   912815 |   794927 |      778   1826 |       26 |        4
1628.12/1628.69	c  150s |      20 |   926245 |   806227 |      778   1852 |       26 |        4
1630.12/1630.69	c  152s |      20 |   938564 |   816827 |      778   1876 |       26 |        4
1632.22/1632.71	c  154s |      20 |   949588 |   826627 |      778   1899 |       26 |        4
1634.22/1634.72	c  156s |      20 |   961616 |   837027 |      778   1922 |       26 |        4
1636.21/1636.72	c  158s |      20 |   972907 |   847027 |      778   1945 |       26 |        4
1638.21/1638.73	c  160s |      20 |   983625 |   856427 |      778   1967 |       26 |        4
1640.21/1640.73	c  162s |      20 |   993883 |   865427 |      778   1988 |       26 |        4
1642.21/1642.74	c  164s |      20 |  1005624 |   875527 |      778   2011 |       26 |        4
1644.21/1644.75	c  166s |      20 |  1017175 |   885727 |      778   2034 |       26 |        4
1646.21/1646.76	c  168s |      20 |  1029150 |   896327 |      778   2058 |       26 |        4
1648.21/1648.76	c  170s |      20 |  1042367 |   907727 |      778   2084 |       26 |        4
1650.20/1650.76	c  172s |      20 |  1055086 |   918827 |      778   2110 |       26 |        4
1652.20/1652.77	c  174s |      20 |  1067203 |   929527 |      778   2135 |       26 |        4
1654.20/1654.79	c  176s |      20 |  1079153 |   940027 |      778   2159 |       26 |        4
1656.30/1656.81	c  178s |      20 |  1090940 |   950427 |      778   2184 |       26 |        4
1658.30/1658.81	c  180s |      20 |  1102683 |   960927 |      778   2208 |       26 |        4
1660.30/1660.82	c  182s |      20 |  1114034 |   971127 |      778   2231 |       26 |        4
1662.30/1662.85	c  184s |      20 |  1125521 |   981327 |      778   2255 |       26 |        4
1664.29/1664.85	c  186s |      20 |  1138363 |   992527 |      778   2281 |       26 |        4
1665.69/1666.24	c  187s |      21 |  1147178 |  1000345 |      778   2299 |       26 |        4
1667.69/1668.25	c  189s |      21 |  1159652 |  1010845 |      778   2323 |       26 |        4
1669.69/1670.26	c  191s |      21 |  1171498 |  1020945 |      778   2345 |       26 |        4
1671.69/1672.27	c  193s |      21 |  1184204 |  1032045 |      778   2371 |       26 |        4
1673.69/1674.27	c  195s |      21 |  1195731 |  1042145 |      778   2394 |       26 |        4
1675.68/1676.27	c  197s |      21 |  1206922 |  1052145 |      856   2415 |       26 |        4
1677.68/1678.28	c  199s |      21 |  1217936 |  1062045 |      856   2435 |       26 |        4
1679.68/1680.29	c  201s |      21 |  1229847 |  1072645 |      856   2458 |       26 |        4
1681.78/1682.30	c  203s |      21 |  1242051 |  1083545 |      856   2480 |       26 |        4
1683.78/1684.32	c  205s |      21 |  1254220 |  1094245 |      856   2503 |       26 |        4
1685.78/1686.34	c  207s |      21 |  1265470 |  1104245 |      856   2524 |       26 |        4
1687.78/1688.34	c  209s |      21 |  1275853 |  1113445 |      856   2543 |       26 |        4
1689.78/1690.34	c  211s |      21 |  1286438 |  1122645 |      856   2562 |       26 |        4
1691.77/1692.36	c  213s |      21 |  1297421 |  1132245 |      856   2582 |       26 |        4
1693.77/1694.38	c  216s |      21 |  1307810 |  1141445 |      856   2601 |       26 |        4
1695.87/1696.40	c  218s |      21 |  1318353 |  1150645 |      856   2621 |       26 |        4
1697.88/1698.40	c  220s |      21 |  1328852 |  1160045 |      856   2640 |       26 |        4
1699.87/1700.42	c  222s |      21 |  1339299 |  1169445 |      856   2660 |       26 |        4
1701.87/1702.43	c  224s |      21 |  1350479 |  1179245 |      856   2681 |       26 |        4
1703.87/1704.44	c  226s |      21 |  1361579 |  1189045 |      856   2701 |       26 |        4
1705.87/1706.45	c  228s |      21 |  1371603 |  1198045 |      856   2720 |       26 |        4
1707.88/1708.46	c  230s |      21 |  1381785 |  1207045 |      856   2739 |       26 |        4
1709.87/1710.47	c  232s |      21 |  1391191 |  1215545 |      856   2757 |       26 |        4
1711.97/1712.50	c  234s |      21 |  1400716 |  1224045 |      856   2774 |       26 |        4
1713.97/1714.52	c  236s |      21 |  1410697 |  1233045 |      856   2793 |       26 |        4
1715.97/1716.52	c  238s |      21 |  1421070 |  1242245 |      856   2813 |       26 |        4
1717.98/1718.53	c  240s |      21 |  1432024 |  1251845 |      856   2833 |       26 |        4
1719.99/1720.54	c  242s |      21 |  1442373 |  1261145 |      856   2852 |       26 |        4
1721.98/1722.55	c  244s |      21 |  1452540 |  1270245 |      856   2871 |       26 |        4
1723.98/1724.57	c  246s |      21 |  1462572 |  1279245 |      856   2890 |       26 |        4
1725.98/1726.59	c  248s |      21 |  1472081 |  1287445 |      856   2908 |       26 |        4
1728.08/1728.60	c  250s |      21 |  1482122 |  1296245 |      856   2926 |       26 |        4
1730.08/1730.60	c  252s |      21 |  1492066 |  1305045 |      856   2945 |       26 |        4
1732.08/1732.62	c  254s |      21 |  1501588 |  1313545 |      856   2963 |       26 |        4
1734.08/1734.63	c  256s |      21 |  1511519 |  1322445 |      856   2981 |       26 |        4
1736.08/1736.65	c  258s |      21 |  1523108 |  1332145 |      856   3002 |       26 |        4
1738.07/1738.66	c  260s |      21 |  1534089 |  1341745 |      856   3022 |       26 |        4
1740.07/1740.66	c  262s |      21 |  1544893 |  1351345 |      856   3042 |       26 |        4
1742.07/1742.68	c  264s |      21 |  1556599 |  1361345 |      856   3063 |       26 |        4
1744.08/1744.70	c  266s |      21 |  1567497 |  1370845 |      856   3083 |       26 |        4
1746.17/1746.71	c  268s |      21 |  1578176 |  1380045 |      856   3103 |       26 |        4
1748.17/1748.72	c  270s |      21 |  1588628 |  1389345 |      856   3122 |       26 |        4
1750.17/1750.72	c  272s |      21 |  1599579 |  1399045 |      856   3143 |       26 |        4
1752.17/1752.72	c  274s |      21 |  1610943 |  1408945 |      856   3164 |       26 |        4
1754.17/1754.73	c  276s |      21 |  1621570 |  1418145 |      856   3183 |       26 |        4
1756.18/1756.74	c  278s |      21 |  1631593 |  1426945 |      856   3202 |       26 |        4
1758.17/1758.74	c  280s |      21 |  1641486 |  1435745 |      856   3220 |       26 |        4
1760.17/1760.75	c  282s |      21 |  1652103 |  1444645 |      856   3240 |       26 |        4
1762.17/1762.77	c  284s |      21 |  1662741 |  1453845 |      856   3259 |       26 |        4
1764.17/1764.79	c  286s |      21 |  1673551 |  1463245 |      856   3279 |       26 |        4
1766.27/1766.80	c  288s |      21 |  1685427 |  1473245 |      856   3300 |       26 |        4
1768.28/1768.82	c  290s |      21 |  1697505 |  1483845 |      856   3322 |       26 |        4
1770.27/1770.83	c  292s |      21 |  1709373 |  1494345 |      856   3344 |       26 |        4
1771.37/1771.99	c  293s |      22 |  1716686 |  1500622 |      856   3357 |       26 |        4
1773.37/1773.99	c  295s |      22 |  1729530 |  1511722 |      856   3381 |       26 |        4
1775.47/1776.00	c  297s |      22 |  1742047 |  1522722 |      856   3404 |       26 |        4
1777.47/1778.01	c  299s |      22 |  1754896 |  1534022 |      856   3428 |       26 |        4
1779.47/1780.01	c  301s |      22 |  1766940 |  1544622 |      856   3450 |       26 |        4
1781.47/1782.01	c  303s |      22 |  1778699 |  1555022 |      856   3472 |       26 |        4
1783.46/1784.02	c  305s |      22 |  1790464 |  1565422 |      856   3493 |       26 |        4
1785.46/1786.03	c  307s |      22 |  1802069 |  1575422 |      856   3514 |       26 |        4
1787.46/1788.05	c  309s |      22 |  1813501 |  1585122 |      856   3535 |       26 |        4
1789.46/1790.06	c  311s |      22 |  1824519 |  1594622 |      856   3555 |       26 |        4
1791.47/1792.07	c  313s |      22 |  1835661 |  1604122 |      856   3575 |       26 |        4
1793.46/1794.09	c  315s |      22 |  1847117 |  1613822 |      856   3595 |       26 |        4
1795.46/1796.09	c  317s |      22 |  1858063 |  1623122 |      856   3614 |       26 |        4
1797.56/1798.11	c  319s |      22 |  1869493 |  1633122 |      856   3636 |       26 |        4
1799.56/1800.11	c  321s |      22 |  1880987 |  1643122 |      856   3657 |       26 |        4

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-4093707-1466093233/watcher-4093707-1466093233 -o /tmp/evaluation-result-4093707-1466093233/solver-4093707-1466093233 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093707-1466093233.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.25 2.15 4/179 13296
/proc/meminfo: memFree=29656332/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 2686 0 0 0 0 0 0 0 20 0 4 0 11369873 737603584 3047 33554432000 4194304 16246674 140735462772544 140735462771968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 180847 3056 441 2943 0 177741 0
[pid=13296/tid=13297] ppid=13293 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 755429376 3116 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 759623680 3132 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11369873 764866560 3149 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.29 2.25 2.15 4/179 13296
/proc/meminfo: memFree=29656332/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 26686 0 0 0 6 3 0 0 20 0 4 0 11369873 1247350784 27032 33554432000 4194304 16246674 140735462772544 140735462771968 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 304529 27047 812 2943 0 301423 0
[pid=13296/tid=13297] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 27057 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 27068 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 27079 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.29 2.25 2.15 4/179 13296
/proc/meminfo: memFree=29656332/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 52719 0 0 0 12 7 0 0 20 0 4 0 11369873 1247350784 53065 33554432000 4194304 16246674 140735462772544 140735462771968 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 304529 53073 812 2943 0 301423 0
[pid=13296/tid=13297] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 53080 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 53090 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 53098 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.29 2.25 2.15 4/179 13296
/proc/meminfo: memFree=29656332/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 78760 0 0 0 19 10 0 0 20 0 4 0 11369873 1247350784 79106 33554432000 4194304 16246674 140735462772544 140735462771968 6010073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 304529 79116 813 2943 0 301423 0
[pid=13296/tid=13297] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 79121 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 79127 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 79137 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700394 s]
/proc/loadavg: 2.29 2.25 2.15 4/179 13296
/proc/meminfo: memFree=29656332/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 187517 0 0 0 46 23 0 0 20 0 4 0 11369873 1247350784 187863 33554432000 4194304 16246674 140735462772544 140735462771968 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 304529 187871 813 2943 0 301423 0
[pid=13296/tid=13297] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 187878 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 187891 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11369873 1247350784 187901 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.29 2.25 2.15 4/183 13300
/proc/meminfo: memFree=28673784/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 260476 0 0 0 116 33 0 0 20 0 4 0 11369873 1337528320 260800 33554432000 4194304 16246674 140735462772544 140735462755544 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326545 260814 873 2943 0 323439 0
[pid=13296/tid=13297] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 260821 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 260827 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 260832 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.1004 s]
/proc/loadavg: 2.29 2.25 2.15 4/183 13300
/proc/meminfo: memFree=28586116/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267495 0 0 0 275 34 0 0 20 0 4 0 11369873 1337528320 267819 33554432000 4194304 16246674 140735462772544 140735462754432 5712140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326545 267819 873 2943 0 323439 0
[pid=13296/tid=13297] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267819 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267819 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267819 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.26 2.25 2.15 3/183 13300
/proc/meminfo: memFree=28585456/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267525 0 0 0 595 34 0 0 20 0 4 0 11369873 1337528320 267849 33554432000 4194304 16246674 140735462772544 140735462754432 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326545 267849 873 2943 0 323439 0
[pid=13296/tid=13297] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267849 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267849 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267849 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.24 2.24 2.15 3/183 13300
/proc/meminfo: memFree=28585952/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267526 0 0 0 1235 34 0 0 20 0 4 0 11369873 1337528320 267850 33554432000 4194304 16246674 140735462772544 140735462754432 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326545 267850 873 2943 0 323439 0
[pid=13296/tid=13297] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267850 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267850 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267850 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.19 2.23 2.14 3/183 13300
/proc/meminfo: memFree=28586604/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267527 0 0 0 2514 34 0 0 20 0 4 0 11369873 1337528320 267851 33554432000 4194304 16246674 140735462772544 140735462754432 5712248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326545 267851 873 2943 0 323439 0
[pid=13296/tid=13297] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267851 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267851 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267851 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.40 2.27 2.16 3/183 13300
/proc/meminfo: memFree=28553748/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267560 0 0 0 5073 35 0 0 20 0 4 0 11369873 1337528320 267884 33554432000 4194304 16246674 140735462772544 140735462754432 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326545 267884 875 2943 0 323439 0
[pid=13296/tid=13297] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267884 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267884 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267884 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.26 2.26 2.16 3/183 13301
/proc/meminfo: memFree=28553956/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267563 0 0 0 10192 36 0 0 20 0 4 0 11369873 1337528320 267887 33554432000 4194304 16246674 140735462772544 140735462754432 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326545 267887 875 2943 0 323439 0
[pid=13296/tid=13297] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267887 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267887 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1337528320 267887 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 13331
/proc/meminfo: memFree=28451824/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1302 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267920 0 0 0 130147 53 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 140735462754432 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268064 877 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 13332
/proc/meminfo: memFree=28452060/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1361.96 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 267962 0 0 0 136143 53 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 140735462754432 5710928 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268064 877 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.41 2.30 2.22 3/184 13336
/proc/meminfo: memFree=28441004/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1421.94 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268004 0 0 0 142140 54 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 140735462755544 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268064 877 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268064 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.45 2.33 2.23 3/183 13338
/proc/meminfo: memFree=28441004/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1481.91 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268052 0 0 0 148136 55 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 140735462755544 6861716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268073 886 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.21 2.29 2.22 3/183 13339
/proc/meminfo: memFree=28440384/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1541.87 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268091 0 0 0 154132 55 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 140735462754432 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268073 886 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.23 2.28 2.22 4/183 13340
/proc/meminfo: memFree=28440064/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1601.83 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268136 0 0 0 160127 56 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 140735462755544 13923741 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268073 886 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.16 2.25 2.21 3/183 13341
/proc/meminfo: memFree=28302544/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1661.8 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268182 0 0 0 166123 57 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 140735462754432 12483300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268073 886 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268073 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.17 2.23 2.20 3/182 13342
/proc/meminfo: memFree=28302604/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1721.78 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268199 0 0 0 172120 58 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 140735462754432 6026670 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268074 886 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.20 3/183 13393
/proc/meminfo: memFree=29220388/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1781.77 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268199 0 0 0 178119 58 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 140735462754432 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268074 886 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268074 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.24 2.20 3/183 13394
/proc/meminfo: memFree=29219244/32872528 swapFree=1199460/1313924
[pid=13296] ppid=13293 vsize=1307204 CPUtime=1800.06 cores=0,2,4,6
/proc/13296/stat : 13296 (toysat) R 13293 13296 9104 0 -1 4202496 268217 0 0 0 179948 58 0 0 20 0 4 0 11369873 1338576896 268092 33554432000 4194304 16246674 140735462772544 140735462754432 5545894 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13296/statm: 326801 268092 886 2943 0 323695 0
[pid=13296/tid=13297] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13297/stat : 13297 (toysat) S 13293 13296 9104 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268092 33554432000 4194304 16246674 140735462772544 139874610949360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13296/tid=13298] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13298/stat : 13298 (toysat) S 13293 13296 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268092 33554432000 4194304 16246674 140735462772544 139874600459504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13296/tid=13299] ppid=13293 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13296/task/13299/stat : 13299 (toysat) S 13293 13296 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11369873 1338576896 268092 33554432000 4194304 16246674 140735462772544 139874589985968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.49
CPU system time (s): 0.58891
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.58891
maximum resident set size= 1072368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268217
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= 466
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47132 second user time and 7.06693 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 18:07:13
IDJOB=4093707
IDBENCH=79178
IDSOLVER=2553
FILE ID=node131/4093707-1466093233
RUNJOBID= node131-1466075598-10666
PBS_JOBID= 19904008
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093707-1466093233/watcher-4093707-1466093233 -o /tmp/evaluation-result-4093707-1466093233/solver-4093707-1466093233 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093707-1466093233.wbo

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

MD5SUM BENCH= 5c6d98aba4f4f2cf2db8cd0c78364d4c
RANDOM SEED=1527860544

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29656876 kB
Buffers:           44772 kB
Cached:           110992 kB
SwapCached:         1972 kB
Active:          1119004 kB
Inactive:          79352 kB
Active(anon):    1043500 kB
Inactive(anon):     1452 kB
Active(file):      75504 kB
Inactive(file):    77900 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             16456 kB
Writeback:             0 kB
AnonPages:       2355900 kB
Mapped:            10568 kB
Shmem:                 0 kB
Slab:             567524 kB
SReclaimable:      11516 kB
SUnreclaim:       556008 kB
KernelStack:        1448 kB
PageTables:         8684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2531824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71708 MiB
End job on node131 at 2016-06-16 18:37:14