Trace number 4110166

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.06 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_10-unsat--soft-66-100-0.wbo
MD5SUM257e79f814ec2395c606dee738edc728
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark1800.27
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9638
Total number of constraints30220
Number of soft constraints10314
Number of constraints which are clauses29908
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints312
Minimum length of a constraint1
Maximum length of a constraint38
Top cost 520266
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 520265
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T15:58:11+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-4110166-1466344691.wbo"]
0.00/0.01	c use --random-gen="1753837121 3964578775 4038188216 1165463166 462238772 196898405 3102480144 1772155852 1137977717 3273539777 1583533214 279720705 59848160 1538190031 3487575461 1696818016 3333766272 953621296 2412737870 3303143659 890241618 1295835621 398890936 306054045 2950400820 2141861350 1998438192 2966449950 73839335 1687193392 3631579781 957714825 1296609844 3153901943 743995309 4239069767 98270546 2968748225 1546535199 2565878685 2511424884 948758415 4279676044 288106133 853250266 1127111303 915178687 59867766 1670303338 3728472103 762758404 1048387328 2841558651 2551316852 3885180898 686526809 1994444129 4277847743 649050922 493291312 261825511 547601724 2550719391 2033903688 4175164570 3574569680 3675291588 1581406637 3429782531 1766013390 4063830217 1116118015 2791509139 447130739 1966578926 1307744180 3635272890 3447117358 3840935967 714455059 748425728 3918334992 526071127 937263590 109440107 4291479979 4186495012 2523995534 2569857121 3648945914 1641475804 340367982 1726832522 3357819920 1052283224 3040822246 4218037110 3987787436 2540370617 253217448 2937944603 1946142830 552950376 2555135440 3434751158 1431995043 1138318046 1120052817 1785097059 3012223883 791445191 4066037073 4216520550 2095213871 1843700322 704661862 2964364506 1220834660 697995561 1739225485 369522290 2871284101 4134628684 1302770629 3233455769 2992364293 275487691 1919888234 208368520 4149609769 2333637573 2035673230 243437023 20009002 3200736413 3027941763 1133684414 2662858948 2358841697 3817141199 2530881434 4150099504 3515603510 1124907535 724924655 1265737316 379067773 1975800907 1948987253 1466363364 2015966708 3809537992 1106436031 1404548726 152262892 3561963444 116775907 3321197081 2306568112 3555007799 2189113740 2245586325 771901299 713990121 2718899796 4250390845 2810860265 1369186837 1917290818 2511004293 3250578593 2715247198 1436115160 143570319 2763644613 1765104427 3059230366 4143418607 1778389254 2998326998 3282388677 3893726383 1723522174 3482488777 2744119242 3633401415 1251910124 3537156525 3467591491 1676540159 2782038750 1725871035 3284805763 3761497303 1063497802 3782971045 3316428715 3047608845 3817589175 1738119139 976114577 707953375 3399311896 580429019 2736703994 2541259601 3782587222 4264526406 4060335451 1712248555 3096542782 3567907911 3385706053 4111684958 3640021091 3154931173 3192704259 1047708453 754205521 1123938794 2879747742 36592806 2863589448 2593558914 4238830956 3145419693 895336708 1919516529 1092465310 645138409 4248537106 493763676 1758871342 2736800202 2998917518 2754837677 1996841107 3164230191 2870672358 2010086479 691417265 2681430848 3010262681 4133921929 2904994387 966677589 3672919178 4203073796 286921756 1219079480 825013449 807028023 51170823 4086627560 226790950 1331552019 255 362436" option to reproduce the execution
2.39/2.43	c #vars 9638
2.39/2.43	c #constraints 30220
2.79/2.83	c BCD2: Hardening is enabled.
2.79/2.83	c BCD2: BiasedSearch is enabled.
2.79/2.83	c Solving starts ...
2.79/2.83	c ============================[ Search Statistics ]============================
2.79/2.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.83	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.83	c =============================================================================
2.79/2.83	c  0.0s |       0 |        0 |        0 |    13973      0 |     2868 |        0
2.89/2.98	c  0.1s |       1 |     9403 |      100 |    13973      0 |     2868 |     5492
2.99/3.03	c  0.2s |       1 |    19988 |      102 |    15371      0 |     2868 |     5492
2.99/3.03	c #cpu_time = 0.187s
2.99/3.03	c #wall_clock_time = 0.187s
2.99/3.03	c #decision = 19988
2.99/3.03	c #random_decision = 56
2.99/3.03	c #conflict = 102
2.99/3.03	c #restart = 1
2.99/3.03	o 7061
2.99/3.05	c BCD2: updating upper bound: 524216 -> 11011
2.99/3.09	c BCD2: 0 <= obj <= 11011
2.99/3.09	c BCD2: #cores=0, #unrelaxed=10293, #relaxed=0, #hardened=0
2.99/3.09	c BCD2: #sat=1 #unsat=1 bias=1/2
2.99/3.09	c Solving starts ...
2.99/3.09	c ============================[ Search Statistics ]============================
2.99/3.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.99/3.09	c       |         |          |          |    Limit     GC | Var      | Constra 
2.99/3.09	c =============================================================================
2.99/3.10	c  0.0s |       0 |        0 |        0 |    15371      0 |     2868 |     5492
3.09/3.11	c  0.0s |       0 |        0 |        0 |    15371      0 |     2868 |     5492
3.09/3.11	c #cpu_time = 0.011s
3.09/3.11	c #wall_clock_time = 0.011s
3.09/3.11	c #decision = 0
3.09/3.11	c #random_decision = 0
3.09/3.11	c #conflict = 0
3.09/3.11	c #restart = 0
3.09/3.11	c BCD2: found a new core of size 1: cost of the new core is >=3951
3.09/3.11	c lower bound updated to 0
3.09/3.11	c BCD2: 3951 <= obj <= 11011
3.09/3.11	c BCD2: #cores=1, #unrelaxed=10292, #relaxed=1, #hardened=0
3.09/3.11	c BCD2: #sat=1 #unsat=2 bias=2/3
3.09/3.11	c Solving starts ...
3.09/3.11	c ============================[ Search Statistics ]============================
3.09/3.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.11	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.11	c =============================================================================
3.09/3.11	c  0.0s |       0 |        0 |        0 |    15371      0 |     2868 |     5492
3.19/3.23	c  0.1s |       1 |    10381 |      100 |    15371      0 |     2868 |     5492
3.39/3.43	c  0.3s |       2 |    20806 |      250 |    16909      0 |     2868 |     5492
3.69/3.74	c  0.6s |       3 |    40478 |      475 |    18600      0 |     2868 |     5492
4.09/4.16	c  1.0s |       4 |    51166 |      813 |    20460      0 |     2868 |     5492
4.89/4.90	c  1.8s |       5 |    62039 |     1320 |    22506      0 |     2868 |     5492
6.09/6.14	c  3.0s |       6 |    73270 |     2081 |    24757      0 |     2868 |     5492
8.18/8.21	c  5.1s |       6 |    84694 |     3081 |    24757      0 |     2868 |     5492
8.58/8.67	c  5.6s |       7 |    84867 |     3223 |    27233      0 |     2868 |     5492
10.68/10.71	c  7.6s |       7 |    96368 |     4223 |    27233      0 |     2868 |     5492
11.88/11.98	c  8.9s |       8 |    97276 |     4936 |    29957      0 |     2868 |     5492
14.08/14.15	c 11.0s |       8 |   108679 |     5836 |    29957      0 |     2868 |     5492
16.18/16.23	c 13.1s |       8 |   109813 |     6736 |    29957      0 |     2868 |     5492
18.28/18.36	c 15.2s |       8 |   110659 |     7436 |    32953      0 |     2868 |     5492
18.38/18.48	c 15.4s |       9 |   110761 |     7506 |    32953      0 |     2868 |     5492
20.58/20.62	c 17.5s |       9 |   122557 |     8706 |    32953      0 |     2868 |     5492
22.68/22.71	c 19.6s |       9 |   123797 |     9706 |    32953      0 |     2868 |     5492
24.79/24.81	c 21.7s |       9 |   125081 |    10806 |    32953      0 |     2868 |     5492
25.89/25.98	c 22.9s |      10 |   125792 |    11361 |    36249      0 |     2868 |     5492
27.98/28.00	c 24.9s |      10 |   136938 |    12061 |    36249      0 |     2868 |     5492
30.08/30.10	c 27.0s |      10 |   137969 |    12861 |    36249      0 |     2868 |     5492
32.18/32.26	c 29.1s |      10 |   138925 |    13661 |    36249      0 |     2868 |     5492
34.29/34.36	c 31.2s |      10 |   139935 |    14461 |    36249      0 |     2868 |     5492
36.39/36.47	c 33.4s |      10 |   140695 |    15061 |    36249      0 |     2868 |     5492
38.48/38.50	c 35.4s |      10 |   141435 |    15661 |    36249      0 |     2868 |     5492
40.58/40.63	c 37.5s |      10 |   142289 |    16361 |    36249      0 |     2868 |     5492
42.38/42.44	c 39.3s |      11 |   143247 |    17144 |    39874      0 |     2868 |     5492
44.78/44.81	c 41.7s |      11 |   154322 |    17844 |    39874      0 |     2868 |     5492
46.88/46.95	c 43.8s |      11 |   155144 |    18444 |    39874      0 |     2868 |     5492
49.08/49.13	c 46.0s |      11 |   155997 |    19144 |    39874      0 |     2868 |     5492
51.18/51.20	c 48.1s |      11 |   156818 |    19844 |    39874      0 |     2868 |     5492
53.17/53.23	c 50.1s |      11 |   157738 |    20544 |    39874      0 |     2868 |     5492
55.18/55.25	c 52.1s |      11 |   158581 |    21244 |    39874      0 |     2868 |     5492
57.57/57.65	c 54.5s |      11 |   159457 |    21944 |    39874      0 |     2868 |     5492
57.87/57.92	c 54.8s |      11 |   159542 |    21998 |    39874      0 |     2868 |     5492
57.87/57.92	c #cpu_time = 54.652s
57.87/57.92	c #wall_clock_time = 54.796s
57.87/57.92	c #decision = 159542
57.87/57.92	c #random_decision = 12
57.87/57.92	c #conflict = 21998
57.87/57.92	c #restart = 11
57.87/57.92	c BCD2: found a new core of size 1602: cost of the new core is >=1
57.87/57.92	c lower bound updated to 1
57.87/57.92	c BCD2: 3952 <= obj <= 11011
57.87/57.92	c BCD2: #cores=2, #unrelaxed=8690, #relaxed=1603, #hardened=0
57.87/57.92	c BCD2: #sat=1 #unsat=3 bias=3/4
57.87/57.93	c Solving starts ...
57.87/57.93	c ============================[ Search Statistics ]============================
57.87/57.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
57.87/57.93	c       |         |          |          |    Limit     GC | Var      | Constra 
57.87/57.93	c =============================================================================
57.87/57.93	c  0.0s |       0 |        0 |        0 |    39874      0 |     2868 |     5492
58.27/58.39	c  0.5s |       0 |    10871 |       29 |    39874      0 |     2868 |     5492
58.27/58.39	c #cpu_time = 0.448s
58.27/58.39	c #wall_clock_time = 0.449s
58.27/58.39	c #decision = 10871
58.27/58.39	c #random_decision = 0
58.27/58.39	c #conflict = 29
58.27/58.39	c #restart = 0
58.27/58.40	o 2031
58.38/58.41	c BCD2: updating upper bound: 11011 -> 5981
58.38/58.46	c BCD2: 3952 <= obj <= 5981
58.38/58.46	c BCD2: #cores=2, #unrelaxed=8690, #relaxed=1603, #hardened=0
58.38/58.46	c BCD2: #sat=2 #unsat=3 bias=3/5
58.38/58.47	c Solving starts ...
58.38/58.47	c ============================[ Search Statistics ]============================
58.38/58.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
58.38/58.47	c       |         |          |          |    Limit     GC | Var      | Constra 
58.38/58.47	c =============================================================================
58.38/58.47	c  0.0s |       0 |        0 |        0 |    39874      0 |     2868 |     5493
58.97/59.01	c  0.5s |       1 |     9312 |      100 |    39874      0 |     2868 |     5493
60.17/60.21	c  1.7s |       2 |    18238 |      250 |    39874      0 |     2868 |     5493
61.87/61.97	c  3.5s |       3 |    27222 |      475 |    39874      0 |     2868 |     5493
64.27/64.35	c  5.9s |       3 |    36390 |      775 |    39874      0 |     2868 |     5493
64.57/64.61	c  6.1s |       4 |    36434 |      813 |    39874      0 |     2868 |     5493
66.57/66.69	c  8.2s |       4 |    45382 |     1013 |    39874      0 |     2868 |     5493
67.67/67.75	c  9.3s |       4 |    45682 |     1163 |    39874      0 |     2868 |     5493
67.67/67.75	c #cpu_time = 9.242s
67.67/67.75	c #wall_clock_time = 9.266s
67.67/67.75	c #decision = 45682
67.67/67.75	c #random_decision = 4
67.67/67.75	c #conflict = 1163
67.67/67.75	c #restart = 4
67.67/67.75	o 575
67.67/67.76	c BCD2: updating upper bound: 5981 -> 4525
67.77/67.81	c BCD2: 3952 <= obj <= 4525
67.77/67.81	c BCD2: #cores=2, #unrelaxed=8690, #relaxed=1603, #hardened=0
67.77/67.81	c BCD2: #sat=3 #unsat=3 bias=3/6
67.77/67.82	c Solving starts ...
67.77/67.82	c ============================[ Search Statistics ]============================
67.77/67.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
67.77/67.82	c       |         |          |          |    Limit     GC | Var      | Constra 
67.77/67.82	c =============================================================================
67.77/67.82	c  0.0s |       0 |        0 |        0 |    39874      0 |     2868 |     5494
73.57/73.66	c  5.8s |       0 |     8785 |      100 |    39874      0 |     2868 |     5494
73.57/73.66	c  5.8s |       1 |     8785 |      100 |    39874      0 |     2868 |     5494
78.37/78.46	c 10.6s |       1 |    17607 |      200 |    39874      0 |     2868 |     5494
82.27/82.32	c 14.5s |       2 |    17663 |      250 |    39874      0 |     2868 |     5494
88.07/88.15	c 20.3s |       2 |    26460 |      350 |    39874      0 |     2868 |     5494
94.97/95.08	c 27.3s |       2 |    26600 |      450 |    39874      0 |     2868 |     5494
95.97/96.09	c 28.3s |       3 |    26635 |      475 |    39874      0 |     2868 |     5494
105.96/106.08	c 38.3s |       3 |    35412 |      575 |    39874      0 |     2868 |     5494
112.46/112.57	c 44.7s |       3 |    35550 |      675 |    39874      0 |     2868 |     5494
117.16/117.29	c 49.5s |       3 |    35689 |      775 |    39874      0 |     2868 |     5494
118.56/118.61	c 50.8s |       4 |    35731 |      813 |    39874      0 |     2868 |     5494
125.16/125.26	c 57.4s |       4 |    44500 |      913 |    39874      0 |     2868 |     5494
131.26/131.37	c 63.6s |       4 |    44633 |     1013 |    39874      0 |     2868 |     5494
137.96/138.10	c 70.3s |       4 |    44748 |     1113 |    39874      0 |     2868 |     5494
145.06/145.18	c 77.4s |       4 |    44872 |     1213 |    39874      0 |     2868 |     5494
151.06/151.19	c 83.4s |       4 |    45005 |     1313 |    39874      0 |     2868 |     5494
151.36/151.47	c 83.7s |       5 |    45012 |     1320 |    39874      0 |     2868 |     5494
153.96/154.05	c 86.2s |       5 |    54294 |     1520 |    39874      0 |     2868 |     5494
155.26/155.34	c 87.5s |       5 |    54781 |     1677 |    39874      0 |     2868 |     5494
155.26/155.34	c #cpu_time = 87.281s
155.26/155.34	c #wall_clock_time = 87.509s
155.26/155.34	c #decision = 54781
155.26/155.34	c #random_decision = 2
155.26/155.34	c #conflict = 1677
155.26/155.34	c #restart = 5
155.26/155.35	o 321
155.26/155.35	c BCD2: updating upper bound: 4525 -> 4271
155.36/155.40	c BCD2: 3952 <= obj <= 4271
155.36/155.40	c BCD2: #cores=2, #unrelaxed=8690, #relaxed=1603, #hardened=0
155.36/155.40	c BCD2: #sat=4 #unsat=3 bias=3/7
155.36/155.41	c Solving starts ...
155.36/155.41	c ============================[ Search Statistics ]============================
155.36/155.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
155.36/155.41	c       |         |          |          |    Limit     GC | Var      | Constra 
155.36/155.41	c =============================================================================
155.36/155.41	c  0.0s |       0 |        0 |        0 |    39874      0 |     2868 |     5495
156.66/156.74	c  1.3s |       1 |     8768 |      100 |    39874      0 |     2868 |     5495
157.87/157.97	c  2.6s |       2 |    17602 |      250 |    39874      0 |     2868 |     5495
159.27/159.32	c  3.9s |       3 |    26607 |      475 |    39874      0 |     2868 |     5495
161.47/161.53	c  6.1s |       4 |    35688 |      813 |    43862      0 |     2868 |     5495
163.47/163.55	c  8.1s |       5 |    45167 |     1320 |    43862      0 |     2868 |     5495
165.66/165.73	c 10.3s |       5 |    54519 |     1720 |    43862      0 |     2868 |     5495
167.37/167.48	c 12.1s |       6 |    55056 |     2081 |    43862      0 |     2868 |     5495
169.57/169.66	c 14.2s |       6 |    64326 |     2481 |    43862      0 |     2868 |     5495
172.06/172.13	c 16.7s |       6 |    65079 |     2981 |    43862      0 |     2868 |     5495
173.36/173.44	c 18.0s |       7 |    65395 |     3223 |    43862      0 |     2868 |     5495
175.66/175.71	c 20.3s |       7 |    74413 |     3523 |    43862      0 |     2868 |     5495
177.96/178.06	c 22.6s |       7 |    74940 |     3923 |    43862      0 |     2868 |     5495
180.47/180.59	c 25.2s |       7 |    75452 |     4323 |    43862      0 |     2868 |     5495
183.16/183.22	c 27.8s |       7 |    75925 |     4723 |    43862      0 |     2868 |     5495
184.36/184.46	c 29.0s |       8 |    76185 |     4936 |    43862      0 |     2868 |     5495
186.56/186.66	c 31.2s |       8 |    85226 |     5236 |    43862      0 |     2868 |     5495
189.06/189.13	c 33.7s |       8 |    85710 |     5636 |    43862      0 |     2868 |     5495
191.66/191.73	c 36.3s |       8 |    86170 |     6036 |    43862      0 |     2868 |     5495
194.06/194.16	c 38.8s |       8 |    86667 |     6436 |    43862      0 |     2868 |     5495
196.76/196.83	c 41.4s |       8 |    87172 |     6836 |    43862      0 |     2868 |     5495
198.96/199.02	c 43.6s |       8 |    87585 |     7136 |    43862      0 |     2868 |     5495
201.36/201.49	c 46.1s |       9 |    88130 |     7506 |    43862      0 |     2868 |     5495
203.46/203.56	c 48.2s |       9 |    97034 |     7706 |    43862      0 |     2868 |     5495
206.16/206.24	c 50.8s |       9 |    97553 |     8106 |    43862      0 |     2868 |     5495
208.56/208.65	c 53.2s |       9 |    97909 |     8406 |    43862      0 |     2868 |     5495
210.66/210.79	c 55.4s |       9 |    98285 |     8706 |    43862      0 |     2868 |     5495
213.26/213.31	c 57.9s |       9 |    98853 |     9106 |    43862      0 |     2868 |     5495
215.26/215.32	c 59.9s |       9 |    99232 |     9406 |    43862      0 |     2868 |     5495
217.56/217.69	c 62.3s |       9 |    99601 |     9706 |    43862      0 |     2868 |     5495
220.06/220.17	c 64.8s |       9 |    99957 |    10006 |    43862      0 |     2868 |     5495
222.66/222.78	c 67.4s |       9 |   100342 |    10306 |    43862      0 |     2868 |     5495
225.35/225.41	c 70.0s |       9 |   100745 |    10606 |    43862      0 |     2868 |     5495
227.86/227.97	c 72.6s |       9 |   101120 |    10906 |    43862      0 |     2868 |     5495
230.15/230.26	c 74.9s |       9 |   101506 |    11206 |    43862      0 |     2868 |     5495
231.55/231.60	c 76.2s |      10 |   101731 |    11361 |    43862      0 |     2868 |     5495
233.75/233.89	c 78.5s |      10 |   110670 |    11561 |    43862      0 |     2868 |     5495
236.56/236.64	c 81.2s |      10 |   111121 |    11861 |    43862      0 |     2868 |     5495
238.95/239.06	c 83.7s |      10 |   111542 |    12161 |    43862      0 |     2868 |     5495
241.85/241.91	c 86.5s |      10 |   111908 |    12461 |    43862      0 |     2868 |     5495
243.95/244.01	c 88.6s |      10 |   112312 |    12761 |    43862      0 |     2868 |     5495
246.46/246.52	c 91.1s |      10 |   112696 |    13061 |    43862      0 |     2868 |     5495
248.55/248.68	c 93.3s |      10 |   113106 |    13361 |    43862      0 |     2868 |     5495
251.45/251.56	c 96.1s |      10 |   113465 |    13661 |    48249      0 |     2868 |     5495
254.05/254.15	c 98.7s |      10 |   113855 |    13961 |    48249      0 |     2868 |     5495
256.25/256.40	c  100s |      10 |   114219 |    14261 |    48249      0 |     2868 |     5495
258.45/258.54	c  103s |      10 |   114479 |    14461 |    48249      0 |     2868 |     5495
261.15/261.27	c  105s |      10 |   114837 |    14761 |    48249      0 |     2868 |     5495
263.95/264.03	c  108s |      10 |   115225 |    15061 |    48249      0 |     2868 |     5495
266.15/266.29	c  110s |      10 |   115615 |    15361 |    48249      0 |     2868 |     5495
269.15/269.29	c  113s |      10 |   115980 |    15661 |    48249      0 |     2868 |     5495
271.35/271.41	c  116s |      10 |   116209 |    15861 |    48249      0 |     2868 |     5495
273.75/273.80	c  118s |      10 |   116573 |    16161 |    48249      0 |     2868 |     5495
276.35/276.47	c  121s |      10 |   117009 |    16461 |    48249      0 |     2868 |     5495
278.45/278.57	c  123s |      10 |   117239 |    16661 |    48249      0 |     2868 |     5495
281.25/281.36	c  125s |      10 |   117605 |    16961 |    48249      0 |     2868 |     5495
283.05/283.19	c  127s |      11 |   117827 |    17144 |    48249      0 |     2868 |     5495
285.15/285.24	c  129s |      11 |   126747 |    17344 |    48249      0 |     2868 |     5495
287.85/287.98	c  132s |      11 |   127126 |    17644 |    48249      0 |     2868 |     5495
290.14/290.29	c  134s |      11 |   127499 |    17944 |    48249      0 |     2868 |     5495
292.75/292.81	c  137s |      11 |   127864 |    18244 |    48249      0 |     2868 |     5495
295.34/295.42	c  140s |      11 |   128244 |    18544 |    48249      0 |     2868 |     5495
297.44/297.55	c  142s |      11 |   128630 |    18844 |    48249      0 |     2868 |     5495
299.74/299.83	c  144s |      11 |   129032 |    19144 |    48249      0 |     2868 |     5495
302.44/302.55	c  147s |      11 |   129371 |    19444 |    48249      0 |     2868 |     5495
304.54/304.69	c  149s |      11 |   129781 |    19744 |    48249      0 |     2868 |     5495
306.74/306.83	c  151s |      11 |   130226 |    20044 |    48249      0 |     2868 |     5495
308.74/308.87	c  153s |      11 |   130641 |    20344 |    48249      0 |     2868 |     5495
311.54/311.63	c  156s |      11 |   131200 |    20744 |    48249      0 |     2868 |     5495
313.84/313.94	c  158s |      11 |   131582 |    21044 |    48249      0 |     2868 |     5495
316.54/316.63	c  161s |      11 |   131951 |    21344 |    48249      0 |     2868 |     5495
318.94/319.02	c  163s |      11 |   132345 |    21644 |    48249      0 |     2868 |     5495
321.44/321.56	c  166s |      11 |   132675 |    21944 |    48249      0 |     2868 |     5495
324.03/324.17	c  168s |      11 |   133057 |    22244 |    48249      0 |     2868 |     5495
326.63/326.79	c  171s |      11 |   133446 |    22544 |    48249      0 |     2868 |     5495
329.83/329.91	c  174s |      11 |   133799 |    22844 |    48249      0 |     2868 |     5495
332.53/332.70	c  177s |      11 |   134167 |    23144 |    48249      0 |     2868 |     5495
335.33/335.43	c  180s |      11 |   134555 |    23444 |    48249      0 |     2868 |     5495
338.13/338.20	c  182s |      11 |   134904 |    23744 |    48249      0 |     2868 |     5495
340.93/341.05	c  185s |      11 |   135247 |    24044 |    48249      0 |     2868 |     5495
343.43/343.54	c  188s |      11 |   135612 |    24344 |    48249      0 |     2868 |     5495
345.93/346.01	c  190s |      11 |   136075 |    24644 |    48249      0 |     2868 |     5495
348.83/348.99	c  193s |      11 |   136433 |    24944 |    48249      0 |     2868 |     5495
351.53/351.66	c  196s |      11 |   136841 |    25244 |    48249      0 |     2868 |     5495
353.63/353.79	c  198s |      11 |   137090 |    25444 |    48249      0 |     2868 |     5495
356.32/356.46	c  201s |      11 |   137449 |    25744 |    48249      0 |     2868 |     5495
357.12/357.22	c  201s |      12 |   137556 |    25819 |    48249      0 |     2868 |     5495
359.42/359.55	c  204s |      12 |   146474 |    26019 |    48249      0 |     2868 |     5495
362.12/362.28	c  206s |      12 |   146839 |    26319 |    48249      0 |     2868 |     5495
364.72/364.83	c  209s |      12 |   147246 |    26619 |    48249      0 |     2868 |     5495
367.32/367.40	c  211s |      12 |   147630 |    26919 |    48249      0 |     2868 |     5495
370.02/370.18	c  214s |      12 |   147979 |    27219 |    48249      0 |     2868 |     5495
373.32/373.45	c  218s |      12 |   148333 |    27519 |    48249      0 |     2868 |     5495
376.02/376.12	c  220s |      12 |   148728 |    27819 |    48249      0 |     2868 |     5495
378.02/378.13	c  222s |      12 |   148958 |    28019 |    48249      0 |     2868 |     5495
380.12/380.29	c  224s |      12 |   149210 |    28219 |    48249      0 |     2868 |     5495
383.02/383.13	c  227s |      12 |   149582 |    28519 |    48249      0 |     2868 |     5495
385.03/385.16	c  229s |      12 |   149826 |    28719 |    48249      0 |     2868 |     5495
388.02/388.12	c  232s |      12 |   150155 |    29019 |    48249      0 |     2868 |     5495
390.22/390.32	c  234s |      12 |   150418 |    29219 |    48249      0 |     2868 |     5495
392.32/392.42	c  237s |      12 |   150655 |    29419 |    48249      0 |     2868 |     5495
394.52/394.64	c  239s |      12 |   150908 |    29619 |    48249      0 |     2868 |     5495
396.72/396.86	c  241s |      12 |   151197 |    29819 |    48249      0 |     2868 |     5495
398.82/398.97	c  243s |      12 |   151463 |    30019 |    48249      0 |     2868 |     5495
401.22/401.33	c  245s |      12 |   151700 |    30219 |    48249      0 |     2868 |     5495
403.52/403.63	c  248s |      12 |   151940 |    30419 |    48249      0 |     2868 |     5495
405.92/406.10	c  250s |      12 |   152166 |    30619 |    48249      0 |     2868 |     5495
408.32/408.41	c  253s |      12 |   152392 |    30819 |    48249      0 |     2868 |     5495
410.62/410.79	c  255s |      12 |   152782 |    31119 |    48249      0 |     2868 |     5495
413.52/413.63	c  258s |      12 |   153116 |    31419 |    48249      0 |     2868 |     5495
416.51/416.68	c  261s |      12 |   153512 |    31719 |    48249      0 |     2868 |     5495
419.51/419.63	c  264s |      12 |   153888 |    32019 |    48249      0 |     2868 |     5495
421.61/421.72	c  266s |      12 |   154122 |    32219 |    48249      0 |     2868 |     5495
423.81/423.90	c  268s |      12 |   154356 |    32419 |    48249      0 |     2868 |     5495
426.01/426.12	c  270s |      12 |   154591 |    32619 |    48249      0 |     2868 |     5495
428.31/428.44	c  273s |      12 |   154831 |    32819 |    48249      0 |     2868 |     5495
430.81/430.97	c  275s |      12 |   155066 |    33019 |    53074      0 |     2868 |     5495
433.42/433.55	c  278s |      12 |   155411 |    33319 |    53074      0 |     2868 |     5495
436.01/436.15	c  280s |      12 |   155780 |    33619 |    53074      0 |     2868 |     5495
439.01/439.13	c  283s |      12 |   156114 |    33919 |    53074      0 |     2868 |     5495
441.81/441.95	c  286s |      12 |   156462 |    34219 |    53074      0 |     2868 |     5495
444.41/444.58	c  289s |      12 |   156873 |    34519 |    53074      0 |     2868 |     5495
447.61/447.80	c  292s |      12 |   157192 |    34819 |    53074      0 |     2868 |     5495
450.21/450.33	c  294s |      12 |   157414 |    35019 |    53074      0 |     2868 |     5495
452.81/452.99	c  297s |      12 |   157826 |    35319 |    53074      0 |     2868 |     5495
455.30/455.40	c  299s |      12 |   158229 |    35619 |    53074      0 |     2868 |     5495
458.30/458.47	c  303s |      12 |   158587 |    35919 |    53074      0 |     2868 |     5495
461.10/461.26	c  305s |      12 |   158972 |    36219 |    53074      0 |     2868 |     5495
463.30/463.41	c  308s |      12 |   159207 |    36419 |    53074      0 |     2868 |     5495
465.41/465.56	c  310s |      12 |   159437 |    36619 |    53074      0 |     2868 |     5495
468.30/468.43	c  313s |      12 |   159826 |    36919 |    53074      0 |     2868 |     5495
470.50/470.68	c  315s |      12 |   160088 |    37119 |    53074      0 |     2868 |     5495
472.80/472.97	c  317s |      12 |   160338 |    37319 |    53074      0 |     2868 |     5495
475.10/475.27	c  319s |      12 |   160576 |    37519 |    53074      0 |     2868 |     5495
477.30/477.50	c  322s |      12 |   160806 |    37719 |    53074      0 |     2868 |     5495
480.00/480.11	c  324s |      12 |   161181 |    38019 |    53074      0 |     2868 |     5495
482.10/482.20	c  326s |      12 |   161598 |    38319 |    53074      0 |     2868 |     5495
484.50/484.67	c  329s |      12 |   161975 |    38619 |    53074      0 |     2868 |     5495
486.60/486.70	c  331s |      12 |   162216 |    38819 |    53074      0 |     2868 |     5495
486.70/486.83	c  331s |      13 |   162226 |    38832 |    53074      0 |     2868 |     5495
489.20/489.34	c  333s |      13 |   170984 |    38932 |    53074      1 |     2868 |     5495
491.60/491.75	c  336s |      13 |   171374 |    39232 |    53074      1 |     2868 |     5495
494.50/494.68	c  339s |      13 |   171748 |    39532 |    53074      1 |     2868 |     5495
496.80/496.99	c  341s |      13 |   171969 |    39732 |    53074      1 |     2868 |     5495
499.40/499.55	c  344s |      13 |   172228 |    39932 |    53074      1 |     2868 |     5495
501.79/501.91	c  346s |      13 |   172460 |    40132 |    53074      1 |     2868 |     5495
503.99/504.19	c  348s |      13 |   172722 |    40332 |    53074      1 |     2868 |     5495
506.19/506.34	c  350s |      13 |   172970 |    40532 |    53074      1 |     2868 |     5495
508.39/508.53	c  353s |      13 |   173213 |    40732 |    53074      1 |     2868 |     5495
510.79/510.94	c  355s |      13 |   173621 |    41032 |    53074      1 |     2868 |     5495
512.79/512.98	c  357s |      13 |   173855 |    41232 |    53074      1 |     2868 |     5495
515.49/515.65	c  360s |      13 |   174217 |    41532 |    53074      1 |     2868 |     5495
517.69/517.80	c  362s |      13 |   174466 |    41732 |    53074      1 |     2868 |     5495
520.59/520.74	c  365s |      13 |   174808 |    42032 |    53074      1 |     2868 |     5495
523.39/523.56	c  368s |      13 |   175207 |    42332 |    53074      1 |     2868 |     5495
525.49/525.69	c  370s |      13 |   175460 |    42532 |    53074      1 |     2868 |     5495
528.29/528.40	c  372s |      13 |   175843 |    42832 |    53074      1 |     2868 |     5495
530.59/530.74	c  375s |      13 |   176193 |    43132 |    53074      1 |     2868 |     5495
532.99/533.12	c  377s |      13 |   176575 |    43432 |    53074      1 |     2868 |     5495
535.09/535.29	c  379s |      13 |   176935 |    43732 |    53074      1 |     2868 |     5495
537.78/538.00	c  382s |      13 |   177311 |    44032 |    53074      1 |     2868 |     5495
540.48/540.63	c  385s |      13 |   177670 |    44332 |    53074      1 |     2868 |     5495
543.68/543.83	c  388s |      13 |   178019 |    44632 |    53074      1 |     2868 |     5495
545.78/545.95	c  390s |      13 |   178291 |    44832 |    53074      1 |     2868 |     5495
547.89/548.04	c  392s |      13 |   178517 |    45032 |    53074      1 |     2868 |     5495
550.98/551.17	c  395s |      13 |   178881 |    45332 |    53074      1 |     2868 |     5495
553.18/553.33	c  397s |      13 |   179259 |    45632 |    53074      1 |     2868 |     5495
555.59/555.78	c  400s |      13 |   179726 |    46032 |    53074      1 |     2868 |     5495
557.88/558.06	c  402s |      13 |   180079 |    46332 |    53074      1 |     2868 |     5495
560.48/560.60	c  405s |      13 |   180475 |    46632 |    53074      1 |     2868 |     5495
562.58/562.75	c  407s |      13 |   180849 |    46932 |    53074      1 |     2868 |     5495
565.08/565.24	c  409s |      13 |   181379 |    47332 |    53074      1 |     2868 |     5495
567.47/567.63	c  412s |      13 |   181769 |    47632 |    53074      1 |     2868 |     5495
569.57/569.72	c  414s |      13 |   182153 |    47932 |    53074      1 |     2868 |     5495
571.67/571.85	c  416s |      13 |   182533 |    48232 |    53074      1 |     2868 |     5495
574.07/574.29	c  418s |      13 |   182909 |    48532 |    53074      1 |     2868 |     5495
576.57/576.75	c  421s |      13 |   183273 |    48832 |    53074      1 |     2868 |     5495
578.97/579.10	c  423s |      13 |   183640 |    49132 |    53074      1 |     2868 |     5495
581.27/581.43	c  426s |      13 |   184026 |    49432 |    53074      1 |     2868 |     5495
583.77/583.93	c  428s |      13 |   184403 |    49732 |    53074      1 |     2868 |     5495
586.17/586.33	c  430s |      13 |   184782 |    50032 |    53074      1 |     2868 |     5495
588.76/588.95	c  433s |      13 |   185123 |    50332 |    53074      1 |     2868 |     5495
591.26/591.46	c  436s |      13 |   185487 |    50632 |    53074      1 |     2868 |     5495
593.36/593.58	c  438s |      13 |   185853 |    50932 |    53074      1 |     2868 |     5495
595.76/595.93	c  440s |      13 |   186201 |    51232 |    53074      1 |     2868 |     5495
598.16/598.31	c  442s |      13 |   186594 |    51532 |    53074      1 |     2868 |     5495
600.46/600.65	c  445s |      13 |   186981 |    51832 |    53074      1 |     2868 |     5495
603.16/603.37	c  447s |      13 |   187468 |    52232 |    53074      1 |     2868 |     5495
605.46/605.67	c  450s |      13 |   187953 |    52632 |    53074      1 |     2868 |     5495
607.96/608.16	c  452s |      13 |   188464 |    53032 |    53074      1 |     2868 |     5495
610.36/610.57	c  455s |      13 |   189020 |    53432 |    53074      1 |     2868 |     5495
612.95/613.10	c  457s |      13 |   189575 |    53832 |    53074      1 |     2868 |     5495
615.35/615.59	c  460s |      13 |   190080 |    54232 |    53074      1 |     2868 |     5495
617.55/617.70	c  462s |      13 |   190430 |    54532 |    53074      1 |     2868 |     5495
619.55/619.73	c  464s |      13 |   190841 |    54832 |    53074      1 |     2868 |     5495
621.85/622.02	c  466s |      13 |   191339 |    55232 |    53074      1 |     2868 |     5495
624.35/624.50	c  469s |      13 |   191892 |    55632 |    53074      1 |     2868 |     5495
626.95/627.18	c  471s |      13 |   192392 |    56032 |    53074      1 |     2868 |     5495
629.55/629.75	c  474s |      13 |   192897 |    56432 |    53074      1 |     2868 |     5495
631.65/631.87	c  476s |      13 |   193255 |    56732 |    53074      1 |     2868 |     5495
633.85/634.02	c  478s |      13 |   193631 |    57032 |    53074      1 |     2868 |     5495
636.44/636.61	c  481s |      13 |   193992 |    57332 |    53074      1 |     2868 |     5495
638.84/639.06	c  483s |      13 |   194379 |    57632 |    53074      1 |     2868 |     5495
640.94/641.13	c  485s |      13 |   194762 |    57932 |    53074      1 |     2868 |     5495
643.45/643.67	c  488s |      13 |   195293 |    58332 |    53074      1 |     2868 |     5495
643.64/643.86	c  488s |      14 |   195313 |    58352 |    53074      1 |     2868 |     5495
645.65/645.90	c  490s |      14 |   204380 |    58652 |    53074      1 |     2868 |     5495
647.95/648.16	c  492s |      14 |   204902 |    59052 |    53074      1 |     2868 |     5495
650.24/650.45	c  495s |      14 |   205249 |    59352 |    53074      1 |     2868 |     5495
652.44/652.64	c  497s |      14 |   205632 |    59652 |    53074      1 |     2868 |     5495
654.74/654.92	c  499s |      14 |   206037 |    59952 |    53074      1 |     2868 |     5495
657.04/657.24	c  501s |      14 |   206580 |    60352 |    53074      1 |     2868 |     5495
659.33/659.53	c  504s |      14 |   207085 |    60752 |    53074      1 |     2868 |     5495
661.83/662.00	c  506s |      14 |   207595 |    61152 |    53074      1 |     2868 |     5495
664.03/664.24	c  508s |      14 |   208105 |    61552 |    53074      1 |     2868 |     5495
666.73/666.92	c  511s |      14 |   208583 |    61952 |    53074      1 |     2868 |     5495
668.74/668.96	c  513s |      14 |   208950 |    62252 |    58382      1 |     2868 |     5495
671.13/671.39	c  515s |      14 |   209477 |    62652 |    58382      1 |     2868 |     5495
673.53/673.77	c  518s |      14 |   209993 |    63052 |    58382      1 |     2868 |     5495
675.73/675.99	c  520s |      14 |   210533 |    63452 |    58382      1 |     2868 |     5495
678.22/678.41	c  523s |      14 |   211016 |    63852 |    58382      1 |     2868 |     5495
680.32/680.52	c  525s |      14 |   211388 |    64152 |    58382      1 |     2868 |     5495
682.92/683.15	c  527s |      14 |   211890 |    64552 |    58382      1 |     2868 |     5495
684.92/685.19	c  529s |      14 |   212238 |    64852 |    58382      1 |     2868 |     5495
687.53/687.71	c  532s |      14 |   212723 |    65252 |    58382      1 |     2868 |     5495
690.12/690.35	c  534s |      14 |   213230 |    65652 |    58382      1 |     2868 |     5495
692.32/692.54	c  537s |      14 |   213602 |    65952 |    58382      1 |     2868 |     5495
694.42/694.60	c  539s |      14 |   213973 |    66252 |    58382      1 |     2868 |     5495
696.81/697.08	c  541s |      14 |   214335 |    66552 |    58382      1 |     2868 |     5495
699.41/699.60	c  544s |      14 |   214696 |    66852 |    58382      1 |     2868 |     5495
701.41/701.60	c  546s |      14 |   215127 |    67152 |    58382      1 |     2868 |     5495
703.61/703.84	c  548s |      14 |   215477 |    67452 |    58382      1 |     2868 |     5495
705.91/706.14	c  550s |      14 |   215868 |    67752 |    58382      1 |     2868 |     5495
708.01/708.25	c  552s |      14 |   216201 |    68052 |    58382      1 |     2868 |     5495
710.41/710.68	c  555s |      14 |   216566 |    68352 |    58382      1 |     2868 |     5495
712.81/713.02	c  557s |      14 |   216899 |    68652 |    58382      1 |     2868 |     5495
714.81/715.03	c  559s |      14 |   217250 |    68952 |    58382      1 |     2868 |     5495
717.21/717.47	c  562s |      14 |   217771 |    69352 |    58382      1 |     2868 |     5495
719.80/720.04	c  564s |      14 |   218237 |    69752 |    58382      1 |     2868 |     5495
722.30/722.53	c  567s |      14 |   218724 |    70152 |    58382      1 |     2868 |     5495
724.91/725.11	c  569s |      14 |   219292 |    70552 |    58382      1 |     2868 |     5495
727.00/727.21	c  571s |      14 |   219664 |    70852 |    58382      1 |     2868 |     5495
729.30/729.51	c  574s |      14 |   220060 |    71152 |    58382      1 |     2868 |     5495
731.59/731.80	c  576s |      14 |   220446 |    71452 |    58382      1 |     2868 |     5495
733.89/734.18	c  578s |      14 |   220814 |    71752 |    58382      1 |     2868 |     5495
736.39/736.60	c  581s |      14 |   221266 |    72052 |    58382      1 |     2868 |     5495
738.99/739.29	c  583s |      14 |   221523 |    72252 |    58382      1 |     2868 |     5495
741.19/741.49	c  586s |      14 |   221824 |    72452 |    58382      1 |     2868 |     5495
743.60/743.82	c  588s |      14 |   222203 |    72752 |    58382      1 |     2868 |     5495
745.70/745.98	c  590s |      14 |   222591 |    73052 |    58382      1 |     2868 |     5495
748.08/748.30	c  592s |      14 |   222954 |    73352 |    58382      1 |     2868 |     5495
750.28/750.59	c  595s |      14 |   223348 |    73652 |    58382      1 |     2868 |     5495
752.48/752.78	c  597s |      14 |   223763 |    73952 |    58382      1 |     2868 |     5495
754.68/754.91	c  599s |      14 |   224138 |    74252 |    58382      1 |     2868 |     5495
756.79/757.01	c  601s |      14 |   224524 |    74552 |    58382      1 |     2868 |     5495
758.99/759.21	c  603s |      14 |   224896 |    74852 |    58382      1 |     2868 |     5495
761.48/761.78	c  606s |      14 |   225271 |    75152 |    58382      1 |     2868 |     5495
763.88/764.16	c  608s |      14 |   225681 |    75452 |    58382      1 |     2868 |     5495
766.38/766.60	c  611s |      14 |   226038 |    75752 |    58382      1 |     2868 |     5495
768.98/769.27	c  613s |      14 |   226399 |    76052 |    58382      1 |     2868 |     5495
771.77/772.09	c  616s |      14 |   226779 |    76352 |    58382      1 |     2868 |     5495
774.47/774.70	c  619s |      14 |   227154 |    76652 |    58382      1 |     2868 |     5495
776.77/777.05	c  621s |      14 |   227557 |    76952 |    58382      1 |     2868 |     5495
779.07/779.38	c  623s |      14 |   227948 |    77252 |    58382      1 |     2868 |     5495
781.27/781.58	c  626s |      14 |   228390 |    77552 |    58382      1 |     2868 |     5495
783.67/783.92	c  628s |      14 |   228770 |    77852 |    58382      1 |     2868 |     5495
786.17/786.42	c  631s |      14 |   229097 |    78152 |    58382      1 |     2868 |     5495
788.17/788.47	c  633s |      14 |   229471 |    78452 |    58382      1 |     2868 |     5495
790.26/790.51	c  635s |      14 |   229839 |    78752 |    58382      1 |     2868 |     5495
792.76/793.10	c  637s |      14 |   230356 |    79152 |    58382      1 |     2868 |     5495
795.27/795.52	c  640s |      14 |   230728 |    79452 |    58382      1 |     2868 |     5495
797.66/797.92	c  642s |      14 |   231120 |    79752 |    58382      1 |     2868 |     5495
799.86/800.13	c  644s |      14 |   231480 |    80052 |    58382      1 |     2868 |     5495
802.36/802.66	c  647s |      14 |   231844 |    80352 |    58382      1 |     2868 |     5495
804.76/805.09	c  649s |      14 |   232198 |    80652 |    58382      1 |     2868 |     5495
807.45/807.74	c  652s |      14 |   232569 |    80952 |    58382      1 |     2868 |     5495
809.85/810.10	c  654s |      14 |   232957 |    81252 |    58382      1 |     2868 |     5495
811.95/812.24	c  656s |      14 |   233333 |    81552 |    58382      1 |     2868 |     5495
814.76/815.05	c  659s |      14 |   233569 |    81752 |    58382      2 |     2868 |     5495
816.95/817.29	c  661s |      14 |   234091 |    82152 |    58382      2 |     2868 |     5495
819.55/819.84	c  664s |      14 |   234570 |    82552 |    58382      2 |     2868 |     5495
822.25/822.57	c  667s |      14 |   235052 |    82952 |    58382      2 |     2868 |     5495
824.75/825.07	c  669s |      14 |   235416 |    83252 |    58382      2 |     2868 |     5495
827.05/827.39	c  671s |      14 |   235777 |    83552 |    58382      2 |     2868 |     5495
829.74/830.08	c  674s |      14 |   236248 |    83952 |    58382      2 |     2868 |     5495
832.14/832.43	c  677s |      14 |   236739 |    84352 |    58382      2 |     2868 |     5495
834.54/834.85	c  679s |      14 |   237223 |    84752 |    58382      2 |     2868 |     5495
836.54/836.87	c  681s |      14 |   237578 |    85052 |    58382      2 |     2868 |     5495
838.84/839.15	c  683s |      14 |   238081 |    85452 |    58382      2 |     2868 |     5495
841.24/841.51	c  686s |      14 |   238561 |    85852 |    58382      2 |     2868 |     5495
843.54/843.88	c  688s |      14 |   239039 |    86252 |    58382      2 |     2868 |     5495
846.14/846.41	c  690s |      14 |   239517 |    86652 |    58382      2 |     2868 |     5495
848.23/848.58	c  693s |      14 |   239904 |    86952 |    58382      2 |     2868 |     5495
850.43/850.79	c  695s |      14 |   240401 |    87352 |    58382      2 |     2868 |     5495
852.44/852.71	c  697s |      15 |   240747 |    87632 |    58382      2 |     2868 |     5495
854.53/854.86	c  699s |      15 |   249653 |    87832 |    58382      2 |     2868 |     5495
856.73/857.07	c  701s |      15 |   250003 |    88132 |    58382      2 |     2868 |     5495
859.32/859.67	c  704s |      15 |   250364 |    88432 |    58382      2 |     2868 |     5495
861.62/861.99	c  706s |      15 |   250694 |    88732 |    58382      2 |     2868 |     5495
863.72/864.05	c  708s |      15 |   251050 |    89032 |    58382      2 |     2868 |     5495
866.02/866.38	c  710s |      15 |   251417 |    89332 |    58382      2 |     2868 |     5495
868.22/868.55	c  713s |      15 |   251774 |    89632 |    58382      2 |     2868 |     5495
870.42/870.78	c  715s |      15 |   252157 |    89932 |    58382      2 |     2868 |     5495
872.72/873.07	c  717s |      15 |   252534 |    90232 |    58382      2 |     2868 |     5495
875.31/875.69	c  720s |      15 |   253037 |    90632 |    58382      2 |     2868 |     5495
878.01/878.31	c  722s |      15 |   253531 |    91032 |    58382      2 |     2868 |     5495
880.51/880.88	c  725s |      15 |   253888 |    91332 |    58382      2 |     2868 |     5495
883.22/883.54	c  728s |      15 |   254236 |    91632 |    58382      2 |     2868 |     5495
885.51/885.81	c  730s |      15 |   254583 |    91932 |    58382      2 |     2868 |     5495
888.21/888.51	c  733s |      15 |   255052 |    92332 |    58382      2 |     2868 |     5495
890.60/890.98	c  735s |      15 |   255395 |    92632 |    58382      2 |     2868 |     5495
892.80/893.11	c  737s |      15 |   255780 |    92932 |    58382      2 |     2868 |     5495
894.80/895.17	c  739s |      15 |   256151 |    93232 |    58382      2 |     2868 |     5495
897.20/897.50	c  742s |      15 |   256514 |    93532 |    58382      2 |     2868 |     5495
899.61/899.97	c  744s |      15 |   256845 |    93832 |    58382      2 |     2868 |     5495
901.70/902.06	c  746s |      15 |   257219 |    94132 |    58382      2 |     2868 |     5495
904.00/904.34	c  748s |      15 |   257568 |    94432 |    58382      2 |     2868 |     5495
906.49/906.89	c  751s |      15 |   257937 |    94732 |    58382      2 |     2868 |     5495
908.99/909.38	c  753s |      15 |   258284 |    95032 |    58382      2 |     2868 |     5495
911.09/911.45	c  756s |      15 |   258663 |    95332 |    58382      2 |     2868 |     5495
913.19/913.59	c  758s |      15 |   259032 |    95632 |    58382      2 |     2868 |     5495
915.89/916.24	c  760s |      15 |   259518 |    96032 |    58382      2 |     2868 |     5495
918.49/918.82	c  763s |      15 |   260019 |    96432 |    58382      2 |     2868 |     5495
920.99/921.31	c  765s |      15 |   260510 |    96832 |    58382      2 |     2868 |     5495
922.98/923.39	c  767s |      15 |   260886 |    97132 |    58382      2 |     2868 |     5495
925.08/925.49	c  770s |      15 |   261261 |    97432 |    58382      2 |     2868 |     5495
927.48/927.89	c  772s |      15 |   261620 |    97732 |    58382      2 |     2868 |     5495
929.68/930.02	c  774s |      15 |   261992 |    98032 |    58382      2 |     2868 |     5495
931.78/932.13	c  776s |      15 |   262339 |    98332 |    58382      2 |     2868 |     5495
934.28/934.65	c  779s |      15 |   262755 |    98632 |    58382      2 |     2868 |     5495
936.77/937.10	c  781s |      15 |   263125 |    98932 |    58382      2 |     2868 |     5495
938.97/939.36	c  783s |      15 |   263470 |    99232 |    58382      2 |     2868 |     5495
941.48/941.81	c  786s |      15 |   263813 |    99532 |    58382      2 |     2868 |     5495
943.77/944.11	c  788s |      15 |   264172 |    99832 |    58382      2 |     2868 |     5495
946.27/946.68	c  791s |      15 |   264708 |   100232 |    58382      2 |     2868 |     5495
948.47/948.82	c  793s |      15 |   265098 |   100532 |    58382      2 |     2868 |     5495
951.07/951.40	c  795s |      15 |   265580 |   100932 |    58382      2 |     2868 |     5495
953.67/954.04	c  798s |      15 |   266059 |   101332 |    58382      2 |     2868 |     5495
955.77/956.19	c  800s |      15 |   266419 |   101632 |    58382      2 |     2868 |     5495
957.97/958.31	c  802s |      15 |   266787 |   101932 |    58382      2 |     2868 |     5495
960.37/960.70	c  805s |      15 |   267130 |   102232 |    58382      2 |     2868 |     5495
962.37/962.76	c  807s |      15 |   267492 |   102532 |    58382      2 |     2868 |     5495
964.47/964.83	c  809s |      15 |   267858 |   102832 |    58382      2 |     2868 |     5495
966.56/966.94	c  811s |      15 |   268245 |   103132 |    58382      2 |     2868 |     5495
968.76/969.10	c  813s |      15 |   268624 |   103432 |    58382      2 |     2868 |     5495
970.86/971.28	c  815s |      15 |   268970 |   103732 |    58382      2 |     2868 |     5495
973.06/973.41	c  818s |      15 |   269326 |   104032 |    58382      2 |     2868 |     5495
975.48/975.83	c  820s |      15 |   269686 |   104332 |    58382      2 |     2868 |     5495
978.37/978.72	c  823s |      15 |   270089 |   104632 |    58382      2 |     2868 |     5495
981.17/981.51	c  826s |      15 |   270477 |   104932 |    58382      2 |     2868 |     5495
983.77/984.17	c  828s |      15 |   270825 |   105232 |    58382      2 |     2868 |     5495
986.27/986.66	c  831s |      15 |   271172 |   105532 |    58382      2 |     2868 |     5495
989.17/989.52	c  834s |      15 |   271525 |   105832 |    64221      2 |     2868 |     5495
991.17/991.52	c  836s |      15 |   271754 |   106032 |    64221      2 |     2868 |     5495
993.18/993.53	c  838s |      15 |   272004 |   106232 |    64221      2 |     2868 |     5495
995.97/996.35	c  840s |      15 |   272364 |   106532 |    64221      2 |     2868 |     5495
997.97/998.35	c  842s |      15 |   272611 |   106732 |    64221      2 |     2868 |     5495
1000.67/1001.07	c  845s |      15 |   272950 |   107032 |    64221      2 |     2868 |     5495
1003.47/1003.80	c  848s |      15 |   273294 |   107332 |    64221      2 |     2868 |     5495
1005.77/1006.19	c  850s |      15 |   273629 |   107632 |    64221      2 |     2868 |     5495
1008.47/1008.80	c  853s |      15 |   273958 |   107932 |    64221      2 |     2868 |     5495
1011.57/1011.90	c  856s |      15 |   274297 |   108232 |    64221      2 |     2868 |     5495
1014.36/1014.70	c  859s |      15 |   274670 |   108532 |    64221      2 |     2868 |     5495
1017.06/1017.44	c  862s |      15 |   275051 |   108832 |    64221      2 |     2868 |     5495
1019.47/1019.88	c  864s |      15 |   275392 |   109132 |    64221      2 |     2868 |     5495
1023.46/1023.80	c  868s |      15 |   275512 |   109232 |    64221      2 |     2868 |     5495
1025.56/1025.95	c  870s |      15 |   275931 |   109532 |    64221      2 |     2868 |     5495
1028.26/1028.64	c  873s |      15 |   276321 |   109832 |    64221      2 |     2868 |     5495
1030.86/1031.24	c  875s |      15 |   276775 |   110132 |    64221      2 |     2868 |     5495
1033.76/1034.14	c  878s |      15 |   277208 |   110432 |    64221      2 |     2868 |     5495
1036.45/1036.83	c  881s |      15 |   277685 |   110732 |    64221      2 |     2868 |     5495
1039.15/1039.59	c  884s |      15 |   278072 |   111032 |    64221      2 |     2868 |     5495
1041.95/1042.37	c  886s |      15 |   278487 |   111332 |    64221      2 |     2868 |     5495
1044.05/1044.49	c  889s |      15 |   278743 |   111532 |    64221      2 |     2868 |     5495
1046.35/1046.78	c  891s |      15 |   278989 |   111732 |    64221      2 |     2868 |     5495
1049.35/1049.72	c  894s |      15 |   279382 |   112032 |    64221      2 |     2868 |     5495
1051.75/1052.12	c  896s |      15 |   279614 |   112232 |    64221      2 |     2868 |     5495
1054.15/1054.57	c  899s |      15 |   279865 |   112432 |    64221      2 |     2868 |     5495
1056.75/1057.18	c  901s |      15 |   280084 |   112632 |    64221      2 |     2868 |     5495
1059.06/1059.40	c  903s |      15 |   280331 |   112832 |    64221      2 |     2868 |     5495
1061.85/1062.26	c  906s |      15 |   280763 |   113132 |    64221      2 |     2868 |     5495
1064.45/1064.81	c  909s |      15 |   281133 |   113432 |    64221      2 |     2868 |     5495
1067.25/1067.66	c  912s |      15 |   281518 |   113732 |    64221      2 |     2868 |     5495
1070.16/1070.57	c  915s |      15 |   281965 |   114032 |    64221      2 |     2868 |     5495
1072.26/1072.69	c  917s |      15 |   282220 |   114232 |    64221      2 |     2868 |     5495
1074.45/1074.81	c  919s |      15 |   282487 |   114432 |    64221      2 |     2868 |     5495
1076.95/1077.30	c  921s |      15 |   282708 |   114632 |    64221      2 |     2868 |     5495
1079.15/1079.58	c  924s |      15 |   282957 |   114832 |    64221      2 |     2868 |     5495
1082.05/1082.47	c  927s |      15 |   283350 |   115132 |    64221      2 |     2868 |     5495
1084.15/1084.51	c  929s |      15 |   283602 |   115332 |    64221      2 |     2868 |     5495
1086.25/1086.68	c  931s |      15 |   283842 |   115532 |    64221      2 |     2868 |     5495
1088.65/1089.10	c  933s |      15 |   284075 |   115732 |    64221      2 |     2868 |     5495
1090.95/1091.37	c  935s |      15 |   284308 |   115932 |    64221      2 |     2868 |     5495
1093.25/1093.68	c  938s |      15 |   284551 |   116132 |    64221      2 |     2868 |     5495
1095.35/1095.71	c  940s |      15 |   284808 |   116332 |    64221      2 |     2868 |     5495
1097.35/1097.77	c  942s |      15 |   285041 |   116532 |    64221      2 |     2868 |     5495
1099.54/1099.94	c  944s |      15 |   285288 |   116732 |    64221      2 |     2868 |     5495
1102.54/1102.93	c  947s |      15 |   285650 |   117032 |    64221      2 |     2868 |     5495
1104.74/1105.12	c  949s |      15 |   285882 |   117232 |    64221      2 |     2868 |     5495
1106.74/1107.19	c  951s |      15 |   286122 |   117432 |    64221      2 |     2868 |     5495
1108.84/1109.24	c  953s |      15 |   286367 |   117632 |    64221      2 |     2868 |     5495
1111.44/1111.87	c  956s |      15 |   286753 |   117932 |    64221      2 |     2868 |     5495
1114.34/1114.71	c  959s |      15 |   287190 |   118232 |    64221      2 |     2868 |     5495
1116.44/1116.83	c  961s |      15 |   287447 |   118432 |    64221      2 |     2868 |     5495
1119.34/1119.76	c  964s |      15 |   287811 |   118732 |    64221      2 |     2868 |     5495
1122.34/1122.72	c  967s |      15 |   288204 |   119032 |    64221      2 |     2868 |     5495
1125.24/1125.63	c  970s |      15 |   288551 |   119332 |    64221      2 |     2868 |     5495
1128.04/1128.41	c  973s |      15 |   288910 |   119632 |    64221      2 |     2868 |     5495
1130.14/1130.59	c  975s |      15 |   289142 |   119832 |    64221      2 |     2868 |     5495
1132.34/1132.79	c  977s |      15 |   289362 |   120032 |    64221      2 |     2868 |     5495
1135.34/1135.73	c  980s |      15 |   289747 |   120332 |    64221      2 |     2868 |     5495
1137.44/1137.83	c  982s |      15 |   289975 |   120532 |    64221      2 |     2868 |     5495
1140.14/1140.54	c  985s |      15 |   290423 |   120832 |    64221      2 |     2868 |     5495
1142.54/1142.91	c  987s |      15 |   290806 |   121132 |    64221      2 |     2868 |     5495
1145.34/1145.73	c  990s |      15 |   291227 |   121432 |    64221      2 |     2868 |     5495
1147.34/1147.79	c  992s |      15 |   291523 |   121632 |    64221      2 |     2868 |     5495
1149.54/1149.90	c  994s |      15 |   291833 |   121832 |    64221      2 |     2868 |     5495
1151.64/1152.09	c  996s |      15 |   292087 |   122032 |    64221      2 |     2868 |     5495
1153.84/1154.24	c  998s |      15 |   292349 |   122232 |    64221      2 |     2868 |     5495
1156.74/1157.12	c 1001s |      15 |   292837 |   122532 |    64221      2 |     2868 |     5495
1159.03/1159.41	c 1003s |      15 |   293096 |   122732 |    64221      2 |     2868 |     5495
1161.53/1161.90	c 1006s |      15 |   293372 |   122932 |    64221      2 |     2868 |     5495
1163.93/1164.32	c 1008s |      15 |   293610 |   123132 |    64221      2 |     2868 |     5495
1166.23/1166.68	c 1011s |      15 |   293854 |   123332 |    64221      2 |     2868 |     5495
1168.43/1168.80	c 1013s |      15 |   294123 |   123532 |    64221      2 |     2868 |     5495
1170.73/1171.14	c 1015s |      15 |   294379 |   123732 |    64221      2 |     2868 |     5495
1173.83/1174.24	c 1018s |      15 |   294756 |   124032 |    64221      2 |     2868 |     5495
1175.93/1176.31	c 1020s |      15 |   295001 |   124232 |    64221      2 |     2868 |     5495
1179.04/1179.45	c 1024s |      15 |   295422 |   124532 |    64221      2 |     2868 |     5495
1181.33/1181.75	c 1026s |      15 |   295679 |   124732 |    64221      2 |     2868 |     5495
1185.04/1185.40	c 1029s |      15 |   296150 |   125032 |    64221      3 |     2868 |     5495
1187.75/1188.11	c 1032s |      15 |   296527 |   125332 |    64221      3 |     2868 |     5495
1190.24/1190.70	c 1035s |      15 |   296918 |   125632 |    64221      3 |     2868 |     5495
1192.44/1192.85	c 1037s |      15 |   297323 |   125932 |    64221      3 |     2868 |     5495
1194.74/1195.15	c 1039s |      15 |   297742 |   126232 |    64221      3 |     2868 |     5495
1197.44/1197.85	c 1042s |      15 |   298152 |   126532 |    64221      3 |     2868 |     5495
1199.84/1200.24	c 1044s |      15 |   298514 |   126832 |    64221      3 |     2868 |     5495
1202.34/1202.75	c 1047s |      15 |   298908 |   127132 |    64221      3 |     2868 |     5495
1204.94/1205.31	c 1049s |      15 |   299261 |   127432 |    64221      3 |     2868 |     5495
1207.74/1208.17	c 1052s |      15 |   299618 |   127732 |    64221      3 |     2868 |     5495
1210.54/1210.92	c 1055s |      15 |   299990 |   128032 |    64221      3 |     2868 |     5495
1212.93/1213.36	c 1057s |      15 |   300459 |   128332 |    64221      3 |     2868 |     5495
1215.34/1215.77	c 1060s |      15 |   300856 |   128632 |    64221      3 |     2868 |     5495
1217.93/1218.31	c 1062s |      15 |   301238 |   128932 |    64221      3 |     2868 |     5495
1219.93/1220.39	c 1064s |      15 |   301479 |   129132 |    64221      3 |     2868 |     5495
1222.53/1222.92	c 1067s |      15 |   301866 |   129432 |    64221      3 |     2868 |     5495
1224.63/1225.00	c 1069s |      15 |   302088 |   129632 |    64221      3 |     2868 |     5495
1227.13/1227.55	c 1072s |      15 |   302455 |   129932 |    64221      3 |     2868 |     5495
1229.83/1230.24	c 1074s |      15 |   302850 |   130232 |    64221      3 |     2868 |     5495
1232.53/1232.91	c 1077s |      15 |   303199 |   130532 |    64221      3 |     2868 |     5495
1234.93/1235.32	c 1079s |      15 |   303640 |   130832 |    64221      3 |     2868 |     5495
1237.53/1237.93	c 1082s |      15 |   303997 |   131132 |    64221      3 |     2868 |     5495
1240.23/1240.63	c 1085s |      15 |   304377 |   131432 |    64221      3 |     2868 |     5495
1241.23/1241.64	c 1086s |      16 |   304527 |   131552 |    64221      3 |     2868 |     5495
1243.43/1243.83	c 1088s |      16 |   313439 |   131752 |    64221      3 |     2868 |     5495
1245.93/1246.35	c 1090s |      16 |   313808 |   132052 |    64221      3 |     2868 |     5495
1248.34/1248.72	c 1093s |      16 |   314147 |   132352 |    64221      3 |     2868 |     5495
1250.83/1251.20	c 1095s |      16 |   314520 |   132652 |    64221      3 |     2868 |     5495
1253.23/1253.66	c 1098s |      16 |   314942 |   132952 |    64221      3 |     2868 |     5495
1256.04/1256.42	c 1101s |      16 |   315515 |   133352 |    64221      3 |     2868 |     5495
1258.63/1259.05	c 1103s |      16 |   315894 |   133652 |    64221      3 |     2868 |     5495
1261.13/1261.58	c 1106s |      16 |   316292 |   133952 |    64221      3 |     2868 |     5495
1263.33/1263.74	c 1108s |      16 |   316686 |   134252 |    64221      3 |     2868 |     5495
1265.43/1265.87	c 1110s |      16 |   317066 |   134552 |    64221      3 |     2868 |     5495
1267.83/1268.24	c 1112s |      16 |   317425 |   134852 |    64221      3 |     2868 |     5495
1270.02/1270.44	c 1115s |      16 |   317686 |   135052 |    64221      3 |     2868 |     5495
1272.22/1272.68	c 1117s |      16 |   318071 |   135352 |    64221      3 |     2868 |     5495
1274.82/1275.21	c 1119s |      16 |   318406 |   135652 |    64221      3 |     2868 |     5495
1277.62/1278.01	c 1122s |      16 |   318748 |   135952 |    64221      3 |     2868 |     5495
1280.13/1280.58	c 1125s |      16 |   319111 |   136252 |    64221      3 |     2868 |     5495
1282.33/1282.72	c 1127s |      16 |   319511 |   136552 |    64221      3 |     2868 |     5495
1284.42/1284.90	c 1129s |      16 |   319886 |   136852 |    64221      3 |     2868 |     5495
1286.52/1286.96	c 1131s |      16 |   320246 |   137152 |    64221      3 |     2868 |     5495
1288.93/1289.36	c 1133s |      16 |   320608 |   137452 |    64221      3 |     2868 |     5495
1291.12/1291.53	c 1136s |      16 |   320969 |   137752 |    64221      3 |     2868 |     5495
1293.32/1293.73	c 1138s |      16 |   321342 |   138052 |    64221      3 |     2868 |     5495
1296.12/1296.50	c 1141s |      16 |   321706 |   138352 |    64221      3 |     2868 |     5495
1298.42/1298.86	c 1143s |      16 |   322108 |   138652 |    64221      3 |     2868 |     5495
1300.72/1301.14	c 1145s |      16 |   322521 |   138952 |    64221      3 |     2868 |     5495
1303.02/1303.42	c 1148s |      16 |   322927 |   139252 |    64221      3 |     2868 |     5495
1305.52/1305.93	c 1150s |      16 |   323289 |   139552 |    64221      3 |     2868 |     5495
1307.82/1308.27	c 1152s |      16 |   323691 |   139852 |    64221      3 |     2868 |     5495
1310.52/1310.94	c 1155s |      16 |   324227 |   140252 |    64221      3 |     2868 |     5495
1312.81/1313.20	c 1157s |      16 |   324584 |   140552 |    64221      3 |     2868 |     5495
1314.91/1315.33	c 1159s |      16 |   324977 |   140852 |    64221      3 |     2868 |     5495
1316.91/1317.36	c 1161s |      16 |   325353 |   141152 |    64221      3 |     2868 |     5495
1319.21/1319.67	c 1164s |      16 |   325779 |   141452 |    64221      3 |     2868 |     5495
1321.31/1321.73	c 1166s |      16 |   326178 |   141752 |    64221      3 |     2868 |     5495
1323.91/1324.35	c 1168s |      16 |   326549 |   142052 |    64221      3 |     2868 |     5495
1326.21/1326.67	c 1171s |      16 |   326987 |   142352 |    64221      3 |     2868 |     5495
1328.41/1328.82	c 1173s |      16 |   327426 |   142652 |    64221      3 |     2868 |     5495
1331.01/1331.41	c 1175s |      16 |   327892 |   143052 |    64221      3 |     2868 |     5495
1333.21/1333.63	c 1178s |      16 |   328262 |   143352 |    64221      3 |     2868 |     5495
1335.41/1335.86	c 1180s |      16 |   328646 |   143652 |    64221      3 |     2868 |     5495
1337.71/1338.13	c 1182s |      16 |   329053 |   143952 |    64221      3 |     2868 |     5495
1340.41/1340.82	c 1185s |      16 |   329421 |   144252 |    64221      3 |     2868 |     5495
1342.71/1343.14	c 1187s |      16 |   329806 |   144552 |    64221      3 |     2868 |     5495
1345.41/1345.89	c 1190s |      16 |   330158 |   144852 |    64221      3 |     2868 |     5495
1348.11/1348.57	c 1193s |      16 |   330540 |   145152 |    64221      3 |     2868 |     5495
1351.11/1351.50	c 1196s |      16 |   331018 |   145552 |    64221      3 |     2868 |     5495
1353.71/1354.13	c 1198s |      16 |   331367 |   145852 |    64221      3 |     2868 |     5495
1356.01/1356.48	c 1201s |      16 |   331703 |   146152 |    64221      3 |     2868 |     5495
1358.11/1358.60	c 1203s |      16 |   332092 |   146452 |    64221      3 |     2868 |     5495
1360.61/1361.09	c 1205s |      16 |   332470 |   146752 |    64221      3 |     2868 |     5495
1362.71/1363.13	c 1207s |      16 |   332712 |   146952 |    64221      3 |     2868 |     5495
1364.81/1365.26	c 1209s |      16 |   332959 |   147152 |    64221      3 |     2868 |     5495
1367.01/1367.49	c 1212s |      16 |   333222 |   147352 |    64221      3 |     2868 |     5495
1369.80/1370.21	c 1214s |      16 |   333599 |   147652 |    64221      3 |     2868 |     5495
1372.51/1372.97	c 1217s |      16 |   333967 |   147952 |    64221      3 |     2868 |     5495
1375.10/1375.57	c 1220s |      16 |   334337 |   148252 |    64221      3 |     2868 |     5495
1377.70/1378.14	c 1222s |      16 |   334711 |   148552 |    64221      3 |     2868 |     5495
1380.60/1381.02	c 1225s |      16 |   335064 |   148852 |    64221      3 |     2868 |     5495
1383.20/1383.60	c 1228s |      16 |   335448 |   149152 |    64221      3 |     2868 |     5495
1385.71/1386.19	c 1230s |      16 |   335840 |   149452 |    64221      3 |     2868 |     5495
1387.91/1388.34	c 1232s |      16 |   336074 |   149652 |    64221      3 |     2868 |     5495
1390.91/1391.39	c 1235s |      16 |   336451 |   149952 |    64221      3 |     2868 |     5495
1393.01/1393.40	c 1237s |      16 |   336694 |   150152 |    64221      3 |     2868 |     5495
1395.31/1395.79	c 1240s |      16 |   337108 |   150452 |    64221      3 |     2868 |     5495
1397.41/1397.84	c 1242s |      16 |   337368 |   150652 |    64221      3 |     2868 |     5495
1400.51/1400.95	c 1245s |      16 |   337722 |   150952 |    64221      3 |     2868 |     5495
1402.71/1403.15	c 1247s |      16 |   337954 |   151152 |    64221      3 |     2868 |     5495
1404.91/1405.30	c 1249s |      16 |   338194 |   151352 |    64221      3 |     2868 |     5495
1406.91/1407.37	c 1251s |      16 |   338482 |   151552 |    64221      3 |     2868 |     5495
1409.60/1410.01	c 1254s |      16 |   338895 |   151852 |    64221      3 |     2868 |     5495
1411.70/1412.18	c 1256s |      16 |   339149 |   152052 |    64221      3 |     2868 |     5495
1414.00/1414.46	c 1259s |      16 |   339405 |   152252 |    64221      3 |     2868 |     5495
1416.30/1416.74	c 1261s |      16 |   339634 |   152452 |    64221      3 |     2868 |     5495
1418.50/1418.96	c 1263s |      16 |   339896 |   152652 |    64221      3 |     2868 |     5495
1420.70/1421.10	c 1265s |      16 |   340160 |   152852 |    64221      3 |     2868 |     5495
1422.80/1423.26	c 1267s |      16 |   340404 |   153052 |    64221      3 |     2868 |     5495
1425.10/1425.53	c 1270s |      16 |   340654 |   153252 |    64221      3 |     2868 |     5495
1427.20/1427.64	c 1272s |      16 |   340922 |   153452 |    64221      3 |     2868 |     5495
1429.60/1430.01	c 1274s |      16 |   341161 |   153652 |    64221      3 |     2868 |     5495
1431.70/1432.17	c 1276s |      16 |   341429 |   153852 |    64221      3 |     2868 |     5495
1434.10/1434.58	c 1279s |      16 |   341648 |   154052 |    64221      3 |     2868 |     5495
1436.90/1437.33	c 1281s |      16 |   342006 |   154352 |    64221      3 |     2868 |     5495
1439.20/1439.63	c 1284s |      16 |   342380 |   154652 |    64221      3 |     2868 |     5495
1442.00/1442.44	c 1287s |      16 |   342785 |   154952 |    64221      3 |     2868 |     5495
1444.80/1445.21	c 1289s |      16 |   343163 |   155252 |    64221      3 |     2868 |     5495
1447.69/1448.19	c 1292s |      16 |   343543 |   155552 |    64221      3 |     2868 |     5495
1450.19/1450.67	c 1295s |      16 |   343790 |   155752 |    64221      3 |     2868 |     5495
1453.49/1453.92	c 1298s |      16 |   344175 |   156052 |    64221      3 |     2868 |     5495
1455.69/1456.12	c 1300s |      16 |   344396 |   156252 |    64221      3 |     2868 |     5495
1458.09/1458.53	c 1303s |      16 |   344635 |   156452 |    64221      3 |     2868 |     5495
1460.39/1460.80	c 1305s |      16 |   344858 |   156652 |    64221      3 |     2868 |     5495
1462.49/1462.93	c 1307s |      16 |   345073 |   156852 |    64221      3 |     2868 |     5495
1464.59/1465.09	c 1309s |      16 |   345315 |   157052 |    64221      3 |     2868 |     5495
1466.69/1467.18	c 1311s |      16 |   345544 |   157252 |    64221      3 |     2868 |     5495
1468.99/1469.48	c 1314s |      16 |   345782 |   157452 |    64221      3 |     2868 |     5495
1471.29/1471.78	c 1316s |      16 |   345995 |   157652 |    64221      3 |     2868 |     5495
1473.70/1474.13	c 1318s |      16 |   346238 |   157852 |    64221      3 |     2868 |     5495
1476.00/1476.41	c 1320s |      16 |   346467 |   158052 |    64221      3 |     2868 |     5495
1478.39/1478.81	c 1323s |      16 |   346714 |   158252 |    64221      3 |     2868 |     5495
1480.99/1481.41	c 1326s |      16 |   346941 |   158452 |    64221      3 |     2868 |     5495
1483.70/1484.17	c 1328s |      16 |   347151 |   158652 |    64221      3 |     2868 |     5495
1486.09/1486.52	c 1331s |      16 |   347396 |   158852 |    64221      3 |     2868 |     5495
1488.29/1488.77	c 1333s |      16 |   347634 |   159052 |    64221      3 |     2868 |     5495
1491.09/1491.56	c 1336s |      16 |   348027 |   159352 |    64221      3 |     2868 |     5495
1493.69/1494.16	c 1338s |      16 |   348415 |   159652 |    64221      3 |     2868 |     5495
1496.49/1496.92	c 1341s |      16 |   348783 |   159952 |    64221      3 |     2868 |     5495
1498.49/1498.93	c 1343s |      16 |   349017 |   160152 |    64221      3 |     2868 |     5495
1501.49/1501.95	c 1346s |      16 |   349407 |   160452 |    64221      3 |     2868 |     5495
1503.99/1504.41	c 1348s |      16 |   349781 |   160752 |    64221      3 |     2868 |     5495
1506.49/1506.98	c 1351s |      16 |   350149 |   161052 |    64221      3 |     2868 |     5495
1508.99/1509.47	c 1354s |      16 |   350518 |   161352 |    64221      3 |     2868 |     5495
1511.38/1511.86	c 1356s |      16 |   350912 |   161652 |    64221      3 |     2868 |     5495
1513.98/1514.42	c 1359s |      16 |   351268 |   161952 |    64221      3 |     2868 |     5495
1516.48/1516.92	c 1361s |      16 |   351603 |   162252 |    64221      3 |     2868 |     5495
1519.28/1519.72	c 1364s |      16 |   351970 |   162552 |    64221      3 |     2868 |     5495
1522.09/1522.60	c 1367s |      16 |   352333 |   162852 |    64221      3 |     2868 |     5495
1524.78/1525.24	c 1369s |      16 |   352691 |   163152 |    64221      3 |     2868 |     5495
1526.88/1527.33	c 1371s |      16 |   352927 |   163352 |    64221      3 |     2868 |     5495
1529.38/1529.84	c 1374s |      16 |   353295 |   163652 |    64221      3 |     2868 |     5495
1532.28/1532.72	c 1377s |      16 |   353706 |   163952 |    64221      3 |     2868 |     5495
1534.68/1535.15	c 1379s |      16 |   354075 |   164252 |    64221      3 |     2868 |     5495
1537.08/1537.52	c 1382s |      16 |   354478 |   164552 |    64221      3 |     2868 |     5495
1539.79/1540.23	c 1384s |      16 |   354835 |   164852 |    64221      3 |     2868 |     5495
1542.28/1542.76	c 1387s |      16 |   355259 |   165152 |    64221      3 |     2868 |     5495
1544.68/1545.15	c 1389s |      16 |   355682 |   165452 |    64221      3 |     2868 |     5495
1547.18/1547.68	c 1392s |      16 |   356039 |   165752 |    64221      3 |     2868 |     5495
1549.58/1550.02	c 1394s |      16 |   356333 |   165952 |    64221      4 |     2868 |     5495
1551.89/1552.35	c 1396s |      16 |   356749 |   166252 |    64221      4 |     2868 |     5495
1553.98/1554.48	c 1399s |      16 |   357204 |   166552 |    64221      4 |     2868 |     5495
1556.48/1556.91	c 1401s |      16 |   357556 |   166852 |    64221      4 |     2868 |     5495
1558.58/1559.04	c 1403s |      16 |   357940 |   167152 |    64221      4 |     2868 |     5495
1561.28/1561.71	c 1406s |      16 |   358309 |   167452 |    64221      4 |     2868 |     5495
1563.98/1564.42	c 1409s |      16 |   358818 |   167852 |    64221      4 |     2868 |     5495
1566.28/1566.79	c 1411s |      16 |   359201 |   168152 |    64221      4 |     2868 |     5495
1568.78/1569.24	c 1413s |      16 |   359564 |   168452 |    64221      4 |     2868 |     5495
1571.58/1572.01	c 1416s |      16 |   359972 |   168752 |    64221      4 |     2868 |     5495
1574.27/1574.72	c 1419s |      16 |   360316 |   169052 |    64221      4 |     2868 |     5495
1576.67/1577.17	c 1421s |      16 |   360707 |   169352 |    64221      4 |     2868 |     5495
1579.47/1579.93	c 1424s |      16 |   361093 |   169652 |    64221      4 |     2868 |     5495
1582.27/1582.72	c 1427s |      16 |   361457 |   169952 |    64221      4 |     2868 |     5495
1585.07/1585.52	c 1430s |      16 |   361819 |   170252 |    64221      4 |     2868 |     5495
1587.87/1588.30	c 1432s |      16 |   362187 |   170552 |    64221      4 |     2868 |     5495
1589.97/1590.48	c 1435s |      16 |   362310 |   170652 |    64221      4 |     2868 |     5495
1592.67/1593.16	c 1437s |      16 |   362658 |   170952 |    64221      4 |     2868 |     5495
1595.47/1595.90	c 1440s |      16 |   363075 |   171252 |    70644      4 |     2868 |     5495
1598.08/1598.52	c 1443s |      16 |   363442 |   171552 |    70644      4 |     2868 |     5495
1600.87/1601.32	c 1445s |      16 |   363839 |   171852 |    70644      4 |     2868 |     5495
1603.77/1604.26	c 1448s |      16 |   364194 |   172152 |    70644      4 |     2868 |     5495
1606.67/1607.13	c 1451s |      16 |   364553 |   172452 |    70644      4 |     2868 |     5495
1609.37/1609.88	c 1454s |      16 |   364959 |   172752 |    70644      4 |     2868 |     5495
1612.37/1612.84	c 1457s |      16 |   365311 |   173052 |    70644      4 |     2868 |     5495
1614.77/1615.28	c 1459s |      16 |   365680 |   173352 |    70644      4 |     2868 |     5495
1617.47/1617.90	c 1462s |      16 |   366057 |   173652 |    70644      4 |     2868 |     5495
1619.97/1620.48	c 1465s |      16 |   366451 |   173952 |    70644      4 |     2868 |     5495
1622.87/1623.31	c 1467s |      16 |   366800 |   174252 |    70644      4 |     2868 |     5495
1625.57/1626.02	c 1470s |      16 |   367201 |   174552 |    70644      4 |     2868 |     5495
1627.57/1628.06	c 1472s |      16 |   367449 |   174752 |    70644      4 |     2868 |     5495
1629.77/1630.27	c 1474s |      16 |   367682 |   174952 |    70644      4 |     2868 |     5495
1632.46/1632.96	c 1477s |      16 |   368027 |   175252 |    70644      4 |     2868 |     5495
1634.46/1634.97	c 1479s |      16 |   368272 |   175452 |    70644      4 |     2868 |     5495
1637.36/1637.89	c 1482s |      16 |   368619 |   175752 |    70644      4 |     2868 |     5495
1640.06/1640.53	c 1485s |      16 |   368992 |   176052 |    70644      4 |     2868 |     5495
1642.86/1643.30	c 1487s |      16 |   369365 |   176352 |    70644      4 |     2868 |     5495
1645.76/1646.20	c 1490s |      16 |   369719 |   176652 |    70644      4 |     2868 |     5495
1647.86/1648.34	c 1492s |      16 |   369972 |   176852 |    70644      4 |     2868 |     5495
1650.16/1650.66	c 1495s |      16 |   370211 |   177052 |    70644      4 |     2868 |     5495
1652.66/1653.14	c 1497s |      16 |   370438 |   177252 |    70644      4 |     2868 |     5495
1655.06/1655.51	c 1500s |      16 |   370677 |   177452 |    70644      4 |     2868 |     5495
1657.06/1657.52	c 1502s |      16 |   370906 |   177652 |    70644      4 |     2868 |     5495
1660.06/1660.53	c 1505s |      16 |   371250 |   177952 |    70644      4 |     2868 |     5495
1662.86/1663.32	c 1507s |      16 |   371493 |   178152 |    70644      4 |     2868 |     5495
1664.86/1665.32	c 1509s |      16 |   371722 |   178352 |    70644      4 |     2868 |     5495
1667.46/1667.94	c 1512s |      16 |   372097 |   178652 |    70644      4 |     2868 |     5495
1669.66/1670.13	c 1514s |      16 |   372347 |   178852 |    70644      4 |     2868 |     5495
1671.66/1672.17	c 1516s |      16 |   372610 |   179052 |    70644      4 |     2868 |     5495
1673.76/1674.20	c 1518s |      16 |   372883 |   179252 |    70644      4 |     2868 |     5495
1676.37/1676.87	c 1521s |      16 |   373247 |   179552 |    70644      4 |     2868 |     5495
1679.16/1679.66	c 1524s |      16 |   373611 |   179852 |    70644      4 |     2868 |     5495
1682.16/1682.62	c 1527s |      16 |   373983 |   180152 |    70644      4 |     2868 |     5495
1685.06/1685.50	c 1530s |      16 |   374361 |   180452 |    70644      4 |     2868 |     5495
1687.56/1688.07	c 1532s |      16 |   374652 |   180652 |    70644      4 |     2868 |     5495
1689.66/1690.15	c 1534s |      16 |   374911 |   180852 |    70644      4 |     2868 |     5495
1691.76/1692.23	c 1536s |      16 |   375181 |   181052 |    70644      4 |     2868 |     5495
1694.77/1695.27	c 1539s |      16 |   375591 |   181352 |    70644      4 |     2868 |     5495
1697.16/1697.60	c 1542s |      16 |   375848 |   181552 |    70644      4 |     2868 |     5495
1699.56/1700.05	c 1544s |      16 |   376069 |   181752 |    70644      4 |     2868 |     5495
1702.06/1702.54	c 1547s |      16 |   376349 |   181952 |    70644      4 |     2868 |     5495
1704.16/1704.64	c 1549s |      16 |   376592 |   182152 |    70644      4 |     2868 |     5495
1706.46/1706.92	c 1551s |      16 |   376826 |   182352 |    70644      4 |     2868 |     5495
1708.56/1709.06	c 1553s |      16 |   377068 |   182552 |    70644      4 |     2868 |     5495
1710.66/1711.15	c 1555s |      16 |   377308 |   182752 |    70644      4 |     2868 |     5495
1712.86/1713.39	c 1557s |      16 |   377542 |   182952 |    70644      4 |     2868 |     5495
1715.77/1716.27	c 1560s |      16 |   377761 |   183152 |    70644      4 |     2868 |     5495
1718.76/1719.26	c 1563s |      16 |   377985 |   183352 |    70644      4 |     2868 |     5495
1721.36/1721.83	c 1566s |      16 |   378220 |   183552 |    70644      4 |     2868 |     5495
1724.26/1724.78	c 1569s |      16 |   378623 |   183852 |    70644      4 |     2868 |     5495
1726.76/1727.25	c 1571s |      16 |   378842 |   184052 |    70644      4 |     2868 |     5495
1729.56/1730.02	c 1574s |      16 |   379115 |   184252 |    70644      4 |     2868 |     5495
1732.26/1732.73	c 1577s |      16 |   379513 |   184552 |    70644      4 |     2868 |     5495
1734.76/1735.28	c 1579s |      16 |   379890 |   184852 |    70644      4 |     2868 |     5495
1737.55/1738.02	c 1582s |      16 |   380265 |   185152 |    70644      4 |     2868 |     5495
1740.05/1740.55	c 1585s |      16 |   380638 |   185452 |    70644      4 |     2868 |     5495
1742.45/1742.95	c 1587s |      16 |   381042 |   185752 |    70644      4 |     2868 |     5495
1744.85/1745.38	c 1589s |      16 |   381453 |   186052 |    70644      4 |     2868 |     5495
1747.25/1747.71	c 1592s |      16 |   381907 |   186352 |    70644      4 |     2868 |     5495
1749.86/1750.37	c 1594s |      16 |   382283 |   186652 |    70644      4 |     2868 |     5495
1752.75/1753.23	c 1597s |      16 |   382648 |   186952 |    70644      4 |     2868 |     5495
1755.55/1756.06	c 1600s |      16 |   383031 |   187252 |    70644      4 |     2868 |     5495
1757.95/1758.46	c 1603s |      16 |   383492 |   187552 |    70644      4 |     2868 |     5495
1760.65/1761.11	c 1605s |      16 |   383900 |   187852 |    70644      4 |     2868 |     5495
1763.35/1763.87	c 1608s |      16 |   384298 |   188152 |    70644      4 |     2868 |     5495
1765.45/1765.93	c 1610s |      16 |   384536 |   188352 |    70644      4 |     2868 |     5495
1768.25/1768.76	c 1613s |      16 |   384913 |   188652 |    70644      4 |     2868 |     5495
1770.45/1770.93	c 1615s |      16 |   385140 |   188852 |    70644      4 |     2868 |     5495
1773.55/1774.01	c 1618s |      16 |   385488 |   189152 |    70644      4 |     2868 |     5495
1775.75/1776.27	c 1620s |      16 |   385748 |   189352 |    70644      4 |     2868 |     5495
1778.15/1778.61	c 1623s |      16 |   386096 |   189652 |    70644      4 |     2868 |     5495
1780.75/1781.26	c 1625s |      16 |   386489 |   189952 |    70644      4 |     2868 |     5495
1783.05/1783.53	c 1628s |      16 |   386904 |   190252 |    70644      4 |     2868 |     5495
1785.55/1786.09	c 1630s |      16 |   387311 |   190552 |    70644      4 |     2868 |     5495
1788.35/1788.86	c 1633s |      16 |   387688 |   190852 |    70644      4 |     2868 |     5495
1790.95/1791.48	c 1636s |      16 |   388103 |   191152 |    70644      4 |     2868 |     5495
1793.55/1794.06	c 1638s |      16 |   388480 |   191452 |    70644      4 |     2868 |     5495
1796.34/1796.86	c 1641s |      16 |   388870 |   191752 |    70644      4 |     2868 |     5495
1799.25/1799.72	c 1644s |      16 |   389237 |   192052 |    70644      4 |     2868 |     5495

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

pid=2269
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.06 2.03 1.92 3/181 2272
/proc/meminfo: memFree=30542720/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=241088 CPUtime=0 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 4 0 36514996 246874112 887 33554432000 4194304 16246674 140734758088160 140734758087584 15002759 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 60271 896 309 2943 0 57165 0
[pid=2272/tid=2273] ppid=2269 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 246870016 960 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 246870016 973 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36514997 246870016 985 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.06 2.03 1.92 3/181 2272
/proc/meminfo: memFree=30542720/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 25396 0 0 0 5 4 0 0 20 0 4 0 36514996 1250496512 25697 33554432000 4194304 16246674 140734758088160 140734758087472 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 305297 25703 801 2943 0 302191 0
[pid=2272/tid=2273] ppid=2269 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1250496512 25706 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1250496512 25711 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1250496512 25715 33554432000 4194304 16246674 140734758088160 140214943075504 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) 1221188

[startup+0.200467 s]
/proc/loadavg: 2.06 2.03 1.92 3/181 2272
/proc/meminfo: memFree=30542720/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1310276 CPUtime=0.18 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 48314 0 0 0 11 7 0 0 20 0 4 0 36514996 1341722624 49126 33554432000 4194304 16246674 140734758088160 140734758087472 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 327569 49132 801 2943 0 324463 0
[pid=2272/tid=2273] ppid=2269 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1341722624 49136 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1341722624 49140 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1341722624 49144 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300435 s]
/proc/loadavg: 2.06 2.03 1.92 3/181 2272
/proc/meminfo: memFree=30542720/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 49563 0 0 0 21 7 0 0 20 0 4 0 36514996 1345916928 50375 33554432000 4194304 16246674 140734758088160 140734758087472 13923754 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 328593 50375 825 2943 0 325487 0
[pid=2272/tid=2273] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 50375 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 50375 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 50375 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.70044 s]
/proc/loadavg: 2.06 2.03 1.92 3/181 2272
/proc/meminfo: memFree=30542720/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 103852 0 0 0 54 15 0 0 20 0 4 0 36514996 1345916928 104664 33554432000 4194304 16246674 140734758088160 140734758087472 6144396 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 328593 104673 833 2943 0 325487 0
[pid=2272/tid=2273] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 104677 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 104685 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 104689 33554432000 4194304 16246674 140734758088160 140214943075504 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) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.06 2.03 1.92 3/185 2276
/proc/meminfo: memFree=29722928/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 263967 0 0 0 110 39 0 0 20 0 4 0 36514996 1345916928 264779 33554432000 4194304 16246674 140734758088160 140734758070080 6197796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 328593 264788 839 2943 0 325487 0
[pid=2272/tid=2273] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 264793 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 264801 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1345916928 264805 33554432000 4194304 16246674 140734758088160 140214943075504 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) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.06 2.03 1.92 3/185 2276
/proc/meminfo: memFree=29444052/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1333828 CPUtime=3.09 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 274164 0 0 0 268 41 0 0 20 0 4 0 36514996 1365839872 274976 33554432000 4194304 16246674 140734758088160 140734758087256 14073233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 333457 274976 924 2943 0 330351 0
[pid=2272/tid=2273] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274976 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274976 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274976 33554432000 4194304 16246674 140734758088160 140214943075504 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) 1333828

[startup+6.30044 s]
/proc/loadavg: 2.06 2.03 1.92 3/185 2276
/proc/meminfo: memFree=29444108/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1333828 CPUtime=6.29 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 274172 0 0 0 588 41 0 0 20 0 4 0 36514996 1365839872 274984 33554432000 4194304 16246674 140734758088160 140734758087336 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 333457 274984 932 2943 0 330351 0
[pid=2272/tid=2273] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274984 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274984 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274984 33554432000 4194304 16246674 140734758088160 140214943075504 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) 1333828

[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 1.92 3/185 2276
/proc/meminfo: memFree=29443644/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1333828 CPUtime=12.68 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 274176 0 0 0 1227 41 0 0 20 0 4 0 36514996 1365839872 274988 33554432000 4194304 16246674 140734758088160 140734758087336 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 333457 274988 936 2943 0 330351 0
[pid=2272/tid=2273] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1333828

[startup+25.5074 s]
/proc/loadavg: 2.04 2.03 1.92 3/185 2277
/proc/meminfo: memFree=29443696/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1333828 CPUtime=25.49 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 274176 0 0 0 2507 42 0 0 20 0 4 0 36514996 1365839872 274988 33554432000 4194304 16246674 140734758088160 140734758087336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 333457 274988 936 2943 0 330351 0
[pid=2272/tid=2273] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1333828

[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 1.92 3/185 2277
/proc/meminfo: memFree=29443776/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1333828 CPUtime=51.08 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 274176 0 0 0 5066 42 0 0 20 0 4 0 36514996 1365839872 274988 33554432000 4194304 16246674 140734758088160 140734758087336 12477709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 333457 274988 936 2943 0 330351 0
[pid=2272/tid=2273] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274988 33554432000 4194304 16246674 140734758088160 140214943075504 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) 1333828

[startup+102.3 s]
/proc/loadavg: 2.09 2.05 1.93 3/185 2278
/proc/meminfo: memFree=29443164/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1333828 CPUtime=102.27 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 274178 0 0 0 10185 42 0 0 20 0 4 0 36514996 1365839872 274990 33554432000 4194304 16246674 140734758088160 140734758070080 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 333457 274990 938 2943 0 330351 0
[pid=2272/tid=2273] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274990 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274990 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1365839872 274990 33554432000 4194304 16246674 140734758088160 140214943075504 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) 1333828


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

/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1405508

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/185 2379
/proc/meminfo: memFree=29371448/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1301.92 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 130144 48 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 5672230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1405508

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/186 2383
/proc/meminfo: memFree=29370104/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1361.91 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 136143 48 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1405508

[startup+1422.3 s]
/proc/loadavg: 2.12 2.03 1.96 3/185 2384
/proc/meminfo: memFree=29370124/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1421.9 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 142141 49 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1405508

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/185 2385
/proc/meminfo: memFree=29370016/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1481.89 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 148140 49 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1405508

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/185 2386
/proc/meminfo: memFree=29369784/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1541.89 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 154140 49 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1405508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/185 2388
/proc/meminfo: memFree=29369536/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1601.87 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 160138 49 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 13963936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1405508

[startup+1662.31 s]
/proc/loadavg: 2.10 2.04 1.97 3/185 2389
/proc/meminfo: memFree=29369744/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1661.87 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 166138 49 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1405508

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/185 2390
/proc/meminfo: memFree=29370128/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1721.86 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 172136 50 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1405508

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/185 2391
/proc/meminfo: memFree=29370116/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1781.85 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 178135 50 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1405508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.02 1.97 3/185 2392
/proc/meminfo: memFree=29369492/32872528 swapFree=8804/8804
[pid=2272] ppid=2269 vsize=1405508 CPUtime=1800.04 cores=0,2,4,6
/proc/2272/stat : 2272 (toysat) R 2269 2272 832 0 -1 4202496 292372 0 0 0 179954 50 0 0 20 0 4 0 36514996 1439240192 292914 33554432000 4194304 16246674 140734758088160 140734758070080 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2272/statm: 351377 292914 939 2943 0 348271 0
[pid=2272/tid=2273] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2273/stat : 2273 (toysat) S 2269 2272 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214964038896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2272/tid=2274] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2274/stat : 2274 (toysat) S 2269 2272 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214953549040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2272/tid=2275] ppid=2269 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/2272/task/2275/stat : 2275 (toysat) S 2269 2272 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36514997 1439240192 292914 33554432000 4194304 16246674 140734758088160 140214943075504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1405508

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 2272 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.51
CPU time (s): 1800.06
CPU user time (s): 1799.55
CPU system time (s): 0.503923
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1405508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.503923
maximum resident set size= 1171656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292372
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= 288
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2106 second user time and 7.48686 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-19 15:58:11
IDJOB=4110166
IDBENCH=79085
IDSOLVER=2553
FILE ID=node133/4110166-1466344691
RUNJOBID= node133-1466341813-848
PBS_JOBID= 19922020
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j605_10-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-4110166-1466344691/watcher-4110166-1466344691 -o /tmp/evaluation-result-4110166-1466344691/solver-4110166-1466344691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-848 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4110166-1466344691.wbo

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

MD5SUM BENCH= 257e79f814ec2395c606dee738edc728
RANDOM SEED=1938076146

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30543248 kB
Buffers:          165316 kB
Cached:           325228 kB
SwapCached:         1408 kB
Active:          1234788 kB
Inactive:         342368 kB
Active(anon):    1086892 kB
Inactive(anon):     2060 kB
Active(file):     147896 kB
Inactive(file):   340308 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:             17140 kB
Writeback:             0 kB
AnonPages:       1094744 kB
Mapped:            12040 kB
Shmem:                 0 kB
Slab:             610804 kB
SReclaimable:      54196 kB
SUnreclaim:       556608 kB
KernelStack:        1512 kB
PageTables:         6368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1237996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    647168 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= 71684 MiB
End job on node133 at 2016-06-19 16:28:11