Trace number 4103441

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-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb
MD5SUM793a421e66649b71c1e582af22e89954
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark258048
Best CPU time to get the best result obtained on this benchmark713.693
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 589824
Optimality of the best value was proved NO
Number of variables142226
Total number of constraints20881
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 780
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1074509823
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147731454
Number of bits of the biggest sum of numbers32
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-18T10:05:08+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-4103441-1466237108.opb"]
0.00/0.01	c use --random-gen="3005286809 2099562606 2875923176 2422792037 578680499 1958323289 496869302 3899618175 4111794297 2084658430 2981074911 4102894732 4064515937 17973088 1020115972 1888619559 4042015566 1693444523 1997021343 252291928 4044728020 2185330012 3786085213 3381737542 4051319157 1712645213 917355780 3130910739 2433050617 1021356992 439653794 3998115467 3956175054 1115062034 1577684259 479070628 554758182 1073538369 1815215266 611090040 2281596595 3608482270 3059397887 1300554883 1312906098 97001666 521751592 931526247 198177279 1495300945 394835117 3860840808 864885688 3009953691 2010284109 337659434 1154842094 2435642747 2952361556 3466206580 4240903613 2383284639 1400302019 3214109802 602948313 3064872568 2705107906 1943794515 2094737893 1691412638 3076828565 1245716354 2619232211 2738957726 4155164029 985644057 489523713 81281310 1005157609 1061976024 1484023764 2070624100 3126736481 3331139197 1732974606 2721497869 1077611292 3972268009 2419791074 149704512 660007719 2822520608 3371108973 744451767 1353857364 4292018154 2374700666 115384110 3000203799 460547817 2246695068 1371321902 4112255860 3604122036 2831500032 1014648339 3715879013 3461666360 1971467726 2565869519 418195492 3785471880 1069854369 1016487585 1279331613 1379928980 802762686 3449929478 1979494048 2047344248 2306316545 3976582074 3942188363 2298321698 3858631201 4095016694 2482794608 1017400478 2468899165 2615072744 72728752 3761141882 805099555 1642002199 4118942186 2919188239 4206828910 3075608876 2358372115 3866404689 1160443443 3746623492 2859118782 456694733 3756460798 3626649867 2702429893 2008770497 2420226897 79975877 430248141 1478377910 91395415 1388969397 3648094593 1665054328 1517516734 2956114229 3341060117 3121365303 1242637808 2485670940 2380251431 2693676547 187625780 2152233628 326969795 913045171 1690666742 2361388947 3084665284 554420169 1029079011 2880302981 1361458831 1102266044 2298152189 851921236 3570036740 2872286204 2044071257 228661216 953604675 2100752561 802806200 2996880839 2143320751 1177385351 1981417586 2857934514 1324262671 878949264 4193567594 1049587063 1161181629 4251897227 2133932974 3404784984 648235075 803469835 3009194245 2415731814 373917600 1091188423 2682034643 2134628741 2970816834 3641051729 1590206508 3491857714 3993216486 713513618 2695027289 3475824601 4288024534 1788665841 4266624786 1358718985 3886553717 810802948 3386738393 1299454094 537907344 4006778586 3081492448 3956228397 3084214059 3380989981 1241537070 2773432455 1404202247 2588595043 241775198 1529241506 2916897569 2589505688 815096102 2550871649 1475666881 3591841169 349702064 861125356 3984554342 549819014 1812424904 1321144684 2381899417 911337086 538511879 3710200980 2318681180 3444433367 3263984892 3120085141 3711946298 2095154859 255 362436" option to reproduce the execution
1.89/1.92	c #vars 142226
1.89/1.92	c #constraints 20881
84.78/84.82	c BCD2: Hardening is enabled.
84.78/84.82	c BCD2: BiasedSearch is enabled.
84.78/84.82	c Solving starts ...
84.78/84.82	c ============================[ Search Statistics ]============================
84.78/84.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
84.78/84.82	c       |         |          |          |    Limit     GC | Var      | Constra 
84.78/84.82	c =============================================================================
84.78/84.83	c  0.0s |       0 |        0 |        0 |    54369      0 |       30 |        0
85.08/85.18	c  0.4s |       1 |      189 |      100 |    54369      0 |       30 |        2
85.58/85.61	c  0.8s |       2 |      558 |      250 |    59806      0 |       30 |        2
87.97/88.07	c  3.2s |       2 |    65194 |      350 |    65787      0 |       30 |        2
100.17/100.22	c 15.4s |       2 |   845770 |      450 |    65787      0 |       30 |        2
102.77/102.88	c 18.1s |       3 |  1029043 |      475 |    65787      0 |       30 |        2
116.37/116.43	c 31.6s |       3 |  1623208 |      575 |    72366      0 |       30 |        2
119.47/119.59	c 34.8s |       3 |  1786902 |      601 |    72366      0 |       30 |        2
119.47/119.59	c #cpu_time = 34.379s
119.47/119.59	c #wall_clock_time = 34.468s
119.47/119.59	c #decision = 1786902
119.47/119.59	c #random_decision = 4192
119.47/119.59	c #conflict = 601
119.47/119.59	c #restart = 3
119.47/119.59	o 564224
120.08/120.15	c BCD2: hardening fixes 9 literals
120.08/120.15	c BCD2: updating upper bound: 1074509823 -> 1332223
120.08/120.15	c BCD2: 0 <= obj <= 1332223
120.08/120.15	c BCD2: #cores=0, #unrelaxed=771, #relaxed=0, #hardened=9
120.08/120.15	c BCD2: #sat=1 #unsat=1 bias=1/2
120.08/120.15	c Solving starts ...
120.08/120.15	c ============================[ Search Statistics ]============================
120.08/120.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
120.08/120.15	c       |         |          |          |    Limit     GC | Var      | Constra 
120.08/120.15	c =============================================================================
120.08/120.15	c  0.0s |       0 |        0 |        0 |    72366      0 |       30 |        2
120.18/120.27	c  0.1s |       0 |        0 |        0 |    72366      0 |       30 |        2
120.18/120.27	c #cpu_time = 0.117s
120.18/120.27	c #wall_clock_time = 0.117s
120.18/120.27	c #decision = 0
120.18/120.27	c #random_decision = 0
120.18/120.27	c #conflict = 0
120.18/120.27	c #restart = 0
120.18/120.27	c BCD2: found a new core of size 1: cost of the new core is >=524288
120.18/120.27	c lower bound updated to -243712
120.57/120.69	c BCD2: hardening fixes 1 literals
120.57/120.69	c BCD2: 524288 <= obj <= 1332223
120.57/120.69	c BCD2: #cores=1, #unrelaxed=769, #relaxed=1, #hardened=10
120.57/120.69	c BCD2: #sat=1 #unsat=2 bias=2/3
120.57/120.69	c Solving starts ...
120.67/120.70	c ============================[ Search Statistics ]============================
120.67/120.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
120.67/120.70	c       |         |          |          |    Limit     GC | Var      | Constra 
120.67/120.70	c =============================================================================
120.67/120.70	c  0.0s |       0 |        0 |        0 |    72366      0 |       30 |        2
120.77/120.81	c  0.1s |       0 |        1 |        0 |    72366      0 |       30 |        2
120.77/120.81	c #cpu_time = 0.117s
120.77/120.81	c #wall_clock_time = 0.117s
120.77/120.81	c #decision = 1
120.77/120.81	c #random_decision = 0
120.77/120.81	c #conflict = 0
120.77/120.81	c #restart = 0
120.77/120.81	c BCD2: found a new core of size 1: cost of the new core is >=262144
120.77/120.81	c lower bound updated to 18432
121.18/121.23	c BCD2: 786432 <= obj <= 1332223
121.18/121.23	c BCD2: #cores=2, #unrelaxed=768, #relaxed=2, #hardened=10
121.18/121.23	c BCD2: #sat=1 #unsat=3 bias=3/4
121.18/121.23	c Solving starts ...
121.18/121.23	c ============================[ Search Statistics ]============================
121.18/121.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
121.18/121.23	c       |         |          |          |    Limit     GC | Var      | Constra 
121.18/121.23	c =============================================================================
121.18/121.23	c  0.0s |       0 |        0 |        0 |    72366      0 |       30 |        2
121.28/121.35	c  0.1s |       0 |        2 |        0 |    72366      0 |       30 |        2
121.28/121.35	c #cpu_time = 0.117s
121.28/121.35	c #wall_clock_time = 0.117s
121.28/121.35	c #decision = 2
121.28/121.35	c #random_decision = 0
121.28/121.35	c #conflict = 0
121.28/121.35	c #restart = 0
121.28/121.35	c BCD2: found a new core of size 1: cost of the new core is >=131072
121.28/121.35	c lower bound updated to 149504
121.67/121.76	c BCD2: 917504 <= obj <= 1332223
121.67/121.76	c BCD2: #cores=3, #unrelaxed=767, #relaxed=3, #hardened=10
121.67/121.76	c BCD2: #sat=1 #unsat=4 bias=4/5
121.67/121.76	c Solving starts ...
121.67/121.76	c ============================[ Search Statistics ]============================
121.67/121.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
121.67/121.76	c       |         |          |          |    Limit     GC | Var      | Constra 
121.67/121.76	c =============================================================================
121.67/121.76	c  0.0s |       0 |        0 |        0 |    72366      0 |       30 |        2
121.77/121.88	c  0.1s |       0 |        3 |        0 |    72366      0 |       30 |        2
121.77/121.88	c #cpu_time = 0.117s
121.77/121.88	c #wall_clock_time = 0.117s
121.77/121.88	c #decision = 3
121.77/121.88	c #random_decision = 0
121.77/121.88	c #conflict = 0
121.77/121.88	c #restart = 0
121.77/121.88	c BCD2: found a new core of size 1: cost of the new core is >=65536
121.77/121.88	c lower bound updated to 215040
122.17/122.29	c BCD2: 983040 <= obj <= 1332223
122.17/122.29	c BCD2: #cores=4, #unrelaxed=766, #relaxed=4, #hardened=10
122.17/122.29	c BCD2: #sat=1 #unsat=5 bias=5/6
122.17/122.29	c Solving starts ...
122.17/122.29	c ============================[ Search Statistics ]============================
122.17/122.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
122.17/122.29	c       |         |          |          |    Limit     GC | Var      | Constra 
122.17/122.29	c =============================================================================
122.17/122.30	c  0.0s |       0 |        0 |        0 |    72366      0 |       30 |        2
122.38/122.41	c  0.1s |       0 |        4 |        0 |    72366      0 |       30 |        2
122.38/122.41	c #cpu_time = 0.117s
122.38/122.41	c #wall_clock_time = 0.118s
122.38/122.41	c #decision = 4
122.38/122.41	c #random_decision = 0
122.38/122.41	c #conflict = 0
122.38/122.41	c #restart = 0
122.38/122.41	c BCD2: found a new core of size 1: cost of the new core is >=32768
122.38/122.41	c lower bound updated to 247808
122.77/122.83	c BCD2: 1015808 <= obj <= 1332223
122.77/122.83	c BCD2: #cores=5, #unrelaxed=765, #relaxed=5, #hardened=10
122.77/122.83	c BCD2: #sat=1 #unsat=6 bias=6/7
122.77/122.83	c Solving starts ...
122.77/122.83	c ============================[ Search Statistics ]============================
122.77/122.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
122.77/122.83	c       |         |          |          |    Limit     GC | Var      | Constra 
122.77/122.83	c =============================================================================
122.77/122.83	c  0.0s |       0 |        0 |        0 |    72366      0 |       30 |        2
122.87/122.95	c  0.1s |       0 |        5 |        0 |    72366      0 |       30 |        2
122.87/122.95	c #cpu_time = 0.117s
122.87/122.95	c #wall_clock_time = 0.117s
122.87/122.95	c #decision = 5
122.87/122.95	c #random_decision = 0
122.87/122.95	c #conflict = 0
122.87/122.95	c #restart = 0
122.87/122.95	c BCD2: found a new core of size 1: cost of the new core is >=8192
122.87/122.95	c lower bound updated to 256000
123.27/123.36	c BCD2: 1024000 <= obj <= 1332223
123.27/123.36	c BCD2: #cores=6, #unrelaxed=764, #relaxed=6, #hardened=10
123.27/123.36	c BCD2: #sat=1 #unsat=7 bias=7/8
123.27/123.36	c Solving starts ...
123.27/123.36	c ============================[ Search Statistics ]============================
123.27/123.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
123.27/123.36	c       |         |          |          |    Limit     GC | Var      | Constra 
123.27/123.36	c =============================================================================
123.27/123.36	c  0.0s |       0 |        0 |        0 |    72366      0 |       30 |        2
128.47/128.54	c  5.2s |       0 |    25392 |      100 |    72366      0 |       30 |        2
128.67/128.73	c  5.4s |       1 |    25392 |      100 |    72366      0 |       30 |        2
131.27/131.38	c  8.0s |       1 |    33417 |      200 |    72366      0 |       30 |        2
134.87/134.94	c 11.6s |       2 |    46652 |      250 |    79603      0 |       30 |        2
143.97/144.08	c 20.7s |       2 |    95250 |      350 |    79603      0 |       30 |        2
146.06/146.17	c 22.8s |       3 |   107421 |      475 |    79603      0 |       30 |        2
155.76/155.80	c 32.4s |       3 |   146175 |      575 |    79603      0 |       30 |        2
169.57/169.65	c 46.3s |       3 |   294750 |      675 |    79603      0 |       30 |        2
179.96/180.02	c 56.7s |       3 |   378967 |      775 |    87564      0 |       30 |        2
181.06/181.12	c 57.8s |       4 |   382172 |      813 |    87564      0 |       30 |        2
189.96/190.08	c 66.7s |       4 |   422866 |      913 |    87564      0 |       30 |        2
207.66/207.71	c 84.3s |       4 |   455027 |     1013 |    87564      0 |       30 |        2
210.86/210.91	c 87.5s |       4 |   455344 |     1113 |    87564      0 |       30 |        2
212.75/212.86	c 89.5s |       5 |   455786 |     1320 |    87564      0 |       30 |        2
215.25/215.36	c 92.0s |       5 |   456963 |     1520 |    96321      0 |       30 |        2
217.55/217.64	c 94.3s |       5 |   457391 |     1820 |    96321      0 |       30 |        2
219.65/219.72	c 96.4s |       6 |   457751 |     2081 |    96321      0 |       30 |        2
220.95/221.04	c 97.7s |       7 |   459815 |     3223 |   105954      0 |       30 |        2
223.75/223.86	c  100s |       7 |   460939 |     3423 |   105954      0 |       30 |        2
226.05/226.11	c  102s |       7 |   461453 |     3823 |   105954      0 |       30 |        2
228.85/228.91	c  105s |       7 |   462212 |     4423 |   116550      0 |       30 |        2
231.05/231.16	c  107s |       7 |   462717 |     4823 |   116550      0 |       30 |        2
231.35/231.48	c  108s |       8 |   462858 |     4936 |   116550      0 |       30 |        2
234.05/234.16	c  110s |       8 |   464466 |     5336 |   116550      0 |       30 |        2
236.35/236.42	c  113s |       8 |   465069 |     5636 |   116550      0 |       30 |        2
238.75/238.87	c  115s |       8 |   465648 |     5936 |   116550      0 |       30 |        2
241.55/241.64	c  118s |       8 |   466391 |     6336 |   116550      0 |       30 |        2
244.05/244.11	c  120s |       8 |   466950 |     6636 |   116550      0 |       30 |        2
246.45/246.50	c  123s |       8 |   467658 |     7036 |   128206      0 |       30 |        2
248.65/248.76	c  125s |       8 |   468417 |     7436 |   128206      0 |       30 |        2
249.05/249.15	c  125s |       9 |   468534 |     7506 |   128206      0 |       30 |        2
252.35/252.46	c  129s |       9 |   469764 |     7706 |   128206      0 |       30 |        2
255.55/255.68	c  132s |       9 |   470081 |     7906 |   128206      0 |       30 |        2
257.85/257.93	c  134s |       9 |   470390 |     8106 |   128206      0 |       30 |        2
260.65/260.79	c  137s |       9 |   470706 |     8306 |   128206      0 |       30 |        2
264.25/264.33	c  140s |       9 |   471038 |     8506 |   128206      0 |       30 |        2
266.85/266.98	c  143s |       9 |   471317 |     8706 |   128206      0 |       30 |        2
269.55/269.63	c  146s |       9 |   471611 |     8906 |   128206      0 |       30 |        2
272.74/272.89	c  149s |       9 |   471914 |     9106 |   128206      0 |       30 |        2
275.84/275.94	c  152s |       9 |   472251 |     9306 |   128206      0 |       30 |        2
279.34/279.42	c  156s |       9 |   472585 |     9506 |   128206      0 |       30 |        2
282.24/282.33	c  158s |       9 |   472896 |     9706 |   128206      0 |       30 |        2
284.94/285.01	c  161s |       9 |   473202 |     9906 |   128206      0 |       30 |        2
288.04/288.15	c  164s |       9 |   473546 |    10106 |   128206      0 |       30 |        2
290.34/290.46	c  167s |       9 |   473683 |    10206 |   128206      0 |       30 |        2
292.94/293.03	c  169s |       9 |   474029 |    10406 |   128206      0 |       30 |        2
296.24/296.34	c  172s |       9 |   474369 |    10606 |   128206      0 |       30 |        2
300.04/300.17	c  176s |       9 |   474739 |    10806 |   141027      0 |       30 |        2
304.04/304.12	c  180s |       9 |   475053 |    11006 |   141027      0 |       30 |        2
307.84/307.91	c  184s |       9 |   475379 |    11206 |   141027      0 |       30 |        2
309.94/310.06	c  186s |      10 |   475631 |    11361 |   141027      0 |       30 |        2
312.04/312.12	c  188s |      10 |   477016 |    11661 |   141027      0 |       30 |        2
314.95/315.01	c  191s |      10 |   477595 |    11961 |   141027      0 |       30 |        2
317.55/317.67	c  194s |      10 |   477978 |    12161 |   141027      0 |       30 |        2
319.85/319.94	c  196s |      10 |   478348 |    12361 |   141027      0 |       30 |        2
322.35/322.49	c  199s |      10 |   478658 |    12561 |   141027      0 |       30 |        2
324.65/324.78	c  201s |      10 |   479012 |    12761 |   141027      0 |       30 |        2
326.85/326.97	c  203s |      10 |   479413 |    12961 |   141027      0 |       30 |        2
329.74/329.86	c  206s |      10 |   479808 |    13161 |   141027      0 |       30 |        2
332.24/332.39	c  209s |      10 |   480182 |    13361 |   141027      0 |       30 |        2
335.34/335.41	c  212s |      10 |   480511 |    13561 |   141027      0 |       30 |        2
337.85/337.91	c  214s |      10 |   480895 |    13761 |   141027      0 |       30 |        2
340.24/340.34	c  216s |      10 |   481293 |    13961 |   141027      0 |       30 |        2
343.04/343.20	c  219s |      10 |   481655 |    14161 |   141027      0 |       30 |        2
345.55/345.62	c  222s |      10 |   482278 |    14461 |   141027      0 |       30 |        2
348.24/348.34	c  224s |      10 |   482666 |    14661 |   141027      0 |       30 |        2
352.25/352.31	c  228s |      10 |   483140 |    14861 |   141027      0 |       30 |        2
355.24/355.36	c  232s |      10 |   483544 |    15061 |   141027      0 |       30 |        2
357.34/357.41	c  234s |      10 |   483926 |    15261 |   141027      0 |       30 |        2
360.14/360.24	c  236s |      10 |   484347 |    15461 |   141027      0 |       30 |        2
362.74/362.82	c  239s |      10 |   484916 |    15761 |   141027      0 |       30 |        2
365.64/365.75	c  242s |      10 |   485314 |    15961 |   141027      0 |       30 |        2
367.84/367.91	c  244s |      10 |   485686 |    16161 |   141027      0 |       30 |        2
370.44/370.57	c  247s |      10 |   486064 |    16361 |   141027      0 |       30 |        2
373.54/373.61	c  250s |      10 |   486612 |    16661 |   155130      0 |       30 |        2
375.94/376.05	c  252s |      10 |   487021 |    16861 |   155130      0 |       30 |        2
378.64/378.76	c  255s |      10 |   487466 |    17061 |   155130      0 |       30 |        2
379.54/379.65	c  256s |      11 |   487657 |    17144 |   155130      0 |       30 |        2
383.64/383.74	c  260s |      11 |   488867 |    17344 |   155130      0 |       30 |        2
386.64/386.71	c  263s |      11 |   489188 |    17544 |   155130      0 |       30 |        2
390.43/390.50	c  267s |      11 |   489531 |    17744 |   155130      0 |       30 |        2
392.73/392.82	c  269s |      11 |   489686 |    17844 |   155130      0 |       30 |        2
395.04/395.13	c  271s |      11 |   489830 |    17944 |   155130      0 |       30 |        2
398.63/398.77	c  275s |      11 |   490137 |    18144 |   155130      0 |       30 |        2
400.93/401.04	c  277s |      11 |   490289 |    18244 |   155130      0 |       30 |        2
402.93/403.08	c  279s |      11 |   490427 |    18344 |   155130      0 |       30 |        2
405.43/405.59	c  282s |      11 |   490574 |    18444 |   155130      0 |       30 |        2
407.63/407.74	c  284s |      11 |   490708 |    18544 |   155130      0 |       30 |        2
410.83/410.97	c  287s |      11 |   491024 |    18744 |   155130      0 |       30 |        2
414.63/414.72	c  291s |      11 |   491291 |    18944 |   155130      0 |       30 |        2
417.53/417.66	c  294s |      11 |   491432 |    19044 |   155130      0 |       30 |        2
422.13/422.29	c  298s |      11 |   491738 |    19244 |   155130      0 |       30 |        2
424.23/424.34	c  300s |      11 |   491880 |    19344 |   155130      0 |       30 |        2
426.83/426.97	c  303s |      11 |   492030 |    19444 |   155130      0 |       30 |        2
428.93/429.03	c  305s |      11 |   492189 |    19544 |   155130      0 |       30 |        2
432.44/432.58	c  309s |      11 |   492508 |    19744 |   155130      0 |       30 |        2
436.43/436.58	c  313s |      11 |   492859 |    19944 |   155130      0 |       30 |        2
440.23/440.39	c  317s |      11 |   493177 |    20144 |   155130      0 |       30 |        2
442.73/442.80	c  319s |      11 |   493362 |    20244 |   155130      0 |       30 |        2
445.03/445.14	c  321s |      11 |   493512 |    20344 |   155130      0 |       30 |        2
447.13/447.22	c  323s |      11 |   493680 |    20444 |   155130      0 |       30 |        2
449.13/449.28	c  325s |      11 |   493819 |    20544 |   155130      0 |       30 |        2
451.73/451.80	c  328s |      11 |   493970 |    20644 |   155130      0 |       30 |        2
455.63/455.76	c  332s |      11 |   494294 |    20844 |   155130      0 |       30 |        2
457.73/457.85	c  334s |      11 |   494455 |    20944 |   155130      0 |       30 |        2
459.82/459.90	c  336s |      11 |   494611 |    21044 |   155130      0 |       30 |        2
463.92/464.09	c  340s |      11 |   494912 |    21244 |   155130      0 |       30 |        2
468.22/468.34	c  344s |      11 |   495231 |    21444 |   155130      0 |       30 |        2
470.72/470.89	c  347s |      11 |   495387 |    21544 |   155130      0 |       30 |        2
473.32/473.47	c  350s |      11 |   495550 |    21644 |   155130      0 |       30 |        2
475.82/475.90	c  352s |      11 |   495734 |    21744 |   155130      0 |       30 |        2
478.02/478.14	c  354s |      11 |   495877 |    21844 |   155130      0 |       30 |        2
480.22/480.35	c  356s |      11 |   496068 |    21944 |   155130      0 |       30 |        2
482.32/482.46	c  359s |      11 |   496216 |    22044 |   155130      0 |       30 |        2
484.92/485.07	c  361s |      11 |   496369 |    22144 |   155130      0 |       30 |        2
487.53/487.62	c  364s |      11 |   496526 |    22244 |   155130      0 |       30 |        2
491.12/491.28	c  367s |      11 |   496850 |    22444 |   155130      0 |       30 |        2
493.32/493.44	c  370s |      11 |   496984 |    22544 |   155130      0 |       30 |        2
495.92/496.07	c  372s |      11 |   497129 |    22644 |   155130      0 |       30 |        2
498.02/498.17	c  374s |      11 |   497331 |    22744 |   155130      0 |       30 |        2
500.22/500.31	c  376s |      11 |   497491 |    22844 |   155130      0 |       30 |        2
502.32/502.44	c  379s |      11 |   497688 |    22944 |   155130      0 |       30 |        2
504.72/504.82	c  381s |      11 |   497811 |    23044 |   155130      0 |       30 |        2
507.12/507.25	c  383s |      11 |   497981 |    23144 |   155130      0 |       30 |        2
510.92/511.00	c  387s |      11 |   498297 |    23344 |   155130      0 |       30 |        2
514.32/514.40	c  391s |      11 |   498598 |    23544 |   155130      0 |       30 |        2
518.32/518.43	c  395s |      11 |   498932 |    23744 |   155130      0 |       30 |        2
520.52/520.65	c  397s |      11 |   499093 |    23844 |   155130      0 |       30 |        2
524.01/524.18	c  400s |      11 |   499430 |    24044 |   155130      0 |       30 |        2
528.61/528.75	c  405s |      11 |   499744 |    24244 |   155130      0 |       30 |        2
530.91/531.01	c  407s |      11 |   499898 |    24344 |   155130      0 |       30 |        2
534.82/534.91	c  411s |      11 |   500032 |    24444 |   155130      0 |       30 |        2
537.51/537.64	c  414s |      11 |   500376 |    24644 |   155130      0 |       30 |        2
540.11/540.25	c  416s |      11 |   500533 |    24744 |   155130      0 |       30 |        2
542.31/542.44	c  419s |      11 |   500715 |    24844 |   155130      0 |       30 |        2
546.21/546.36	c  422s |      11 |   501001 |    25044 |   155130      0 |       30 |        2
548.41/548.55	c  425s |      11 |   501137 |    25144 |   170643      0 |       30 |        2
550.61/550.70	c  427s |      11 |   501285 |    25244 |   170643      0 |       30 |        2
552.91/553.00	c  429s |      11 |   501433 |    25344 |   170643      0 |       30 |        2
555.01/555.13	c  431s |      11 |   501592 |    25444 |   170643      0 |       30 |        2
558.81/558.94	c  435s |      11 |   501892 |    25644 |   170643      0 |       30 |        2
561.61/561.78	c  438s |      11 |   502050 |    25744 |   170643      0 |       30 |        2
563.51/563.67	c  440s |      12 |   502145 |    25819 |   170643      0 |       30 |        2
566.51/566.60	c  443s |      12 |   503330 |    26019 |   170643      0 |       30 |        2
568.91/569.03	c  445s |      12 |   503927 |    26319 |   170643      0 |       30 |        2
570.91/571.07	c  447s |      12 |   504688 |    26719 |   170643      0 |       30 |        2
573.41/573.56	c  450s |      12 |   505589 |    27119 |   170643      0 |       30 |        2
575.61/575.78	c  452s |      12 |   506368 |    27619 |   170643      0 |       30 |        2
578.01/578.10	c  454s |      12 |   506728 |    27819 |   170643      0 |       30 |        2
580.20/580.36	c  457s |      12 |   507263 |    28119 |   170643      0 |       30 |        2
582.40/582.50	c  459s |      12 |   507965 |    28419 |   170643      0 |       30 |        2
584.70/584.86	c  461s |      12 |   509171 |    29019 |   170643      0 |       30 |        2
586.90/587.00	c  463s |      12 |   510270 |    29419 |   170643      0 |       30 |        2
589.10/589.27	c  465s |      12 |   511875 |    30119 |   170643      0 |       30 |        2
591.30/591.46	c  468s |      12 |   512911 |    30419 |   170643      0 |       30 |        2
594.00/594.10	c  470s |      12 |   514891 |    31119 |   170643      0 |       30 |        2
596.50/596.65	c  473s |      12 |   516337 |    31719 |   170643      0 |       30 |        2
598.70/598.86	c  475s |      12 |   517054 |    32019 |   170643      0 |       30 |        2
600.90/601.00	c  477s |      12 |   518219 |    32519 |   170643      0 |       30 |        2
603.20/603.35	c  479s |      12 |   519209 |    32919 |   170643      0 |       30 |        2
606.10/606.20	c  482s |      12 |   520191 |    33419 |   170643      0 |       30 |        2
608.20/608.33	c  484s |      12 |   520805 |    33819 |   170643      0 |       30 |        2
610.61/610.71	c  487s |      12 |   522082 |    34419 |   170643      0 |       30 |        2
612.70/612.89	c  489s |      12 |   523588 |    34919 |   170643      0 |       30 |        2
615.00/615.17	c  491s |      12 |   524115 |    35219 |   170643      0 |       30 |        2
617.50/617.61	c  494s |      12 |   524943 |    35719 |   170643      0 |       30 |        2
619.70/619.83	c  496s |      12 |   526297 |    36419 |   170643      0 |       30 |        2
622.30/622.46	c  499s |      12 |   526905 |    36719 |   170643      0 |       30 |        2
624.70/624.84	c  501s |      12 |   527519 |    37019 |   170643      0 |       30 |        2
626.80/626.93	c  503s |      12 |   528886 |    37819 |   170643      0 |       30 |        2
629.20/629.34	c  505s |      12 |   530021 |    38219 |   187708      0 |       30 |        2
631.60/631.70	c  508s |      12 |   531121 |    38819 |   187708      0 |       30 |        2
631.70/631.80	c  508s |      13 |   531144 |    38832 |   187708      0 |       30 |        2
633.80/633.98	c  510s |      13 |   532176 |    38932 |   187708      0 |       30 |        2
636.19/636.34	c  512s |      13 |   532688 |    39132 |   187708      0 |       30 |        2
638.69/638.88	c  515s |      13 |   533224 |    39332 |   187708      0 |       30 |        2
641.50/641.68	c  518s |      13 |   533540 |    39532 |   187708      0 |       30 |        2
645.59/645.70	c  522s |      13 |   534187 |    39832 |   187708      0 |       30 |        2
647.59/647.72	c  524s |      13 |   534727 |    40132 |   187708      0 |       30 |        2
651.69/651.80	c  528s |      13 |   536380 |    40732 |   187708      0 |       30 |        2
653.79/653.92	c  530s |      13 |   536889 |    41032 |   187708      0 |       30 |        2
656.19/656.37	c  533s |      13 |   537493 |    41332 |   187708      0 |       30 |        2
659.49/659.63	c  536s |      13 |   537893 |    41532 |   187708      0 |       30 |        2
662.30/662.42	c  539s |      13 |   538401 |    41832 |   187708      0 |       30 |        2
664.79/664.98	c  541s |      13 |   538762 |    42032 |   187708      0 |       30 |        2
667.59/667.71	c  544s |      13 |   539408 |    42232 |   187708      0 |       30 |        2
670.29/670.44	c  547s |      13 |   540051 |    42532 |   187708      0 |       30 |        2
673.69/673.88	c  550s |      13 |   540554 |    42832 |   187708      0 |       30 |        2
677.70/677.89	c  554s |      13 |   540887 |    43032 |   187708      0 |       30 |        2
679.99/680.19	c  556s |      13 |   541230 |    43232 |   187708      0 |       30 |        2
682.49/682.60	c  559s |      13 |   541813 |    43532 |   187708      0 |       30 |        2
685.79/685.95	c  562s |      13 |   542281 |    43732 |   187708      0 |       30 |        2
688.89/689.01	c  565s |      13 |   543129 |    44132 |   187708      0 |       30 |        2
691.29/691.40	c  568s |      13 |   543510 |    44332 |   187708      0 |       30 |        2
693.99/694.15	c  570s |      13 |   543970 |    44532 |   187708      0 |       30 |        2
696.19/696.35	c  572s |      13 |   544691 |    44932 |   187708      0 |       30 |        2
699.18/699.30	c  575s |      13 |   545197 |    45232 |   187708      0 |       30 |        2
701.38/701.55	c  578s |      13 |   545948 |    45532 |   187708      0 |       30 |        2
703.88/704.04	c  580s |      13 |   546212 |    45632 |   187708      0 |       30 |        2
705.88/706.06	c  582s |      13 |   546446 |    45732 |   187708      0 |       30 |        2
708.78/708.93	c  585s |      13 |   546922 |    45932 |   187708      0 |       30 |        2
710.98/711.12	c  587s |      13 |   547465 |    46132 |   187708      0 |       30 |        2
713.08/713.23	c  589s |      13 |   547611 |    46232 |   187708      0 |       30 |        2
715.78/715.99	c  592s |      13 |   548483 |    46632 |   187708      0 |       30 |        2
718.58/718.78	c  595s |      13 |   548897 |    46832 |   187708      0 |       30 |        2
721.48/721.68	c  598s |      13 |   549803 |    47132 |   187708      0 |       30 |        2
723.48/723.68	c  600s |      13 |   550109 |    47332 |   187708      0 |       30 |        2
726.09/726.28	c  602s |      13 |   550764 |    47732 |   187708      0 |       30 |        2
728.48/728.60	c  605s |      13 |   551421 |    47932 |   187708      0 |       30 |        2
730.48/730.60	c  607s |      13 |   552129 |    48132 |   187708      0 |       30 |        2
733.88/734.02	c  610s |      13 |   552839 |    48432 |   187708      0 |       30 |        2
736.87/737.07	c  613s |      13 |   553514 |    48732 |   187708      0 |       30 |        2
739.28/739.46	c  616s |      13 |   553683 |    48832 |   187708      0 |       30 |        2
741.97/742.14	c  618s |      13 |   554360 |    49132 |   187708      0 |       30 |        2
744.37/744.56	c  621s |      13 |   555037 |    49332 |   187708      0 |       30 |        2
747.47/747.67	c  624s |      13 |   555352 |    49532 |   187708      0 |       30 |        2
750.56/750.72	c  627s |      13 |   555700 |    49732 |   187708      0 |       30 |        2
754.06/754.24	c  630s |      13 |   556259 |    50032 |   187708      0 |       30 |        2
756.87/757.08	c  633s |      13 |   557206 |    50432 |   187708      0 |       30 |        2
759.26/759.42	c  636s |      13 |   557771 |    50732 |   187708      0 |       30 |        2
761.27/761.50	c  638s |      13 |   558198 |    50932 |   187708      0 |       30 |        2
763.36/763.59	c  640s |      13 |   558342 |    51032 |   187708      0 |       30 |        2
766.77/766.96	c  643s |      13 |   558961 |    51332 |   187708      0 |       30 |        2
769.96/770.15	c  646s |      13 |   559103 |    51432 |   187708      0 |       30 |        2
772.05/772.28	c  648s |      13 |   559491 |    51632 |   187708      0 |       30 |        2
774.75/774.98	c  651s |      13 |   560093 |    51932 |   187708      0 |       30 |        2
777.25/777.47	c  654s |      13 |   560597 |    52132 |   187708      0 |       30 |        2
779.35/779.53	c  656s |      13 |   561474 |    52432 |   187708      0 |       30 |        2
783.36/783.54	c  660s |      13 |   561832 |    52632 |   187708      0 |       30 |        2
786.35/786.54	c  663s |      13 |   562206 |    52832 |   187708      0 |       30 |        2
789.95/790.12	c  666s |      13 |   562767 |    53132 |   187708      0 |       30 |        2
791.95/792.13	c  668s |      13 |   563487 |    53532 |   187708      0 |       30 |        2
794.55/794.78	c  671s |      13 |   563906 |    53732 |   187708      0 |       30 |        2
796.64/796.82	c  673s |      13 |   564252 |    53932 |   187708      0 |       30 |        2
798.94/799.13	c  675s |      13 |   564634 |    54132 |   187708      0 |       30 |        2
801.95/802.19	c  678s |      13 |   564980 |    54332 |   187708      0 |       30 |        2
804.34/804.58	c  681s |      13 |   566083 |    54932 |   187708      0 |       30 |        2
807.55/807.76	c  684s |      13 |   566755 |    55232 |   187708      0 |       30 |        2
809.53/809.76	c  686s |      13 |   567512 |    55632 |   187708      0 |       30 |        2
811.84/812.04	c  688s |      13 |   568218 |    55932 |   187708      0 |       30 |        2
814.63/814.84	c  691s |      13 |   568424 |    56032 |   187708      0 |       30 |        2
817.83/818.05	c  694s |      13 |   568860 |    56332 |   187708      0 |       30 |        2
821.03/821.25	c  697s |      13 |   569178 |    56532 |   187708      0 |       30 |        2
823.13/823.36	c  700s |      13 |   569789 |    56832 |   187708      0 |       30 |        2
825.93/826.12	c  702s |      13 |   571084 |    57432 |   206479      0 |       30 |        2
829.33/829.57	c  706s |      13 |   571514 |    57632 |   206479      0 |       30 |        2
832.33/832.56	c  709s |      13 |   572236 |    58032 |   206479      0 |       30 |        2
834.93/835.11	c  711s |      13 |   572597 |    58232 |   206479      0 |       30 |        2
837.23/837.46	c  714s |      14 |   572848 |    58352 |   206479      0 |       30 |        2
839.52/839.76	c  716s |      14 |   574225 |    58652 |   206479      0 |       30 |        2
841.92/842.13	c  718s |      14 |   575262 |    59152 |   206479      0 |       30 |        2
844.12/844.35	c  720s |      14 |   576337 |    59752 |   206479      0 |       30 |        2
846.22/846.44	c  723s |      14 |   577164 |    60252 |   206479      0 |       30 |        2
848.32/848.51	c  725s |      14 |   578045 |    60652 |   206479      0 |       30 |        2
850.92/851.16	c  727s |      14 |   578890 |    61152 |   206479      0 |       30 |        2
853.02/853.21	c  729s |      14 |   579827 |    61652 |   206479      0 |       30 |        2
855.32/855.50	c  732s |      14 |   580769 |    62152 |   206479      0 |       30 |        2
857.32/857.52	c  734s |      14 |   581320 |    62452 |   206479      0 |       30 |        2
859.42/859.60	c  736s |      14 |   582023 |    62852 |   206479      0 |       30 |        2
861.81/862.00	c  738s |      14 |   582718 |    63252 |   206479      0 |       30 |        2
864.72/864.97	c  741s |      14 |   583662 |    63752 |   206479      0 |       30 |        2
866.82/867.06	c  743s |      14 |   584436 |    64152 |   206479      0 |       30 |        2
868.91/869.11	c  745s |      14 |   585030 |    64452 |   206479      0 |       30 |        2
871.01/871.26	c  747s |      14 |   585981 |    65052 |   206479      0 |       30 |        2
873.31/873.59	c  750s |      14 |   586999 |    65752 |   206479      0 |       30 |        2
875.71/875.97	c  752s |      14 |   587834 |    66452 |   206479      0 |       30 |        2
877.81/878.06	c  754s |      14 |   588397 |    66952 |   206479      0 |       30 |        2
880.01/880.27	c  756s |      14 |   589066 |    67552 |   206479      0 |       30 |        2
882.50/882.73	c  759s |      14 |   589728 |    68052 |   206479      0 |       30 |        2
884.51/884.76	c  761s |      14 |   590074 |    68252 |   206479      0 |       30 |        2
886.71/886.97	c  763s |      14 |   590512 |    68452 |   206479      0 |       30 |        2
889.00/889.29	c  765s |      14 |   590852 |    68652 |   206479      0 |       30 |        2
891.60/891.84	c  768s |      14 |   591436 |    68952 |   206479      0 |       30 |        2
893.60/893.86	c  770s |      14 |   591765 |    69152 |   206479      0 |       30 |        2
896.50/896.78	c  773s |      14 |   592376 |    69452 |   206479      0 |       30 |        2
899.00/899.24	c  775s |      14 |   592792 |    69652 |   206479      0 |       30 |        2
902.19/902.42	c  779s |      14 |   593368 |    69952 |   206479      0 |       30 |        2
904.69/904.91	c  781s |      14 |   593890 |    70252 |   206479      0 |       30 |        2
907.19/907.47	c  784s |      14 |   594405 |    70552 |   206479      0 |       30 |        2
909.89/910.16	c  786s |      14 |   595013 |    70852 |   206479      0 |       30 |        2
912.39/912.68	c  789s |      14 |   595521 |    71152 |   206479      0 |       30 |        2
915.09/915.39	c  792s |      14 |   596108 |    71452 |   206479      0 |       30 |        2
917.29/917.60	c  794s |      14 |   596528 |    71652 |   206479      0 |       30 |        2
919.49/919.80	c  796s |      14 |   597858 |    72452 |   206479      0 |       30 |        2
921.59/921.83	c  798s |      14 |   599144 |    73252 |   206479      0 |       30 |        2
924.29/924.59	c  801s |      14 |   599616 |    73552 |   206479      0 |       30 |        2
927.98/928.23	c  804s |      14 |   599962 |    73752 |   206479      0 |       30 |        2
929.98/930.28	c  806s |      14 |   600340 |    73952 |   206479      0 |       30 |        2
933.78/934.09	c  810s |      14 |   600730 |    74152 |   206479      0 |       30 |        2
937.38/937.66	c  814s |      14 |   601183 |    74352 |   206479      0 |       30 |        2
940.38/940.66	c  817s |      14 |   601567 |    74552 |   206479      0 |       30 |        2
944.08/944.34	c  820s |      14 |   601984 |    74752 |   206479      0 |       30 |        2
946.38/946.69	c  823s |      14 |   602374 |    74952 |   206479      0 |       30 |        2
949.18/949.44	c  826s |      14 |   602724 |    75152 |   206479      0 |       30 |        2
951.77/952.00	c  828s |      14 |   602869 |    75252 |   206479      0 |       30 |        2
954.57/954.88	c  831s |      14 |   603213 |    75452 |   206479      0 |       30 |        2
957.08/957.34	c  833s |      14 |   603614 |    75652 |   206479      0 |       30 |        2
960.17/960.44	c  837s |      14 |   603974 |    75852 |   206479      0 |       30 |        2
962.97/963.20	c  839s |      14 |   604318 |    76052 |   206479      0 |       30 |        2
965.17/965.48	c  842s |      14 |   604659 |    76252 |   206479      0 |       30 |        2
968.08/968.35	c  844s |      14 |   605044 |    76452 |   206479      0 |       30 |        2
970.27/970.57	c  847s |      14 |   605630 |    76652 |   206479      0 |       30 |        2
973.87/974.19	c  850s |      14 |   605984 |    76852 |   206479      0 |       30 |        2
976.77/977.07	c  853s |      14 |   606602 |    77152 |   206479      0 |       30 |        2
979.57/979.81	c  856s |      14 |   606982 |    77352 |   206479      0 |       30 |        2
982.16/982.48	c  859s |      14 |   607406 |    77552 |   206479      0 |       30 |        2
985.36/985.66	c  862s |      14 |   607790 |    77752 |   206479      0 |       30 |        2
988.26/988.50	c  865s |      14 |   608193 |    77952 |   206479      0 |       30 |        2
990.76/991.08	c  867s |      14 |   608569 |    78152 |   206479      0 |       30 |        2
993.16/993.47	c  870s |      14 |   609034 |    78352 |   206479      0 |       30 |        2
996.46/996.72	c  873s |      14 |   609506 |    78552 |   206479      0 |       30 |        2
999.26/999.57	c  876s |      14 |   609782 |    78752 |   206479      0 |       30 |        2
1002.26/1002.56	c  879s |      14 |   610226 |    78952 |   206479      0 |       30 |        2
1005.06/1005.35	c  881s |      14 |   610699 |    79152 |   206479      0 |       30 |        2
1008.36/1008.69	c  885s |      14 |   611079 |    79352 |   206479      0 |       30 |        2
1011.35/1011.69	c  888s |      14 |   611468 |    79552 |   206479      0 |       30 |        2
1013.45/1013.76	c  890s |      14 |   611697 |    79652 |   206479      0 |       30 |        2
1016.95/1017.29	c  893s |      14 |   612106 |    79852 |   206479      0 |       30 |        2
1019.85/1020.18	c  896s |      14 |   612559 |    80052 |   206479      0 |       30 |        2
1022.75/1023.06	c  899s |      14 |   612898 |    80252 |   206479      0 |       30 |        2
1026.26/1026.59	c  903s |      14 |   613281 |    80452 |   206479      0 |       30 |        2
1028.56/1028.86	c  905s |      14 |   613504 |    80552 |   206479      0 |       30 |        2
1031.35/1031.66	c  908s |      14 |   613833 |    80752 |   206479      0 |       30 |        2
1033.85/1034.14	c  910s |      14 |   614320 |    80952 |   206479      0 |       30 |        2
1036.85/1037.19	c  913s |      14 |   614719 |    81152 |   206479      0 |       30 |        2
1039.94/1040.25	c  916s |      14 |   615138 |    81352 |   206479      0 |       30 |        2
1044.24/1044.58	c  921s |      14 |   615531 |    81552 |   206479      0 |       30 |        2
1047.25/1047.55	c  924s |      14 |   615948 |    81752 |   206479      0 |       30 |        2
1050.04/1050.38	c  927s |      14 |   616290 |    81952 |   206479      0 |       30 |        2
1053.64/1053.93	c  930s |      14 |   616677 |    82152 |   206479      0 |       30 |        2
1056.84/1057.12	c  933s |      14 |   617053 |    82352 |   206479      0 |       30 |        2
1059.53/1059.81	c  936s |      14 |   617487 |    82552 |   206479      0 |       30 |        2
1061.83/1062.14	c  938s |      14 |   617921 |    82752 |   206479      0 |       30 |        2
1064.84/1065.15	c  941s |      14 |   618235 |    82952 |   206479      0 |       30 |        2
1067.83/1068.14	c  944s |      14 |   618824 |    83152 |   206479      0 |       30 |        2
1070.03/1070.39	c  947s |      14 |   619308 |    83352 |   206479      0 |       30 |        2
1072.54/1072.81	c  949s |      14 |   619808 |    83552 |   206479      0 |       30 |        2
1075.13/1075.47	c  952s |      14 |   620173 |    83752 |   206479      0 |       30 |        2
1077.23/1077.51	c  954s |      14 |   620611 |    83952 |   206479      0 |       30 |        2
1079.73/1080.09	c  956s |      14 |   621037 |    84152 |   206479      0 |       30 |        2
1081.93/1082.29	c  958s |      14 |   621429 |    84352 |   206479      0 |       30 |        2
1085.13/1085.48	c  962s |      14 |   622168 |    84652 |   206479      0 |       30 |        2
1087.73/1088.05	c  964s |      14 |   622637 |    84852 |   206479      0 |       30 |        2
1090.32/1090.61	c  967s |      14 |   623080 |    85052 |   206479      0 |       30 |        2
1093.12/1093.42	c  970s |      14 |   623504 |    85252 |   206479      0 |       30 |        2
1095.63/1095.97	c  972s |      14 |   624219 |    85552 |   206479      0 |       30 |        2
1098.02/1098.38	c  975s |      14 |   624362 |    85652 |   206479      0 |       30 |        2
1100.12/1100.46	c  977s |      14 |   624835 |    85852 |   206479      0 |       30 |        2
1102.62/1102.97	c  979s |      14 |   625420 |    86052 |   206479      0 |       30 |        2
1105.22/1105.57	c  982s |      14 |   626113 |    86352 |   206479      0 |       30 |        2
1107.32/1107.65	c  984s |      14 |   626540 |    86552 |   227127      0 |       30 |        2
1110.72/1111.06	c  987s |      14 |   627276 |    86852 |   227127      0 |       30 |        2
1113.23/1113.54	c  990s |      14 |   627669 |    87052 |   227127      0 |       30 |        2
1115.52/1115.88	c  992s |      14 |   628122 |    87252 |   227127      0 |       30 |        2
1117.53/1117.89	c  994s |      14 |   628557 |    87452 |   227127      0 |       30 |        2
1119.92/1120.28	c  996s |      15 |   628980 |    87632 |   227127      0 |       30 |        2
1123.02/1123.31	c  999s |      15 |   630145 |    87832 |   227127      0 |       30 |        2
1125.22/1125.54	c 1002s |      15 |   630559 |    88132 |   227127      0 |       30 |        2
1127.52/1127.86	c 1004s |      15 |   631092 |    88532 |   227127      0 |       30 |        2
1129.92/1130.23	c 1006s |      15 |   631361 |    88732 |   227127      0 |       30 |        2
1132.12/1132.48	c 1009s |      15 |   631829 |    89032 |   227127      0 |       30 |        2
1134.52/1134.80	c 1011s |      15 |   632084 |    89232 |   227127      0 |       30 |        2
1136.72/1137.09	c 1013s |      15 |   632496 |    89532 |   227127      0 |       30 |        2
1139.21/1139.57	c 1016s |      15 |   632921 |    89832 |   227127      0 |       30 |        2
1142.01/1142.30	c 1018s |      15 |   633493 |    90232 |   227127      0 |       30 |        2
1144.31/1144.63	c 1021s |      15 |   633797 |    90432 |   227127      0 |       30 |        2
1146.81/1147.14	c 1023s |      15 |   634191 |    90732 |   227127      0 |       30 |        2
1149.01/1149.37	c 1026s |      15 |   634464 |    90932 |   227127      0 |       30 |        2
1151.51/1151.83	c 1028s |      15 |   635051 |    91332 |   227127      0 |       30 |        2
1154.11/1154.41	c 1031s |      15 |   635318 |    91532 |   227127      0 |       30 |        2
1156.61/1156.97	c 1033s |      15 |   635710 |    91832 |   227127      0 |       30 |        2
1159.42/1159.78	c 1036s |      15 |   636144 |    92132 |   227127      0 |       30 |        2
1161.62/1161.93	c 1038s |      15 |   636566 |    92432 |   227127      0 |       30 |        2
1163.91/1164.25	c 1040s |      15 |   636818 |    92632 |   227127      0 |       30 |        2
1166.11/1166.46	c 1043s |      15 |   637222 |    92932 |   227127      0 |       30 |        2
1168.71/1169.08	c 1045s |      15 |   637761 |    93332 |   227127      0 |       30 |        2
1171.11/1171.41	c 1048s |      15 |   638025 |    93532 |   227127      0 |       30 |        2
1174.11/1174.47	c 1051s |      15 |   638645 |    94032 |   227127      0 |       30 |        2
1176.41/1176.74	c 1053s |      15 |   639039 |    94332 |   227127      0 |       30 |        2
1178.71/1179.03	c 1055s |      15 |   639432 |    94632 |   227127      0 |       30 |        2
1180.92/1181.29	c 1057s |      15 |   639828 |    94932 |   227127      0 |       30 |        2
1183.32/1183.67	c 1060s |      15 |   640256 |    95232 |   227127      0 |       30 |        2
1186.41/1186.72	c 1063s |      15 |   640680 |    95532 |   227127      0 |       30 |        2
1188.51/1188.86	c 1065s |      15 |   640982 |    95732 |   227127      0 |       30 |        2
1191.01/1191.37	c 1068s |      15 |   641423 |    96032 |   227127      0 |       30 |        2
1193.31/1193.67	c 1070s |      15 |   642059 |    96532 |   227127      0 |       30 |        2
1195.62/1195.93	c 1072s |      15 |   642825 |    97132 |   227127      0 |       30 |        2
1197.82/1198.14	c 1074s |      15 |   643559 |    97632 |   227127      0 |       30 |        2
1200.71/1201.06	c 1077s |      15 |   644679 |    98432 |   227127      0 |       30 |        2
1203.11/1203.48	c 1080s |      15 |   644949 |    98632 |   227127      0 |       30 |        2
1205.31/1205.62	c 1082s |      15 |   645244 |    98832 |   227127      0 |       30 |        2
1207.41/1207.72	c 1084s |      15 |   645529 |    99032 |   227127      0 |       30 |        2
1210.21/1210.55	c 1087s |      15 |   645952 |    99332 |   227127      0 |       30 |        2
1212.91/1213.29	c 1089s |      15 |   646341 |    99632 |   227127      0 |       30 |        2
1215.61/1215.98	c 1092s |      15 |   646682 |    99832 |   227127      0 |       30 |        2
1218.51/1218.85	c 1095s |      15 |   647095 |   100132 |   227127      0 |       30 |        2
1220.91/1221.28	c 1097s |      15 |   647344 |   100332 |   227127      0 |       30 |        2
1223.31/1223.66	c 1100s |      15 |   647610 |   100532 |   227127      0 |       30 |        2
1225.81/1226.11	c 1102s |      15 |   647878 |   100732 |   227127      0 |       30 |        2
1228.21/1228.53	c 1105s |      15 |   648143 |   100932 |   227127      0 |       30 |        2
1230.40/1230.73	c 1107s |      15 |   648417 |   101132 |   227127      0 |       30 |        2
1233.11/1233.42	c 1110s |      15 |   648732 |   101332 |   227127      0 |       30 |        2
1235.21/1235.55	c 1112s |      15 |   648989 |   101532 |   227127      0 |       30 |        2
1238.30/1238.60	c 1115s |      15 |   649397 |   101832 |   227127      0 |       30 |        2
1240.60/1240.94	c 1117s |      15 |   649768 |   102132 |   227127      0 |       30 |        2
1243.70/1244.07	c 1120s |      15 |   650181 |   102432 |   227127      0 |       30 |        2
1247.20/1247.58	c 1124s |      15 |   650416 |   102632 |   227127      0 |       30 |        2
1249.40/1249.78	c 1126s |      15 |   650700 |   102832 |   227127      0 |       30 |        2
1252.00/1252.30	c 1128s |      15 |   651089 |   103132 |   227127      0 |       30 |        2
1254.20/1254.51	c 1131s |      15 |   651345 |   103332 |   227127      0 |       30 |        2
1256.60/1256.91	c 1133s |      15 |   651601 |   103532 |   227127      0 |       30 |        2
1259.40/1259.77	c 1136s |      15 |   651986 |   103832 |   227127      0 |       30 |        2
1261.70/1262.01	c 1138s |      15 |   652244 |   104032 |   227127      0 |       30 |        2
1264.39/1264.71	c 1141s |      15 |   652642 |   104332 |   227127      0 |       30 |        2
1267.39/1267.70	c 1144s |      15 |   653024 |   104632 |   227127      0 |       30 |        2
1269.89/1270.23	c 1146s |      15 |   653408 |   104932 |   227127      0 |       30 |        2
1272.19/1272.54	c 1149s |      15 |   653661 |   105132 |   227127      0 |       30 |        2
1275.29/1275.67	c 1152s |      15 |   653913 |   105332 |   227127      0 |       30 |        2
1277.99/1278.35	c 1154s |      15 |   654375 |   105732 |   227127      0 |       30 |        2
1281.40/1281.72	c 1158s |      15 |   654631 |   105932 |   227127      0 |       30 |        2
1284.39/1284.72	c 1161s |      15 |   654865 |   106132 |   227127      0 |       30 |        2
1286.90/1287.30	c 1163s |      15 |   655138 |   106332 |   227127      0 |       30 |        2
1289.39/1289.70	c 1166s |      15 |   655375 |   106532 |   227127      0 |       30 |        2
1292.19/1292.55	c 1169s |      15 |   655647 |   106732 |   227127      0 |       30 |        2
1294.49/1294.84	c 1171s |      15 |   655897 |   106932 |   227127      0 |       30 |        2
1297.79/1298.20	c 1174s |      15 |   656145 |   107132 |   227127      0 |       30 |        2
1300.79/1301.11	c 1177s |      15 |   656401 |   107332 |   227127      0 |       30 |        2
1303.89/1304.27	c 1180s |      15 |   656782 |   107632 |   227127      0 |       30 |        2
1306.19/1306.59	c 1183s |      15 |   657010 |   107832 |   227127      0 |       30 |        2
1308.89/1309.29	c 1185s |      15 |   657264 |   108032 |   227127      0 |       30 |        2
1311.68/1312.02	c 1188s |      15 |   657517 |   108232 |   227127      0 |       30 |        2
1314.68/1315.02	c 1191s |      15 |   657898 |   108532 |   227127      0 |       30 |        2
1316.88/1317.24	c 1193s |      15 |   658148 |   108732 |   227127      0 |       30 |        2
1320.28/1320.69	c 1197s |      15 |   658553 |   109032 |   227127      0 |       30 |        2
1322.58/1322.94	c 1199s |      15 |   658801 |   109232 |   227127      0 |       30 |        2
1324.68/1325.00	c 1201s |      15 |   659051 |   109432 |   227127      0 |       30 |        2
1327.59/1327.96	c 1204s |      15 |   659433 |   109732 |   227127      0 |       30 |        2
1330.18/1330.58	c 1207s |      15 |   659692 |   109932 |   227127      0 |       30 |        2
1332.28/1332.63	c 1209s |      15 |   659951 |   110132 |   227127      0 |       30 |        2
1335.18/1335.52	c 1212s |      15 |   660204 |   110332 |   227127      0 |       30 |        2
1338.08/1338.47	c 1215s |      15 |   660456 |   110532 |   227127      0 |       30 |        2
1340.68/1341.04	c 1217s |      15 |   660724 |   110732 |   227127      0 |       30 |        2
1343.37/1343.71	c 1220s |      15 |   660965 |   110932 |   227127      0 |       30 |        2
1345.87/1346.21	c 1222s |      15 |   661230 |   111132 |   227127      0 |       30 |        2
1348.87/1349.20	c 1225s |      15 |   661584 |   111432 |   227127      0 |       30 |        2
1351.47/1351.88	c 1228s |      15 |   661822 |   111632 |   227127      0 |       30 |        2
1354.27/1354.60	c 1231s |      15 |   662087 |   111832 |   227127      0 |       30 |        2
1357.17/1357.56	c 1234s |      15 |   662447 |   112132 |   227127      0 |       30 |        2
1359.67/1360.09	c 1236s |      15 |   662693 |   112332 |   227127      0 |       30 |        2
1361.97/1362.38	c 1239s |      15 |   662967 |   112532 |   227127      0 |       30 |        2
1364.27/1364.60	c 1241s |      15 |   663192 |   112732 |   227127      0 |       30 |        2
1366.37/1366.72	c 1243s |      15 |   663460 |   112932 |   227127      0 |       30 |        2
1369.47/1369.88	c 1246s |      15 |   663692 |   113132 |   227127      0 |       30 |        2
1372.06/1372.49	c 1249s |      15 |   663939 |   113332 |   227127      0 |       30 |        2
1374.56/1374.94	c 1251s |      15 |   664189 |   113532 |   227127      0 |       30 |        2
1377.07/1377.46	c 1254s |      15 |   664438 |   113732 |   227127      0 |       30 |        2
1379.86/1380.26	c 1256s |      15 |   664699 |   113932 |   227127      0 |       30 |        2
1382.16/1382.51	c 1259s |      15 |   664934 |   114132 |   227127      0 |       30 |        2
1384.56/1384.98	c 1261s |      15 |   665173 |   114332 |   227127      0 |       30 |        2
1388.56/1388.98	c 1265s |      15 |   665512 |   114532 |   227127      0 |       30 |        2
1390.86/1391.21	c 1267s |      15 |   665658 |   114632 |   227127      0 |       30 |        2
1392.86/1393.21	c 1269s |      15 |   665856 |   114732 |   227127      0 |       30 |        2
1395.26/1395.61	c 1272s |      15 |   666008 |   114832 |   227127      0 |       30 |        2
1397.56/1397.98	c 1274s |      15 |   666157 |   114932 |   227127      0 |       30 |        2
1399.76/1400.13	c 1276s |      15 |   666316 |   115032 |   227127      0 |       30 |        2
1401.85/1402.28	c 1278s |      15 |   666517 |   115132 |   227127      0 |       30 |        2
1405.76/1406.15	c 1282s |      15 |   666920 |   115332 |   227127      0 |       30 |        2
1409.35/1409.72	c 1286s |      15 |   667298 |   115532 |   227127      0 |       30 |        2
1411.45/1411.85	c 1288s |      15 |   667471 |   115632 |   227127      0 |       30 |        2
1413.75/1414.18	c 1290s |      15 |   667677 |   115732 |   227127      0 |       30 |        2
1417.76/1418.16	c 1294s |      15 |   668107 |   115932 |   227127      0 |       30 |        2
1420.65/1421.02	c 1297s |      15 |   668332 |   116032 |   227127      0 |       30 |        2
1423.26/1423.62	c 1300s |      15 |   668589 |   116132 |   227127      0 |       30 |        2
1425.65/1426.06	c 1302s |      15 |   668766 |   116232 |   227127      0 |       30 |        2
1428.25/1428.61	c 1305s |      15 |   668955 |   116332 |   227127      0 |       30 |        2
1433.55/1433.96	c 1310s |      15 |   669306 |   116532 |   227127      0 |       30 |        2
1436.25/1436.68	c 1313s |      15 |   669527 |   116632 |   227127      0 |       30 |        2
1439.25/1439.66	c 1316s |      15 |   669693 |   116732 |   227127      0 |       30 |        2
1441.24/1441.67	c 1318s |      15 |   669860 |   116832 |   227127      0 |       30 |        2
1443.74/1444.16	c 1320s |      15 |   670135 |   116932 |   227127      0 |       30 |        2
1446.94/1447.33	c 1323s |      15 |   670536 |   117132 |   227127      0 |       30 |        2
1449.75/1450.10	c 1326s |      15 |   670885 |   117332 |   227127      0 |       30 |        2
1452.74/1453.16	c 1329s |      15 |   671279 |   117532 |   227127      0 |       30 |        2
1455.25/1455.61	c 1332s |      15 |   671577 |   117732 |   227127      0 |       30 |        2
1458.04/1458.45	c 1335s |      15 |   672082 |   118032 |   227127      0 |       30 |        2
1460.14/1460.58	c 1337s |      15 |   672429 |   118232 |   227127      0 |       30 |        2
1462.64/1463.00	c 1339s |      15 |   672803 |   118432 |   227127      0 |       30 |        2
1464.94/1465.40	c 1342s |      15 |   673103 |   118632 |   227127      0 |       30 |        2
1467.25/1467.62	c 1344s |      15 |   673477 |   118832 |   227127      0 |       30 |        2
1469.45/1469.81	c 1346s |      15 |   673937 |   119032 |   227127      0 |       30 |        2
1472.34/1472.70	c 1349s |      15 |   674461 |   119332 |   227127      0 |       30 |        2
1475.05/1475.49	c 1352s |      15 |   674870 |   119532 |   227127      0 |       30 |        2
1477.15/1477.56	c 1354s |      15 |   675268 |   119732 |   227127      0 |       30 |        2
1480.24/1480.66	c 1357s |      15 |   675601 |   119932 |   227127      0 |       30 |        2
1483.44/1483.81	c 1360s |      15 |   675995 |   120132 |   227127      0 |       30 |        2
1486.14/1486.52	c 1363s |      15 |   676331 |   120332 |   227127      0 |       30 |        2
1489.04/1489.41	c 1366s |      15 |   676666 |   120532 |   227127      0 |       30 |        2
1492.04/1492.49	c 1369s |      15 |   676996 |   120732 |   227127      0 |       30 |        2
1496.34/1496.72	c 1373s |      15 |   677312 |   120932 |   227127      0 |       30 |        2
1498.44/1498.84	c 1375s |      15 |   677530 |   121032 |   227127      0 |       30 |        2
1501.93/1502.39	c 1379s |      15 |   677913 |   121232 |   227127      0 |       30 |        2
1504.03/1504.46	c 1381s |      15 |   678283 |   121532 |   227127      0 |       30 |        2
1506.13/1506.57	c 1383s |      15 |   678701 |   121732 |   227127      0 |       30 |        2
1508.33/1508.71	c 1385s |      15 |   680773 |   122832 |   227127      0 |       30 |        2
1510.53/1510.94	c 1387s |      15 |   683051 |   124132 |   227127      0 |       30 |        2
1512.93/1513.34	c 1389s |      15 |   684167 |   124732 |   227127      0 |       30 |        2
1515.93/1516.40	c 1393s |      15 |   685373 |   125432 |   227127      0 |       30 |        2
1518.03/1518.44	c 1395s |      15 |   686497 |   125932 |   227127      0 |       30 |        2
1520.04/1520.45	c 1397s |      15 |   688672 |   127032 |   227127      0 |       30 |        2
1522.34/1522.75	c 1399s |      15 |   690210 |   127732 |   227127      0 |       30 |        2
1524.33/1524.80	c 1401s |      15 |   691038 |   128032 |   227127      0 |       30 |        2
1526.43/1526.82	c 1403s |      15 |   692147 |   128532 |   227127      0 |       30 |        2
1528.53/1528.97	c 1405s |      15 |   693350 |   129032 |   227127      0 |       30 |        2
1530.83/1531.25	c 1407s |      15 |   694244 |   129332 |   227127      0 |       30 |        2
1533.33/1533.75	c 1410s |      15 |   695723 |   129932 |   227127      0 |       30 |        2
1535.53/1535.96	c 1412s |      15 |   696488 |   130232 |   249840      0 |       30 |        2
1537.63/1538.06	c 1414s |      15 |   697686 |   130832 |   249840      0 |       30 |        2
1540.13/1540.56	c 1417s |      15 |   698464 |   131232 |   249840      0 |       30 |        2
1540.83/1541.28	c 1417s |      16 |   699074 |   131552 |   249840      0 |       30 |        2
1544.13/1544.55	c 1421s |      16 |   707548 |   131752 |   249840      0 |       30 |        2
1552.62/1553.06	c 1429s |      16 |   786876 |   131852 |   249840      0 |       30 |        2
1559.12/1559.57	c 1436s |      16 |   801037 |   131952 |   249840      0 |       30 |        2
1567.52/1567.99	c 1444s |      16 |   861335 |   132052 |   249840      0 |       30 |        2
1572.32/1572.77	c 1449s |      16 |   876452 |   132152 |   249840      0 |       30 |        2
1579.92/1580.34	c 1456s |      16 |   887496 |   132252 |   249840      0 |       30 |        2
1582.02/1582.49	c 1459s |      16 |   888747 |   132652 |   249840      0 |       30 |        2
1584.52/1584.93	c 1461s |      16 |   889674 |   133152 |   249840      0 |       30 |        2
1587.12/1587.52	c 1464s |      16 |   890815 |   133552 |   249840      0 |       30 |        2
1589.72/1590.12	c 1466s |      16 |   891967 |   133952 |   249840      0 |       30 |        2
1592.12/1592.52	c 1469s |      16 |   893371 |   134452 |   249840      0 |       30 |        2
1595.22/1595.68	c 1472s |      16 |   894778 |   134852 |   249840      0 |       30 |        2
1597.42/1597.88	c 1474s |      16 |   895671 |   135152 |   249840      0 |       30 |        2
1599.82/1600.21	c 1476s |      16 |   897280 |   135852 |   249840      0 |       30 |        2
1602.12/1602.51	c 1479s |      16 |   898745 |   136552 |   249840      0 |       30 |        2
1604.72/1605.17	c 1481s |      16 |   899624 |   136852 |   249840      0 |       30 |        2
1606.81/1607.21	c 1483s |      16 |   900532 |   137152 |   249840      0 |       30 |        2
1609.22/1609.69	c 1486s |      16 |   901592 |   137552 |   249840      0 |       30 |        2
1611.42/1611.81	c 1488s |      16 |   902659 |   138052 |   249840      0 |       30 |        2
1613.81/1614.27	c 1490s |      16 |   903796 |   138552 |   249840      0 |       30 |        2
1615.91/1616.31	c 1492s |      16 |   904797 |   138952 |   249840      0 |       30 |        2
1618.02/1618.42	c 1495s |      16 |   905765 |   139252 |   249840      0 |       30 |        2
1620.51/1620.99	c 1497s |      16 |   907027 |   139752 |   249840      0 |       30 |        2
1622.91/1623.31	c 1499s |      16 |   907892 |   140252 |   249840      0 |       30 |        2
1625.21/1625.64	c 1502s |      16 |   908759 |   140652 |   249840      0 |       30 |        2
1628.21/1628.67	c 1505s |      16 |   909930 |   141052 |   249840      0 |       30 |        2
1630.31/1630.70	c 1507s |      16 |   911431 |   141652 |   249840      0 |       30 |        2
1632.91/1633.37	c 1510s |      16 |   912593 |   142152 |   249840      0 |       30 |        2
1635.41/1635.81	c 1512s |      16 |   913586 |   142552 |   249840      0 |       30 |        2
1637.41/1637.84	c 1514s |      16 |   914508 |   142952 |   249840      0 |       30 |        2
1639.41/1639.89	c 1516s |      16 |   915318 |   143352 |   249840      0 |       30 |        2
1642.01/1642.43	c 1519s |      16 |   916838 |   143952 |   249840      0 |       30 |        2
1644.91/1645.33	c 1521s |      16 |   917990 |   144452 |   249840      0 |       30 |        2
1647.11/1647.55	c 1524s |      16 |   919149 |   144952 |   249840      0 |       30 |        2
1649.31/1649.75	c 1526s |      16 |   920352 |   145452 |   249840      0 |       30 |        2
1651.42/1651.85	c 1528s |      16 |   921286 |   145952 |   249840      0 |       30 |        2
1653.81/1654.27	c 1530s |      16 |   922070 |   146352 |   249840      0 |       30 |        2
1655.91/1656.37	c 1533s |      16 |   923042 |   146652 |   249840      0 |       30 |        2
1658.11/1658.55	c 1535s |      16 |   924000 |   147052 |   249840      0 |       30 |        2
1660.11/1660.56	c 1537s |      16 |   925693 |   147952 |   249840      0 |       30 |        2
1662.31/1662.80	c 1539s |      16 |   926703 |   148352 |   249840      0 |       30 |        2
1664.41/1664.83	c 1541s |      16 |   927234 |   148652 |   249840      0 |       30 |        2
1666.61/1667.04	c 1543s |      16 |   929003 |   149152 |   249840      0 |       30 |        2
1668.71/1669.15	c 1545s |      16 |   929707 |   149452 |   249840      0 |       30 |        2
1670.72/1671.18	c 1547s |      16 |   930637 |   149852 |   249840      0 |       30 |        2
1674.41/1674.80	c 1551s |      16 |   932402 |   150452 |   249840      0 |       30 |        2
1676.81/1677.26	c 1553s |      16 |   933433 |   150952 |   249840      0 |       30 |        2
1679.01/1679.47	c 1556s |      16 |   934598 |   151452 |   249840      0 |       30 |        2
1681.51/1681.94	c 1558s |      16 |   935539 |   151852 |   249840      0 |       30 |        2
1683.61/1684.02	c 1560s |      16 |   936330 |   152252 |   249840      0 |       30 |        2
1686.31/1686.71	c 1563s |      16 |   937353 |   152652 |   249840      0 |       30 |        2
1688.42/1688.83	c 1565s |      16 |   938190 |   153052 |   249840      0 |       30 |        2
1690.61/1691.02	c 1567s |      16 |   938827 |   153252 |   249840      0 |       30 |        2
1692.60/1693.08	c 1569s |      16 |   940204 |   153752 |   249840      0 |       30 |        2
1694.80/1695.25	c 1571s |      16 |   941470 |   154452 |   249840      0 |       30 |        2
1697.21/1697.69	c 1574s |      16 |   942655 |   154852 |   249840      0 |       30 |        2
1699.31/1699.79	c 1576s |      16 |   943225 |   155152 |   249840      0 |       30 |        2
1701.40/1701.88	c 1578s |      16 |   943982 |   155452 |   249840      0 |       30 |        2
1703.50/1703.92	c 1580s |      16 |   944691 |   155652 |   249840      0 |       30 |        2
1705.80/1706.23	c 1582s |      16 |   945569 |   155952 |   249840      0 |       30 |        2
1708.11/1708.56	c 1585s |      16 |   946695 |   156452 |   249840      0 |       30 |        2
1710.31/1710.80	c 1587s |      16 |   947741 |   156852 |   249840      0 |       30 |        2
1712.61/1713.09	c 1589s |      16 |   948450 |   157152 |   249840      0 |       30 |        2
1714.71/1715.19	c 1591s |      16 |   949224 |   157552 |   249840      0 |       30 |        2
1717.30/1717.70	c 1594s |      16 |   950317 |   157952 |   249840      0 |       30 |        2
1719.30/1719.79	c 1596s |      16 |   951498 |   158452 |   249840      0 |       30 |        2
1721.80/1722.23	c 1598s |      16 |   952329 |   158752 |   249840      0 |       30 |        2
1723.90/1724.38	c 1601s |      16 |   953188 |   159052 |   249840      0 |       30 |        2
1726.10/1726.51	c 1603s |      16 |   954912 |   159752 |   249840      0 |       30 |        2
1728.30/1728.72	c 1605s |      16 |   956829 |   160552 |   249840      0 |       30 |        2
1730.40/1730.85	c 1607s |      16 |   957737 |   161052 |   249840      0 |       30 |        2
1732.90/1733.33	c 1609s |      16 |   958909 |   161452 |   249840      0 |       30 |        2
1735.20/1735.69	c 1612s |      16 |   959775 |   161852 |   249840      0 |       30 |        2
1737.29/1737.76	c 1614s |      16 |   960915 |   162352 |   249840      0 |       30 |        2
1739.49/1739.90	c 1616s |      16 |   962291 |   162852 |   249840      0 |       30 |        2
1741.49/1741.97	c 1618s |      16 |   963580 |   163352 |   249840      0 |       30 |        2
1744.19/1744.63	c 1621s |      16 |   965142 |   163952 |   249840      0 |       30 |        2
1746.39/1746.80	c 1623s |      16 |   965922 |   164252 |   249840      0 |       30 |        2
1748.90/1749.32	c 1625s |      16 |   966690 |   164552 |   249840      0 |       30 |        2
1751.29/1751.76	c 1628s |      16 |   967799 |   165152 |   249840      0 |       30 |        2
1753.30/1753.78	c 1630s |      16 |   968985 |   165552 |   249840      0 |       30 |        2
1755.99/1756.48	c 1633s |      16 |   970085 |   166052 |   249840      0 |       30 |        2
1758.49/1758.94	c 1635s |      16 |   971334 |   166552 |   249840      0 |       30 |        2
1760.69/1761.13	c 1637s |      16 |   972447 |   167052 |   249840      0 |       30 |        2
1763.39/1763.86	c 1640s |      16 |   973802 |   167452 |   249840      0 |       30 |        2
1765.89/1766.35	c 1642s |      16 |   975073 |   167852 |   249840      0 |       30 |        2
1767.89/1768.39	c 1645s |      16 |   976302 |   168452 |   249840      0 |       30 |        2
1770.29/1770.79	c 1647s |      16 |   977401 |   168852 |   249840      0 |       30 |        2
1772.49/1772.96	c 1649s |      16 |   978019 |   169152 |   249840      0 |       30 |        2
1774.69/1775.17	c 1651s |      16 |   979326 |   169652 |   249840      0 |       30 |        2
1777.19/1777.65	c 1654s |      16 |   980271 |   169952 |   249840      0 |       30 |        2
1779.29/1779.78	c 1656s |      16 |   980958 |   170252 |   249840      0 |       30 |        2
1781.99/1782.40	c 1659s |      16 |   981991 |   170752 |   249840      0 |       30 |        2
1783.99/1784.42	c 1661s |      16 |   982837 |   170952 |   249840      0 |       30 |        2
1786.49/1786.90	c 1663s |      16 |   983665 |   171152 |   249840      0 |       30 |        2
1788.59/1789.03	c 1665s |      16 |   984639 |   171552 |   249840      0 |       30 |        2
1790.78/1791.25	c 1667s |      16 |   985517 |   171952 |   249840      0 |       30 |        2
1793.18/1793.68	c 1670s |      16 |   985973 |   172152 |   249840      0 |       30 |        2
1795.29/1795.71	c 1672s |      16 |   987269 |   172752 |   249840      0 |       30 |        2
1798.19/1798.60	c 1675s |      16 |   988117 |   173052 |   249840      0 |       30 |        2

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27629
/proc/meminfo: memFree=30618768/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 2730 0 0 0 0 0 0 0 20 0 4 0 25755664 750186496 3601 33554432000 4194304 16246674 140735991713552 140735991712976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 183663 3611 441 2943 0 180557 0
[pid=27629/tid=27630] ppid=27626 vsize=749124 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 767102976 3670 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=754244 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 772345856 3689 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=758340 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25755664 776540160 3705 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27629
/proc/meminfo: memFree=30618768/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 30874 0 0 0 5 4 0 0 20 0 4 0 25755664 1334382592 31683 33554432000 4194304 16246674 140735991713552 140735991696544 8057278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 325777 31700 801 2943 0 322671 0
[pid=27629/tid=27630] ppid=27626 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1334382592 31710 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1334382592 31721 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1334382592 31732 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200503 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27629
/proc/meminfo: memFree=30618768/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 42561 0 0 0 13 6 0 0 20 0 4 0 25755664 1343819776 43881 33554432000 4194304 16246674 140735991713552 140735991696544 4221040 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 328081 43881 801 2943 0 324975 0
[pid=27629/tid=27630] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 43881 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 43881 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 43881 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300479 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27629
/proc/meminfo: memFree=30618768/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 46266 0 0 0 23 6 0 0 20 0 4 0 25755664 1343819776 47586 33554432000 4194304 16246674 140735991713552 140735991696544 4220965 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 328081 47586 802 2943 0 324975 0
[pid=27629/tid=27630] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 47586 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 47586 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 47586 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.70041 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27629
/proc/meminfo: memFree=30618768/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 55600 0 0 0 61 8 0 0 20 0 4 0 25755664 1343819776 56920 33554432000 4194304 16246674 140735991713552 140735991696544 7440106 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 328081 56920 803 2943 0 324975 0
[pid=27629/tid=27630] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 56920 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 56920 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1343819776 56920 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27633
/proc/meminfo: memFree=30354796/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1318468 CPUtime=1.49 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 71084 0 0 0 139 10 0 0 20 0 4 0 25755664 1350111232 72404 33554432000 4194304 16246674 140735991713552 140735991711360 7364584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 329617 72404 803 2943 0 326511 0
[pid=27629/tid=27630] ppid=27626 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1350111232 72404 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1350111232 72404 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1350111232 72404 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10041 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27633
/proc/meminfo: memFree=30048628/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1374788 CPUtime=3.09 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 278172 0 0 0 271 38 0 0 20 0 4 0 25755664 1407782912 283580 33554432000 4194304 16246674 140735991713552 140735991711424 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 343697 283580 834 2943 0 340591 0
[pid=27629/tid=27630] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 283580 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 283580 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 283580 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1374788

[startup+6.3004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27633
/proc/meminfo: memFree=29476004/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1374788 CPUtime=6.29 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 278189 0 0 0 591 38 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140735991695424 12655187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 343697 285641 844 2943 0 340591 0
[pid=27629/tid=27630] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1374788

[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 27633
/proc/meminfo: memFree=29476392/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1374788 CPUtime=12.69 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 278189 0 0 0 1231 38 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140735991695424 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 343697 285641 844 2943 0 340591 0
[pid=27629/tid=27630] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1374788

[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 27633
/proc/meminfo: memFree=29476388/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1374788 CPUtime=25.49 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 278189 0 0 0 2511 38 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140735991695424 12654964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 343697 285641 844 2943 0 340591 0
[pid=27629/tid=27630] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1374788

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27633
/proc/meminfo: memFree=29476344/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1374788 CPUtime=51.08 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 278189 0 0 0 5070 38 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140735991695424 12654376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 343697 285641 844 2943 0 340591 0
[pid=27629/tid=27630] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285641 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1374788

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27634
/proc/meminfo: memFree=29476260/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1374788 CPUtime=102.27 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 278247 0 0 0 10189 38 0 0 20 0 4 0 25755664 1407782912 285699 33554432000 4194304 16246674 140735991713552 140735991695424 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27629/statm: 343697 285699 896 2943 0 340591 0
[pid=27629/tid=27630] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285699 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285699 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1407782912 285699 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1374788


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

/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 27666
/proc/meminfo: memFree=29209364/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1382980 CPUtime=1361.97 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 280517 0 0 0 136157 40 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140735991695424 13759557 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 345745 287774 920 2943 0 342639 0
[pid=27629/tid=27630] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1382980

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27667
/proc/meminfo: memFree=29072468/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1382980 CPUtime=1421.95 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 280534 0 0 0 142155 40 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140735991695424 12415665 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 345745 287774 920 2943 0 342639 0
[pid=27629/tid=27630] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1382980

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27718
/proc/meminfo: memFree=29348344/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1382980 CPUtime=1481.94 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 280534 0 0 0 148154 40 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140735991696552 5721633 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 345745 287774 920 2943 0 342639 0
[pid=27629/tid=27630] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1382980

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 27722
/proc/meminfo: memFree=21434236/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1382980 CPUtime=1541.93 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 280534 0 0 0 154153 40 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140735991695424 5830022 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 345745 287774 920 2943 0 342639 0
[pid=27629/tid=27630] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1382980

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 27723
/proc/meminfo: memFree=17614024/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1382980 CPUtime=1601.92 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 280534 0 0 0 160152 40 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140735991695424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 345745 287774 920 2943 0 342639 0
[pid=27629/tid=27630] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1382980

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 27724
/proc/meminfo: memFree=15825420/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1382980 CPUtime=1661.92 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 280534 0 0 0 166151 41 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140735991695424 5677888 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 345745 287774 920 2943 0 342639 0
[pid=27629/tid=27630] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1416171520 287774 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1382980

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 27773
/proc/meminfo: memFree=28832104/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1400388 CPUtime=1721.9 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 284886 0 0 0 172149 41 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140735991695424 5711338 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 350097 292126 920 2943 0 346991 0
[pid=27629/tid=27630] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1400388

[startup+1782.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 27775
/proc/meminfo: memFree=26715452/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1400388 CPUtime=1781.89 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 284886 0 0 0 178148 41 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140735991695424 5711697 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 350097 292126 920 2943 0 346991 0
[pid=27629/tid=27630] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1400388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 27776
/proc/meminfo: memFree=27062032/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1400388 CPUtime=1800.09 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 284886 0 0 0 179967 42 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140735991695424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 350097 292126 920 2943 0 346991 0
[pid=27629/tid=27630] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1400388

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 27776
/proc/meminfo: memFree=27062032/32872528 swapFree=7780/7780
[pid=27629] ppid=27626 vsize=1400388 CPUtime=1800.09 cores=0,2,4,6
/proc/27629/stat : 27629 (toysat) R 27626 27629 23276 0 -1 4202496 284886 0 0 0 179967 42 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140735991695424 12415740 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27629/statm: 350097 292126 920 2943 0 346991 0
[pid=27629/tid=27630] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27630/stat : 27630 (toysat) S 27626 27629 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273115966704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=27629/tid=27631] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27631/stat : 27631 (toysat) S 27626 27629 23276 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273027886320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=27629/tid=27632] ppid=27626 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/27629/task/27632/stat : 27632 (toysat) S 27626 27629 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25755664 1433997312 292126 33554432000 4194304 16246674 140735991713552 140273017412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1400388

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.68
CPU system time (s): 0.419936
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 1400388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.419936
maximum resident set size= 1168504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284886
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= 247
involuntary context switches= 2175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69329 second user time and 6.81096 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 10:05:08
IDJOB=4103441
IDBENCH=2360
IDSOLVER=2542
FILE ID=node151/4103441-1466237108
RUNJOBID= node151-1466206051-23292
PBS_JOBID= 19918135
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103441-1466237108/watcher-4103441-1466237108 -o /tmp/evaluation-result-4103441-1466237108/solver-4103441-1466237108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103441-1466237108.opb

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

MD5SUM BENCH= 793a421e66649b71c1e582af22e89954
RANDOM SEED=675414437

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30619304 kB
Buffers:          124268 kB
Cached:           287060 kB
SwapCached:         1996 kB
Active:          1216524 kB
Inactive:         290992 kB
Active(anon):    1096856 kB
Inactive(anon):     1788 kB
Active(file):     119668 kB
Inactive(file):   289204 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             30288 kB
Writeback:             0 kB
AnonPages:       1103432 kB
Mapped:            11784 kB
Shmem:                 0 kB
Slab:             606000 kB
SReclaimable:      49436 kB
SUnreclaim:       556564 kB
KernelStack:        1448 kB
PageTables:         6216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1247464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71700 MiB
End job on node151 at 2016-06-18 10:35:09