Trace number 4093098

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.03 1800.62

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12026_5-unsat--soft-66-100-0.wbo
MD5SUM61d4c9960e3fd82523e9755479fb1e31
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13073
Best CPU time to get the best result obtained on this benchmark229.192
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables32912
Total number of constraints109848
Number of soft constraints37605
Number of constraints which are clauses109308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints540
Minimum length of a constraint1
Maximum length of a constraint66
Top cost 1909674
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1909673
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 428
Number of bits of the biggest sum of numbers9
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-16T13:40:47+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-4093098-1466077246.wbo"]
0.00/0.01	c use --random-gen="2013945701 2733778566 883609146 1478858812 3514691656 2792683762 2643989824 919487682 3193875639 3801835713 3380469429 184485649 4031668593 3780996785 1014435529 3473174150 3631117661 1161759889 2269151958 1209851211 1313012586 3946821963 640719154 1145449235 1477554774 3304445779 1676858018 4248887347 3258498642 707176292 1018275992 1597357287 3015427057 4187571336 2557419357 4247045779 4183739910 4199479154 949297301 818672939 2062062764 3395506836 1501326971 3370521759 280674889 4174121004 1244398301 1642256436 3303653487 690194000 557584709 2125736492 3793669043 3383813920 3435503158 2327532510 3773759355 692129673 2043039431 2193861787 1304811975 263757340 2469809948 3706039216 2300343430 3099681614 3618619027 2680323366 4239455880 2920858247 1841177105 2245097967 213171968 1419416081 1021392539 1953023497 221305643 3935659124 2062441792 1784882407 4093270748 1870153052 2393524347 1229354849 49442332 2284296224 1233478829 281844603 336301462 3876415216 1776747958 4017168178 786291080 4277512283 78524635 3742504987 1370260807 3850580723 1351909691 368428013 3101699976 1982379489 2146838763 817272205 393438652 3202863158 3034851141 3991104815 2360591752 3670321143 3122226445 2512066451 483297569 460085135 566467791 3486729576 25490793 1909893690 883640681 3951038752 3645988198 1602379461 358830702 1224635071 3023918626 3994871947 5425049 1399563809 4074400009 3491030434 1135620795 3655232059 3182821648 2565924323 91799002 579385510 3541289423 931461724 2151108670 2490307602 3401439583 1447702623 2975314232 977359723 3869900638 319803265 1151370003 1621087338 1631533044 2718808522 2030871700 3790281753 3042876445 3940053313 837401919 866630771 2691129322 3057258254 1024542582 2902308390 560461190 1459486683 3154203925 3395271300 617933065 1862140580 2317109672 1619089212 129475599 3055790798 1375725696 1457792087 4207531358 2778606973 3594510127 2826092386 4126798840 1397412160 3116272768 1805586670 3774944473 4043903349 2060037466 2217854741 1889210576 330059814 931627537 3874792383 2039610317 2201994659 2742399145 3908235121 1184726145 3650343410 1665702207 1835317175 3570991785 2531277208 461333431 2265961101 448093992 864675724 22771261 1519329511 2972124795 4088993520 3519003329 3586955410 2112681815 3700314823 3171205953 2968749512 978521001 2719156702 1263828786 4280330726 3947396994 380243943 4151501779 3287790861 3255566843 2340829592 1490499135 267686554 4242335479 2953480383 4114682917 918748236 3682323582 1795721541 1427578396 352969499 2163660146 2079615074 3462036558 609955883 624273025 4258708971 1401404204 4173706347 1468654651 4224796779 2548570348 427887353 2429556790 628363014 2690086561 873604313 1878926171 4256658864 4248325344 1822680312 3065099521 3425332444 2014607557 1332782539 255 362436" option to reproduce the execution
8.49/8.50	c #vars 32912
8.49/8.50	c #constraints 109848
10.19/10.29	c BCD2: Hardening is enabled.
10.19/10.29	c BCD2: BiasedSearch is enabled.
10.19/10.29	c Solving starts ...
10.19/10.29	c ============================[ Search Statistics ]============================
10.19/10.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.19/10.29	c       |         |          |          |    Limit     GC | Var      | Constra 
10.19/10.29	c =============================================================================
10.19/10.29	c  0.0s |       0 |        0 |        0 |    50748      0 |     9399 |        0
10.59/10.61	c  0.3s |       1 |    16660 |      100 |    50748      0 |     9399 |    17176
10.79/10.87	c  0.6s |       1 |    64097 |      122 |    55823      0 |     9399 |    17176
10.79/10.87	c #cpu_time = 0.533s
10.79/10.87	c #wall_clock_time = 0.535s
10.79/10.87	c #decision = 64097
10.79/10.87	c #random_decision = 182
10.79/10.87	c #conflict = 122
10.79/10.87	c #restart = 1
10.79/10.88	o 19272
10.89/10.99	c BCD2: updating upper bound: 1916781 -> 26379
11.10/11.19	c BCD2: 0 <= obj <= 26379
11.19/11.20	c BCD2: #cores=0, #unrelaxed=37540, #relaxed=0, #hardened=0
11.19/11.20	c BCD2: #sat=1 #unsat=1 bias=1/2
11.19/11.21	c Solving starts ...
11.19/11.21	c ============================[ Search Statistics ]============================
11.19/11.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.19/11.21	c       |         |          |          |    Limit     GC | Var      | Constra 
11.19/11.21	c =============================================================================
11.19/11.21	c  0.0s |       0 |        0 |        0 |    55823      0 |     9399 |    17176
11.19/11.26	c  0.0s |       0 |        0 |        0 |    55823      0 |     9399 |    17176
11.19/11.26	c #cpu_time = 0.049s
11.19/11.26	c #wall_clock_time = 0.050s
11.19/11.26	c #decision = 0
11.19/11.26	c #random_decision = 0
11.19/11.26	c #conflict = 0
11.19/11.26	c #restart = 0
11.19/11.26	c BCD2: found a new core of size 1: cost of the new core is >=7108
11.19/11.26	c lower bound updated to 0
11.19/11.28	c BCD2: 7108 <= obj <= 26379
11.19/11.28	c BCD2: #cores=1, #unrelaxed=37539, #relaxed=1, #hardened=0
11.19/11.28	c BCD2: #sat=1 #unsat=2 bias=2/3
11.19/11.28	c Solving starts ...
11.19/11.28	c ============================[ Search Statistics ]============================
11.19/11.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.19/11.28	c       |         |          |          |    Limit     GC | Var      | Constra 
11.19/11.28	c =============================================================================
11.19/11.28	c  0.0s |       0 |        0 |        0 |    55823      0 |     9399 |    17176
11.59/11.68	c  0.4s |       1 |    37565 |      100 |    55823      0 |     9399 |    17176
12.20/12.23	c  0.9s |       2 |    75218 |      250 |    61406      0 |     9399 |    17176
12.89/12.91	c  1.6s |       3 |   112979 |      475 |    67547      0 |     9399 |    17176
13.69/13.77	c  2.5s |       4 |   150901 |      813 |    74302      0 |     9399 |    17176
15.39/15.45	c  4.2s |       5 |   189161 |     1320 |    81733      0 |     9399 |    17176
17.49/17.55	c  6.3s |       5 |   227696 |     2020 |    89907      0 |     9399 |    17176
17.59/17.70	c  6.4s |       6 |   227796 |     2081 |    89907      0 |     9399 |    17176
19.89/19.95	c  8.7s |       6 |   266126 |     2681 |    89907      0 |     9399 |    17176
22.18/22.27	c 11.0s |       6 |   266857 |     3181 |    98898      0 |     9399 |    17176
22.48/22.53	c 11.3s |       7 |   266905 |     3223 |    98898      0 |     9399 |    17176
24.48/24.59	c 13.3s |       7 |   305241 |     3823 |    98898      0 |     9399 |    17176
26.68/26.78	c 15.5s |       7 |   306090 |     4423 |    98898      0 |     9399 |    17176
28.78/28.81	c 17.5s |       8 |   306763 |     4936 |   108788      0 |     9399 |    17176
31.08/31.15	c 19.9s |       8 |   347341 |     5636 |   108788      0 |     9399 |    17176
33.58/33.66	c 22.4s |       8 |   348079 |     6236 |   108788      0 |     9399 |    17176
35.78/35.88	c 24.6s |       8 |   348932 |     6836 |   108788      0 |     9399 |    17176
38.18/38.24	c 27.0s |       8 |   349781 |     7436 |   119667      0 |     9399 |    17176
38.49/38.54	c 27.3s |       9 |   349866 |     7506 |   119667      0 |     9399 |    17176
40.69/40.75	c 29.5s |       9 |   387956 |     8006 |   119667      0 |     9399 |    17176
42.89/42.94	c 31.7s |       9 |   388666 |     8506 |   119667      0 |     9399 |    17176
44.88/44.94	c 33.7s |       9 |   389221 |     8906 |   119667      0 |     9399 |    17176
47.18/47.26	c 36.0s |       9 |   389990 |     9506 |   119667      0 |     9399 |    17176
49.59/49.66	c 38.4s |       9 |   390613 |    10006 |   119667      0 |     9399 |    17176
51.98/52.06	c 40.8s |       9 |   391232 |    10506 |   119667      0 |     9399 |    17176
54.08/54.12	c 42.8s |       9 |   391722 |    10906 |   119667      0 |     9399 |    17176
55.88/55.94	c 44.7s |      10 |   392389 |    11361 |   131634      0 |     9399 |    17176
57.98/58.05	c 46.8s |      10 |   430486 |    11861 |   131634      0 |     9399 |    17176
60.48/60.52	c 49.2s |      10 |   431279 |    12461 |   131634      0 |     9399 |    17176
62.79/62.87	c 51.6s |      10 |   431750 |    12861 |   131634      0 |     9399 |    17176
64.89/64.91	c 53.6s |      10 |   432286 |    13261 |   131634      0 |     9399 |    17176
66.88/66.96	c 55.7s |      10 |   432918 |    13761 |   131634      0 |     9399 |    17176
68.98/69.09	c 57.8s |      10 |   433364 |    14161 |   131634      0 |     9399 |    17176
71.38/71.40	c 60.1s |      10 |   434041 |    14661 |   131634      0 |     9399 |    17176
73.88/73.94	c 62.7s |      10 |   434686 |    15161 |   131634      0 |     9399 |    17176
75.98/76.03	c 64.8s |      10 |   435221 |    15561 |   131634      0 |     9399 |    17176
78.18/78.22	c 66.9s |      10 |   435640 |    15861 |   131634      0 |     9399 |    17176
80.38/80.46	c 69.2s |      10 |   436224 |    16261 |   131634      0 |     9399 |    17176
82.77/82.81	c 71.5s |      10 |   436876 |    16761 |   131634      0 |     9399 |    17176
84.69/84.73	c 73.5s |      11 |   437421 |    17144 |   144798      0 |     9399 |    17176
87.08/87.14	c 75.9s |      11 |   475329 |    17544 |   144798      0 |     9399 |    17176
89.37/89.45	c 78.2s |      11 |   476003 |    18044 |   144798      0 |     9399 |    17176
91.77/91.80	c 80.5s |      11 |   476525 |    18444 |   144798      0 |     9399 |    17176
93.97/94.00	c 82.7s |      11 |   477202 |    18944 |   144798      0 |     9399 |    17176
96.07/96.11	c 84.8s |      11 |   477743 |    19344 |   144798      0 |     9399 |    17176
98.37/98.42	c 87.1s |      11 |   478224 |    19744 |   144798      0 |     9399 |    17176
100.87/100.90	c 89.6s |      11 |   478738 |    20144 |   144798      0 |     9399 |    17176
102.98/103.01	c 91.7s |      11 |   479109 |    20444 |   144798      0 |     9399 |    17176
105.18/105.22	c 93.9s |      11 |   479484 |    20744 |   144798      0 |     9399 |    17176
107.78/107.82	c 96.5s |      11 |   479870 |    21044 |   144798      0 |     9399 |    17176
110.17/110.28	c 99.0s |      11 |   480433 |    21444 |   144798      0 |     9399 |    17176
112.18/112.29	c  101s |      11 |   481055 |    21844 |   144798      0 |     9399 |    17176
114.37/114.46	c  103s |      11 |   481594 |    22244 |   144798      0 |     9399 |    17176
116.58/116.65	c  105s |      11 |   481986 |    22544 |   144798      0 |     9399 |    17176
118.88/118.92	c  107s |      11 |   482398 |    22844 |   144798      0 |     9399 |    17176
121.27/121.37	c  110s |      11 |   482923 |    23244 |   144798      0 |     9399 |    17176
123.67/123.75	c  112s |      11 |   483344 |    23544 |   144798      0 |     9399 |    17176
126.07/126.18	c  114s |      11 |   483754 |    23844 |   144798      0 |     9399 |    17176
128.97/129.07	c  117s |      11 |   484138 |    24144 |   144798      0 |     9399 |    17176
131.36/131.45	c  120s |      11 |   484535 |    24444 |   144798      0 |     9399 |    17176
133.86/133.91	c  122s |      11 |   484916 |    24744 |   144798      0 |     9399 |    17176
136.48/136.58	c  125s |      11 |   485271 |    25044 |   144798      0 |     9399 |    17176
138.58/138.70	c  127s |      11 |   485505 |    25244 |   144798      0 |     9399 |    17176
140.77/140.82	c  129s |      11 |   485743 |    25444 |   144798      0 |     9399 |    17176
142.87/142.94	c  131s |      12 |   486254 |    25819 |   159278      0 |     9399 |    17176
145.46/145.50	c  134s |      12 |   523923 |    26019 |   159278      0 |     9399 |    17176
147.66/147.77	c  136s |      12 |   524454 |    26419 |   159278      0 |     9399 |    17176
149.87/149.97	c  138s |      12 |   525079 |    26819 |   159278      0 |     9399 |    17176
152.27/152.35	c  141s |      12 |   525656 |    27219 |   159278      0 |     9399 |    17176
154.66/154.72	c  143s |      12 |   526069 |    27519 |   159278      0 |     9399 |    17176
156.66/156.78	c  145s |      12 |   526449 |    27819 |   159278      0 |     9399 |    17176
158.76/158.89	c  147s |      12 |   526899 |    28119 |   159278      0 |     9399 |    17176
161.06/161.12	c  149s |      12 |   527278 |    28419 |   159278      0 |     9399 |    17176
163.57/163.63	c  152s |      12 |   527679 |    28719 |   159278      0 |     9399 |    17176
165.86/165.95	c  154s |      12 |   528117 |    29019 |   159278      0 |     9399 |    17176
168.27/168.37	c  157s |      12 |   528630 |    29419 |   159278      0 |     9399 |    17176
171.16/171.23	c  159s |      12 |   529173 |    29819 |   159278      0 |     9399 |    17176
173.87/173.97	c  162s |      12 |   529547 |    30119 |   159278      0 |     9399 |    17176
176.66/176.77	c  165s |      12 |   529903 |    30419 |   159278      0 |     9399 |    17176
179.06/179.13	c  167s |      12 |   530311 |    30719 |   159278      0 |     9399 |    17176
181.86/181.97	c  170s |      12 |   530658 |    31019 |   159278      0 |     9399 |    17176
184.26/184.35	c  173s |      12 |   530894 |    31219 |   159278      0 |     9399 |    17176
186.76/186.83	c  175s |      12 |   531310 |    31519 |   159278      0 |     9399 |    17176
188.76/188.87	c  177s |      12 |   531703 |    31819 |   159278      0 |     9399 |    17176
191.26/191.35	c  180s |      12 |   532098 |    32119 |   159278      0 |     9399 |    17176
193.76/193.81	c  182s |      12 |   532483 |    32419 |   159278      0 |     9399 |    17176
195.96/196.09	c  184s |      12 |   532730 |    32619 |   159278      0 |     9399 |    17176
198.15/198.23	c  186s |      12 |   532963 |    32819 |   159278      0 |     9399 |    17176
200.35/200.47	c  189s |      12 |   533331 |    33119 |   159278      0 |     9399 |    17176
203.25/203.36	c  192s |      12 |   533723 |    33419 |   159278      0 |     9399 |    17176
205.95/206.07	c  194s |      12 |   534065 |    33719 |   159278      0 |     9399 |    17176
208.54/208.61	c  197s |      12 |   534607 |    34119 |   159278      0 |     9399 |    17176
210.74/210.89	c  199s |      12 |   534994 |    34419 |   159278      0 |     9399 |    17176
213.04/213.12	c  201s |      12 |   535366 |    34719 |   159278      0 |     9399 |    17176
215.55/215.61	c  204s |      12 |   535711 |    35019 |   159278      0 |     9399 |    17176
217.74/217.84	c  206s |      12 |   536091 |    35319 |   159278      0 |     9399 |    17176
219.94/220.02	c  208s |      12 |   536528 |    35619 |   159278      0 |     9399 |    17176
221.93/222.08	c  210s |      12 |   536919 |    35919 |   159278      0 |     9399 |    17176
224.44/224.55	c  213s |      12 |   537268 |    36219 |   159278      0 |     9399 |    17176
227.04/227.14	c  215s |      12 |   537657 |    36519 |   159278      0 |     9399 |    17176
229.23/229.34	c  218s |      12 |   538034 |    36819 |   159278      0 |     9399 |    17176
231.93/232.01	c  220s |      12 |   538419 |    37119 |   159278      0 |     9399 |    17176
234.13/234.22	c  222s |      12 |   538645 |    37319 |   159278      0 |     9399 |    17176
236.13/236.29	c  225s |      12 |   538879 |    37519 |   159278      0 |     9399 |    17176
238.33/238.47	c  227s |      12 |   539139 |    37719 |   159278      0 |     9399 |    17176
240.53/240.69	c  229s |      12 |   539375 |    37919 |   159278      0 |     9399 |    17176
243.53/243.63	c  232s |      12 |   539734 |    38219 |   159278      0 |     9399 |    17176
246.23/246.40	c  235s |      12 |   540098 |    38519 |   175206      0 |     9399 |    17176
249.02/249.19	c  237s |      12 |   540494 |    38819 |   175206      0 |     9399 |    17176
249.22/249.31	c  238s |      13 |   540508 |    38832 |   175206      0 |     9399 |    17176
251.52/251.60	c  240s |      13 |   578070 |    38932 |   175206      0 |     9399 |    17176
254.13/254.25	c  242s |      13 |   578457 |    39232 |   175206      0 |     9399 |    17176
256.52/256.65	c  245s |      13 |   578858 |    39532 |   175206      0 |     9399 |    17176
259.02/259.12	c  247s |      13 |   579373 |    39932 |   175206      0 |     9399 |    17176
261.22/261.31	c  250s |      13 |   579775 |    40232 |   175206      0 |     9399 |    17176
263.32/263.41	c  252s |      13 |   580216 |    40532 |   175206      0 |     9399 |    17176
265.42/265.56	c  254s |      13 |   580433 |    40732 |   175206      0 |     9399 |    17176
268.32/268.45	c  257s |      13 |   580802 |    41032 |   175206      0 |     9399 |    17176
270.41/270.56	c  259s |      13 |   581049 |    41232 |   175206      0 |     9399 |    17176
272.72/272.83	c  261s |      13 |   581288 |    41432 |   175206      0 |     9399 |    17176
275.42/275.59	c  264s |      13 |   581653 |    41732 |   175206      0 |     9399 |    17176
277.71/277.87	c  266s |      13 |   581888 |    41932 |   175206      0 |     9399 |    17176
280.81/280.98	c  269s |      13 |   582304 |    42232 |   175206      0 |     9399 |    17176
283.11/283.28	c  271s |      13 |   582540 |    42432 |   175206      0 |     9399 |    17176
285.51/285.67	c  274s |      13 |   582781 |    42632 |   175206      0 |     9399 |    17176
287.81/287.98	c  276s |      13 |   583012 |    42832 |   175206      0 |     9399 |    17176
290.20/290.35	c  279s |      13 |   583249 |    43032 |   175206      0 |     9399 |    17176
292.30/292.42	c  281s |      13 |   583501 |    43232 |   175206      0 |     9399 |    17176
295.30/295.46	c  284s |      13 |   583898 |    43532 |   175206      0 |     9399 |    17176
297.51/297.61	c  286s |      13 |   584151 |    43732 |   175206      0 |     9399 |    17176
299.60/299.71	c  288s |      13 |   584389 |    43932 |   175206      0 |     9399 |    17176
302.60/302.71	c  291s |      13 |   584771 |    44232 |   175206      0 |     9399 |    17176
304.70/304.81	c  293s |      13 |   585022 |    44432 |   175206      0 |     9399 |    17176
307.50/307.66	c  296s |      13 |   585446 |    44732 |   175206      0 |     9399 |    17176
310.10/310.24	c  298s |      13 |   585685 |    44932 |   175206      0 |     9399 |    17176
312.59/312.73	c  301s |      13 |   585932 |    45132 |   175206      0 |     9399 |    17176
315.29/315.45	c  304s |      13 |   586185 |    45332 |   175206      0 |     9399 |    17176
317.98/318.11	c  306s |      13 |   586425 |    45532 |   175206      0 |     9399 |    17176
320.18/320.34	c  309s |      13 |   586820 |    45832 |   175206      0 |     9399 |    17176
322.88/323.08	c  311s |      13 |   587161 |    46132 |   175206      0 |     9399 |    17176
325.19/325.34	c  314s |      13 |   587423 |    46332 |   175206      0 |     9399 |    17176
327.19/327.36	c  316s |      13 |   587691 |    46532 |   175206      0 |     9399 |    17176
329.29/329.45	c  318s |      13 |   588099 |    46832 |   175206      0 |     9399 |    17176
331.78/331.98	c  320s |      13 |   588518 |    47132 |   175206      0 |     9399 |    17176
334.48/334.61	c  323s |      13 |   588959 |    47432 |   175206      0 |     9399 |    17176
337.08/337.27	c  325s |      13 |   589327 |    47732 |   175206      0 |     9399 |    17176
339.88/340.04	c  328s |      13 |   589690 |    48032 |   175206      0 |     9399 |    17176
342.58/342.70	c  331s |      13 |   590061 |    48332 |   175206      0 |     9399 |    17176
344.57/344.75	c  333s |      13 |   590485 |    48632 |   175206      0 |     9399 |    17176
347.27/347.49	c  336s |      13 |   590851 |    48932 |   175206      0 |     9399 |    17176
350.06/350.26	c  338s |      13 |   591235 |    49232 |   175206      0 |     9399 |    17176
352.26/352.41	c  341s |      13 |   591516 |    49432 |   175206      0 |     9399 |    17176
354.26/354.49	c  343s |      13 |   591778 |    49632 |   175206      0 |     9399 |    17176
356.47/356.69	c  345s |      13 |   592018 |    49832 |   175206      0 |     9399 |    17176
358.96/359.13	c  347s |      13 |   592265 |    50032 |   175206      0 |     9399 |    17176
361.16/361.36	c  350s |      13 |   592507 |    50232 |   175206      0 |     9399 |    17176
363.36/363.56	c  352s |      13 |   592774 |    50432 |   175206      0 |     9399 |    17176
365.36/365.59	c  354s |      13 |   593058 |    50632 |   175206      0 |     9399 |    17176
367.46/367.62	c  356s |      13 |   593380 |    50832 |   175206      0 |     9399 |    17176
369.46/369.65	c  358s |      13 |   593628 |    51032 |   175206      0 |     9399 |    17176
371.67/371.90	c  360s |      13 |   593854 |    51232 |   175206      0 |     9399 |    17176
374.26/374.45	c  363s |      13 |   594232 |    51532 |   175206      0 |     9399 |    17176
376.66/376.88	c  365s |      13 |   594479 |    51732 |   175206      0 |     9399 |    17176
378.85/379.01	c  367s |      13 |   594711 |    51932 |   175206      0 |     9399 |    17176
381.75/381.94	c  370s |      13 |   595097 |    52232 |   175206      0 |     9399 |    17176
384.86/385.06	c  373s |      13 |   595476 |    52532 |   175206      0 |     9399 |    17176
386.95/387.12	c  375s |      13 |   595745 |    52732 |   175206      0 |     9399 |    17176
389.74/389.99	c  378s |      13 |   596188 |    53032 |   175206      0 |     9399 |    17176
392.15/392.33	c  381s |      13 |   596426 |    53232 |   175206      0 |     9399 |    17176
394.86/395.06	c  383s |      13 |   596662 |    53432 |   175206      0 |     9399 |    17176
397.65/397.86	c  386s |      13 |   596877 |    53632 |   175206      0 |     9399 |    17176
400.25/400.40	c  389s |      13 |   597125 |    53832 |   175206      0 |     9399 |    17176
402.75/402.92	c  391s |      13 |   597382 |    54032 |   175206      0 |     9399 |    17176
404.75/404.97	c  393s |      13 |   597655 |    54232 |   175206      0 |     9399 |    17176
407.44/407.60	c  396s |      13 |   597895 |    54432 |   175206      0 |     9399 |    17176
409.94/410.14	c  398s |      13 |   598143 |    54632 |   175206      0 |     9399 |    17176
412.34/412.52	c  401s |      13 |   598403 |    54832 |   175206      0 |     9399 |    17176
414.33/414.59	c  403s |      13 |   598635 |    55032 |   175206      0 |     9399 |    17176
417.13/417.30	c  406s |      13 |   598860 |    55232 |   175206      0 |     9399 |    17176
419.63/419.84	c  408s |      13 |   599093 |    55432 |   175206      0 |     9399 |    17176
422.33/422.58	c  411s |      13 |   599349 |    55632 |   175206      0 |     9399 |    17176
424.54/424.71	c  413s |      13 |   599604 |    55832 |   175206      0 |     9399 |    17176
427.53/427.71	c  416s |      13 |   599834 |    56032 |   175206      0 |     9399 |    17176
429.82/430.00	c  418s |      13 |   600058 |    56232 |   175206      0 |     9399 |    17176
432.23/432.47	c  421s |      13 |   600316 |    56432 |   175206      0 |     9399 |    17176
435.02/435.24	c  423s |      13 |   600533 |    56632 |   175206      0 |     9399 |    17176
437.22/437.46	c  426s |      13 |   600772 |    56832 |   175206      0 |     9399 |    17176
439.83/440.09	c  428s |      13 |   601006 |    57032 |   175206      0 |     9399 |    17176
442.22/442.41	c  431s |      13 |   601239 |    57232 |   175206      0 |     9399 |    17176
444.32/444.59	c  433s |      13 |   601491 |    57432 |   175206      0 |     9399 |    17176
446.82/447.09	c  435s |      13 |   601737 |    57632 |   175206      0 |     9399 |    17176
449.11/449.32	c  438s |      13 |   602001 |    57832 |   175206      0 |     9399 |    17176
451.92/452.14	c  440s |      13 |   602242 |    58032 |   192727      0 |     9399 |    17176
454.81/455.02	c  443s |      13 |   602475 |    58232 |   192727      0 |     9399 |    17176
456.71/456.92	c  445s |      14 |   602619 |    58352 |   192727      0 |     9399 |    17176
461.41/461.66	c  450s |      14 |   640187 |    58452 |   192727      0 |     9399 |    17176
464.30/464.53	c  453s |      14 |   640484 |    58652 |   192727      0 |     9399 |    17176
467.70/467.99	c  456s |      14 |   640721 |    58852 |   192727      0 |     9399 |    17176
470.61/470.83	c  459s |      14 |   640979 |    59052 |   192727      0 |     9399 |    17176
473.61/473.80	c  462s |      14 |   641204 |    59252 |   192727      0 |     9399 |    17176
476.21/476.44	c  465s |      14 |   641480 |    59452 |   192727      0 |     9399 |    17176
478.90/479.12	c  467s |      14 |   641735 |    59652 |   192727      0 |     9399 |    17176
481.20/481.46	c  470s |      14 |   641990 |    59852 |   192727      0 |     9399 |    17176
483.60/483.82	c  472s |      14 |   642218 |    60052 |   192727      0 |     9399 |    17176
486.20/486.48	c  475s |      14 |   642460 |    60252 |   192727      0 |     9399 |    17176
488.89/489.13	c  477s |      14 |   642691 |    60452 |   192727      0 |     9399 |    17176
491.30/491.50	c  480s |      14 |   642947 |    60652 |   192727      0 |     9399 |    17176
493.99/494.22	c  482s |      14 |   643203 |    60852 |   192727      0 |     9399 |    17176
497.59/497.84	c  486s |      14 |   643427 |    61052 |   192727      0 |     9399 |    17176
500.59/500.86	c  489s |      14 |   643660 |    61252 |   192727      0 |     9399 |    17176
503.88/504.13	c  492s |      14 |   643894 |    61452 |   192727      0 |     9399 |    17176
507.28/507.59	c  496s |      14 |   644128 |    61652 |   192727      0 |     9399 |    17176
510.48/510.70	c  499s |      14 |   644365 |    61852 |   192727      0 |     9399 |    17176
514.18/514.47	c  503s |      14 |   644590 |    62052 |   192727      0 |     9399 |    17176
516.38/516.65	c  505s |      14 |   644695 |    62152 |   192727      0 |     9399 |    17176
519.98/520.24	c  508s |      14 |   644950 |    62352 |   192727      0 |     9399 |    17176
523.68/523.96	c  512s |      14 |   645181 |    62552 |   192727      0 |     9399 |    17176
526.58/526.89	c  515s |      14 |   645438 |    62752 |   192727      0 |     9399 |    17176
529.78/530.04	c  518s |      14 |   645683 |    62952 |   192727      0 |     9399 |    17176
532.58/532.84	c  521s |      14 |   645921 |    63152 |   192727      0 |     9399 |    17176
535.68/535.97	c  524s |      14 |   646163 |    63352 |   192727      0 |     9399 |    17176
538.57/538.85	c  527s |      14 |   646383 |    63552 |   192727      0 |     9399 |    17176
541.67/541.90	c  530s |      14 |   646626 |    63752 |   192727      0 |     9399 |    17176
544.57/544.86	c  533s |      14 |   646989 |    64052 |   192727      0 |     9399 |    17176
546.87/547.19	c  535s |      14 |   647226 |    64252 |   192727      0 |     9399 |    17176
549.37/549.69	c  538s |      14 |   647459 |    64452 |   192727      0 |     9399 |    17176
551.97/552.25	c  540s |      14 |   647680 |    64652 |   192727      0 |     9399 |    17176
554.86/555.11	c  543s |      14 |   648054 |    64952 |   192727      0 |     9399 |    17176
556.86/557.15	c  545s |      14 |   648307 |    65152 |   192727      0 |     9399 |    17176
559.96/560.24	c  548s |      14 |   648666 |    65452 |   192727      0 |     9399 |    17176
562.87/563.13	c  551s |      14 |   649032 |    65752 |   192727      0 |     9399 |    17176
565.67/565.96	c  554s |      14 |   649270 |    65952 |   192727      0 |     9399 |    17176
568.06/568.36	c  557s |      14 |   649513 |    66152 |   192727      0 |     9399 |    17176
570.46/570.77	c  559s |      14 |   649752 |    66352 |   192727      0 |     9399 |    17176
572.56/572.89	c  561s |      14 |   649987 |    66552 |   192727      0 |     9399 |    17176
574.86/575.13	c  563s |      14 |   650222 |    66752 |   192727      0 |     9399 |    17176
577.46/577.77	c  566s |      14 |   650451 |    66952 |   192727      0 |     9399 |    17176
579.95/580.22	c  568s |      14 |   650691 |    67152 |   192727      0 |     9399 |    17176
582.06/582.35	c  571s |      14 |   650935 |    67352 |   192727      0 |     9399 |    17176
584.86/585.19	c  573s |      14 |   651173 |    67552 |   192727      0 |     9399 |    17176
587.56/587.86	c  576s |      14 |   651406 |    67752 |   192727      0 |     9399 |    17176
589.65/589.90	c  578s |      14 |   651672 |    67952 |   192727      0 |     9399 |    17176
592.76/593.01	c  581s |      14 |   652062 |    68252 |   192727      0 |     9399 |    17176
595.05/595.35	c  584s |      14 |   652280 |    68452 |   192727      0 |     9399 |    17176
597.95/598.25	c  586s |      14 |   652496 |    68652 |   192727      0 |     9399 |    17176
600.45/600.77	c  589s |      14 |   652716 |    68852 |   192727      0 |     9399 |    17176
602.85/603.14	c  591s |      14 |   652967 |    69052 |   192727      0 |     9399 |    17176
605.35/605.69	c  594s |      14 |   653212 |    69252 |   192727      0 |     9399 |    17176
608.65/608.91	c  597s |      14 |   653445 |    69452 |   192727      0 |     9399 |    17176
611.15/611.43	c  600s |      14 |   653673 |    69652 |   192727      0 |     9399 |    17176
613.95/614.28	c  602s |      14 |   653958 |    69852 |   192727      0 |     9399 |    17176
616.05/616.38	c  605s |      14 |   654067 |    69952 |   192727      0 |     9399 |    17176
619.05/619.31	c  608s |      14 |   654302 |    70152 |   192727      0 |     9399 |    17176
621.74/622.00	c  610s |      14 |   654543 |    70352 |   192727      0 |     9399 |    17176
624.94/625.27	c  613s |      14 |   654774 |    70552 |   192727      0 |     9399 |    17176
628.04/628.34	c  617s |      14 |   655015 |    70752 |   192727      0 |     9399 |    17176
631.54/631.82	c  620s |      14 |   655258 |    70952 |   192727      0 |     9399 |    17176
634.24/634.51	c  623s |      14 |   655512 |    71152 |   192727      0 |     9399 |    17176
637.53/637.81	c  626s |      14 |   655743 |    71352 |   192727      0 |     9399 |    17176
640.44/640.79	c  629s |      14 |   655974 |    71552 |   192727      0 |     9399 |    17176
644.44/644.78	c  633s |      14 |   656235 |    71752 |   192727      0 |     9399 |    17176
647.64/647.99	c  636s |      14 |   656474 |    71952 |   192727      0 |     9399 |    17176
650.53/650.81	c  639s |      14 |   656710 |    72152 |   192727      0 |     9399 |    17176
653.23/653.59	c  642s |      14 |   656949 |    72352 |   192727      0 |     9399 |    17176
656.33/656.66	c  645s |      14 |   657176 |    72552 |   192727      0 |     9399 |    17176
660.33/660.68	c  649s |      14 |   657404 |    72752 |   192727      0 |     9399 |    17176
663.32/663.69	c  652s |      14 |   657625 |    72952 |   192727      0 |     9399 |    17176
665.73/666.04	c  654s |      14 |   657879 |    73152 |   192727      0 |     9399 |    17176
668.93/669.20	c  657s |      14 |   658112 |    73352 |   192727      0 |     9399 |    17176
672.12/672.40	c  661s |      14 |   658367 |    73552 |   192727      0 |     9399 |    17176
675.02/675.36	c  664s |      14 |   658584 |    73752 |   192727      0 |     9399 |    17176
678.43/678.73	c  667s |      14 |   658823 |    73952 |   192727      0 |     9399 |    17176
681.82/682.19	c  670s |      14 |   659053 |    74152 |   192727      0 |     9399 |    17176
683.93/684.24	c  672s |      14 |   659168 |    74252 |   192727      0 |     9399 |    17176
686.32/686.60	c  675s |      14 |   659411 |    74452 |   192727      0 |     9399 |    17176
688.43/688.71	c  677s |      14 |   659648 |    74652 |   192727      0 |     9399 |    17176
690.82/691.16	c  679s |      14 |   659899 |    74852 |   192727      0 |     9399 |    17176
693.01/693.38	c  682s |      14 |   660144 |    75052 |   192727      0 |     9399 |    17176
695.41/695.71	c  684s |      14 |   660381 |    75252 |   192727      0 |     9399 |    17176
698.23/698.60	c  687s |      14 |   660627 |    75452 |   192727      0 |     9399 |    17176
700.92/701.23	c  689s |      14 |   660859 |    75652 |   192727      0 |     9399 |    17176
704.41/704.77	c  693s |      14 |   661095 |    75852 |   192727      0 |     9399 |    17176
706.62/706.92	c  695s |      14 |   661201 |    75952 |   192727      0 |     9399 |    17176
709.61/709.94	c  698s |      14 |   661442 |    76152 |   192727      0 |     9399 |    17176
712.81/713.12	c  701s |      14 |   661671 |    76352 |   192727      0 |     9399 |    17176
716.62/716.93	c  705s |      14 |   661879 |    76552 |   192727      0 |     9399 |    17176
718.71/719.02	c  707s |      14 |   661989 |    76652 |   192727      0 |     9399 |    17176
721.71/722.09	c  710s |      14 |   662212 |    76852 |   192727      0 |     9399 |    17176
725.21/725.56	c  714s |      14 |   662437 |    77052 |   192727      0 |     9399 |    17176
728.90/729.20	c  717s |      14 |   662669 |    77252 |   192727      0 |     9399 |    17176
730.90/731.21	c  719s |      14 |   662781 |    77352 |   192727      0 |     9399 |    17176
734.40/734.73	c  723s |      14 |   663004 |    77552 |   192727      0 |     9399 |    17176
737.10/737.45	c  726s |      14 |   663247 |    77752 |   192727      0 |     9399 |    17176
739.51/739.88	c  728s |      14 |   663493 |    77952 |   192727      0 |     9399 |    17176
742.80/743.15	c  731s |      14 |   663759 |    78152 |   192727      0 |     9399 |    17176
745.71/746.07	c  734s |      14 |   664002 |    78352 |   192727      0 |     9399 |    17176
748.60/748.91	c  737s |      14 |   664246 |    78552 |   192727      0 |     9399 |    17176
752.11/752.46	c  741s |      14 |   664498 |    78752 |   192727      0 |     9399 |    17176
755.10/755.45	c  744s |      14 |   664754 |    78952 |   192727      0 |     9399 |    17176
757.60/757.94	c  746s |      14 |   664977 |    79152 |   192727      0 |     9399 |    17176
760.80/761.14	c  749s |      14 |   665220 |    79352 |   192727      0 |     9399 |    17176
763.89/764.23	c  752s |      14 |   665469 |    79552 |   192727      0 |     9399 |    17176
766.09/766.46	c  755s |      14 |   665702 |    79752 |   192727      0 |     9399 |    17176
768.19/768.54	c  757s |      14 |   665956 |    79952 |   192727      0 |     9399 |    17176
770.39/770.76	c  759s |      14 |   666200 |    80152 |   192727      0 |     9399 |    17176
772.59/772.99	c  761s |      14 |   666443 |    80352 |   192727      0 |     9399 |    17176
774.89/775.25	c  763s |      14 |   666674 |    80552 |   192727      0 |     9399 |    17176
777.88/778.22	c  766s |      14 |   666940 |    80752 |   192727      0 |     9399 |    17176
780.18/780.58	c  769s |      14 |   667210 |    80952 |   192727      0 |     9399 |    17176
783.08/783.47	c  772s |      14 |   667470 |    81152 |   192727      0 |     9399 |    17176
785.99/786.36	c  775s |      14 |   667705 |    81352 |   192727      0 |     9399 |    17176
788.88/789.26	c  777s |      14 |   667930 |    81552 |   192727      0 |     9399 |    17176
791.88/792.28	c  781s |      14 |   668163 |    81752 |   192727      0 |     9399 |    17176
795.58/795.91	c  784s |      14 |   668391 |    81952 |   192727      0 |     9399 |    17176
798.57/798.94	c  787s |      14 |   668616 |    82152 |   192727      0 |     9399 |    17176
801.37/801.79	c  790s |      14 |   668992 |    82452 |   192727      0 |     9399 |    17176
803.78/804.13	c  792s |      14 |   669272 |    82652 |   192727      0 |     9399 |    17176
807.27/807.65	c  796s |      14 |   669488 |    82852 |   192727      0 |     9399 |    17176
810.07/810.45	c  799s |      14 |   669751 |    83052 |   192727      0 |     9399 |    17176
813.78/814.11	c  802s |      14 |   669978 |    83252 |   192727      0 |     9399 |    17176
815.88/816.20	c  804s |      14 |   670090 |    83352 |   192727      0 |     9399 |    17176
817.97/818.33	c  807s |      14 |   670204 |    83452 |   192727      0 |     9399 |    17176
820.07/820.47	c  809s |      14 |   670329 |    83552 |   192727      0 |     9399 |    17176
823.27/823.60	c  812s |      14 |   670592 |    83752 |   192727      0 |     9399 |    17176
826.77/827.20	c  815s |      14 |   670837 |    83952 |   192727      0 |     9399 |    17176
828.87/829.20	c  817s |      14 |   670968 |    84052 |   192727      0 |     9399 |    17176
831.96/832.39	c  821s |      14 |   671218 |    84252 |   192727      0 |     9399 |    17176
835.36/835.70	c  824s |      14 |   671479 |    84452 |   192727      0 |     9399 |    17176
838.76/839.17	c  827s |      14 |   671727 |    84652 |   192727      0 |     9399 |    17176
840.96/841.32	c  830s |      14 |   671839 |    84752 |   192727      0 |     9399 |    17176
844.66/845.03	c  833s |      14 |   672066 |    84952 |   192727      0 |     9399 |    17176
847.77/848.19	c  836s |      14 |   672295 |    85152 |   192727      0 |     9399 |    17176
851.56/851.92	c  840s |      14 |   672522 |    85352 |   192727      0 |     9399 |    17176
853.76/854.13	c  842s |      14 |   672668 |    85452 |   192727      0 |     9399 |    17176
857.26/857.61	c  846s |      14 |   672898 |    85652 |   192727      0 |     9399 |    17176
859.66/860.04	c  848s |      14 |   673012 |    85752 |   192727      0 |     9399 |    17176
862.46/862.81	c  851s |      14 |   673236 |    85952 |   192727      0 |     9399 |    17176
866.16/866.56	c  855s |      14 |   673455 |    86152 |   192727      0 |     9399 |    17176
869.95/870.32	c  859s |      14 |   673689 |    86352 |   192727      0 |     9399 |    17176
873.45/873.85	c  862s |      14 |   673927 |    86552 |   192727      0 |     9399 |    17176
875.85/876.23	c  864s |      14 |   674048 |    86652 |   192727      0 |     9399 |    17176
879.44/879.81	c  868s |      14 |   674291 |    86852 |   192727      0 |     9399 |    17176
881.54/881.98	c  870s |      14 |   674418 |    86952 |   212000      0 |     9399 |    17176
883.74/884.12	c  872s |      14 |   674540 |    87052 |   212000      0 |     9399 |    17176
886.14/886.50	c  875s |      14 |   674635 |    87152 |   212000      0 |     9399 |    17176
888.44/888.84	c  877s |      14 |   674752 |    87252 |   212000      0 |     9399 |    17176
890.54/890.90	c  879s |      14 |   674868 |    87352 |   212000      0 |     9399 |    17176
894.14/894.53	c  883s |      14 |   675120 |    87552 |   212000      0 |     9399 |    17176
895.64/896.08	c  884s |      15 |   675214 |    87632 |   212000      0 |     9399 |    17176
905.13/905.51	c  894s |      15 |   712752 |    87732 |   212000      0 |     9399 |    17176
908.63/909.08	c  897s |      15 |   712974 |    87932 |   212000      0 |     9399 |    17176
911.83/912.29	c  901s |      15 |   713212 |    88132 |   212000      0 |     9399 |    17176
914.84/915.25	c  903s |      15 |   713440 |    88332 |   212000      0 |     9399 |    17176
917.14/917.53	c  906s |      15 |   713576 |    88432 |   212000      0 |     9399 |    17176
919.44/919.86	c  908s |      15 |   713705 |    88532 |   212000      0 |     9399 |    17176
921.83/922.20	c  910s |      15 |   713824 |    88632 |   212000      0 |     9399 |    17176
924.23/924.60	c  913s |      15 |   714074 |    88832 |   212000      0 |     9399 |    17176
926.73/927.10	c  915s |      15 |   714327 |    89032 |   212000      0 |     9399 |    17176
929.72/930.20	c  918s |      15 |   714581 |    89232 |   212000      0 |     9399 |    17176
932.22/932.63	c  921s |      15 |   714813 |    89432 |   212000      0 |     9399 |    17176
935.22/935.61	c  924s |      15 |   715087 |    89632 |   212000      0 |     9399 |    17176
938.02/938.43	c  927s |      15 |   715314 |    89832 |   212000      0 |     9399 |    17176
940.02/940.50	c  929s |      15 |   715446 |    89932 |   212000      0 |     9399 |    17176
942.51/942.90	c  931s |      15 |   715559 |    90032 |   212000      0 |     9399 |    17176
946.61/947.04	c  935s |      15 |   715791 |    90232 |   212000      0 |     9399 |    17176
949.81/950.23	c  938s |      15 |   715899 |    90332 |   212000      0 |     9399 |    17176
952.01/952.44	c  941s |      15 |   716015 |    90432 |   212000      0 |     9399 |    17176
955.21/955.69	c  944s |      15 |   716265 |    90632 |   212000      0 |     9399 |    17176
957.72/958.12	c  946s |      15 |   716502 |    90832 |   212000      0 |     9399 |    17176
960.41/960.88	c  949s |      15 |   716719 |    91032 |   212000      0 |     9399 |    17176
964.21/964.69	c  953s |      15 |   716971 |    91232 |   212000      0 |     9399 |    17176
968.31/968.71	c  957s |      15 |   717203 |    91432 |   212000      0 |     9399 |    17176
972.02/972.49	c  961s |      15 |   717435 |    91632 |   212000      0 |     9399 |    17176
974.40/974.84	c  963s |      15 |   717545 |    91732 |   212000      0 |     9399 |    17176
977.31/977.71	c  966s |      15 |   717663 |    91832 |   212000      0 |     9399 |    17176
981.30/981.72	c  970s |      15 |   717880 |    92032 |   212000      0 |     9399 |    17176
983.80/984.20	c  972s |      15 |   718000 |    92132 |   212000      0 |     9399 |    17176
986.50/986.99	c  975s |      15 |   718128 |    92232 |   212000      0 |     9399 |    17176
990.30/990.70	c  979s |      15 |   718365 |    92432 |   212000      0 |     9399 |    17176
994.10/994.53	c  983s |      15 |   718585 |    92632 |   212000      0 |     9399 |    17176
996.40/996.82	c  985s |      15 |   718701 |    92732 |   212000      0 |     9399 |    17176
999.00/999.47	c  988s |      15 |   718809 |    92832 |   212000      0 |     9399 |    17176
1001.20/1001.64	c  990s |      15 |   718918 |    92932 |   212000      0 |     9399 |    17176
1003.30/1003.74	c  992s |      15 |   719033 |    93032 |   212000      0 |     9399 |    17176
1005.49/1005.99	c  994s |      15 |   719149 |    93132 |   212000      0 |     9399 |    17176
1008.19/1008.63	c  997s |      15 |   719268 |    93232 |   212000      0 |     9399 |    17176
1011.40/1011.81	c 1000s |      15 |   719380 |    93332 |   212000      0 |     9399 |    17176
1013.39/1013.82	c 1002s |      15 |   719633 |    93532 |   212000      0 |     9399 |    17176
1016.29/1016.72	c 1005s |      15 |   719999 |    93832 |   212000      0 |     9399 |    17176
1018.30/1018.73	c 1007s |      15 |   720247 |    94032 |   212000      0 |     9399 |    17176
1020.50/1020.97	c 1009s |      15 |   720469 |    94232 |   212000      0 |     9399 |    17176
1022.90/1023.39	c 1012s |      15 |   720714 |    94432 |   212000      0 |     9399 |    17176
1025.00/1025.48	c 1014s |      15 |   720973 |    94632 |   212000      0 |     9399 |    17176
1027.20/1027.60	c 1016s |      15 |   721208 |    94832 |   212000      0 |     9399 |    17176
1029.70/1030.15	c 1018s |      15 |   721440 |    95032 |   212000      0 |     9399 |    17176
1032.29/1032.74	c 1021s |      15 |   721665 |    95232 |   212000      0 |     9399 |    17176
1034.39/1034.86	c 1023s |      15 |   721937 |    95432 |   212000      0 |     9399 |    17176
1037.39/1037.86	c 1026s |      15 |   722301 |    95732 |   212000      0 |     9399 |    17176
1040.09/1040.53	c 1029s |      15 |   722561 |    95932 |   212000      0 |     9399 |    17176
1043.19/1043.61	c 1032s |      15 |   722794 |    96132 |   212000      0 |     9399 |    17176
1045.49/1045.96	c 1034s |      15 |   723032 |    96332 |   212000      0 |     9399 |    17176
1047.79/1048.29	c 1037s |      15 |   723283 |    96532 |   212000      0 |     9399 |    17176
1050.48/1050.91	c 1039s |      15 |   723549 |    96732 |   212000      0 |     9399 |    17176
1052.99/1053.45	c 1042s |      15 |   723792 |    96932 |   212000      0 |     9399 |    17176
1055.48/1055.94	c 1044s |      15 |   724039 |    97132 |   212000      0 |     9399 |    17176
1057.68/1058.14	c 1046s |      15 |   724296 |    97332 |   212000      0 |     9399 |    17176
1059.78/1060.28	c 1049s |      15 |   724523 |    97532 |   212000      0 |     9399 |    17176
1062.08/1062.58	c 1051s |      15 |   724762 |    97732 |   212000      0 |     9399 |    17176
1064.29/1064.80	c 1053s |      15 |   725003 |    97932 |   212000      0 |     9399 |    17176
1067.29/1067.73	c 1056s |      15 |   725349 |    98232 |   212000      0 |     9399 |    17176
1069.38/1069.83	c 1058s |      15 |   725585 |    98432 |   212000      0 |     9399 |    17176
1071.79/1072.25	c 1060s |      15 |   725840 |    98632 |   212000      0 |     9399 |    17176
1074.29/1074.73	c 1063s |      15 |   726074 |    98832 |   212000      0 |     9399 |    17176
1076.58/1077.04	c 1065s |      15 |   726324 |    99032 |   212000      0 |     9399 |    17176
1078.88/1079.32	c 1068s |      15 |   726570 |    99232 |   212000      0 |     9399 |    17176
1081.77/1082.25	c 1070s |      15 |   726926 |    99532 |   212000      0 |     9399 |    17176
1084.88/1085.32	c 1074s |      15 |   727279 |    99832 |   212000      0 |     9399 |    17176
1087.68/1088.11	c 1076s |      15 |   727517 |   100032 |   212000      0 |     9399 |    17176
1089.88/1090.37	c 1079s |      15 |   727776 |   100232 |   212000      0 |     9399 |    17176
1092.18/1092.68	c 1081s |      15 |   728018 |   100432 |   212000      0 |     9399 |    17176
1094.68/1095.10	c 1083s |      15 |   728262 |   100632 |   212000      0 |     9399 |    17176
1096.97/1097.44	c 1086s |      15 |   728510 |   100832 |   212000      0 |     9399 |    17176
1099.28/1099.70	c 1088s |      15 |   728739 |   101032 |   212000      0 |     9399 |    17176
1101.47/1101.98	c 1090s |      15 |   728984 |   101232 |   212000      0 |     9399 |    17176
1103.67/1104.16	c 1092s |      15 |   729241 |   101432 |   212000      0 |     9399 |    17176
1106.07/1106.57	c 1095s |      15 |   729505 |   101632 |   212000      0 |     9399 |    17176
1108.28/1108.80	c 1097s |      15 |   729789 |   101832 |   212000      0 |     9399 |    17176
1110.47/1110.94	c 1099s |      15 |   730018 |   102032 |   212000      0 |     9399 |    17176
1113.47/1113.95	c 1102s |      15 |   730428 |   102332 |   212000      0 |     9399 |    17176
1115.87/1116.40	c 1105s |      15 |   730659 |   102532 |   212000      0 |     9399 |    17176
1118.17/1118.60	c 1107s |      15 |   730910 |   102732 |   212000      0 |     9399 |    17176
1121.17/1121.63	c 1110s |      15 |   731156 |   102932 |   212000      0 |     9399 |    17176
1123.47/1123.91	c 1112s |      15 |   731403 |   103132 |   212000      0 |     9399 |    17176
1125.57/1126.02	c 1114s |      15 |   731638 |   103332 |   212000      0 |     9399 |    17176
1127.77/1128.21	c 1116s |      15 |   731898 |   103532 |   212000      0 |     9399 |    17176
1130.37/1130.81	c 1119s |      15 |   732133 |   103732 |   212000      0 |     9399 |    17176
1132.68/1133.18	c 1121s |      15 |   732379 |   103932 |   212000      0 |     9399 |    17176
1135.17/1135.63	c 1124s |      15 |   732630 |   104132 |   212000      0 |     9399 |    17176
1137.46/1137.92	c 1126s |      15 |   732882 |   104332 |   212000      0 |     9399 |    17176
1139.56/1140.06	c 1128s |      15 |   733137 |   104532 |   212000      0 |     9399 |    17176
1141.77/1142.25	c 1130s |      15 |   733370 |   104732 |   212000      0 |     9399 |    17176
1144.77/1145.26	c 1133s |      15 |   733743 |   105032 |   212000      0 |     9399 |    17176
1146.97/1147.47	c 1136s |      15 |   733968 |   105232 |   212000      0 |     9399 |    17176
1149.17/1149.64	c 1138s |      15 |   734219 |   105432 |   212000      0 |     9399 |    17176
1152.06/1152.57	c 1141s |      15 |   734448 |   105632 |   212000      0 |     9399 |    17176
1154.67/1155.15	c 1143s |      15 |   734696 |   105832 |   212000      0 |     9399 |    17176
1156.96/1157.47	c 1146s |      15 |   734948 |   106032 |   212000      0 |     9399 |    17176
1159.16/1159.63	c 1148s |      15 |   735195 |   106232 |   212000      0 |     9399 |    17176
1161.56/1162.09	c 1150s |      15 |   735447 |   106432 |   212000      0 |     9399 |    17176
1163.86/1164.34	c 1153s |      15 |   735713 |   106632 |   212000      0 |     9399 |    17176
1166.25/1166.75	c 1155s |      15 |   735963 |   106832 |   212000      0 |     9399 |    17176
1168.76/1169.29	c 1158s |      15 |   736187 |   107032 |   212000      0 |     9399 |    17176
1171.16/1171.64	c 1160s |      15 |   736426 |   107232 |   212000      0 |     9399 |    17176
1173.45/1173.98	c 1162s |      15 |   736654 |   107432 |   212000      0 |     9399 |    17176
1175.65/1176.18	c 1164s |      15 |   736898 |   107632 |   212000      0 |     9399 |    17176
1178.25/1178.75	c 1167s |      15 |   737151 |   107832 |   212000      0 |     9399 |    17176
1181.16/1181.62	c 1170s |      15 |   737378 |   108032 |   212000      0 |     9399 |    17176
1183.95/1184.49	c 1173s |      15 |   737617 |   108232 |   212000      0 |     9399 |    17176
1186.35/1186.87	c 1175s |      15 |   737841 |   108432 |   212000      0 |     9399 |    17176
1188.66/1189.17	c 1177s |      15 |   738068 |   108632 |   212000      0 |     9399 |    17176
1190.96/1191.49	c 1180s |      15 |   738292 |   108832 |   212000      0 |     9399 |    17176
1193.55/1194.08	c 1182s |      15 |   738530 |   109032 |   212000      0 |     9399 |    17176
1195.65/1196.17	c 1184s |      15 |   738779 |   109232 |   212000      0 |     9399 |    17176
1198.75/1199.28	c 1187s |      15 |   739213 |   109532 |   212000      0 |     9399 |    17176
1200.86/1201.36	c 1190s |      15 |   739443 |   109732 |   212000      0 |     9399 |    17176
1202.85/1203.36	c 1192s |      15 |   739698 |   109932 |   212000      0 |     9399 |    17176
1204.94/1205.43	c 1194s |      15 |   739968 |   110132 |   212000      0 |     9399 |    17176
1207.46/1207.94	c 1196s |      15 |   740201 |   110332 |   212000      0 |     9399 |    17176
1209.85/1210.36	c 1199s |      15 |   740468 |   110532 |   212000      0 |     9399 |    17176
1213.04/1213.57	c 1202s |      15 |   740717 |   110732 |   212000      0 |     9399 |    17176
1215.94/1216.43	c 1205s |      15 |   740944 |   110932 |   212000      0 |     9399 |    17176
1218.45/1218.99	c 1207s |      15 |   741212 |   111132 |   212000      0 |     9399 |    17176
1221.66/1222.17	c 1210s |      15 |   741556 |   111432 |   212000      0 |     9399 |    17176
1224.04/1224.53	c 1213s |      15 |   741782 |   111632 |   212000      0 |     9399 |    17176
1226.05/1226.60	c 1215s |      15 |   742019 |   111832 |   212000      0 |     9399 |    17176
1228.14/1228.68	c 1217s |      15 |   742266 |   112032 |   212000      0 |     9399 |    17176
1230.64/1231.17	c 1219s |      15 |   742503 |   112232 |   212000      0 |     9399 |    17176
1233.14/1233.63	c 1222s |      15 |   742736 |   112432 |   212000      0 |     9399 |    17176
1235.74/1236.26	c 1224s |      15 |   742991 |   112632 |   212000      0 |     9399 |    17176
1238.25/1238.71	c 1227s |      15 |   743250 |   112832 |   212000      0 |     9399 |    17176
1240.45/1240.96	c 1229s |      15 |   743497 |   113032 |   212000      0 |     9399 |    17176
1242.55/1243.03	c 1231s |      15 |   743748 |   113232 |   212000      0 |     9399 |    17176
1245.34/1245.82	c 1234s |      15 |   743998 |   113432 |   212000      0 |     9399 |    17176
1248.43/1248.95	c 1237s |      15 |   744228 |   113632 |   212000      0 |     9399 |    17176
1250.94/1251.49	c 1240s |      15 |   744485 |   113832 |   212000      0 |     9399 |    17176
1253.54/1254.02	c 1242s |      15 |   744716 |   114032 |   212000      0 |     9399 |    17176
1255.94/1256.43	c 1245s |      15 |   744954 |   114232 |   212000      0 |     9399 |    17176
1258.34/1258.86	c 1247s |      15 |   745197 |   114432 |   212000      0 |     9399 |    17176
1260.63/1261.15	c 1249s |      15 |   745419 |   114632 |   212000      0 |     9399 |    17176
1263.04/1263.50	c 1252s |      15 |   745667 |   114832 |   212000      0 |     9399 |    17176
1265.33/1265.85	c 1254s |      15 |   745908 |   115032 |   212000      0 |     9399 |    17176
1267.85/1268.36	c 1257s |      15 |   746167 |   115232 |   212000      0 |     9399 |    17176
1270.24/1270.76	c 1259s |      15 |   746412 |   115432 |   212000      0 |     9399 |    17176
1272.93/1273.49	c 1262s |      15 |   746655 |   115632 |   212000      0 |     9399 |    17176
1275.73/1276.24	c 1264s |      15 |   746890 |   115832 |   212000      0 |     9399 |    17176
1278.94/1279.42	c 1268s |      15 |   747130 |   116032 |   212000      0 |     9399 |    17176
1281.33/1281.89	c 1270s |      15 |   747385 |   116232 |   212000      0 |     9399 |    17176
1284.34/1284.86	c 1273s |      15 |   747632 |   116432 |   212000      0 |     9399 |    17176
1286.63/1287.13	c 1275s |      15 |   747871 |   116632 |   212000      0 |     9399 |    17176
1289.43/1289.94	c 1278s |      15 |   748122 |   116832 |   212000      0 |     9399 |    17176
1292.03/1292.51	c 1281s |      15 |   748363 |   117032 |   212000      0 |     9399 |    17176
1294.34/1294.88	c 1283s |      15 |   748594 |   117232 |   212000      0 |     9399 |    17176
1296.93/1297.47	c 1286s |      15 |   748849 |   117432 |   212000      0 |     9399 |    17176
1299.92/1300.47	c 1289s |      15 |   749087 |   117632 |   212000      0 |     9399 |    17176
1302.43/1302.97	c 1291s |      15 |   749352 |   117832 |   212000      0 |     9399 |    17176
1305.12/1305.65	c 1294s |      15 |   749594 |   118032 |   212000      0 |     9399 |    17176
1307.62/1308.18	c 1296s |      15 |   749838 |   118232 |   212000      0 |     9399 |    17176
1310.33/1310.81	c 1299s |      15 |   750082 |   118432 |   212000      0 |     9399 |    17176
1312.82/1313.32	c 1302s |      15 |   750351 |   118632 |   212000      0 |     9399 |    17176
1315.13/1315.69	c 1304s |      15 |   750606 |   118832 |   212000      0 |     9399 |    17176
1318.12/1318.61	c 1307s |      15 |   751015 |   119132 |   212000      0 |     9399 |    17176
1320.63/1321.19	c 1309s |      15 |   751264 |   119332 |   212000      0 |     9399 |    17176
1322.72/1323.23	c 1311s |      15 |   751506 |   119532 |   212000      0 |     9399 |    17176
1324.82/1325.39	c 1314s |      15 |   751743 |   119732 |   212000      0 |     9399 |    17176
1327.82/1328.34	c 1317s |      15 |   752116 |   120032 |   212000      0 |     9399 |    17176
1330.82/1331.30	c 1320s |      15 |   752507 |   120332 |   212000      0 |     9399 |    17176
1332.92/1333.49	c 1322s |      15 |   752766 |   120532 |   212000      0 |     9399 |    17176
1335.61/1336.12	c 1324s |      15 |   753042 |   120732 |   212000      0 |     9399 |    17176
1338.42/1338.90	c 1327s |      15 |   753311 |   120932 |   212000      0 |     9399 |    17176
1341.11/1341.62	c 1330s |      15 |   753549 |   121132 |   212000      0 |     9399 |    17176
1343.51/1344.00	c 1332s |      15 |   753816 |   121332 |   212000      0 |     9399 |    17176
1345.52/1346.05	c 1334s |      15 |   754046 |   121532 |   212000      0 |     9399 |    17176
1348.22/1348.77	c 1337s |      15 |   754269 |   121732 |   212000      0 |     9399 |    17176
1351.22/1351.78	c 1340s |      15 |   754541 |   121932 |   212000      0 |     9399 |    17176
1354.51/1355.07	c 1343s |      15 |   754774 |   122132 |   212000      0 |     9399 |    17176
1356.51/1357.09	c 1345s |      15 |   754918 |   122232 |   212000      0 |     9399 |    17176
1359.31/1359.85	c 1348s |      15 |   755172 |   122432 |   212000      0 |     9399 |    17176
1362.42/1362.93	c 1351s |      15 |   755449 |   122632 |   212000      0 |     9399 |    17176
1366.71/1367.29	c 1356s |      15 |   755685 |   122832 |   212000      0 |     9399 |    17176
1369.91/1370.41	c 1359s |      15 |   755922 |   123032 |   212000      0 |     9399 |    17176
1373.61/1374.16	c 1362s |      15 |   756145 |   123232 |   212000      0 |     9399 |    17176
1376.91/1377.43	c 1366s |      15 |   756392 |   123432 |   212000      0 |     9399 |    17176
1381.22/1381.71	c 1370s |      15 |   756616 |   123632 |   212000      0 |     9399 |    17176
1383.21/1383.72	c 1372s |      15 |   756739 |   123732 |   212000      0 |     9399 |    17176
1385.31/1385.86	c 1374s |      15 |   756870 |   123832 |   212000      0 |     9399 |    17176
1387.51/1388.01	c 1376s |      15 |   756991 |   123932 |   212000      0 |     9399 |    17176
1391.11/1391.67	c 1380s |      15 |   757235 |   124132 |   212000      0 |     9399 |    17176
1394.70/1395.29	c 1384s |      15 |   757452 |   124332 |   212000      0 |     9399 |    17176
1397.71/1398.25	c 1386s |      15 |   757695 |   124532 |   212000      0 |     9399 |    17176
1400.41/1400.92	c 1389s |      15 |   757940 |   124732 |   212000      0 |     9399 |    17176
1402.80/1403.33	c 1392s |      15 |   758179 |   124932 |   212000      0 |     9399 |    17176
1405.31/1405.89	c 1394s |      15 |   758443 |   125132 |   212000      0 |     9399 |    17176
1408.61/1409.16	c 1397s |      15 |   758664 |   125332 |   212000      0 |     9399 |    17176
1410.70/1411.23	c 1399s |      15 |   758785 |   125432 |   212000      0 |     9399 |    17176
1414.30/1414.88	c 1403s |      15 |   759019 |   125632 |   212000      0 |     9399 |    17176
1416.50/1417.09	c 1405s |      15 |   759137 |   125732 |   212000      0 |     9399 |    17176
1420.49/1421.04	c 1409s |      15 |   759362 |   125932 |   212000      0 |     9399 |    17176
1424.80/1425.36	c 1414s |      15 |   759581 |   126132 |   212000      0 |     9399 |    17176
1426.80/1427.36	c 1416s |      15 |   759700 |   126232 |   212000      0 |     9399 |    17176
1429.19/1429.70	c 1418s |      15 |   759995 |   126432 |   212000      0 |     9399 |    17176
1432.48/1433.05	c 1421s |      15 |   760261 |   126632 |   212000      0 |     9399 |    17176
1435.69/1436.20	c 1424s |      15 |   760500 |   126832 |   212000      0 |     9399 |    17176
1437.99/1438.50	c 1427s |      15 |   760623 |   126932 |   212000      0 |     9399 |    17176
1441.79/1442.36	c 1431s |      15 |   760867 |   127132 |   212000      0 |     9399 |    17176
1446.00/1446.55	c 1435s |      15 |   761100 |   127332 |   212000      0 |     9399 |    17176
1450.18/1450.73	c 1439s |      15 |   761316 |   127532 |   212000      0 |     9399 |    17176
1455.09/1455.65	c 1444s |      15 |   761533 |   127732 |   212000      0 |     9399 |    17176
1458.39/1458.90	c 1447s |      15 |   761762 |   127932 |   212000      0 |     9399 |    17176
1462.09/1462.63	c 1451s |      15 |   762001 |   128132 |   212000      0 |     9399 |    17176
1466.18/1466.72	c 1455s |      15 |   762232 |   128332 |   212000      0 |     9399 |    17176
1468.49/1469.00	c 1457s |      15 |   762343 |   128432 |   212000      0 |     9399 |    17176
1472.08/1472.60	c 1461s |      15 |   762589 |   128632 |   212000      0 |     9399 |    17176
1475.98/1476.57	c 1465s |      15 |   762821 |   128832 |   212000      0 |     9399 |    17176
1478.38/1478.93	c 1467s |      15 |   762935 |   128932 |   212000      0 |     9399 |    17176
1480.98/1481.54	c 1470s |      15 |   763041 |   129032 |   212000      0 |     9399 |    17176
1483.48/1484.08	c 1472s |      15 |   763157 |   129132 |   212000      0 |     9399 |    17176
1487.27/1487.88	c 1476s |      15 |   763391 |   129332 |   212000      0 |     9399 |    17176
1490.77/1491.35	c 1480s |      15 |   763634 |   129532 |   212000      0 |     9399 |    17176
1493.28/1493.84	c 1482s |      15 |   763744 |   129632 |   212000      0 |     9399 |    17176
1495.68/1496.27	c 1484s |      15 |   763847 |   129732 |   212000      0 |     9399 |    17176
1498.47/1499.05	c 1487s |      15 |   763949 |   129832 |   212000      0 |     9399 |    17176
1501.47/1502.01	c 1490s |      15 |   764069 |   129932 |   212000      0 |     9399 |    17176
1503.67/1504.22	c 1492s |      15 |   764174 |   130032 |   212000      0 |     9399 |    17176
1507.17/1507.74	c 1496s |      15 |   764395 |   130232 |   212000      0 |     9399 |    17176
1509.26/1509.88	c 1498s |      15 |   764509 |   130332 |   212000      0 |     9399 |    17176
1511.87/1512.49	c 1501s |      15 |   764618 |   130432 |   212000      0 |     9399 |    17176
1514.97/1515.55	c 1504s |      15 |   764736 |   130532 |   233201      0 |     9399 |    17176
1518.07/1518.61	c 1507s |      15 |   764847 |   130632 |   233201      0 |     9399 |    17176
1520.96/1521.52	c 1510s |      15 |   764957 |   130732 |   233201      0 |     9399 |    17176
1523.77/1524.32	c 1513s |      15 |   765090 |   130832 |   233201      0 |     9399 |    17176
1526.46/1527.03	c 1515s |      15 |   765199 |   130932 |   233201      0 |     9399 |    17176
1528.96/1529.51	c 1518s |      15 |   765310 |   131032 |   233201      0 |     9399 |    17176
1531.96/1532.52	c 1521s |      15 |   765422 |   131132 |   233201      0 |     9399 |    17176
1534.67/1535.28	c 1524s |      15 |   765528 |   131232 |   233201      0 |     9399 |    17176
1537.57/1538.12	c 1526s |      15 |   765652 |   131332 |   233201      0 |     9399 |    17176
1540.46/1541.10	c 1529s |      15 |   765758 |   131432 |   233201      0 |     9399 |    17176
1542.67/1543.28	c 1531s |      15 |   765882 |   131532 |   233201      0 |     9399 |    17176
1543.07/1543.68	c 1532s |      16 |   765904 |   131552 |   233201      0 |     9399 |    17176
1553.77/1554.34	c 1543s |      16 |   803460 |   131652 |   233201      0 |     9399 |    17176
1556.56/1557.10	c 1545s |      16 |   803709 |   131852 |   233201      0 |     9399 |    17176
1560.26/1560.85	c 1549s |      16 |   803959 |   132052 |   233201      0 |     9399 |    17176
1562.46/1563.02	c 1551s |      16 |   804071 |   132152 |   233201      0 |     9399 |    17176
1567.16/1567.79	c 1556s |      16 |   804302 |   132352 |   233201      0 |     9399 |    17176
1571.25/1571.84	c 1560s |      16 |   804537 |   132552 |   233201      0 |     9399 |    17176
1573.26/1573.87	c 1562s |      16 |   804661 |   132652 |   233201      0 |     9399 |    17176
1575.46/1576.03	c 1564s |      16 |   804786 |   132752 |   233201      0 |     9399 |    17176
1578.85/1579.43	c 1568s |      16 |   805016 |   132952 |   233201      0 |     9399 |    17176
1582.46/1583.00	c 1571s |      16 |   805257 |   133152 |   233201      0 |     9399 |    17176
1586.95/1587.55	c 1576s |      16 |   805502 |   133352 |   233201      0 |     9399 |    17176
1590.96/1591.53	c 1580s |      16 |   805734 |   133552 |   233201      0 |     9399 |    17176
1593.06/1593.69	c 1582s |      16 |   805852 |   133652 |   233201      0 |     9399 |    17176
1596.15/1596.71	c 1585s |      16 |   806100 |   133852 |   233201      0 |     9399 |    17176
1598.15/1598.72	c 1587s |      16 |   806225 |   133952 |   233201      0 |     9399 |    17176
1600.85/1601.48	c 1590s |      16 |   806488 |   134152 |   233201      0 |     9399 |    17176
1604.25/1604.84	c 1593s |      16 |   806714 |   134352 |   233201      0 |     9399 |    17176
1608.25/1608.87	c 1597s |      16 |   806953 |   134552 |   233201      0 |     9399 |    17176
1611.25/1611.82	c 1600s |      16 |   807067 |   134652 |   233201      0 |     9399 |    17176
1614.15/1614.78	c 1603s |      16 |   807181 |   134752 |   233201      0 |     9399 |    17176
1616.35/1616.91	c 1605s |      16 |   807293 |   134852 |   233201      0 |     9399 |    17176
1620.14/1620.79	c 1609s |      16 |   807524 |   135052 |   233201      0 |     9399 |    17176
1622.94/1623.58	c 1612s |      16 |   807629 |   135152 |   233201      0 |     9399 |    17176
1625.14/1625.74	c 1614s |      16 |   807742 |   135252 |   233201      0 |     9399 |    17176
1628.94/1629.51	c 1618s |      16 |   807954 |   135452 |   233201      0 |     9399 |    17176
1632.64/1633.27	c 1621s |      16 |   808195 |   135652 |   233201      0 |     9399 |    17176
1636.64/1637.24	c 1625s |      16 |   808424 |   135852 |   233201      0 |     9399 |    17176
1640.85/1641.42	c 1630s |      16 |   808662 |   136052 |   233201      0 |     9399 |    17176
1644.55/1645.11	c 1633s |      16 |   808883 |   136252 |   233201      0 |     9399 |    17176
1647.04/1647.67	c 1636s |      16 |   809007 |   136352 |   233201      0 |     9399 |    17176
1649.55/1650.16	c 1638s |      16 |   809116 |   136452 |   233201      0 |     9399 |    17176
1653.34/1653.95	c 1642s |      16 |   809331 |   136652 |   233201      0 |     9399 |    17176
1657.34/1657.96	c 1646s |      16 |   809585 |   136852 |   233201      0 |     9399 |    17176
1659.45/1660.07	c 1648s |      16 |   809713 |   136952 |   233201      0 |     9399 |    17176
1661.44/1662.09	c 1650s |      16 |   809829 |   137052 |   233201      0 |     9399 |    17176
1663.94/1664.53	c 1653s |      16 |   809945 |   137152 |   233201      0 |     9399 |    17176
1665.95/1666.57	c 1655s |      16 |   810083 |   137252 |   233201      0 |     9399 |    17176
1669.04/1669.60	c 1658s |      16 |   810311 |   137452 |   233201      0 |     9399 |    17176
1671.74/1672.37	c 1661s |      16 |   810569 |   137652 |   233201      0 |     9399 |    17176
1674.84/1675.49	c 1664s |      16 |   810802 |   137852 |   233201      0 |     9399 |    17176
1677.94/1678.57	c 1667s |      16 |   811026 |   138052 |   233201      0 |     9399 |    17176
1682.14/1682.72	c 1671s |      16 |   811274 |   138252 |   233201      0 |     9399 |    17176
1684.83/1685.45	c 1674s |      16 |   811381 |   138352 |   233201      0 |     9399 |    17176
1687.04/1687.62	c 1676s |      16 |   811495 |   138452 |   233201      0 |     9399 |    17176
1689.14/1689.79	c 1678s |      16 |   811605 |   138552 |   233201      0 |     9399 |    17176
1691.83/1692.40	c 1681s |      16 |   811758 |   138652 |   233201      0 |     9399 |    17176
1695.23/1695.89	c 1684s |      16 |   811968 |   138852 |   233201      0 |     9399 |    17176
1697.74/1698.34	c 1687s |      16 |   812091 |   138952 |   233201      0 |     9399 |    17176
1701.33/1701.93	c 1690s |      16 |   812321 |   139152 |   233201      0 |     9399 |    17176
1704.93/1705.52	c 1694s |      16 |   812564 |   139352 |   233201      0 |     9399 |    17176
1707.13/1707.70	c 1696s |      16 |   812677 |   139452 |   233201      0 |     9399 |    17176
1709.23/1709.87	c 1698s |      16 |   812792 |   139552 |   233201      0 |     9399 |    17176
1712.53/1713.16	c 1701s |      16 |   813032 |   139752 |   233201      0 |     9399 |    17176
1714.63/1715.24	c 1703s |      16 |   813148 |   139852 |   233201      0 |     9399 |    17176
1716.64/1717.27	c 1705s |      16 |   813250 |   139952 |   233201      0 |     9399 |    17176
1718.93/1719.56	c 1708s |      16 |   813364 |   140052 |   233201      0 |     9399 |    17176
1722.33/1722.93	c 1711s |      16 |   813624 |   140252 |   233201      0 |     9399 |    17176
1725.93/1726.52	c 1715s |      16 |   813844 |   140452 |   233201      0 |     9399 |    17176
1728.03/1728.61	c 1717s |      16 |   813955 |   140552 |   233201      0 |     9399 |    17176
1730.72/1731.31	c 1720s |      16 |   814061 |   140652 |   233201      0 |     9399 |    17176
1734.23/1734.86	c 1723s |      16 |   814294 |   140852 |   233201      0 |     9399 |    17176
1736.43/1737.01	c 1725s |      16 |   814416 |   140952 |   233201      0 |     9399 |    17176
1739.64/1740.26	c 1728s |      16 |   814682 |   141152 |   233201      0 |     9399 |    17176
1741.72/1742.32	c 1731s |      16 |   814808 |   141252 |   233201      0 |     9399 |    17176
1744.13/1744.78	c 1733s |      16 |   814927 |   141352 |   233201      0 |     9399 |    17176
1747.43/1748.04	c 1736s |      16 |   815182 |   141552 |   233201      0 |     9399 |    17176
1750.42/1751.08	c 1739s |      16 |   815417 |   141752 |   233201      0 |     9399 |    17176
1753.82/1754.47	c 1743s |      16 |   815679 |   141952 |   233201      0 |     9399 |    17176
1757.52/1758.10	c 1746s |      16 |   815901 |   142152 |   233201      0 |     9399 |    17176
1761.62/1762.21	c 1750s |      16 |   816125 |   142352 |   233201      0 |     9399 |    17176
1763.62/1764.27	c 1752s |      16 |   816258 |   142452 |   233201      0 |     9399 |    17176
1767.32/1767.97	c 1756s |      16 |   816516 |   142652 |   233201      0 |     9399 |    17176
1771.22/1771.82	c 1760s |      16 |   816780 |   142852 |   233201      0 |     9399 |    17176
1773.82/1774.40	c 1763s |      16 |   816896 |   142952 |   233201      0 |     9399 |    17176
1777.22/1777.89	c 1766s |      16 |   817155 |   143152 |   233201      0 |     9399 |    17176
1780.62/1781.27	c 1769s |      16 |   817423 |   143352 |   233201      0 |     9399 |    17176
1782.91/1783.51	c 1772s |      16 |   817532 |   143452 |   233201      0 |     9399 |    17176
1785.31/1785.92	c 1774s |      16 |   817649 |   143552 |   233201      0 |     9399 |    17176
1788.91/1789.53	c 1778s |      16 |   817951 |   143752 |   233201      0 |     9399 |    17176
1791.02/1791.62	c 1780s |      16 |   818049 |   143852 |   233201      0 |     9399 |    17176
1793.51/1794.19	c 1782s |      16 |   818158 |   143952 |   233201      0 |     9399 |    17176
1797.11/1797.73	c 1786s |      16 |   818413 |   144152 |   233201      0 |     9399 |    17176
1799.41/1800.06	c 1788s |      16 |   818535 |   144252 |   233201      0 |     9399 |    17176

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

pid=11273
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.19 2.17 2.01 2/180 11276
/proc/meminfo: memFree=31255964/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 2731 0 0 0 0 0 0 0 20 0 4 0 9773874 750186496 3604 33554432000 4194304 16246674 140733323912688 140733323912112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 183663 3612 441 2943 0 180557 0
[pid=11276/tid=11277] ppid=11273 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 768012288 3672 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 772206592 3690 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9773874 776400896 3706 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.19 2.17 2.01 2/180 11276
/proc/meminfo: memFree=31255964/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 25701 0 0 0 6 3 0 0 20 0 4 0 9773874 1333334016 26514 33554432000 4194304 16246674 140733323912688 140733323912000 7387561 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 325521 26530 800 2943 0 322415 0
[pid=11276/tid=11277] ppid=11273 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1333334016 26540 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1333334016 26551 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1333334016 26562 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1302084

[startup+0.200515 s]
/proc/loadavg: 2.19 2.17 2.01 2/180 11276
/proc/meminfo: memFree=31255964/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 45139 0 0 0 14 5 0 0 20 0 4 0 9773874 1344868352 46462 33554432000 4194304 16246674 140733323912688 140733323912000 14795924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 328337 46462 801 2943 0 325231 0
[pid=11276/tid=11277] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 46462 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 46462 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 46462 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1313348

[startup+0.300492 s]
/proc/loadavg: 2.19 2.17 2.01 2/180 11276
/proc/meminfo: memFree=31255964/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 57985 0 0 0 21 8 0 0 20 0 4 0 9773874 1344868352 59308 33554432000 4194304 16246674 140733323912688 140733323912000 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 328337 59308 801 2943 0 325231 0
[pid=11276/tid=11277] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 59308 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 59308 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 59308 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1313348

[startup+0.700407 s]
/proc/loadavg: 2.19 2.17 2.01 2/180 11276
/proc/meminfo: memFree=31255964/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 66479 0 0 0 60 9 0 0 20 0 4 0 9773874 1344868352 67802 33554432000 4194304 16246674 140733323912688 140733323912000 13967416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 328337 67802 801 2943 0 325231 0
[pid=11276/tid=11277] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 67802 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 67802 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 67802 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.18 2.17 2.01 3/184 11280
/proc/meminfo: memFree=30662560/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 84827 0 0 0 137 12 0 0 20 0 4 0 9773874 1344868352 86151 33554432000 4194304 16246674 140733323912688 140733323894592 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 328337 86159 839 2943 0 325231 0
[pid=11276/tid=11277] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 86164 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 86170 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1344868352 86176 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1313348

[startup+3.10035 s]
/proc/loadavg: 2.18 2.17 2.01 3/184 11280
/proc/meminfo: memFree=29553752/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1332804 CPUtime=3.09 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 250462 0 0 0 274 35 0 0 20 0 4 0 9773874 1364791296 251785 33554432000 4194304 16246674 140733323912688 140733323911784 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 333201 251785 839 2943 0 330095 0
[pid=11276/tid=11277] ppid=11273 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1364791296 251785 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1364791296 251785 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1364791296 251785 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1332804

[startup+6.3004 s]
/proc/loadavg: 2.18 2.17 2.01 3/184 11280
/proc/meminfo: memFree=29112452/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1332804 CPUtime=6.29 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 273822 0 0 0 591 38 0 0 20 0 4 0 9773874 1364791296 275145 33554432000 4194304 16246674 140733323912688 140733323894592 6170901 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 333201 275145 840 2943 0 330095 0
[pid=11276/tid=11277] ppid=11273 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1364791296 275145 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1364791296 275145 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1364791296 275145 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1332804

[startup+12.7004 s]
/proc/loadavg: 2.15 2.16 2.01 3/184 11280
/proc/meminfo: memFree=29095040/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1350212 CPUtime=12.69 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 278268 0 0 0 1230 39 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 140733323894592 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 337553 279591 933 2943 0 334447 0
[pid=11276/tid=11277] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1350212

[startup+25.5005 s]
/proc/loadavg: 2.13 2.16 2.01 3/183 11280
/proc/meminfo: memFree=29096280/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1350212 CPUtime=25.48 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 278268 0 0 0 2509 39 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 140733323894592 5823947 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 337553 279591 933 2943 0 334447 0
[pid=11276/tid=11277] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279591 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1350212

[startup+51.1005 s]
/proc/loadavg: 2.08 2.14 2.00 3/183 11329
/proc/meminfo: memFree=29066580/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1350212 CPUtime=51.08 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 278272 0 0 0 5069 39 0 0 20 0 4 0 9773874 1382617088 279595 33554432000 4194304 16246674 140733323912688 140733323894592 6842508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 337553 279595 937 2943 0 334447 0
[pid=11276/tid=11277] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279595 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279595 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279595 33554432000 4194304 16246674 140733323912688 139863250689200 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) 1350212

[startup+102.3 s]
/proc/loadavg: 2.04 2.12 2.00 3/183 11623
/proc/meminfo: memFree=29968980/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=1350212 CPUtime=102.27 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 278281 0 0 0 10186 41 0 0 20 0 4 0 9773874 1382617088 279598 33554432000 4194304 16246674 140733323912688 140733323911784 5823158 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 337553 279598 937 2943 0 334447 0
[pid=11276/tid=11277] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279598 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279598 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 1382617088 279598 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1350212


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

/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 2539196416 561741 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 2479684

[startup+1302.3 s]
/proc/loadavg: 2.17 2.22 2.15 3/183 11772
/proc/meminfo: memFree=27938052/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=2529860 CPUtime=1301.83 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 573387 0 0 0 129960 223 0 0 20 0 4 0 9773874 2590576640 574268 33554432000 4194304 16246674 140733323912688 140733323911784 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 632465 574268 939 2943 0 629359 0
[pid=11276/tid=11277] ppid=11273 vsize=2529860 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 2590576640 574268 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=2529860 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 2590576640 574268 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=2529860 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 2590576640 574268 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 2529860

[startup+1362.3 s]
/proc/loadavg: 2.10 2.19 2.14 3/183 11773
/proc/meminfo: memFree=27864468/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=2602564 CPUtime=1361.81 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 591643 0 0 0 135944 237 0 0 20 0 4 0 9773874 2665025536 592519 33554432000 4194304 16246674 140733323912688 140733323911784 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 650641 592519 939 2943 0 647535 0
[pid=11276/tid=11277] ppid=11273 vsize=2602564 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 2665025536 592519 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=2602564 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 2665025536 592519 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=2602564 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 2665025536 592519 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 2602564

[startup+1422.3 s]
/proc/loadavg: 2.09 2.17 2.14 3/183 11775
/proc/meminfo: memFree=27777140/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=2689604 CPUtime=1421.8 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 613468 0 0 0 141925 255 0 0 20 0 4 0 9773874 2754154496 614335 33554432000 4194304 16246674 140733323912688 140733323911864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 672401 614335 939 2943 0 669295 0
[pid=11276/tid=11277] ppid=11273 vsize=2689604 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 2754154496 614335 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=2689604 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 2754154496 614335 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=2689604 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 2754154496 614335 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 2689604

[startup+1482.3 s]
/proc/loadavg: 2.03 2.14 2.13 3/183 11776
/proc/meminfo: memFree=27699744/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=2765380 CPUtime=1481.77 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 632431 0 0 0 147903 274 0 0 20 0 4 0 9773874 2831749120 633284 33554432000 4194304 16246674 140733323912688 140733323911784 5676054 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 691345 633284 939 2943 0 688239 0
[pid=11276/tid=11277] ppid=11273 vsize=2765380 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 2831749120 633284 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=2765380 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 2831749120 633284 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=2765380 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 2831749120 633284 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 2765380

[startup+1542.31 s]
/proc/loadavg: 2.01 2.11 2.12 3/183 11777
/proc/meminfo: memFree=27620592/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=2844228 CPUtime=1541.78 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 652200 0 0 0 153885 293 0 0 20 0 4 0 9773874 2912489472 653048 33554432000 4194304 16246674 140733323912688 140733323911864 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 711057 653048 939 2943 0 707951 0
[pid=11276/tid=11277] ppid=11273 vsize=2844228 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 2912489472 653048 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=2844228 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 2912489472 653048 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=2844228 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 2912489472 653048 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 2844228

[startup+1602.3 s]
/proc/loadavg: 2.10 2.12 2.11 3/183 11778
/proc/meminfo: memFree=27574312/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=2890308 CPUtime=1601.75 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 663564 0 0 0 159866 309 0 0 20 0 4 0 9773874 2959675392 664406 33554432000 4194304 16246674 140733323912688 140733323911864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 722577 664406 939 2943 0 719471 0
[pid=11276/tid=11277] ppid=11273 vsize=2890308 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 2959675392 664406 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=2890308 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 2959675392 664406 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=2890308 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 2959675392 664406 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 2890308

[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.12 3/183 11779
/proc/meminfo: memFree=27506396/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=2956868 CPUtime=1661.73 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 680250 0 0 0 165848 325 0 0 20 0 4 0 9773874 3027832832 681090 33554432000 4194304 16246674 140733323912688 140733323911864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 739217 681090 939 2943 0 736111 0
[pid=11276/tid=11277] ppid=11273 vsize=2956868 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 3027832832 681090 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=2956868 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 3027832832 681090 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=2956868 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 3027832832 681090 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 2956868

[startup+1722.3 s]
/proc/loadavg: 2.10 2.12 2.11 3/183 11781
/proc/meminfo: memFree=27438180/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=3024452 CPUtime=1721.73 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 697234 0 0 0 171832 341 0 0 20 0 4 0 9773874 3097038848 698073 33554432000 4194304 16246674 140733323912688 140733323911864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 756113 698073 939 2943 0 753007 0
[pid=11276/tid=11277] ppid=11273 vsize=3024452 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 3097038848 698073 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=3024452 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 3097038848 698073 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=3024452 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 3097038848 698073 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 3024452

[startup+1782.3 s]
/proc/loadavg: 2.11 2.12 2.11 3/184 11785
/proc/meminfo: memFree=27359424/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=3102276 CPUtime=1781.71 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 716719 0 0 0 177812 359 0 0 20 0 4 0 9773874 3176730624 717552 33554432000 4194304 16246674 140733323912688 140733323911864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 775569 717552 939 2943 0 772463 0
[pid=11276/tid=11277] ppid=11273 vsize=3102276 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 3176730624 717552 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=3102276 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 3176730624 717552 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=3102276 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 3176730624 717552 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 3102276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.11 2.10 3/184 11785
/proc/meminfo: memFree=27328144/32872528 swapFree=681192/736380
[pid=11276] ppid=11273 vsize=3134020 CPUtime=1800.01 cores=0,2,4,6
/proc/11276/stat : 11276 (toysat) R 11273 11276 7985 0 -1 4202496 724614 0 0 0 179636 365 0 0 20 0 4 0 9773874 3209236480 725446 33554432000 4194304 16246674 140733323912688 140733323911864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11276/statm: 783505 725446 939 2943 0 780399 0
[pid=11276/tid=11277] ppid=11273 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11277/stat : 11277 (toysat) S 11273 11276 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9773874 3209236480 725446 33554432000 4194304 16246674 140733323912688 139863349243120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11276/tid=11278] ppid=11273 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11278/stat : 11278 (toysat) S 11273 11276 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9773874 3209236480 725446 33554432000 4194304 16246674 140733323912688 139863261162736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11276/tid=11279] ppid=11273 vsize=3134020 CPUtime=0 cores=0,2,4,6
/proc/11276/task/11279/stat : 11279 (toysat) S 11273 11276 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9773874 3209236480 725446 33554432000 4194304 16246674 140733323912688 139863250689200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3134020

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 11276 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.62
CPU time (s): 1800.03
CPU user time (s): 1796.37
CPU system time (s): 3.66244
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 3134020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.37
system time used= 3.66244
maximum resident set size= 2901784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724614
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= 675
involuntary context switches= 1807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82811 second user time and 7.46387 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-16 13:40:46
IDJOB=4093098
IDBENCH=78648
IDSOLVER=2553
FILE ID=node112/4093098-1466077246
RUNJOBID= node112-1466075445-11100
PBS_JOBID= 19904024
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/normalized-j12026_5-unsat--soft-66-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-4093098-1466077246/watcher-4093098-1466077246 -o /tmp/evaluation-result-4093098-1466077246/solver-4093098-1466077246 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11100 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093098-1466077246.wbo

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

MD5SUM BENCH= 61d4c9960e3fd82523e9755479fb1e31
RANDOM SEED=619108944

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31281788 kB
Buffers:           19720 kB
Cached:            98420 kB
SwapCached:          696 kB
Active:           114976 kB
Inactive:          38708 kB
Active(anon):      37164 kB
Inactive(anon):      740 kB
Active(file):      77812 kB
Inactive(file):    37968 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             37912 kB
Writeback:             0 kB
AnonPages:        769676 kB
Mapped:             8968 kB
Shmem:                 0 kB
Slab:             567652 kB
SReclaimable:      11152 kB
SUnreclaim:       556500 kB
KernelStack:        1408 kB
PageTables:         7308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1865108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 71712 MiB
End job on node112 at 2016-06-16 14:10:47