Trace number 4079675

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
MD5SUM292e71503f1e4f136e087e61da3c7ed4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark122
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 118
Optimality of the best value was proved NO
Number of variables2470
Total number of constraints4744
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4744
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1357
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T21:39:12+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079675-1465241952.opb"]
0.00/0.01	c use --random-gen="1928194674 358433197 4191905824 3232587985 278076153 3546077742 1028212574 2370705 3360740951 3853878529 1516325344 676739497 4079416645 3862849223 2489664430 312672416 855793866 2474194169 2415551152 3437842101 4278308746 73481444 2720714721 4194561076 2419491576 1486297935 3014245421 1315834159 3270857746 3946960561 429393630 563231859 1218966101 1040973016 1430309374 3253232755 2802582270 784120891 3551326152 2154501028 1922409475 3118732080 3969442976 995940162 3709631642 677658689 479487990 3626970764 3739920619 428752517 685267649 533429695 1915824762 2094920319 1381063897 313575776 3801754577 3809614751 77526802 3114321142 3782260824 3310274742 3874843012 984944069 166507575 408218307 3468037647 3280687799 3502856399 4131977662 2364927339 487462451 1637754039 2461795716 1940095642 3667347930 3641766597 3358134832 3386868204 2961130673 918090465 2511635165 648205564 1586855916 2398767191 2289110322 2490695047 3068131529 4290382519 2204001746 2044386481 3099413683 1459612493 571257217 3396356842 259068782 2213784788 415183921 1037822001 4214852115 1169178834 3333754652 174069284 280426176 3475578925 2576176080 311902335 4218296708 3140032024 2872253421 2429957611 3732011066 2538083929 2128505395 2995409666 288823115 825796680 3691894151 3252993102 2174407454 2435318731 2413493041 609358297 1099353341 2639046087 1460575456 1184087263 3106577596 1710279052 747958791 3826181032 2874427197 2487645707 2477348765 2716399644 3779220776 177375730 1613352073 342006758 2729685951 4108411806 3938069512 187962772 4058801076 1442634498 157863535 3411050612 1334293083 1094907672 1891685915 1621599534 613496237 3649501103 1297665773 2879161596 103189941 15478378 4202834567 232508840 3240093153 927036827 3701833504 2930471118 1564630124 115810136 1997817736 1300017237 496557396 2163896015 4150858377 1609868450 593476912 3500318397 1071453309 3523928686 3832082707 1117287574 3696065758 4004886031 3593213160 1621473894 1258631737 754678131 3449196474 3125800985 3924324595 3082593245 3875590222 537482622 213079355 325077933 204154357 4121882074 1115198214 1363373998 3505426939 1695103075 3291222491 3138025568 3616296321 1025365152 1304850018 1811724042 3512065387 3054200630 3534648907 1941059893 2858521698 3558196986 447171132 762504772 303865402 2998296969 3565516183 3884383143 672040437 3105484087 3549348873 1138623486 4191926670 581161224 3132053640 3218973454 3270623929 3208847397 2357429607 1973283030 698952226 1317321513 3722357209 2551975687 1696635439 471523331 990562907 2485398633 518616137 1216189695 2577044301 3556951765 213986022 2386382303 3770944852 3039660562 691628949 2621090958 3856095529 1840103930 656719660 1769135629 1105105783 905423873 4294195694 1110276068 1075052145 1538051794 1242270294 255 362436" option to reproduce the execution
0.19/0.25	c #vars 2470
0.19/0.25	c #constraints 4744
0.69/0.70	c BCD2: Hardening is enabled.
0.69/0.70	c BCD2: BiasedSearch is enabled.
0.69/0.70	c Solving starts ...
0.69/0.70	c ============================[ Search Statistics ]============================
0.69/0.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.70	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.70	c =============================================================================
0.69/0.70	c  0.0s |       0 |        0 |        0 |     2404      0 |        0 |        0
1.78/1.81	c  1.1s |       1 |     2314 |      100 |     2404      0 |        0 |        0
2.19/2.25	c  1.6s |       2 |     2538 |      250 |     2645      0 |        0 |        0
2.99/3.04	c  2.3s |       3 |     2828 |      475 |     2910      0 |        0 |        0
3.49/3.54	c  2.8s |       3 |     3034 |      600 |     3202      0 |        0 |        0
3.49/3.54	c #cpu_time = 2.817s
3.49/3.54	c #wall_clock_time = 2.818s
3.49/3.54	c #decision = 3034
3.49/3.54	c #random_decision = 8
3.49/3.54	c #conflict = 600
3.49/3.54	c #restart = 3
3.49/3.54	o 237
3.49/3.54	c BCD2: updating upper bound: 255 -> 236
3.49/3.55	c BCD2: 0 <= obj <= 236
3.49/3.55	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
3.49/3.55	c BCD2: #sat=1 #unsat=1 bias=1/2
3.49/3.55	c Solving starts ...
3.49/3.55	c ============================[ Search Statistics ]============================
3.49/3.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.49/3.55	c       |         |          |          |    Limit     GC | Var      | Constra 
3.49/3.55	c =============================================================================
3.49/3.55	c  0.0s |       0 |        0 |        0 |     3202      0 |        0 |        0
3.58/3.62	c  0.1s |       0 |        7 |        1 |     3202      0 |        0 |        0
3.58/3.62	c #cpu_time = 0.053s
3.58/3.62	c #wall_clock_time = 0.053s
3.58/3.62	c #decision = 7
3.58/3.62	c #random_decision = 0
3.58/3.62	c #conflict = 1
3.58/3.62	c #restart = 0
3.58/3.62	c BCD2: found a new core of size 7: cost of the new core is >=2
3.58/3.62	c lower bound updated to 2
3.58/3.62	c BCD2: 2 <= obj <= 236
3.58/3.62	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
3.58/3.62	c BCD2: #sat=1 #unsat=2 bias=2/3
3.58/3.62	c Solving starts ...
3.58/3.62	c ============================[ Search Statistics ]============================
3.58/3.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.58/3.62	c       |         |          |          |    Limit     GC | Var      | Constra 
3.58/3.62	c =============================================================================
3.58/3.63	c  0.0s |       0 |        0 |        0 |     3202      0 |        0 |        0
4.09/4.15	c  0.5s |       1 |      169 |      100 |     3202      0 |        0 |        0
4.78/4.81	c  1.2s |       2 |      400 |      250 |     3523      0 |        0 |        0
5.98/6.04	c  2.4s |       3 |      719 |      475 |     3523      0 |        0 |        0
7.18/7.21	c  3.6s |       4 |     1214 |      813 |     3876      0 |        0 |        0
8.98/9.08	c  5.5s |       5 |     1817 |     1320 |     3876      0 |        0 |        0
9.58/9.64	c  6.0s |       5 |     2088 |     1487 |     4264      0 |        0 |        0
9.58/9.64	c #cpu_time = 5.988s
9.58/9.64	c #wall_clock_time = 5.996s
9.58/9.64	c #decision = 2088
9.58/9.64	c #random_decision = 3
9.58/9.64	c #conflict = 1487
9.58/9.64	c #restart = 5
9.58/9.64	o 158
9.58/9.64	c BCD2: updating upper bound: 236 -> 157
9.58/9.65	c BCD2: 2 <= obj <= 157
9.58/9.65	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
9.58/9.65	c BCD2: #sat=2 #unsat=2 bias=2/4
9.58/9.65	c Solving starts ...
9.58/9.65	c ============================[ Search Statistics ]============================
9.58/9.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.58/9.65	c       |         |          |          |    Limit     GC | Var      | Constra 
9.58/9.65	c =============================================================================
9.58/9.65	c  0.0s |       0 |        0 |        0 |     4264      0 |        0 |        0
10.08/10.19	c  0.5s |       1 |      163 |      100 |     4264      0 |        0 |        0
10.58/10.60	c  1.0s |       2 |      349 |      250 |     4264      0 |        0 |        0
11.78/11.83	c  2.2s |       3 |      628 |      475 |     4264      0 |        0 |        0
13.19/13.25	c  3.6s |       4 |     1026 |      813 |     4264      0 |        0 |        0
15.18/15.25	c  5.6s |       4 |     1660 |     1313 |     4691      0 |        0 |        0
15.28/15.30	c  5.6s |       5 |     1666 |     1320 |     4691      0 |        0 |        0
17.58/17.62	c  8.0s |       5 |     2447 |     1920 |     4691      0 |        0 |        0
18.28/18.38	c  8.7s |       6 |     2629 |     2081 |     4691      0 |        0 |        0
20.58/20.64	c 11.0s |       6 |     3364 |     2681 |     4691      1 |        0 |        0
22.78/22.81	c 13.2s |       6 |     3940 |     3181 |     5161      1 |        0 |        0
22.98/23.00	c 13.3s |       7 |     3990 |     3223 |     5161      1 |        0 |        0
25.18/25.26	c 15.6s |       7 |     4613 |     3723 |     5161      1 |        0 |        0
27.18/27.26	c 17.6s |       7 |     5062 |     4123 |     5161      1 |        0 |        0
29.68/29.75	c 20.1s |       7 |     5644 |     4623 |     5161      1 |        0 |        0
31.28/31.34	c 21.7s |       8 |     6029 |     4936 |     5161      1 |        0 |        0
33.27/33.36	c 23.7s |       8 |     6670 |     5436 |     5678      1 |        0 |        0
35.67/35.73	c 26.1s |       8 |     7376 |     6036 |     5678      1 |        0 |        0
37.77/37.87	c 28.2s |       8 |     7843 |     6436 |     5678      2 |        0 |        0
40.07/40.13	c 30.5s |       8 |     8408 |     6936 |     5678      2 |        0 |        0
42.47/42.52	c 32.9s |       8 |     8862 |     7336 |     5678      2 |        0 |        0
43.27/43.31	c 33.7s |       9 |     9060 |     7506 |     5678      2 |        0 |        0
45.47/45.55	c 35.9s |       9 |     9538 |     7906 |     5678      2 |        0 |        0
47.77/47.80	c 38.2s |       9 |    10010 |     8306 |     5678      2 |        0 |        0
49.87/49.98	c 40.3s |       9 |    10576 |     8806 |     5678      2 |        0 |        0
52.17/52.24	c 42.6s |       9 |    11164 |     9306 |     6246      2 |        0 |        0
54.77/54.89	c 45.2s |       9 |    11730 |     9806 |     6246      2 |        0 |        0
56.87/56.94	c 47.3s |       9 |    12176 |    10206 |     6246      2 |        0 |        0
59.07/59.12	c 49.5s |       9 |    12626 |    10606 |     6246      3 |        0 |        0
61.17/61.22	c 51.6s |       9 |    13074 |    11006 |     6246      3 |        0 |        0
63.07/63.18	c 53.5s |      10 |    13448 |    11361 |     6246      3 |        0 |        0
65.27/65.34	c 55.7s |      10 |    13907 |    11761 |     6246      3 |        0 |        0
67.47/67.56	c 57.9s |      10 |    14356 |    12161 |     6246      3 |        0 |        0
69.77/69.89	c 60.2s |      10 |    14794 |    12561 |     6246      3 |        0 |        0
72.07/72.17	c 62.5s |      10 |    15240 |    12961 |     6246      3 |        0 |        0
74.37/74.47	c 64.8s |      10 |    15701 |    13361 |     6246      3 |        0 |        0
76.57/76.63	c 67.0s |      10 |    16147 |    13761 |     6246      3 |        0 |        0
78.57/78.67	c 69.0s |      10 |    16602 |    14161 |     6246      4 |        0 |        0
80.97/81.00	c 71.4s |      10 |    17164 |    14661 |     6246      4 |        0 |        0
82.97/83.04	c 73.4s |      10 |    17599 |    15061 |     6871      4 |        0 |        0
85.17/85.21	c 75.6s |      10 |    18017 |    15461 |     6871      4 |        0 |        0
87.37/87.49	c 77.8s |      10 |    18447 |    15861 |     6871      4 |        0 |        0
89.57/89.65	c 80.0s |      10 |    18872 |    16261 |     6871      4 |        0 |        0
91.57/91.69	c 82.0s |      10 |    19305 |    16661 |     6871      4 |        0 |        0
93.66/93.72	c 84.1s |      10 |    19754 |    17061 |     6871      4 |        0 |        0
94.06/94.10	c 84.5s |      11 |    19841 |    17144 |     6871      4 |        0 |        0
96.26/96.30	c 86.6s |      11 |    20436 |    17644 |     6871      4 |        0 |        0
98.36/98.43	c 88.8s |      11 |    20975 |    18144 |     6871      4 |        0 |        0
100.66/100.75	c 91.1s |      11 |    21546 |    18644 |     6871      5 |        0 |        0
102.86/102.92	c 93.3s |      11 |    22107 |    19144 |     6871      5 |        0 |        0
105.16/105.28	c 95.6s |      11 |    22651 |    19644 |     6871      5 |        0 |        0
107.46/107.52	c 97.9s |      11 |    23203 |    20144 |     6871      5 |        0 |        0
109.86/109.91	c  100s |      11 |    23793 |    20644 |     6871      5 |        0 |        0
112.36/112.42	c  102s |      11 |    24336 |    21144 |     6871      5 |        0 |        0
114.86/114.92	c  105s |      11 |    24872 |    21644 |     6871      5 |        0 |        0
116.96/117.05	c  107s |      11 |    25298 |    22044 |     6871      5 |        0 |        0
119.17/119.29	c  109s |      11 |    25707 |    22444 |     6871      5 |        0 |        0
121.47/121.58	c  111s |      11 |    26136 |    22844 |     6871      6 |        0 |        0
123.97/124.06	c  114s |      11 |    26689 |    23344 |     6871      6 |        0 |        0
126.27/126.34	c  116s |      11 |    27126 |    23744 |     7559      6 |        0 |        0
128.27/128.38	c  118s |      11 |    27563 |    24144 |     7559      6 |        0 |        0
130.57/130.68	c  121s |      11 |    27994 |    24544 |     7559      6 |        0 |        0
132.87/132.94	c  123s |      11 |    28444 |    24944 |     7559      6 |        0 |        0
134.97/135.00	c  125s |      11 |    28871 |    25344 |     7559      6 |        0 |        0
137.27/137.30	c  127s |      12 |    29410 |    25819 |     7559      6 |        0 |        0
139.26/139.31	c  129s |      12 |    29878 |    26219 |     7559      6 |        0 |        0
141.66/141.74	c  132s |      12 |    30424 |    26719 |     7559      7 |        0 |        0
143.66/143.74	c  134s |      12 |    30849 |    27119 |     7559      7 |        0 |        0
145.86/145.99	c  136s |      12 |    31290 |    27519 |     7559      7 |        0 |        0
148.26/148.38	c  138s |      12 |    31718 |    27919 |     7559      7 |        0 |        0
150.46/150.59	c  140s |      12 |    32164 |    28319 |     7559      7 |        0 |        0
152.66/152.73	c  143s |      12 |    32619 |    28719 |     7559      7 |        0 |        0
154.76/154.81	c  145s |      12 |    33051 |    29119 |     7559      7 |        0 |        0
156.96/157.02	c  147s |      12 |    33521 |    29519 |     7559      7 |        0 |        0
159.36/159.43	c  149s |      12 |    33954 |    29919 |     7559      7 |        0 |        0
161.56/161.69	c  152s |      12 |    34368 |    30319 |     7559      8 |        0 |        0
164.06/164.18	c  154s |      12 |    34806 |    30719 |     7559      8 |        0 |        0
166.66/166.71	c  157s |      12 |    35237 |    31119 |     7559      8 |        0 |        0
168.86/168.94	c  159s |      12 |    35685 |    31519 |     7559      8 |        0 |        0
170.86/170.99	c  161s |      12 |    36129 |    31919 |     7559      8 |        0 |        0
173.16/173.20	c  163s |      12 |    36714 |    32419 |     7559      8 |        0 |        0
175.26/175.39	c  165s |      12 |    37184 |    32819 |     7559      8 |        0 |        0
177.36/177.47	c  167s |      12 |    37629 |    33219 |     7559      8 |        0 |        0
179.56/179.62	c  169s |      12 |    38089 |    33619 |     7559      8 |        0 |        0
181.66/181.75	c  172s |      12 |    38540 |    34019 |     7559      8 |        0 |        0
183.86/183.93	c  174s |      12 |    38975 |    34419 |     7559      9 |        0 |        0
186.06/186.14	c  176s |      12 |    39413 |    34819 |     7559      9 |        0 |        0
188.26/188.33	c  178s |      12 |    39846 |    35219 |     7559      9 |        0 |        0
190.66/190.78	c  181s |      12 |    40266 |    35619 |     7559      9 |        0 |        0
192.86/192.90	c  183s |      12 |    40696 |    36019 |     7559      9 |        0 |        0
195.06/195.15	c  185s |      12 |    41143 |    36419 |     7559      9 |        0 |        0
197.46/197.52	c  187s |      12 |    41585 |    36819 |     8315      9 |        0 |        0
199.75/199.86	c  190s |      12 |    42024 |    37219 |     8315      9 |        0 |        0
202.36/202.50	c  192s |      12 |    42486 |    37619 |     8315      9 |        0 |        0
204.95/205.00	c  195s |      12 |    42937 |    38019 |     8315      9 |        0 |        0
207.15/207.26	c  197s |      12 |    43384 |    38419 |     8315      9 |        0 |        0
209.25/209.35	c  199s |      12 |    43819 |    38819 |     8315     10 |        0 |        0
209.35/209.42	c  199s |      13 |    43831 |    38832 |     8315     10 |        0 |        0
211.65/211.72	c  202s |      13 |    44397 |    39332 |     8315     10 |        0 |        0
214.15/214.27	c  204s |      13 |    44958 |    39832 |     8315     10 |        0 |        0
216.85/216.91	c  207s |      13 |    45399 |    40232 |     8315     10 |        0 |        0
219.15/219.27	c  209s |      13 |    45835 |    40632 |     8315     10 |        0 |        0
221.35/221.44	c  211s |      13 |    46278 |    41032 |     8315     10 |        0 |        0
223.85/223.93	c  214s |      13 |    46710 |    41432 |     8315     10 |        0 |        0
226.15/226.22	c  216s |      13 |    47141 |    41832 |     8315     10 |        0 |        0
228.35/228.47	c  218s |      13 |    47466 |    42132 |     8315     10 |        0 |        0
230.75/230.82	c  221s |      13 |    47913 |    42532 |     8315     10 |        0 |        0
232.95/233.01	c  223s |      13 |    48330 |    42932 |     8315     10 |        0 |        0
234.95/235.05	c  225s |      13 |    48655 |    43232 |     8315     11 |        0 |        0
237.55/237.62	c  227s |      13 |    49113 |    43632 |     8315     11 |        0 |        0
239.65/239.72	c  230s |      13 |    49533 |    44032 |     8315     11 |        0 |        0
241.85/242.00	c  232s |      13 |    49973 |    44432 |     8315     11 |        0 |        0
244.34/244.42	c  234s |      13 |    50547 |    44932 |     8315     11 |        0 |        0
246.64/246.72	c  237s |      13 |    51105 |    45432 |     8315     11 |        0 |        0
248.65/248.73	c  239s |      13 |    51532 |    45832 |     8315     11 |        0 |        0
250.94/251.07	c  241s |      13 |    52056 |    46332 |     8315     11 |        0 |        0
253.24/253.36	c  243s |      13 |    52602 |    46832 |     8315     11 |        0 |        0
255.54/255.66	c  246s |      13 |    53140 |    47332 |     8315     11 |        0 |        0
257.94/258.07	c  248s |      13 |    53677 |    47832 |     8315     12 |        0 |        0
260.04/260.11	c  250s |      13 |    54116 |    48232 |     8315     12 |        0 |        0
262.34/262.46	c  252s |      13 |    54660 |    48732 |     8315     12 |        0 |        0
264.64/264.77	c  255s |      13 |    55214 |    49232 |     8315     12 |        0 |        0
266.64/266.78	c  257s |      13 |    55637 |    49632 |     8315     12 |        0 |        0
268.84/268.92	c  259s |      13 |    56074 |    50032 |     8315     12 |        0 |        0
271.24/271.38	c  261s |      13 |    56616 |    50532 |     8315     12 |        0 |        0
273.34/273.42	c  263s |      13 |    57070 |    50932 |     8315     12 |        0 |        0
275.44/275.52	c  265s |      13 |    57499 |    51332 |     8315     12 |        0 |        0
277.54/277.63	c  267s |      13 |    57935 |    51732 |     8315     12 |        0 |        0
279.94/280.06	c  270s |      13 |    58474 |    52232 |     8315     13 |        0 |        0
282.24/282.37	c  272s |      13 |    59020 |    52732 |     8315     13 |        0 |        0
284.54/284.67	c  275s |      13 |    59590 |    53232 |     8315     13 |        0 |        0
286.54/286.69	c  277s |      13 |    60137 |    53732 |     8315     13 |        0 |        0
288.74/288.82	c  279s |      13 |    60688 |    54232 |     8315     13 |        0 |        0
290.74/290.85	c  281s |      13 |    61243 |    54732 |     8315     13 |        0 |        0
292.84/292.95	c  283s |      13 |    61812 |    55232 |     8315     13 |        0 |        0
294.94/295.07	c  285s |      13 |    62371 |    55732 |     8315     13 |        0 |        0
297.05/297.16	c  287s |      13 |    62922 |    56232 |     9147     13 |        0 |        0
299.04/299.20	c  289s |      13 |    63358 |    56632 |     9147     13 |        0 |        0
301.24/301.34	c  291s |      13 |    63784 |    57032 |     9147     13 |        0 |        0
303.55/303.69	c  294s |      13 |    64223 |    57432 |     9147     14 |        0 |        0
305.94/306.01	c  296s |      13 |    64648 |    57832 |     9147     14 |        0 |        0
308.14/308.23	c  298s |      13 |    65081 |    58232 |     9147     14 |        0 |        0
308.74/308.82	c  299s |      14 |    65211 |    58352 |     9147     14 |        0 |        0
310.94/311.08	c  301s |      14 |    65800 |    58852 |     9147     14 |        0 |        0
313.44/313.53	c  303s |      14 |    66468 |    59452 |     9147     14 |        0 |        0
315.54/315.70	c  306s |      14 |    67017 |    59952 |     9147     14 |        0 |        0
317.64/317.78	c  308s |      14 |    67573 |    60452 |     9147     14 |        0 |        0
319.74/319.87	c  310s |      14 |    68192 |    60952 |     9147     14 |        0 |        0
321.84/321.91	c  312s |      14 |    68726 |    61452 |     9147     14 |        0 |        0
323.94/324.04	c  314s |      14 |    69379 |    62052 |     9147     14 |        0 |        0
326.13/326.23	c  316s |      14 |    70022 |    62652 |     9147     15 |        0 |        0
328.53/328.63	c  318s |      14 |    70673 |    63252 |     9147     15 |        0 |        0
330.63/330.77	c  321s |      14 |    71233 |    63752 |     9147     15 |        0 |        0
332.93/333.04	c  323s |      14 |    71889 |    64352 |     9147     15 |        0 |        0
335.13/335.28	c  325s |      14 |    72536 |    64952 |     9147     15 |        0 |        0
337.23/337.31	c  327s |      14 |    73073 |    65452 |     9147     15 |        0 |        0
339.53/339.64	c  329s |      14 |    73719 |    66052 |     9147     15 |        0 |        0
341.73/341.87	c  332s |      14 |    74243 |    66552 |     9147     15 |        0 |        0
343.73/343.88	c  334s |      14 |    74665 |    66952 |     9147     16 |        0 |        0
345.83/345.93	c  336s |      14 |    75205 |    67452 |     9147     16 |        0 |        0
348.03/348.12	c  338s |      14 |    75747 |    67952 |     9147     16 |        0 |        0
350.13/350.25	c  340s |      14 |    76281 |    68452 |     9147     16 |        0 |        0
352.23/352.36	c  342s |      14 |    76853 |    68952 |     9147     16 |        0 |        0
354.53/354.63	c  344s |      14 |    77398 |    69452 |     9147     16 |        0 |        0
356.73/356.87	c  347s |      14 |    78065 |    70052 |     9147     16 |        0 |        0
358.83/358.99	c  349s |      14 |    78690 |    70652 |     9147     16 |        0 |        0
361.13/361.26	c  351s |      14 |    79346 |    71252 |     9147     16 |        0 |        0
363.33/363.46	c  353s |      14 |    79989 |    71852 |     9147     17 |        0 |        0
365.63/365.73	c  356s |      14 |    80651 |    72452 |     9147     17 |        0 |        0
367.73/367.81	c  358s |      14 |    81276 |    73052 |     9147     17 |        0 |        0
369.83/369.92	c  360s |      14 |    81794 |    73552 |     9147     17 |        0 |        0
371.83/371.93	c  362s |      14 |    82329 |    74052 |     9147     17 |        0 |        0
373.83/373.94	c  364s |      14 |    82857 |    74552 |     9147     17 |        0 |        0
376.13/376.27	c  366s |      14 |    83499 |    75152 |     9147     17 |        0 |        0
378.72/378.87	c  369s |      14 |    84149 |    75752 |     9147     17 |        0 |        0
380.72/380.87	c  371s |      14 |    84683 |    76252 |     9147     18 |        0 |        0
382.83/382.95	c  373s |      14 |    85335 |    76852 |     9147     18 |        0 |        0
385.12/385.26	c  375s |      14 |    85975 |    77452 |     9147     18 |        0 |        0
387.32/387.43	c  377s |      14 |    86635 |    78052 |     9147     18 |        0 |        0
389.33/389.47	c  379s |      14 |    87151 |    78552 |     9147     18 |        0 |        0
391.42/391.50	c  381s |      14 |    87708 |    79052 |     9147     18 |        0 |        0
393.52/393.65	c  383s |      14 |    88357 |    79652 |     9147     18 |        0 |        0
395.62/395.74	c  386s |      14 |    89011 |    80252 |     9147     18 |        0 |        0
397.82/397.96	c  388s |      14 |    89659 |    80852 |     9147     18 |        0 |        0
399.92/400.00	c  390s |      14 |    90183 |    81352 |     9147     19 |        0 |        0
402.02/402.18	c  392s |      14 |    90845 |    81952 |     9147     19 |        0 |        0
404.32/404.47	c  394s |      14 |    91638 |    82652 |     9147     19 |        0 |        0
406.72/406.80	c  397s |      14 |    92275 |    83252 |     9147     19 |        0 |        0
408.82/408.91	c  399s |      14 |    92820 |    83752 |     9147     19 |        0 |        0
410.92/411.08	c  401s |      14 |    93483 |    84352 |     9147     19 |        0 |        0
413.22/413.36	c  403s |      14 |    94143 |    84952 |    10062     19 |        0 |        0
415.62/415.79	c  406s |      14 |    94785 |    85552 |    10062     19 |        0 |        0
417.92/418.09	c  408s |      14 |    95441 |    86152 |    10062     19 |        0 |        0
420.02/420.12	c  410s |      14 |    95989 |    86652 |    10062     19 |        0 |        0
422.33/422.43	c  412s |      14 |    96622 |    87252 |    10062     20 |        0 |        0
423.72/423.83	c  414s |      15 |    97029 |    87632 |    10062     20 |        0 |        0
425.82/425.97	c  416s |      15 |    97540 |    88032 |    10062     20 |        0 |        0
427.93/428.10	c  418s |      15 |    98095 |    88532 |    10062     20 |        0 |        0
430.32/430.46	c  420s |      15 |    98776 |    89132 |    10062     20 |        0 |        0
432.92/433.01	c  423s |      15 |    99226 |    89532 |    10062     20 |        0 |        0
435.32/435.40	c  425s |      15 |    99871 |    90132 |    10062     20 |        0 |        0
437.32/437.46	c  427s |      15 |   100313 |    90532 |    10062     20 |        0 |        0
439.52/439.63	c  429s |      15 |   100795 |    90932 |    10062     20 |        0 |        0
441.92/442.01	c  432s |      15 |   101335 |    91432 |    10062     20 |        0 |        0
443.92/444.03	c  434s |      15 |   101765 |    91832 |    10062     20 |        0 |        0
446.12/446.24	c  436s |      15 |   102342 |    92332 |    10062     21 |        0 |        0
448.41/448.59	c  438s |      15 |   103008 |    92932 |    10062     21 |        0 |        0
450.51/450.65	c  441s |      15 |   103472 |    93332 |    10062     21 |        0 |        0
452.51/452.68	c  443s |      15 |   104086 |    93832 |    10062     21 |        0 |        0
454.71/454.89	c  445s |      15 |   104637 |    94332 |    10062     21 |        0 |        0
457.01/457.13	c  447s |      15 |   105185 |    94832 |    10062     21 |        0 |        0
459.11/459.26	c  449s |      15 |   105731 |    95332 |    10062     21 |        0 |        0
461.31/461.41	c  451s |      15 |   106266 |    95832 |    10062     21 |        0 |        0
463.41/463.50	c  453s |      15 |   106677 |    96232 |    10062     21 |        0 |        0
465.81/465.95	c  456s |      15 |   107246 |    96732 |    10062     21 |        0 |        0
468.01/468.19	c  458s |      15 |   107684 |    97132 |    10062     21 |        0 |        0
470.31/470.45	c  460s |      15 |   108130 |    97532 |    10062     22 |        0 |        0
472.61/472.72	c  463s |      15 |   108574 |    97932 |    10062     22 |        0 |        0
474.61/474.75	c  465s |      15 |   109010 |    98332 |    10062     22 |        0 |        0
476.61/476.76	c  467s |      15 |   109450 |    98732 |    10062     22 |        0 |        0
478.91/479.02	c  469s |      15 |   109891 |    99132 |    10062     22 |        0 |        0
481.21/481.36	c  471s |      15 |   110412 |    99632 |    10062     22 |        0 |        0
483.41/483.50	c  473s |      15 |   110873 |   100032 |    10062     22 |        0 |        0
485.61/485.80	c  476s |      15 |   111289 |   100432 |    10062     22 |        0 |        0
487.91/488.03	c  478s |      15 |   111733 |   100832 |    10062     22 |        0 |        0
490.11/490.23	c  480s |      15 |   112165 |   101232 |    10062     22 |        0 |        0
492.31/492.41	c  482s |      15 |   112589 |   101632 |    10062     22 |        0 |        0
494.41/494.56	c  484s |      15 |   113028 |   102032 |    10062     22 |        0 |        0
496.81/496.90	c  487s |      15 |   113472 |   102432 |    10062     23 |        0 |        0
498.91/499.01	c  489s |      15 |   113904 |   102832 |    10062     23 |        0 |        0
501.01/501.14	c  491s |      15 |   114319 |   103232 |    10062     23 |        0 |        0
503.21/503.37	c  493s |      15 |   114733 |   103632 |    10062     23 |        0 |        0
505.71/505.81	c  496s |      15 |   115179 |   104032 |    10062     23 |        0 |        0
508.21/508.35	c  498s |      15 |   115604 |   104432 |    10062     23 |        0 |        0
510.61/510.78	c  501s |      15 |   116032 |   104832 |    10062     23 |        0 |        0
512.81/512.98	c  503s |      15 |   116370 |   105132 |    10062     23 |        0 |        0
515.50/515.61	c  505s |      15 |   116791 |   105532 |    10062     23 |        0 |        0
517.50/517.66	c  508s |      15 |   117113 |   105832 |    10062     23 |        0 |        0
519.90/520.04	c  510s |      15 |   117561 |   106232 |    10062     23 |        0 |        0
522.20/522.38	c  512s |      15 |   118015 |   106632 |    10062     23 |        0 |        0
524.50/524.63	c  514s |      15 |   118483 |   107032 |    10062     23 |        0 |        0
526.91/527.03	c  517s |      15 |   119006 |   107532 |    10062     23 |        0 |        0
529.40/529.59	c  519s |      15 |   119441 |   107932 |    10062     24 |        0 |        0
531.70/531.86	c  522s |      15 |   119893 |   108332 |    10062     24 |        0 |        0
533.90/534.02	c  524s |      15 |   120356 |   108732 |    10062     24 |        0 |        0
536.20/536.31	c  526s |      15 |   120903 |   109232 |    10062     24 |        0 |        0
538.50/538.66	c  529s |      15 |   121498 |   109732 |    10062     24 |        0 |        0
540.80/540.96	c  531s |      15 |   121930 |   110132 |    10062     24 |        0 |        0
543.00/543.18	c  533s |      15 |   122377 |   110532 |    10062     24 |        0 |        0
545.51/545.66	c  536s |      15 |   122967 |   111032 |    10062     24 |        0 |        0
547.81/547.93	c  538s |      15 |   123393 |   111432 |    10062     24 |        0 |        0
550.40/550.54	c  540s |      15 |   123815 |   111832 |    10062     24 |        0 |        0
552.90/553.03	c  543s |      15 |   124262 |   112232 |    10062     24 |        0 |        0
554.90/555.07	c  545s |      15 |   124592 |   112532 |    10062     24 |        0 |        0
557.10/557.26	c  547s |      15 |   125133 |   113032 |    10062     24 |        0 |        0
559.30/559.45	c  549s |      15 |   125711 |   113532 |    10062     24 |        0 |        0
561.80/561.96	c  552s |      15 |   126244 |   114032 |    10062     25 |        0 |        0
564.00/564.11	c  554s |      15 |   126687 |   114432 |    10062     25 |        0 |        0
566.10/566.28	c  556s |      15 |   127133 |   114832 |    10062     25 |        0 |        0
568.30/568.41	c  558s |      15 |   127581 |   115232 |    10062     25 |        0 |        0
570.50/570.65	c  561s |      15 |   128025 |   115632 |    10062     25 |        0 |        0
573.10/573.23	c  563s |      15 |   128459 |   116032 |    10062     25 |        0 |        0
575.30/575.47	c  565s |      15 |   128897 |   116432 |    10062     25 |        0 |        0
577.80/577.96	c  568s |      15 |   129340 |   116832 |    10062     25 |        0 |        0
579.90/580.04	c  570s |      15 |   129764 |   117232 |    10062     25 |        0 |        0
582.30/582.40	c  572s |      15 |   130286 |   117732 |    10062     25 |        0 |        0
584.70/584.86	c  575s |      15 |   130819 |   118232 |    10062     25 |        0 |        0
587.09/587.21	c  577s |      15 |   131363 |   118732 |    10062     26 |        0 |        0
589.09/589.24	c  579s |      15 |   131784 |   119132 |    10062     26 |        0 |        0
591.19/591.35	c  581s |      15 |   132324 |   119632 |    10062     26 |        0 |        0
593.19/593.37	c  583s |      15 |   132862 |   120132 |    10062     26 |        0 |        0
595.39/595.54	c  585s |      15 |   133417 |   120632 |    10062     26 |        0 |        0
597.59/597.76	c  588s |      15 |   133948 |   121132 |    10062     26 |        0 |        0
599.99/600.15	c  590s |      15 |   134604 |   121732 |    10062     26 |        0 |        0
602.09/602.25	c  592s |      15 |   135049 |   122132 |    10062     26 |        0 |        0
604.49/604.62	c  594s |      15 |   135578 |   122632 |    10062     26 |        0 |        0
606.89/607.07	c  597s |      15 |   136122 |   123132 |    10062     26 |        0 |        0
609.09/609.20	c  599s |      15 |   136556 |   123532 |    10062     26 |        0 |        0
611.09/611.25	c  601s |      15 |   136996 |   123932 |    10062     26 |        0 |        0
613.49/613.68	c  604s |      15 |   137453 |   124332 |    10062     27 |        0 |        0
615.59/615.72	c  606s |      15 |   137897 |   124732 |    10062     27 |        0 |        0
617.69/617.89	c  608s |      15 |   138335 |   125132 |    10062     27 |        0 |        0
620.09/620.27	c  610s |      15 |   138884 |   125632 |    10062     27 |        0 |        0
622.49/622.61	c  612s |      15 |   139440 |   126132 |    10062     27 |        0 |        0
624.79/624.96	c  615s |      15 |   139982 |   126632 |    10062     27 |        0 |        0
626.89/627.08	c  617s |      15 |   140440 |   127032 |    10062     27 |        0 |        0
629.59/629.79	c  620s |      15 |   140893 |   127432 |    10062     27 |        0 |        0
631.98/632.18	c  622s |      15 |   141336 |   127832 |    10062     27 |        0 |        0
633.98/634.19	c  624s |      15 |   141882 |   128232 |    10062     27 |        0 |        0
636.18/636.39	c  626s |      15 |   142376 |   128632 |    11069     27 |        0 |        0
638.38/638.57	c  628s |      15 |   142840 |   129032 |    11069     27 |        0 |        0
640.58/640.71	c  631s |      15 |   143305 |   129432 |    11069     27 |        0 |        0
642.78/642.96	c  633s |      15 |   143787 |   129832 |    11069     27 |        0 |        0
645.18/645.35	c  635s |      15 |   144233 |   130232 |    11069     28 |        0 |        0
647.68/647.85	c  638s |      15 |   144661 |   130632 |    11069     28 |        0 |        0
650.28/650.47	c  640s |      15 |   145239 |   131132 |    11069     28 |        0 |        0
652.38/652.52	c  642s |      15 |   145708 |   131532 |    11069     28 |        0 |        0
652.48/652.62	c  642s |      16 |   145725 |   131552 |    11069     28 |        0 |        0
654.49/654.67	c  645s |      16 |   146189 |   131952 |    11069     28 |        0 |        0
656.98/657.15	c  647s |      16 |   146723 |   132452 |    11069     28 |        0 |        0
659.18/659.35	c  649s |      16 |   147139 |   132852 |    11069     28 |        0 |        0
661.38/661.56	c  651s |      16 |   147670 |   133352 |    11069     28 |        0 |        0
663.68/663.82	c  654s |      16 |   148002 |   133652 |    11069     28 |        0 |        0
665.98/666.18	c  656s |      16 |   148435 |   134052 |    11069     28 |        0 |        0
668.38/668.50	c  658s |      16 |   148990 |   134552 |    11069     28 |        0 |        0
670.68/670.82	c  661s |      16 |   149543 |   135052 |    11069     28 |        0 |        0
672.88/673.01	c  663s |      16 |   150083 |   135552 |    11069     28 |        0 |        0
674.88/675.03	c  665s |      16 |   150506 |   135952 |    11069     28 |        0 |        0
676.88/677.05	c  667s |      16 |   150934 |   136352 |    11069     28 |        0 |        0
679.08/679.29	c  669s |      16 |   151587 |   136952 |    11069     29 |        0 |        0
681.18/681.33	c  671s |      16 |   152023 |   137352 |    11069     29 |        0 |        0
683.38/683.51	c  673s |      16 |   152459 |   137752 |    11069     29 |        0 |        0
685.37/685.52	c  675s |      16 |   152901 |   138152 |    11069     29 |        0 |        0
687.57/687.75	c  678s |      16 |   153343 |   138552 |    11069     29 |        0 |        0
690.08/690.27	c  680s |      16 |   153778 |   138952 |    11069     29 |        0 |        0
692.28/692.42	c  682s |      16 |   154310 |   139452 |    11069     29 |        0 |        0
694.38/694.56	c  684s |      16 |   154861 |   139952 |    11069     29 |        0 |        0
696.78/696.93	c  687s |      16 |   155505 |   140552 |    11069     29 |        0 |        0
698.98/699.15	c  689s |      16 |   156177 |   141152 |    11069     29 |        0 |        0
701.28/701.40	c  691s |      16 |   156818 |   141752 |    11069     29 |        0 |        0
703.28/703.43	c  693s |      16 |   157375 |   142252 |    11069     30 |        0 |        0
705.28/705.48	c  695s |      16 |   157913 |   142752 |    11069     30 |        0 |        0
707.48/707.61	c  697s |      16 |   158430 |   143252 |    11069     30 |        0 |        0
709.48/709.67	c  700s |      16 |   158990 |   143752 |    11069     30 |        0 |        0
711.48/711.70	c  702s |      16 |   159533 |   144252 |    11069     30 |        0 |        0
713.58/713.72	c  704s |      16 |   160059 |   144752 |    11069     30 |        0 |        0
715.58/715.77	c  706s |      16 |   160600 |   145252 |    11069     30 |        0 |        0
717.88/718.04	c  708s |      16 |   161276 |   145852 |    11069     30 |        0 |        0
720.27/720.47	c  710s |      16 |   161908 |   146452 |    11069     30 |        0 |        0
722.37/722.54	c  712s |      16 |   162449 |   146952 |    11069     30 |        0 |        0
724.67/724.88	c  715s |      16 |   163075 |   147552 |    11069     30 |        0 |        0
726.87/727.01	c  717s |      16 |   163607 |   148052 |    11069     30 |        0 |        0
729.07/729.27	c  719s |      16 |   164145 |   148552 |    11069     31 |        0 |        0
731.27/731.43	c  721s |      16 |   164827 |   149152 |    11069     31 |        0 |        0
733.68/733.86	c  724s |      16 |   165468 |   149752 |    11069     31 |        0 |        0
735.88/736.02	c  726s |      16 |   166126 |   150352 |    11069     31 |        0 |        0
738.27/738.41	c  728s |      16 |   166764 |   150952 |    11069     31 |        0 |        0
740.27/740.49	c  730s |      16 |   167302 |   151452 |    11069     31 |        0 |        0
742.57/742.78	c  733s |      16 |   167833 |   151952 |    11069     31 |        0 |        0
744.77/744.92	c  735s |      16 |   168374 |   152452 |    11069     31 |        0 |        0
746.77/746.95	c  737s |      16 |   168972 |   152952 |    11069     31 |        0 |        0
749.07/749.23	c  739s |      16 |   169618 |   153552 |    11069     31 |        0 |        0
751.27/751.43	c  741s |      16 |   170169 |   154052 |    11069     32 |        0 |        0
753.56/753.76	c  744s |      16 |   170813 |   154652 |    11069     32 |        0 |        0
755.86/756.08	c  746s |      16 |   171347 |   155152 |    11069     32 |        0 |        0
758.06/758.22	c  748s |      16 |   171871 |   155652 |    11069     32 |        0 |        0
760.46/760.64	c  750s |      16 |   172421 |   156152 |    11069     32 |        0 |        0
762.86/763.02	c  753s |      16 |   172941 |   156652 |    11069     32 |        0 |        0
765.06/765.28	c  755s |      16 |   173354 |   157052 |    11069     32 |        0 |        0
767.16/767.32	c  757s |      16 |   173769 |   157452 |    11069     32 |        0 |        0
769.56/769.79	c  760s |      16 |   174297 |   157952 |    11069     32 |        0 |        0
771.86/772.01	c  762s |      16 |   174888 |   158452 |    11069     32 |        0 |        0
774.16/774.37	c  764s |      16 |   175455 |   158952 |    11069     32 |        0 |        0
776.56/776.73	c  767s |      16 |   175997 |   159452 |    11069     32 |        0 |        0
778.86/779.04	c  769s |      16 |   176589 |   159952 |    11069     33 |        0 |        0
781.15/781.38	c  771s |      16 |   177272 |   160552 |    11069     33 |        0 |        0
783.35/783.52	c  773s |      16 |   177988 |   161152 |    11069     33 |        0 |        0
785.36/785.59	c  775s |      16 |   178558 |   161652 |    11069     33 |        0 |        0
787.46/787.65	c  778s |      16 |   179116 |   162152 |    11069     33 |        0 |        0
789.66/789.83	c  780s |      16 |   179670 |   162652 |    11069     33 |        0 |        0
791.96/792.12	c  782s |      16 |   180329 |   163252 |    11069     33 |        0 |        0
794.25/794.45	c  784s |      16 |   180872 |   163752 |    11069     33 |        0 |        0
796.55/796.73	c  787s |      16 |   181468 |   164252 |    11069     33 |        0 |        0
798.85/799.04	c  789s |      16 |   182030 |   164752 |    11069     33 |        0 |        0
800.95/801.13	c  791s |      16 |   182468 |   165152 |    11069     33 |        0 |        0
803.05/803.26	c  793s |      16 |   183027 |   165652 |    11069     33 |        0 |        0
805.25/805.44	c  795s |      16 |   183562 |   166152 |    11069     34 |        0 |        0
807.45/807.62	c  797s |      16 |   184110 |   166652 |    11069     34 |        0 |        0
809.46/809.65	c  799s |      16 |   184664 |   167152 |    11069     34 |        0 |        0
811.84/812.03	c  802s |      16 |   185195 |   167652 |    11069     34 |        0 |        0
814.04/814.23	c  804s |      16 |   185633 |   168052 |    11069     34 |        0 |        0
816.05/816.27	c  806s |      16 |   186052 |   168452 |    11069     34 |        0 |        0
818.25/818.46	c  808s |      16 |   186482 |   168852 |    11069     34 |        0 |        0
820.45/820.63	c  810s |      16 |   186924 |   169252 |    11069     34 |        0 |        0
822.65/822.83	c  813s |      16 |   187534 |   169752 |    11069     34 |        0 |        0
825.04/825.20	c  815s |      16 |   188093 |   170252 |    11069     34 |        0 |        0
827.24/827.49	c  817s |      16 |   188705 |   170752 |    11069     34 |        0 |        0
829.64/829.89	c  820s |      16 |   189295 |   171252 |    11069     34 |        0 |        0
831.83/832.06	c  822s |      16 |   189734 |   171652 |    11069     35 |        0 |        0
834.33/834.52	c  824s |      16 |   190302 |   172152 |    11069     35 |        0 |        0
836.73/836.95	c  827s |      16 |   190958 |   172752 |    11069     35 |        0 |        0
839.15/839.39	c  829s |      16 |   191517 |   173252 |    11069     35 |        0 |        0
841.44/841.61	c  831s |      16 |   192047 |   173752 |    11069     35 |        0 |        0
843.54/843.74	c  834s |      16 |   192570 |   174252 |    11069     35 |        0 |        0
845.84/846.08	c  836s |      16 |   193100 |   174752 |    11069     35 |        0 |        0
848.23/848.40	c  838s |      16 |   193624 |   175252 |    11069     35 |        0 |        0
850.24/850.44	c  840s |      16 |   194161 |   175752 |    11069     35 |        0 |        0
852.53/852.79	c  843s |      16 |   194724 |   176252 |    11069     35 |        0 |        0
854.64/854.86	c  845s |      16 |   195145 |   176652 |    11069     35 |        0 |        0
856.93/857.11	c  847s |      16 |   195565 |   177052 |    11069     35 |        0 |        0
859.13/859.33	c  849s |      16 |   196003 |   177452 |    11069     35 |        0 |        0
861.13/861.35	c  851s |      16 |   196449 |   177852 |    11069     36 |        0 |        0
863.22/863.44	c  853s |      16 |   196881 |   178252 |    11069     36 |        0 |        0
865.63/865.83	c  856s |      16 |   197315 |   178652 |    11069     36 |        0 |        0
867.73/867.95	c  858s |      16 |   197912 |   179152 |    11069     36 |        0 |        0
870.03/870.28	c  860s |      16 |   198487 |   179652 |    11069     36 |        0 |        0
872.02/872.28	c  862s |      16 |   198937 |   180052 |    11069     36 |        0 |        0
874.12/874.36	c  864s |      16 |   199382 |   180452 |    11069     36 |        0 |        0
876.52/876.74	c  867s |      16 |   199938 |   180952 |    11069     36 |        0 |        0
878.61/878.86	c  869s |      16 |   200375 |   181352 |    11069     36 |        0 |        0
880.92/881.15	c  871s |      16 |   201048 |   181952 |    11069     36 |        0 |        0
882.91/883.19	c  873s |      16 |   201574 |   182452 |    11069     36 |        0 |        0
885.11/885.37	c  875s |      16 |   202105 |   182952 |    11069     36 |        0 |        0
887.11/887.38	c  877s |      16 |   202634 |   183452 |    11069     37 |        0 |        0
889.31/889.55	c  879s |      16 |   203305 |   184052 |    11069     37 |        0 |        0
891.60/891.82	c  882s |      16 |   203947 |   184652 |    11069     37 |        0 |        0
893.80/894.06	c  884s |      16 |   204513 |   185152 |    11069     37 |        0 |        0
896.10/896.34	c  886s |      16 |   205109 |   185652 |    11069     37 |        0 |        0
898.40/898.60	c  888s |      16 |   205686 |   186152 |    11069     37 |        0 |        0
900.89/901.11	c  891s |      16 |   206255 |   186652 |    11069     37 |        0 |        0
903.09/903.39	c  893s |      16 |   206692 |   187052 |    11069     37 |        0 |        0
905.39/905.64	c  895s |      16 |   207121 |   187452 |    11069     37 |        0 |        0
907.59/907.88	c  898s |      16 |   207567 |   187852 |    11069     37 |        0 |        0
909.99/910.26	c  900s |      16 |   208223 |   188452 |    11069     37 |        0 |        0
912.19/912.47	c  902s |      16 |   208758 |   188952 |    11069     37 |        0 |        0
914.49/914.80	c  905s |      16 |   209281 |   189452 |    11069     38 |        0 |        0
916.59/916.85	c  907s |      16 |   209861 |   189952 |    11069     38 |        0 |        0
918.89/919.16	c  909s |      16 |   210384 |   190452 |    11069     38 |        0 |        0
921.08/921.37	c  911s |      16 |   210919 |   190952 |    11069     38 |        0 |        0
923.48/923.77	c  914s |      16 |   211456 |   191452 |    11069     38 |        0 |        0
925.88/926.19	c  916s |      16 |   212003 |   191952 |    11069     38 |        0 |        0
928.38/928.67	c  919s |      16 |   212589 |   192452 |    11069     38 |        0 |        0
930.58/930.80	c  921s |      16 |   213046 |   192852 |    11069     38 |        0 |        0
932.88/933.12	c  923s |      16 |   213621 |   193352 |    11069     38 |        0 |        0
935.38/935.66	c  926s |      16 |   214155 |   193852 |    11069     38 |        0 |        0
937.68/937.91	c  928s |      16 |   214696 |   194352 |    12176     38 |        0 |        0
939.98/940.26	c  930s |      16 |   215247 |   194852 |    12176     38 |        0 |        0
942.48/942.72	c  933s |      16 |   215794 |   195352 |    12176     38 |        0 |        0
945.08/945.37	c  935s |      16 |   216319 |   195852 |    12176     38 |        0 |        0
947.48/947.70	c  938s |      16 |   216747 |   196252 |    12176     38 |        0 |        0
949.68/949.92	c  940s |      16 |   217191 |   196652 |    12176     39 |        0 |        0
951.67/951.92	c  942s |      16 |   217606 |   197052 |    12176     39 |        0 |        0
953.58/953.85	c  944s |      17 |   218016 |   197432 |    12176     39 |        0 |        0
955.87/956.13	c  946s |      17 |   218480 |   197832 |    12176     39 |        0 |        0
958.27/958.50	c  948s |      17 |   219234 |   198532 |    12176     39 |        0 |        0
960.57/960.83	c  951s |      17 |   220009 |   199232 |    12176     39 |        0 |        0
962.57/962.88	c  953s |      17 |   220561 |   199732 |    12176     39 |        0 |        0
964.87/965.12	c  955s |      17 |   221120 |   200232 |    12176     39 |        0 |        0
966.87/967.19	c  957s |      17 |   221687 |   200732 |    12176     39 |        0 |        0
969.17/969.45	c  959s |      17 |   222232 |   201232 |    12176     39 |        0 |        0
971.57/971.86	c  962s |      17 |   222792 |   201732 |    12176     39 |        0 |        0
973.97/974.20	c  964s |      17 |   223355 |   202232 |    12176     39 |        0 |        0
976.17/976.42	c  966s |      17 |   223920 |   202732 |    12176     40 |        0 |        0
978.47/978.76	c  969s |      17 |   224584 |   203332 |    12176     40 |        0 |        0
980.67/980.93	c  971s |      17 |   225134 |   203832 |    12176     40 |        0 |        0
982.87/983.12	c  973s |      17 |   225717 |   204332 |    12176     40 |        0 |        0
985.28/985.55	c  975s |      17 |   226256 |   204832 |    12176     40 |        0 |        0
987.38/987.64	c  977s |      17 |   226797 |   205332 |    12176     40 |        0 |        0
989.88/990.12	c  980s |      17 |   227388 |   205832 |    12176     40 |        0 |        0
992.08/992.39	c  982s |      17 |   228001 |   206332 |    12176     40 |        0 |        0
994.18/994.49	c  984s |      17 |   228432 |   206732 |    12176     40 |        0 |        0
996.48/996.78	c  987s |      17 |   228996 |   207232 |    12176     40 |        0 |        0
998.58/998.85	c  989s |      17 |   229429 |   207632 |    12176     40 |        0 |        0
1000.77/1001.10	c  991s |      17 |   229872 |   208032 |    12176     40 |        0 |        0
1003.17/1003.44	c  993s |      17 |   230323 |   208432 |    12176     40 |        0 |        0
1005.37/1005.67	c  996s |      17 |   230876 |   208932 |    12176     40 |        0 |        0
1008.07/1008.33	c  998s |      17 |   231424 |   209432 |    12176     41 |        0 |        0
1010.17/1010.40	c 1000s |      17 |   232085 |   210032 |    12176     41 |        0 |        0
1012.36/1012.69	c 1003s |      17 |   232737 |   210632 |    12176     41 |        0 |        0
1014.66/1014.93	c 1005s |      17 |   233315 |   211132 |    12176     41 |        0 |        0
1016.96/1017.24	c 1007s |      17 |   233883 |   211632 |    12176     41 |        0 |        0
1019.26/1019.51	c 1009s |      17 |   234455 |   212132 |    12176     41 |        0 |        0
1021.67/1021.93	c 1012s |      17 |   235019 |   212632 |    12176     41 |        0 |        0
1023.76/1024.01	c 1014s |      17 |   235479 |   213032 |    12176     41 |        0 |        0
1025.96/1026.20	c 1016s |      17 |   235931 |   213432 |    12176     41 |        0 |        0
1028.06/1028.32	c 1018s |      17 |   236377 |   213832 |    12176     41 |        0 |        0
1030.36/1030.66	c 1021s |      17 |   236947 |   214332 |    12176     41 |        0 |        0
1032.86/1033.18	c 1023s |      17 |   237535 |   214832 |    12176     41 |        0 |        0
1035.15/1035.45	c 1025s |      17 |   238074 |   215332 |    12176     42 |        0 |        0
1037.35/1037.61	c 1027s |      17 |   238504 |   215732 |    12176     42 |        0 |        0
1039.45/1039.76	c 1030s |      17 |   239066 |   216232 |    12176     42 |        0 |        0
1041.75/1042.08	c 1032s |      17 |   239738 |   216832 |    12176     42 |        0 |        0
1043.85/1044.17	c 1034s |      17 |   240304 |   217332 |    12176     42 |        0 |        0
1045.96/1046.27	c 1036s |      17 |   240768 |   217732 |    12176     42 |        0 |        0
1048.35/1048.66	c 1039s |      17 |   241355 |   218232 |    12176     42 |        0 |        0
1050.75/1051.00	c 1041s |      17 |   241908 |   218732 |    12176     42 |        0 |        0
1053.05/1053.32	c 1043s |      17 |   242457 |   219232 |    12176     42 |        0 |        0
1055.45/1055.71	c 1046s |      17 |   243012 |   219732 |    12176     42 |        0 |        0
1057.45/1057.76	c 1048s |      17 |   243570 |   220232 |    12176     42 |        0 |        0
1059.55/1059.86	c 1050s |      17 |   244018 |   220632 |    12176     42 |        0 |        0
1061.85/1062.16	c 1052s |      17 |   244568 |   221132 |    12176     42 |        0 |        0
1064.05/1064.33	c 1054s |      17 |   245102 |   221632 |    12176     42 |        0 |        0
1066.45/1066.72	c 1057s |      17 |   245625 |   222132 |    12176     42 |        0 |        0
1068.45/1068.73	c 1059s |      17 |   246037 |   222532 |    12176     43 |        0 |        0
1070.95/1071.20	c 1061s |      17 |   246559 |   223032 |    12176     43 |        0 |        0
1073.25/1073.57	c 1063s |      17 |   246997 |   223432 |    12176     43 |        0 |        0
1075.44/1075.73	c 1066s |      17 |   247492 |   223832 |    12176     43 |        0 |        0
1077.75/1078.03	c 1068s |      17 |   248068 |   224332 |    12176     43 |        0 |        0
1080.14/1080.41	c 1070s |      17 |   248635 |   224832 |    12176     43 |        0 |        0
1082.25/1082.52	c 1072s |      17 |   249083 |   225232 |    12176     43 |        0 |        0
1084.74/1085.07	c 1075s |      17 |   249641 |   225732 |    12176     43 |        0 |        0
1087.24/1087.53	c 1077s |      17 |   250207 |   226232 |    12176     43 |        0 |        0
1089.24/1089.58	c 1079s |      17 |   250649 |   226632 |    12176     43 |        0 |        0
1091.54/1091.87	c 1082s |      17 |   251091 |   227032 |    12176     43 |        0 |        0
1093.83/1094.13	c 1084s |      17 |   251555 |   227432 |    12176     43 |        0 |        0
1095.83/1096.15	c 1086s |      17 |   251986 |   227832 |    12176     43 |        0 |        0
1097.93/1098.29	c 1088s |      17 |   252575 |   228332 |    12176     44 |        0 |        0
1100.33/1100.60	c 1090s |      17 |   253237 |   228932 |    12176     44 |        0 |        0
1102.53/1102.87	c 1093s |      17 |   253819 |   229432 |    12176     44 |        0 |        0
1104.53/1104.87	c 1095s |      17 |   254381 |   229932 |    12176     44 |        0 |        0
1106.63/1106.95	c 1097s |      17 |   254941 |   230432 |    12176     44 |        0 |        0
1108.73/1109.02	c 1099s |      17 |   255396 |   230832 |    12176     44 |        0 |        0
1110.84/1111.18	c 1101s |      17 |   255825 |   231232 |    12176     44 |        0 |        0
1113.04/1113.35	c 1103s |      17 |   256280 |   231632 |    12176     44 |        0 |        0
1115.14/1115.42	c 1105s |      17 |   256820 |   232132 |    12176     44 |        0 |        0
1117.53/1117.85	c 1108s |      17 |   257396 |   232632 |    12176     44 |        0 |        0
1119.94/1120.21	c 1110s |      17 |   257940 |   233132 |    12176     44 |        0 |        0
1122.23/1122.52	c 1112s |      17 |   258508 |   233632 |    12176     44 |        0 |        0
1124.53/1124.87	c 1115s |      17 |   259076 |   234132 |    12176     44 |        0 |        0
1126.63/1126.93	c 1117s |      17 |   259522 |   234532 |    12176     45 |        0 |        0
1128.93/1129.29	c 1119s |      17 |   260088 |   235032 |    12176     45 |        0 |        0
1131.23/1131.54	c 1121s |      17 |   260631 |   235532 |    12176     45 |        0 |        0
1133.23/1133.55	c 1123s |      17 |   261069 |   235932 |    12176     45 |        0 |        0
1135.53/1135.87	c 1126s |      17 |   261619 |   236432 |    12176     45 |        0 |        0
1137.53/1137.87	c 1128s |      17 |   262061 |   236832 |    12176     45 |        0 |        0
1139.83/1140.11	c 1130s |      17 |   262484 |   237232 |    12176     45 |        0 |        0
1142.03/1142.34	c 1132s |      17 |   262931 |   237632 |    12176     45 |        0 |        0
1144.33/1144.63	c 1134s |      17 |   263475 |   238132 |    12176     45 |        0 |        0
1146.63/1146.99	c 1137s |      17 |   264025 |   238632 |    12176     45 |        0 |        0
1149.03/1149.32	c 1139s |      17 |   264459 |   239032 |    12176     45 |        0 |        0
1151.22/1151.51	c 1141s |      17 |   264885 |   239432 |    12176     45 |        0 |        0
1153.73/1154.08	c 1144s |      17 |   265320 |   239832 |    12176     45 |        0 |        0
1156.42/1156.71	c 1147s |      17 |   265741 |   240232 |    12176     45 |        0 |        0
1158.82/1159.14	c 1149s |      17 |   266168 |   240632 |    12176     45 |        0 |        0
1161.02/1161.34	c 1151s |      17 |   266595 |   241032 |    12176     46 |        0 |        0
1163.62/1163.93	c 1154s |      17 |   267123 |   241532 |    12176     46 |        0 |        0
1166.01/1166.35	c 1156s |      17 |   267677 |   242032 |    12176     46 |        0 |        0
1168.02/1168.36	c 1158s |      17 |   268101 |   242432 |    12176     46 |        0 |        0
1170.22/1170.54	c 1160s |      17 |   268643 |   242932 |    12176     46 |        0 |        0
1172.61/1172.92	c 1163s |      17 |   269184 |   243432 |    12176     46 |        0 |        0
1174.71/1175.05	c 1165s |      17 |   269616 |   243832 |    12176     46 |        0 |        0
1176.72/1177.05	c 1167s |      17 |   270049 |   244232 |    12176     46 |        0 |        0
1178.71/1179.09	c 1169s |      17 |   270494 |   244632 |    12176     46 |        0 |        0
1180.81/1181.18	c 1171s |      17 |   270944 |   245032 |    12176     46 |        0 |        0
1183.11/1183.43	c 1173s |      17 |   271515 |   245532 |    12176     46 |        0 |        0
1185.41/1185.70	c 1176s |      17 |   272055 |   246032 |    12176     46 |        0 |        0
1187.82/1188.13	c 1178s |      17 |   272500 |   246432 |    12176     46 |        0 |        0
1190.31/1190.61	c 1180s |      17 |   272943 |   246832 |    12176     46 |        0 |        0
1192.30/1192.61	c 1182s |      17 |   273284 |   247132 |    12176     47 |        0 |        0
1194.70/1195.04	c 1185s |      17 |   273721 |   247532 |    12176     47 |        0 |        0
1197.20/1197.52	c 1187s |      17 |   274288 |   248032 |    12176     47 |        0 |        0
1199.81/1200.12	c 1190s |      17 |   274832 |   248532 |    12176     47 |        0 |        0
1202.40/1202.74	c 1193s |      17 |   275258 |   248932 |    12176     47 |        0 |        0
1204.60/1204.98	c 1195s |      17 |   275741 |   249332 |    12176     47 |        0 |        0
1206.90/1207.21	c 1197s |      17 |   276197 |   249732 |    12176     47 |        0 |        0
1209.40/1209.78	c 1200s |      17 |   276741 |   250232 |    12176     47 |        0 |        0
1211.79/1212.16	c 1202s |      17 |   277167 |   250632 |    12176     47 |        0 |        0
1214.29/1214.63	c 1204s |      17 |   277631 |   251032 |    12176     47 |        0 |        0
1216.49/1216.82	c 1207s |      17 |   278079 |   251432 |    12176     47 |        0 |        0
1219.09/1219.46	c 1209s |      17 |   278553 |   251832 |    12176     47 |        0 |        0
1221.19/1221.58	c 1211s |      17 |   278998 |   252232 |    12176     47 |        0 |        0
1223.39/1223.77	c 1214s |      17 |   279449 |   252632 |    12176     47 |        0 |        0
1225.69/1226.06	c 1216s |      17 |   279904 |   253032 |    12176     47 |        0 |        0
1227.79/1228.15	c 1218s |      17 |   280246 |   253332 |    12176     48 |        0 |        0
1230.09/1230.41	c 1220s |      17 |   280893 |   253932 |    12176     48 |        0 |        0
1232.48/1232.86	c 1223s |      17 |   281340 |   254332 |    12176     48 |        0 |        0
1234.48/1234.88	c 1225s |      17 |   281672 |   254632 |    12176     48 |        0 |        0
1236.98/1237.33	c 1227s |      17 |   282103 |   255032 |    12176     48 |        0 |        0
1239.39/1239.78	c 1230s |      17 |   282680 |   255532 |    12176     48 |        0 |        0
1241.69/1242.03	c 1232s |      17 |   283141 |   255932 |    12176     48 |        0 |        0
1243.79/1244.18	c 1234s |      17 |   283479 |   256232 |    12176     48 |        0 |        0
1246.38/1246.79	c 1237s |      17 |   283952 |   256632 |    12176     48 |        0 |        0
1248.78/1249.14	c 1239s |      17 |   284412 |   257032 |    12176     48 |        0 |        0
1251.18/1251.52	c 1241s |      17 |   284873 |   257432 |    12176     48 |        0 |        0
1253.38/1253.71	c 1244s |      17 |   285334 |   257832 |    12176     48 |        0 |        0
1255.58/1255.95	c 1246s |      17 |   285785 |   258232 |    12176     48 |        0 |        0
1257.98/1258.32	c 1248s |      17 |   286235 |   258632 |    12176     48 |        0 |        0
1259.98/1260.34	c 1250s |      17 |   286681 |   259032 |    12176     48 |        0 |        0
1262.38/1262.80	c 1253s |      17 |   287126 |   259432 |    12176     48 |        0 |        0
1264.88/1265.25	c 1255s |      17 |   287568 |   259832 |    12176     48 |        0 |        0
1267.08/1267.41	c 1257s |      17 |   287993 |   260232 |    12176     49 |        0 |        0
1269.38/1269.71	c 1260s |      17 |   288421 |   260632 |    12176     49 |        0 |        0
1271.87/1272.22	c 1262s |      17 |   288854 |   261032 |    12176     49 |        0 |        0
1274.17/1274.54	c 1264s |      17 |   289283 |   261432 |    12176     49 |        0 |        0
1276.47/1276.89	c 1267s |      17 |   289733 |   261832 |    12176     49 |        0 |        0
1279.17/1279.53	c 1269s |      17 |   290175 |   262232 |    12176     49 |        0 |        0
1281.37/1281.74	c 1272s |      17 |   290735 |   262732 |    12176     49 |        0 |        0
1283.57/1283.91	c 1274s |      17 |   291295 |   263232 |    12176     49 |        0 |        0
1285.97/1286.30	c 1276s |      17 |   291971 |   263832 |    12176     49 |        0 |        0
1287.97/1288.32	c 1278s |      17 |   292416 |   264232 |    12176     49 |        0 |        0
1290.37/1290.70	c 1281s |      17 |   292993 |   264732 |    12176     49 |        0 |        0
1292.57/1292.98	c 1283s |      17 |   293457 |   265132 |    12176     49 |        0 |        0
1294.77/1295.17	c 1285s |      17 |   293900 |   265532 |    12176     49 |        0 |        0
1296.87/1297.22	c 1287s |      17 |   294346 |   265932 |    12176     50 |        0 |        0
1299.07/1299.41	c 1289s |      17 |   294896 |   266432 |    12176     50 |        0 |        0
1301.36/1301.77	c 1292s |      17 |   295426 |   266932 |    12176     50 |        0 |        0
1303.56/1303.97	c 1294s |      17 |   295989 |   267432 |    12176     50 |        0 |        0
1305.66/1306.05	c 1296s |      17 |   296440 |   267832 |    12176     50 |        0 |        0
1308.16/1308.56	c 1298s |      17 |   296993 |   268332 |    12176     50 |        0 |        0
1310.16/1310.56	c 1300s |      17 |   297433 |   268732 |    12176     50 |        0 |        0
1312.36/1312.71	c 1303s |      17 |   297873 |   269132 |    12176     50 |        0 |        0
1315.06/1315.48	c 1305s |      17 |   298322 |   269532 |    12176     50 |        0 |        0
1317.56/1317.92	c 1308s |      17 |   298876 |   270032 |    12176     50 |        0 |        0
1319.76/1320.12	c 1310s |      17 |   299338 |   270432 |    12176     50 |        0 |        0
1321.76/1322.18	c 1312s |      17 |   299796 |   270832 |    12176     50 |        0 |        0
1324.06/1324.44	c 1314s |      17 |   300249 |   271232 |    12176     50 |        0 |        0
1326.26/1326.64	c 1316s |      17 |   300698 |   271632 |    12176     50 |        0 |        0
1328.56/1328.91	c 1319s |      17 |   301148 |   272032 |    12176     50 |        0 |        0
1330.95/1331.33	c 1321s |      17 |   301607 |   272432 |    12176     51 |        0 |        0
1333.15/1333.50	c 1323s |      17 |   302059 |   272832 |    12176     51 |        0 |        0
1335.66/1336.08	c 1326s |      17 |   302513 |   273232 |    12176     51 |        0 |        0
1337.96/1338.38	c 1328s |      17 |   302938 |   273632 |    12176     51 |        0 |        0
1340.16/1340.51	c 1330s |      17 |   303380 |   274032 |    12176     51 |        0 |        0
1342.66/1343.01	c 1333s |      17 |   303922 |   274532 |    12176     51 |        0 |        0
1345.36/1345.70	c 1336s |      17 |   304358 |   274932 |    12176     51 |        0 |        0
1347.36/1347.72	c 1338s |      17 |   304679 |   275232 |    12176     51 |        0 |        0
1349.86/1350.21	c 1340s |      17 |   305097 |   275632 |    12176     51 |        0 |        0
1351.86/1352.29	c 1342s |      17 |   305432 |   275932 |    12176     51 |        0 |        0
1353.96/1354.34	c 1344s |      17 |   305756 |   276232 |    12176     51 |        0 |        0
1356.56/1356.98	c 1347s |      17 |   306185 |   276632 |    12176     51 |        0 |        0
1359.16/1359.54	c 1349s |      17 |   306638 |   277032 |    12176     51 |        0 |        0
1361.36/1361.75	c 1352s |      17 |   306955 |   277332 |    12176     51 |        0 |        0
1363.46/1363.84	c 1354s |      17 |   307289 |   277632 |    12176     51 |        0 |        0
1365.76/1366.17	c 1356s |      17 |   307736 |   278032 |    12176     51 |        0 |        0
1368.06/1368.49	c 1358s |      17 |   308177 |   278432 |    12176     51 |        0 |        0
1370.55/1370.95	c 1361s |      17 |   308644 |   278832 |    12176     51 |        0 |        0
1372.75/1373.19	c 1363s |      17 |   309092 |   279232 |    12176     51 |        0 |        0
1375.25/1375.67	c 1366s |      17 |   309537 |   279632 |    12176     52 |        0 |        0
1377.55/1377.94	c 1368s |      17 |   309961 |   280032 |    12176     52 |        0 |        0
1380.05/1380.47	c 1370s |      17 |   310398 |   280432 |    12176     52 |        0 |        0
1382.36/1382.80	c 1373s |      17 |   310846 |   280832 |    12176     52 |        0 |        0
1384.75/1385.10	c 1375s |      17 |   311273 |   281232 |    12176     52 |        0 |        0
1387.05/1387.45	c 1377s |      17 |   311712 |   281632 |    12176     52 |        0 |        0
1389.15/1389.56	c 1379s |      17 |   312147 |   282032 |    12176     52 |        0 |        0
1391.35/1391.78	c 1382s |      17 |   312591 |   282432 |    12176     52 |        0 |        0
1393.65/1394.04	c 1384s |      17 |   313023 |   282832 |    12176     52 |        0 |        0
1395.66/1396.09	c 1386s |      17 |   313347 |   283132 |    12176     52 |        0 |        0
1397.86/1398.27	c 1388s |      17 |   313689 |   283432 |    12176     52 |        0 |        0
1400.06/1400.41	c 1390s |      17 |   314017 |   283732 |    12176     52 |        0 |        0
1402.35/1402.70	c 1393s |      17 |   314350 |   284032 |    12176     52 |        0 |        0
1404.55/1404.93	c 1395s |      17 |   314684 |   284332 |    12176     52 |        0 |        0
1407.05/1407.45	c 1397s |      17 |   314997 |   284632 |    12176     52 |        0 |        0
1409.25/1409.64	c 1399s |      17 |   315325 |   284932 |    12176     52 |        0 |        0
1411.55/1411.99	c 1402s |      17 |   315646 |   285232 |    12176     52 |        0 |        0
1413.95/1414.39	c 1404s |      17 |   315966 |   285532 |    12176     52 |        0 |        0
1416.35/1416.73	c 1407s |      17 |   316284 |   285832 |    12176     52 |        0 |        0
1418.55/1418.91	c 1409s |      17 |   316611 |   286132 |    12176     52 |        0 |        0
1421.15/1421.53	c 1411s |      17 |   316932 |   286432 |    12176     53 |        0 |        0
1423.44/1423.83	c 1414s |      17 |   317256 |   286732 |    12176     53 |        0 |        0
1425.74/1426.11	c 1416s |      17 |   317709 |   287132 |    12176     53 |        0 |        0
1428.14/1428.51	c 1418s |      17 |   318042 |   287432 |    12176     53 |        0 |        0
1430.24/1430.69	c 1421s |      17 |   318391 |   287732 |    12176     53 |        0 |        0
1432.84/1433.28	c 1423s |      17 |   318849 |   288132 |    12176     53 |        0 |        0
1435.64/1436.07	c 1426s |      17 |   319299 |   288532 |    12176     53 |        0 |        0
1438.34/1438.71	c 1429s |      17 |   319730 |   288932 |    12176     53 |        0 |        0
1440.65/1441.08	c 1431s |      17 |   320156 |   289332 |    12176     53 |        0 |        0
1443.04/1443.46	c 1433s |      17 |   320580 |   289732 |    12176     53 |        0 |        0
1445.34/1445.71	c 1436s |      17 |   321023 |   290132 |    12176     53 |        0 |        0
1447.64/1448.01	c 1438s |      17 |   321463 |   290532 |    12176     53 |        0 |        0
1449.94/1450.35	c 1440s |      17 |   321896 |   290932 |    12176     53 |        0 |        0
1452.24/1452.62	c 1442s |      17 |   322314 |   291332 |    12176     53 |        0 |        0
1454.54/1454.97	c 1445s |      17 |   322760 |   291732 |    12176     53 |        0 |        0
1457.74/1458.19	c 1448s |      17 |   323212 |   292132 |    13394     54 |        0 |        0
1459.84/1460.28	c 1450s |      17 |   323538 |   292432 |    13394     54 |        0 |        0
1462.24/1462.62	c 1452s |      17 |   323873 |   292732 |    13394     54 |        0 |        0
1464.44/1464.89	c 1455s |      17 |   324205 |   293032 |    13394     54 |        0 |        0
1466.94/1467.40	c 1457s |      17 |   324658 |   293432 |    13394     54 |        0 |        0
1469.04/1469.43	c 1459s |      17 |   325002 |   293732 |    13394     54 |        0 |        0
1471.54/1471.96	c 1462s |      17 |   325438 |   294132 |    13394     54 |        0 |        0
1474.13/1474.51	c 1464s |      17 |   325888 |   294532 |    13394     54 |        0 |        0
1476.73/1477.19	c 1467s |      17 |   326325 |   294932 |    13394     54 |        0 |        0
1478.93/1479.33	c 1469s |      17 |   326665 |   295232 |    13394     54 |        0 |        0
1480.93/1481.35	c 1471s |      17 |   326988 |   295532 |    13394     54 |        0 |        0
1483.23/1483.62	c 1473s |      17 |   327337 |   295832 |    13394     54 |        0 |        0
1485.84/1486.22	c 1476s |      17 |   327775 |   296232 |    13394     54 |        0 |        0
1485.93/1486.39	c 1476s |      18 |   327790 |   296252 |    13394     54 |        0 |        0
1488.04/1488.45	c 1478s |      18 |   328284 |   296652 |    13394     54 |        0 |        0
1490.33/1490.79	c 1481s |      18 |   328849 |   297152 |    13394     54 |        0 |        0
1492.73/1493.15	c 1483s |      18 |   329417 |   297652 |    13394     54 |        0 |        0
1495.03/1495.42	c 1485s |      18 |   329866 |   298052 |    13394     54 |        0 |        0
1497.33/1497.70	c 1488s |      18 |   330296 |   298452 |    13394     54 |        0 |        0
1499.63/1500.08	c 1490s |      18 |   330718 |   298852 |    13394     54 |        0 |        0
1501.83/1502.24	c 1492s |      18 |   331136 |   299252 |    13394     54 |        0 |        0
1504.23/1504.62	c 1494s |      18 |   331585 |   299652 |    13394     55 |        0 |        0
1506.23/1506.63	c 1496s |      18 |   331917 |   299952 |    13394     55 |        0 |        0
1508.83/1509.21	c 1499s |      18 |   332353 |   300352 |    13394     55 |        0 |        0
1510.83/1511.24	c 1501s |      18 |   332695 |   300652 |    13394     55 |        0 |        0
1513.03/1513.46	c 1503s |      18 |   333012 |   300952 |    13394     55 |        0 |        0
1515.32/1515.79	c 1506s |      18 |   333464 |   301352 |    13394     55 |        0 |        0
1517.63/1518.03	c 1508s |      18 |   333904 |   301752 |    13394     55 |        0 |        0
1519.72/1520.13	c 1510s |      18 |   334337 |   302152 |    13394     55 |        0 |        0
1521.72/1522.16	c 1512s |      18 |   334782 |   302552 |    13394     55 |        0 |        0
1523.92/1524.31	c 1514s |      18 |   335245 |   302952 |    13394     55 |        0 |        0
1526.02/1526.43	c 1516s |      18 |   335696 |   303352 |    13394     55 |        0 |        0
1528.12/1528.55	c 1518s |      18 |   336140 |   303752 |    13394     55 |        0 |        0
1530.12/1530.59	c 1520s |      18 |   336576 |   304152 |    13394     55 |        0 |        0
1532.32/1532.76	c 1523s |      18 |   337037 |   304552 |    13394     55 |        0 |        0
1534.32/1534.78	c 1525s |      18 |   337486 |   304952 |    13394     55 |        0 |        0
1536.92/1537.31	c 1527s |      18 |   337948 |   305352 |    13394     55 |        0 |        0
1539.12/1539.55	c 1529s |      18 |   338402 |   305752 |    13394     55 |        0 |        0
1541.42/1541.86	c 1532s |      18 |   338873 |   306152 |    13394     56 |        0 |        0
1543.73/1544.12	c 1534s |      18 |   339369 |   306552 |    13394     56 |        0 |        0
1546.13/1546.57	c 1536s |      18 |   339952 |   307052 |    13394     56 |        0 |        0
1548.32/1548.76	c 1539s |      18 |   340393 |   307452 |    13394     56 |        0 |        0
1550.52/1550.97	c 1541s |      18 |   340829 |   307852 |    13394     56 |        0 |        0
1553.02/1553.47	c 1543s |      18 |   341260 |   308252 |    13394     56 |        0 |        0
1555.13/1555.55	c 1545s |      18 |   341709 |   308652 |    13394     56 |        0 |        0
1557.42/1557.83	c 1548s |      18 |   342253 |   309152 |    13394     56 |        0 |        0
1559.62/1560.03	c 1550s |      18 |   342696 |   309552 |    13394     56 |        0 |        0
1561.82/1562.24	c 1552s |      18 |   343132 |   309952 |    13394     56 |        0 |        0
1563.83/1564.29	c 1554s |      18 |   343453 |   310252 |    13394     56 |        0 |        0
1566.32/1566.75	c 1557s |      18 |   343901 |   310652 |    13394     56 |        0 |        0
1568.42/1568.85	c 1559s |      18 |   344330 |   311052 |    13394     56 |        0 |        0
1570.62/1571.05	c 1561s |      18 |   344764 |   311452 |    13394     56 |        0 |        0
1572.92/1573.34	c 1563s |      18 |   345197 |   311852 |    13394     56 |        0 |        0
1575.22/1575.65	c 1565s |      18 |   345642 |   312252 |    13394     56 |        0 |        0
1577.92/1578.32	c 1568s |      18 |   346073 |   312652 |    13394     56 |        0 |        0
1580.12/1580.53	c 1570s |      18 |   346410 |   312952 |    13394     56 |        0 |        0
1582.42/1582.87	c 1573s |      18 |   346840 |   313352 |    13394     57 |        0 |        0
1584.83/1585.23	c 1575s |      18 |   347296 |   313752 |    13394     57 |        0 |        0
1586.93/1587.35	c 1577s |      18 |   347614 |   314052 |    13394     57 |        0 |        0
1589.22/1589.64	c 1579s |      18 |   347948 |   314352 |    13394     57 |        0 |        0
1591.72/1592.14	c 1582s |      18 |   348378 |   314752 |    13394     57 |        0 |        0
1593.82/1594.21	c 1584s |      18 |   348714 |   315052 |    13394     57 |        0 |        0
1595.82/1596.26	c 1586s |      18 |   349041 |   315352 |    13394     57 |        0 |        0
1598.31/1598.78	c 1589s |      18 |   349495 |   315752 |    13394     57 |        0 |        0
1600.81/1601.23	c 1591s |      18 |   349820 |   316052 |    13394     57 |        0 |        0
1602.91/1603.38	c 1593s |      18 |   350128 |   316352 |    13394     57 |        0 |        0
1605.11/1605.55	c 1595s |      18 |   350444 |   316652 |    13394     57 |        0 |        0
1607.21/1607.60	c 1597s |      18 |   350777 |   316952 |    13394     57 |        0 |        0
1609.81/1610.24	c 1600s |      18 |   351090 |   317252 |    13394     57 |        0 |        0
1612.01/1612.46	c 1602s |      18 |   351414 |   317552 |    13394     57 |        0 |        0
1614.42/1614.83	c 1605s |      18 |   351830 |   317952 |    13394     57 |        0 |        0
1616.72/1617.16	c 1607s |      18 |   352252 |   318352 |    13394     57 |        0 |        0
1619.21/1619.62	c 1609s |      18 |   352681 |   318752 |    13394     57 |        0 |        0
1621.21/1621.66	c 1612s |      18 |   352999 |   319052 |    13394     57 |        0 |        0
1623.32/1623.72	c 1614s |      18 |   353341 |   319352 |    13394     57 |        0 |        0
1626.21/1626.61	c 1616s |      18 |   353812 |   319752 |    13394     57 |        0 |        0
1628.41/1628.88	c 1619s |      18 |   354264 |   320152 |    13394     57 |        0 |        0
1631.51/1631.90	c 1622s |      18 |   354711 |   320552 |    13394     58 |        0 |        0
1633.51/1633.90	c 1624s |      18 |   355144 |   320952 |    13394     58 |        0 |        0
1635.91/1636.32	c 1626s |      18 |   355573 |   321352 |    13394     58 |        0 |        0
1638.31/1638.76	c 1629s |      18 |   356005 |   321752 |    13394     58 |        0 |        0
1640.92/1641.38	c 1631s |      18 |   356450 |   322152 |    13394     58 |        0 |        0
1643.61/1644.06	c 1634s |      18 |   356867 |   322552 |    13394     58 |        0 |        0
1645.71/1646.19	c 1636s |      18 |   357214 |   322852 |    13394     58 |        0 |        0
1648.31/1648.71	c 1639s |      18 |   357691 |   323252 |    13394     58 |        0 |        0
1650.61/1651.08	c 1641s |      18 |   358180 |   323652 |    13394     58 |        0 |        0
1653.21/1653.63	c 1643s |      18 |   358612 |   324052 |    13394     58 |        0 |        0
1655.71/1656.10	c 1646s |      18 |   359069 |   324452 |    13394     58 |        0 |        0
1658.01/1658.41	c 1648s |      18 |   359403 |   324752 |    13394     58 |        0 |        0
1660.41/1660.87	c 1651s |      18 |   359735 |   325052 |    13394     58 |        0 |        0
1662.71/1663.12	c 1653s |      18 |   360078 |   325352 |    13394     58 |        0 |        0
1664.91/1665.40	c 1655s |      18 |   360429 |   325652 |    13394     58 |        0 |        0
1667.01/1667.46	c 1657s |      18 |   360780 |   325952 |    13394     58 |        0 |        0
1669.31/1669.73	c 1660s |      18 |   361113 |   326252 |    13394     58 |        0 |        0
1671.71/1672.18	c 1662s |      18 |   361443 |   326552 |    13394     58 |        0 |        0
1673.70/1674.18	c 1664s |      18 |   361787 |   326852 |    13394     58 |        0 |        0
1676.01/1676.46	c 1666s |      18 |   362252 |   327252 |    13394     59 |        0 |        0
1678.10/1678.53	c 1668s |      18 |   362830 |   327752 |    13394     59 |        0 |        0
1680.30/1680.73	c 1671s |      18 |   363408 |   328252 |    13394     59 |        0 |        0
1682.71/1683.13	c 1673s |      18 |   364126 |   328852 |    13394     59 |        0 |        0
1685.00/1685.49	c 1675s |      18 |   364680 |   329352 |    13394     59 |        0 |        0
1687.10/1687.51	c 1677s |      18 |   365122 |   329752 |    13394     59 |        0 |        0
1689.50/1689.98	c 1680s |      18 |   365687 |   330252 |    13394     59 |        0 |        0
1691.90/1692.35	c 1682s |      18 |   366300 |   330752 |    13394     59 |        0 |        0
1694.30/1694.70	c 1685s |      18 |   366831 |   331252 |    13394     59 |        0 |        0
1696.60/1697.07	c 1687s |      18 |   367388 |   331752 |    13394     59 |        0 |        0
1698.79/1699.28	c 1689s |      18 |   367935 |   332252 |    13394     59 |        0 |        0
1701.09/1701.59	c 1691s |      18 |   368601 |   332852 |    13394     59 |        0 |        0
1703.39/1703.83	c 1694s |      18 |   369274 |   333452 |    13394     59 |        0 |        0
1705.59/1706.09	c 1696s |      18 |   369916 |   334052 |    13394     59 |        0 |        0
1708.10/1708.54	c 1698s |      18 |   370559 |   334652 |    13394     60 |        0 |        0
1710.11/1710.55	c 1700s |      18 |   371098 |   335152 |    13394     60 |        0 |        0
1712.60/1713.08	c 1703s |      18 |   371635 |   335652 |    13394     60 |        0 |        0
1715.00/1715.49	c 1705s |      18 |   372201 |   336152 |    13394     60 |        0 |        0
1717.10/1717.52	c 1707s |      18 |   372765 |   336652 |    13394     60 |        0 |        0
1719.20/1719.67	c 1710s |      18 |   373318 |   337152 |    13394     60 |        0 |        0
1721.30/1721.76	c 1712s |      18 |   373850 |   337652 |    13394     60 |        0 |        0
1723.80/1724.25	c 1714s |      18 |   374395 |   338152 |    13394     60 |        0 |        0
1725.90/1726.37	c 1716s |      18 |   374826 |   338552 |    13394     60 |        0 |        0
1728.10/1728.58	c 1718s |      18 |   375365 |   339052 |    13394     60 |        0 |        0
1730.20/1730.67	c 1721s |      18 |   375797 |   339452 |    13394     60 |        0 |        0
1732.30/1732.72	c 1723s |      18 |   376252 |   339852 |    13394     60 |        0 |        0
1734.30/1734.79	c 1725s |      18 |   376678 |   340252 |    13394     60 |        0 |        0
1736.40/1736.83	c 1727s |      18 |   377116 |   340652 |    13394     60 |        0 |        0
1738.70/1739.13	c 1729s |      18 |   377785 |   341252 |    13394     60 |        0 |        0
1740.90/1741.34	c 1731s |      18 |   378367 |   341752 |    13394     61 |        0 |        0
1743.20/1743.62	c 1733s |      18 |   379016 |   342352 |    13394     61 |        0 |        0
1745.40/1745.88	c 1736s |      18 |   379576 |   342852 |    13394     61 |        0 |        0
1747.79/1748.20	c 1738s |      18 |   380133 |   343352 |    13394     61 |        0 |        0
1749.89/1750.35	c 1740s |      18 |   380620 |   343752 |    13394     61 |        0 |        0
1752.09/1752.54	c 1742s |      18 |   381100 |   344152 |    13394     61 |        0 |        0
1754.59/1755.02	c 1745s |      18 |   381667 |   344652 |    13394     61 |        0 |        0
1756.59/1757.03	c 1747s |      18 |   382114 |   345052 |    13394     61 |        0 |        0
1758.99/1759.46	c 1749s |      18 |   382668 |   345552 |    13394     61 |        0 |        0
1761.19/1761.60	c 1751s |      18 |   383113 |   345952 |    13394     61 |        0 |        0
1763.29/1763.80	c 1754s |      18 |   383557 |   346352 |    13394     61 |        0 |        0
1765.69/1766.14	c 1756s |      18 |   384119 |   346852 |    13394     61 |        0 |        0
1767.89/1768.32	c 1758s |      18 |   384551 |   347252 |    13394     61 |        0 |        0
1769.89/1770.36	c 1760s |      18 |   384985 |   347652 |    13394     61 |        0 |        0
1771.99/1772.45	c 1762s |      18 |   385409 |   348052 |    13394     61 |        0 |        0
1774.19/1774.68	c 1765s |      18 |   385844 |   348452 |    13394     62 |        0 |        0
1776.89/1777.36	c 1767s |      18 |   386395 |   348952 |    13394     62 |        0 |        0
1779.19/1779.66	c 1770s |      18 |   386936 |   349452 |    13394     62 |        0 |        0
1781.49/1781.93	c 1772s |      18 |   387478 |   349952 |    13394     62 |        0 |        0
1783.79/1784.23	c 1774s |      18 |   388043 |   350452 |    13394     62 |        0 |        0
1785.79/1786.30	c 1776s |      18 |   388469 |   350852 |    13394     62 |        0 |        0
1787.99/1788.43	c 1778s |      18 |   388906 |   351252 |    13394     62 |        0 |        0
1789.99/1790.46	c 1780s |      18 |   389342 |   351652 |    13394     62 |        0 |        0
1792.29/1792.78	c 1783s |      18 |   389781 |   352052 |    13394     62 |        0 |        0
1794.28/1794.79	c 1785s |      18 |   390228 |   352452 |    13394     62 |        0 |        0
1796.38/1796.87	c 1787s |      18 |   390772 |   352952 |    13394     62 |        0 |        0
1798.58/1799.03	c 1789s |      18 |   391213 |   353352 |    13394     62 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079675-1465241952/watcher-4079675-1465241952 -o /tmp/evaluation-result-4079675-1465241952/solver-4079675-1465241952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079675-1465241952.opb 

pid=11469
running on 4 cores: 1,3,5,7

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.04 2.03 2.03 3/179 11472
/proc/meminfo: memFree=30561592/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 2836 0 0 0 0 0 0 0 20 0 4 0 106128623 776400896 2685 33554432000 4194304 16246674 140735313663616 140735313663040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 190063 2694 441 2943 0 186957 0
[pid=11472/tid=11473] ppid=11469 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 794226688 2756 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 798420992 2772 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106128623 802615296 2788 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 11472
/proc/meminfo: memFree=30561592/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 30910 0 0 0 5 4 0 0 20 0 4 0 106128623 1249447936 30698 33554432000 4194304 16246674 140735313663616 140735313662928 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 305041 30714 800 2943 0 301935 0
[pid=11472/tid=11473] ppid=11469 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1249447936 30725 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1249447936 30737 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1249447936 30748 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200544 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 11472
/proc/meminfo: memFree=30561592/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1308228 CPUtime=0.19 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 52309 0 0 0 12 7 0 0 20 0 4 0 106128623 1339625472 52607 33554432000 4194304 16246674 140735313663616 140735313662928 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 327057 52611 800 2943 0 323951 0
[pid=11472/tid=11473] ppid=11469 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1339625472 52613 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1339625472 52616 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1339625472 52617 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300489 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 11472
/proc/meminfo: memFree=30561592/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 64511 0 0 0 20 9 0 0 20 0 4 0 106128623 1344868352 64810 33554432000 4194304 16246674 140735313663616 140735313662928 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 328337 64822 833 2943 0 325231 0
[pid=11472/tid=11473] ppid=11469 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1344868352 64830 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1344868352 64837 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1344868352 64842 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700425 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 11472
/proc/meminfo: memFree=30561592/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 157517 0 0 0 49 20 0 0 20 0 4 0 106128623 1344868352 157816 33554432000 4194304 16246674 140735313663616 140735313645504 6759520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 328337 157825 833 2943 0 325231 0
[pid=11472/tid=11473] ppid=11469 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1344868352 157834 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1344868352 157839 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1344868352 157844 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.04 2.03 2.03 3/183 11476
/proc/meminfo: memFree=29888672/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1345092 CPUtime=1.48 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 168256 0 0 0 127 21 0 0 20 0 4 0 106128623 1377374208 168554 33554432000 4194304 16246674 140735313663616 140735313645504 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 336273 168554 886 2943 0 333167 0
[pid=11472/tid=11473] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 168554 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 168554 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 168554 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1345092

[startup+3.10042 s]
/proc/loadavg: 2.04 2.03 2.03 3/183 11476
/proc/meminfo: memFree=29888192/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1345092 CPUtime=3.09 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 175698 0 0 0 287 22 0 0 20 0 4 0 106128623 1377374208 175996 33554432000 4194304 16246674 140735313663616 140735313645504 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 336273 175999 886 2943 0 333167 0
[pid=11472/tid=11473] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 176000 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 176002 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 176004 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1345092

[startup+6.30041 s]
/proc/loadavg: 2.04 2.03 2.03 3/183 11476
/proc/meminfo: memFree=29453328/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1345092 CPUtime=6.28 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 276973 0 0 0 590 38 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140735313646616 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 336273 277271 910 2943 0 333167 0
[pid=11472/tid=11473] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1345092

[startup+12.7004 s]
/proc/loadavg: 2.11 2.04 2.04 3/183 11476
/proc/meminfo: memFree=29453356/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1345092 CPUtime=12.68 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 276973 0 0 0 1230 38 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140735313645504 5825188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 336273 277271 910 2943 0 333167 0
[pid=11472/tid=11473] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277271 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1345092

[startup+25.5005 s]
/proc/loadavg: 2.09 2.04 2.03 3/183 11476
/proc/meminfo: memFree=29453476/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1345092 CPUtime=25.48 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 276978 0 0 0 2510 38 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140735313645504 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 336273 277276 915 2943 0 333167 0
[pid=11472/tid=11473] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1345092

[startup+51.1005 s]
/proc/loadavg: 2.12 2.05 2.04 3/184 11479
/proc/meminfo: memFree=29453236/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1345092 CPUtime=51.07 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 276978 0 0 0 5069 38 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140735313645504 13774432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 336273 277276 915 2943 0 333167 0
[pid=11472/tid=11473] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277276 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1345092

[startup+102.301 s]
/proc/loadavg: 2.08 2.06 2.04 3/184 11481
/proc/meminfo: memFree=29453732/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1345092 CPUtime=102.27 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 276979 0 0 0 10189 38 0 0 20 0 4 0 106128623 1377374208 277277 33554432000 4194304 16246674 140735313663616 140735313645504 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 336273 277277 915 2943 0 333167 0
[pid=11472/tid=11473] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277277 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277277 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1377374208 277277 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1345092


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

/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1362500

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 11583
/proc/meminfo: memFree=29446212/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1361.96 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281554 0 0 0 136149 47 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1362500

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 11584
/proc/meminfo: memFree=29444428/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1421.95 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 142148 47 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1362500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11585
/proc/meminfo: memFree=29443868/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1481.93 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 148146 47 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1362500

[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 11586
/proc/meminfo: memFree=29444516/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1541.92 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 154145 47 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1362500

[startup+1602.3 s]
/proc/loadavg: 2.19 2.07 2.01 3/183 11588
/proc/meminfo: memFree=29444732/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1601.91 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 160143 48 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1362500

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 11589
/proc/meminfo: memFree=29443628/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1661.91 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 166142 49 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 13774516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1362500

[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 11590
/proc/meminfo: memFree=29443532/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1721.9 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 172140 50 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 5601651 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1362500

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 11591
/proc/meminfo: memFree=29442932/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1781.89 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 178139 50 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 5824476 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1362500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 11591
/proc/meminfo: memFree=29443668/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1800.08 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 179958 50 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1362500

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 11591
/proc/meminfo: memFree=29443668/32872528 swapFree=11196/354588
[pid=11472] ppid=11469 vsize=1362500 CPUtime=1800.08 cores=1,3,5,7
/proc/11472/stat : 11472 (toysat) R 11469 11472 8429 0 -1 4202496 281556 0 0 0 179958 50 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140735313645504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11472/statm: 340625 281887 917 2943 0 337519 0
[pid=11472/tid=11473] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11473/stat : 11473 (toysat) S 11469 11472 8429 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572644846832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11472/tid=11474] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11474/stat : 11474 (toysat) S 11469 11472 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572634356976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11472/tid=11475] ppid=11469 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/11472/task/11475/stat : 11475 (toysat) S 11469 11472 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106128623 1395200000 281887 33554432000 4194304 16246674 140735313663616 140572623883440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1362500

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.59
CPU system time (s): 0.506922
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 1362500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.506922
maximum resident set size= 1127548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281556
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= 239
involuntary context switches= 1886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03723 second user time and 6.67098 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 21:39:12
IDJOB=4079675
IDBENCH=2640
IDSOLVER=2542
FILE ID=node126/4079675-1465241952
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079675-1465241952/watcher-4079675-1465241952 -o /tmp/evaluation-result-4079675-1465241952/solver-4079675-1465241952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079675-1465241952.opb

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

MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4
RANDOM SEED=883282919

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30562236 kB
Buffers:           41792 kB
Cached:           126040 kB
SwapCached:         2248 kB
Active:          1167352 kB
Inactive:          87860 kB
Active(anon):    1087356 kB
Inactive(anon):     2384 kB
Active(file):      79996 kB
Inactive(file):    85476 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:             17472 kB
Writeback:             0 kB
AnonPages:       1415892 kB
Mapped:            10296 kB
Shmem:                 0 kB
Slab:             567620 kB
SReclaimable:      11888 kB
SUnreclaim:       555732 kB
KernelStack:        1520 kB
PageTables:         6968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1585060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node126 at 2016-06-06 22:09:12