Trace number 4106787

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.04 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_2.opb
MD5SUM16914dfad82872f4c1ab9b61e8ec867a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-36
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74976
Sum of products size (including duplicates)149952
Number of different products37488
Sum of products size74976

Solver Data 

0.00/0.00	c 2016-06-18T21:29:09+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-4106787-1466278149.opb"]
0.00/0.01	c use --random-gen="14081717 1184031931 1584114399 3559215832 1973419898 326414297 3409514265 2378723220 2691381726 3977527840 2402098113 3196216779 2666360568 1446819516 694585357 2697768689 866873186 2244311311 510884414 668043881 1171194583 2583893653 1177120823 914090671 2021253365 474933403 416403735 3605326137 4036805926 3927676528 2464101285 4017238465 210926481 762366055 1014672466 3759146807 2471082977 3419853223 1104598935 1726094136 2874372527 30019927 3870227800 3459263312 673252065 1016039621 3007704412 3841965145 1546764230 1039528020 4249735850 1039613685 373242053 2768266612 1138582277 3725621342 2566625358 3157510047 3484631328 3509531449 1890528975 1466535520 2228590193 3972902643 608953139 2252336749 4097035197 1556424237 2391942733 650151005 3515863391 2908465759 369297928 4207575639 1247608398 997905948 2651421850 4195471102 2415480505 198850389 4005567274 1395489034 2863454684 2578618436 2715653947 3848166171 2841913475 499321358 2078180808 411305011 2212329788 3142212393 997248905 553089563 3920921105 3564955045 1459894554 2095968188 3747456749 3738192588 1511837873 180411258 122483497 2677902926 1656756530 3670848507 1211419716 3955612580 4167209262 4005660199 1199241985 1539111614 3385081742 223599375 4209371686 700155354 226719741 708820895 2386449578 117061962 2343353735 426954153 2947711646 1579782241 2819888864 1987895769 8089473 1960504626 2653083310 4062625148 2509291047 339527933 1819418219 1323680985 2631703583 2654565511 2798993152 943969349 1373544663 1537330796 1489195961 3744696485 2256971448 1671255651 2555283890 2930014545 1286871446 1076317495 503179842 2975621833 598473921 1667521334 3706213736 1069582081 2311751481 3410322650 2604400331 3405618027 2650586063 2605029757 3601775638 2543912445 1750663692 3373157571 254369261 1300054019 2329825650 139872984 1865880399 1601513224 2819367269 3897088565 2798787142 1738824524 4054420490 3035524098 384204865 334880628 3935612349 3534202464 799969775 1110465110 3215674102 1505590989 2799657579 710823622 4184193781 3398721568 2748040716 339997152 728241694 2345613213 1706430412 2831971693 1253288021 3059778442 3658291376 2141645162 206666296 607392633 3215218109 3769537995 3299447689 2302554257 3314178892 2237604337 3448555122 1400163387 2149897755 4856594 611723412 4272115175 2376916971 65022663 3728590524 615403302 1239021202 461290914 3997502538 1066804505 2250710060 1204605453 800741186 1998915191 4143137458 4230410685 3642705021 1898747697 928344877 2955918366 3502339916 4165298008 2314254396 2524299742 2737829998 171676045 3427487771 1431115822 3552822848 4001612871 2222181903 132990847 3325773179 4086592890 3926684304 338998571 2014482726 973974385 2574040423 2232062964 4173055563 2890506648 2375739750 2984244003 3159659698 2454250391 255 362436" option to reproduce the execution
0.09/0.22	c #vars 1000
0.09/0.22	c #constraints 1501
1.19/1.30	c BCD2: Hardening is enabled.
1.19/1.30	c BCD2: BiasedSearch is enabled.
1.19/1.30	c Solving starts ...
1.19/1.30	c ============================[ Search Statistics ]============================
1.19/1.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.30	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.30	c =============================================================================
1.19/1.30	c  0.0s |       0 |        0 |        0 |    25826      0 |        0 |        0
1.30/1.39	c  0.1s |       0 |      526 |        1 |    25826      0 |        0 |        0
1.30/1.39	c #cpu_time = 0.071s
1.30/1.39	c #wall_clock_time = 0.071s
1.30/1.39	c #decision = 526
1.30/1.39	c #random_decision = 1
1.30/1.39	c #conflict = 1
1.30/1.39	c #restart = 0
1.30/1.39	o -24
1.30/1.39	c BCD2: updating upper bound: 500 -> 475
1.40/1.41	c BCD2: 0 <= obj <= 475
1.40/1.41	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
1.40/1.41	c BCD2: #sat=1 #unsat=1 bias=1/2
1.40/1.41	c Solving starts ...
1.40/1.41	c ============================[ Search Statistics ]============================
1.40/1.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.40/1.41	c       |         |          |          |    Limit     GC | Var      | Constra 
1.40/1.41	c =============================================================================
1.40/1.41	c  0.0s |       0 |        0 |        0 |    25826      0 |        0 |        0
1.40/1.47	c  0.1s |       0 |      263 |        2 |    25826      0 |        0 |        0
1.40/1.47	c #cpu_time = 0.055s
1.40/1.47	c #wall_clock_time = 0.055s
1.40/1.47	c #decision = 263
1.40/1.47	c #random_decision = 0
1.40/1.47	c #conflict = 2
1.40/1.47	c #restart = 0
1.40/1.47	c BCD2: found a new core of size 250: cost of the new core is >=1
1.40/1.47	c lower bound updated to -499
1.40/1.47	c BCD2: 1 <= obj <= 475
1.40/1.47	c BCD2: #cores=1, #unrelaxed=250, #relaxed=250, #hardened=0
1.40/1.47	c BCD2: #sat=1 #unsat=2 bias=2/3
1.40/1.47	c Solving starts ...
1.40/1.47	c ============================[ Search Statistics ]============================
1.40/1.47	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.40/1.47	c       |         |          |          |    Limit     GC | Var      | Constra 
1.40/1.47	c =============================================================================
1.40/1.47	c  0.0s |       0 |        0 |        0 |    25826      0 |        0 |        0
1.49/1.57	c  0.1s |       0 |      251 |        1 |    25826      0 |        0 |        0
1.49/1.57	c #cpu_time = 0.099s
1.49/1.57	c #wall_clock_time = 0.099s
1.49/1.57	c #decision = 251
1.49/1.57	c #random_decision = 0
1.49/1.57	c #conflict = 1
1.49/1.57	c #restart = 0
1.49/1.57	c BCD2: relaxing 250 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
1.49/1.57	c lower bound updated to -498
1.49/1.57	c BCD2: 2 <= obj <= 475
1.49/1.57	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
1.49/1.57	c BCD2: #sat=1 #unsat=3 bias=3/4
1.49/1.57	c Solving starts ...
1.49/1.57	c ============================[ Search Statistics ]============================
1.49/1.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.57	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.57	c =============================================================================
1.49/1.58	c  0.0s |       0 |        0 |        0 |    25826      0 |        1 |        0
1.79/1.81	c  0.2s |       1 |    10311 |      100 |    28409      0 |        1 |        1
1.99/2.06	c  0.5s |       2 |    23110 |      250 |    31250      0 |        1 |        1
4.09/4.11	c  2.5s |       3 |    33851 |      475 |    34375      0 |        1 |        1
5.39/5.45	c  3.9s |       4 |    54677 |      813 |    37813      0 |        1 |        1
7.39/7.49	c  5.9s |       5 |    89874 |     1320 |    41595      0 |        1 |        1
9.59/9.69	c  8.1s |       5 |   104122 |     1720 |    41595      0 |        1 |        1
11.59/11.60	c 10.0s |       6 |   118472 |     2081 |    45755      0 |        1 |        1
14.19/14.21	c 12.6s |       6 |   126207 |     2481 |    45755      0 |        1 |        1
16.80/16.85	c 15.3s |       6 |   127376 |     2681 |    45755      0 |        1 |        1
19.89/20.00	c 18.4s |       6 |   128322 |     2881 |    45755      0 |        1 |        1
22.49/22.58	c 21.0s |       6 |   129541 |     3081 |    45755      0 |        1 |        1
23.39/23.48	c 21.9s |       7 |   132663 |     3223 |    50331      0 |        1 |        1
25.59/25.65	c 24.1s |       7 |   134844 |     3523 |    50331      0 |        1 |        1
28.79/28.83	c 27.2s |       7 |   137174 |     3823 |    50331      0 |        1 |        1
31.89/31.95	c 30.4s |       7 |   138396 |     4023 |    50331      0 |        1 |        1
33.89/33.96	c 32.4s |       7 |   138492 |     4123 |    50331      0 |        1 |        1
36.79/36.85	c 35.3s |       7 |   141179 |     4423 |    50331      0 |        1 |        1
39.18/39.24	c 37.7s |       7 |   143470 |     4623 |    50331      0 |        1 |        1
41.38/41.47	c 39.9s |       7 |   145569 |     4823 |    50331      0 |        1 |        1
42.88/42.92	c 41.3s |       8 |   146281 |     4936 |    55365      0 |        1 |        1
46.08/46.13	c 44.5s |       8 |   154456 |     5336 |    55365      0 |        1 |        1
48.78/48.84	c 47.3s |       8 |   156275 |     5536 |    55365      0 |        1 |        1
51.58/51.69	c 50.1s |       8 |   157083 |     5836 |    55365      0 |        1 |        1
53.78/53.87	c 52.3s |       8 |   157776 |     6136 |    55365      0 |        1 |        1
56.18/56.29	c 54.7s |       8 |   159115 |     6536 |    55365      0 |        1 |        1
58.28/58.31	c 56.7s |       8 |   159413 |     6736 |    55365      0 |        1 |        1
60.28/60.32	c 58.7s |       8 |   169775 |     7036 |    55365      0 |        1 |        1
63.88/63.92	c 62.3s |       8 |   171964 |     7336 |    55365      0 |        1 |        1
65.88/65.93	c 64.3s |       9 |   174136 |     7506 |    60902      0 |        1 |        1
68.48/68.55	c 67.0s |       9 |   188491 |     7906 |    60902      0 |        1 |        1
71.18/71.20	c 69.6s |       9 |   189164 |     8106 |    60902      0 |        1 |        1
73.18/73.23	c 71.6s |       9 |   190018 |     8306 |    60902      0 |        1 |        1
76.08/76.14	c 74.6s |       9 |   193909 |     8506 |    60902      0 |        1 |        1
79.18/79.22	c 77.6s |       9 |   196261 |     8806 |    60902      0 |        1 |        1
81.77/81.80	c 80.2s |       9 |   196457 |     9006 |    60902      0 |        1 |        1
84.07/84.16	c 82.6s |       9 |   198152 |     9206 |    60902      0 |        1 |        1
86.27/86.32	c 84.7s |       9 |   202033 |     9406 |    60902      0 |        1 |        1
89.87/89.98	c 88.4s |       9 |   203192 |     9706 |    60902      0 |        1 |        1
92.58/92.66	c 91.1s |       9 |   203625 |     9806 |    60902      0 |        1 |        1
95.37/95.42	c 93.8s |       9 |   208217 |    10306 |    60902      0 |        1 |        1
99.28/99.33	c 97.7s |       9 |   211741 |    10606 |    60902      0 |        1 |        1
101.38/101.50	c 99.9s |       9 |   212028 |    10706 |    60902      0 |        1 |        1
103.58/103.69	c  102s |       9 |   215481 |    10806 |    60902      0 |        1 |        1
105.88/105.96	c  104s |       9 |   216517 |    11006 |    60902      0 |        1 |        1
108.47/108.57	c  106s |       9 |   218606 |    11206 |    60902      0 |        1 |        1
110.87/110.96	c  109s |      10 |   219578 |    11361 |    66993      0 |        1 |        1
113.17/113.21	c  111s |      10 |   220391 |    11461 |    66993      0 |        1 |        1
116.37/116.46	c  114s |      10 |   224534 |    11761 |    66993      0 |        1 |        1
119.77/119.81	c  118s |      10 |   229418 |    12061 |    66993      0 |        1 |        1
122.37/122.42	c  120s |      10 |   234160 |    12261 |    66993      0 |        1 |        1
124.37/124.42	c  122s |      10 |   234160 |    12361 |    66993      0 |        1 |        1
126.77/126.85	c  125s |      10 |   238883 |    12561 |    66993      0 |        1 |        1
129.47/129.56	c  127s |      10 |   243376 |    12761 |    66993      0 |        1 |        1
133.06/133.12	c  131s |      10 |   243687 |    12961 |    66993      0 |        1 |        1
136.36/136.44	c  134s |      10 |   243826 |    13161 |    66993      0 |        1 |        1
138.46/138.50	c  136s |      10 |   245215 |    13361 |    66993      0 |        1 |        1
140.66/140.72	c  139s |      10 |   250232 |    13661 |    66993      0 |        1 |        1
142.76/142.86	c  141s |      10 |   250455 |    13861 |    66993      0 |        1 |        1
144.96/145.07	c  143s |      10 |   251066 |    14061 |    66993      0 |        1 |        1
147.57/147.67	c  146s |      10 |   251477 |    14161 |    66993      0 |        1 |        1
149.87/149.94	c  148s |      10 |   257693 |    14461 |    66993      0 |        1 |        1
151.97/152.09	c  150s |      10 |   260292 |    14661 |    66993      0 |        1 |        1
156.06/156.12	c  154s |      10 |   260518 |    14861 |    66993      0 |        1 |        1
158.76/158.85	c  157s |      10 |   263505 |    14961 |    66993      0 |        1 |        1
161.06/161.19	c  159s |      10 |   264977 |    15161 |    66993      0 |        1 |        1
163.86/163.93	c  162s |      10 |   265892 |    15361 |    66993      0 |        1 |        1
165.86/165.96	c  164s |      10 |   267523 |    15561 |    66993      0 |        1 |        1
168.06/168.18	c  166s |      10 |   269513 |    15761 |    66993      0 |        1 |        1
171.26/171.38	c  169s |      10 |   270255 |    15961 |    66993      0 |        1 |        1
174.26/174.33	c  172s |      10 |   270693 |    16161 |    66993      0 |        1 |        1
177.37/177.46	c  175s |      10 |   271273 |    16361 |    66993      0 |        1 |        1
180.06/180.17	c  178s |      10 |   271835 |    16561 |    66993      0 |        1 |        1
182.56/182.69	c  181s |      10 |   273327 |    16761 |    66993      0 |        1 |        1
185.66/185.73	c  184s |      10 |   273877 |    16961 |    66993      0 |        1 |        1
187.86/187.94	c  186s |      11 |   275725 |    17144 |    73693      0 |        1 |        1
190.56/190.67	c  189s |      11 |   286688 |    17444 |    73693      0 |        1 |        1
193.46/193.56	c  191s |      11 |   287514 |    17744 |    73693      0 |        1 |        1
196.16/196.27	c  194s |      11 |   289960 |    17944 |    73693      0 |        1 |        1
199.06/199.14	c  197s |      11 |   291230 |    18144 |    73693      0 |        1 |        1
201.46/201.58	c  199s |      11 |   293204 |    18344 |    73693      0 |        1 |        1
204.26/204.33	c  202s |      11 |   294337 |    18544 |    73693      0 |        1 |        1
206.85/206.95	c  205s |      11 |   295805 |    18744 |    73693      0 |        1 |        1
209.45/209.55	c  207s |      11 |   296605 |    18944 |    73693      0 |        1 |        1
211.95/212.05	c  210s |      11 |   298676 |    19144 |    73693      0 |        1 |        1
214.45/214.50	c  212s |      11 |   299824 |    19344 |    73693      0 |        1 |        1
217.35/217.44	c  215s |      11 |   300288 |    19544 |    73693      0 |        1 |        1
219.85/219.97	c  218s |      11 |   300798 |    19744 |    73693      0 |        1 |        1
222.15/222.20	c  220s |      11 |   302818 |    19944 |    73693      0 |        1 |        1
225.15/225.23	c  223s |      11 |   303670 |    20144 |    73693      0 |        1 |        1
227.96/228.08	c  226s |      11 |   304058 |    20344 |    73693      0 |        1 |        1
230.45/230.56	c  228s |      11 |   306632 |    20544 |    73693      0 |        1 |        1
232.95/233.05	c  231s |      11 |   308930 |    20844 |    73693      0 |        1 |        1
236.05/236.17	c  234s |      11 |   311425 |    21044 |    73693      0 |        1 |        1
238.65/238.77	c  237s |      11 |   313157 |    21144 |    73693      0 |        1 |        1
240.85/240.94	c  239s |      11 |   316833 |    21344 |    73693      0 |        1 |        1
242.95/243.08	c  241s |      11 |   324755 |    21544 |    73693      0 |        1 |        1
246.55/246.64	c  245s |      11 |   324829 |    21744 |    73693      0 |        1 |        1
249.25/249.36	c  247s |      11 |   332716 |    21944 |    73693      0 |        1 |        1
252.55/252.67	c  251s |      11 |   339821 |    22144 |    73693      0 |        1 |        1
255.05/255.13	c  253s |      11 |   340075 |    22344 |    73693      0 |        1 |        1
257.44/257.55	c  255s |      11 |   347117 |    22544 |    73693      0 |        1 |        1
260.35/260.48	c  258s |      11 |   354142 |    22744 |    73693      0 |        1 |        1
263.65/263.75	c  262s |      11 |   359759 |    22944 |    73693      0 |        1 |        1
266.36/266.48	c  264s |      11 |   361136 |    23144 |    73693      0 |        1 |        1
268.85/268.95	c  267s |      11 |   368098 |    23344 |    73693      0 |        1 |        1
270.86/270.95	c  269s |      11 |   371076 |    23444 |    73693      0 |        1 |        1
273.35/273.48	c  271s |      11 |   375042 |    23644 |    73693      0 |        1 |        1
275.95/276.00	c  274s |      11 |   381944 |    23844 |    73693      0 |        1 |        1
278.05/278.12	c  276s |      11 |   383192 |    23944 |    73693      0 |        1 |        1
280.45/280.51	c  278s |      11 |   388820 |    24144 |    73693      0 |        1 |        1
283.15/283.25	c  281s |      11 |   395432 |    24344 |    73693      0 |        1 |        1
285.45/285.53	c  283s |      11 |   395683 |    24444 |    73693      0 |        1 |        1
287.85/287.98	c  286s |      11 |   402258 |    24644 |    73693      0 |        1 |        1
290.65/290.70	c  289s |      11 |   409050 |    24844 |    73693      0 |        1 |        1
292.85/292.97	c  291s |      11 |   409546 |    24944 |    73693      0 |        1 |        1
295.35/295.47	c  293s |      11 |   415818 |    25144 |    73693      0 |        1 |        1
298.14/298.20	c  296s |      11 |   422551 |    25344 |    73693      0 |        1 |        1
300.24/300.39	c  298s |      11 |   424252 |    25444 |    73693      0 |        1 |        1
302.94/303.03	c  301s |      11 |   429253 |    25644 |    73693      0 |        1 |        1
305.24/305.32	c  303s |      12 |   435934 |    25819 |    81063      0 |        1 |        1
307.64/307.79	c  306s |      12 |   439489 |    26019 |    81063      0 |        1 |        1
310.14/310.25	c  308s |      12 |   442464 |    26219 |    81063      0 |        1 |        1
314.34/314.41	c  312s |      12 |   443212 |    26419 |    81063      0 |        1 |        1
317.44/317.52	c  315s |      12 |   443662 |    26519 |    81063      0 |        1 |        1
319.84/319.93	c  318s |      12 |   463030 |    26919 |    81063      0 |        1 |        1
323.14/323.28	c  321s |      12 |   463528 |    27119 |    81063      0 |        1 |        1
325.24/325.36	c  323s |      12 |   474026 |    27319 |    81063      0 |        1 |        1
328.14/328.28	c  326s |      12 |   478682 |    27619 |    81063      0 |        1 |        1
331.84/331.93	c  330s |      12 |   480651 |    27819 |    81063      0 |        1 |        1
334.13/334.23	c  332s |      12 |   484752 |    28119 |    81063      0 |        1 |        1
337.33/337.40	c  335s |      12 |   485889 |    28319 |    81063      0 |        1 |        1
341.14/341.23	c  339s |      12 |   488921 |    28519 |    81063      0 |        1 |        1
343.34/343.42	c  341s |      12 |   498975 |    28719 |    81063      0 |        1 |        1
345.54/345.69	c  344s |      12 |   501331 |    28919 |    81063      0 |        1 |        1
347.74/347.81	c  346s |      12 |   501746 |    29019 |    81063      0 |        1 |        1
350.33/350.44	c  348s |      12 |   501833 |    29119 |    81063      0 |        1 |        1
352.33/352.45	c  350s |      12 |   510179 |    29219 |    81063      0 |        1 |        1
354.43/354.53	c  352s |      12 |   518704 |    29519 |    81063      0 |        1 |        1
357.63/357.76	c  356s |      12 |   519636 |    29719 |    81063      0 |        1 |        1
360.23/360.30	c  358s |      12 |   533459 |    30119 |    81063      0 |        1 |        1
362.83/362.90	c  361s |      12 |   542511 |    30319 |    81063      0 |        1 |        1
365.53/365.69	c  364s |      12 |   548151 |    30619 |    81063      0 |        1 |        1
368.13/368.26	c  366s |      12 |   548670 |    30819 |    81063      0 |        1 |        1
371.22/371.37	c  369s |      12 |   551464 |    31019 |    81063      0 |        1 |        1
374.13/374.30	c  372s |      12 |   552030 |    31219 |    81063      0 |        1 |        1
377.72/377.82	c  376s |      12 |   555851 |    31519 |    81063      0 |        1 |        1
382.02/382.16	c  380s |      12 |   556565 |    31719 |    81063      0 |        1 |        1
384.32/384.47	c  382s |      12 |   560715 |    31919 |    81063      0 |        1 |        1
387.82/387.95	c  386s |      12 |   561584 |    32119 |    81063      0 |        1 |        1
390.73/390.87	c  389s |      12 |   564434 |    32319 |    81063      0 |        1 |        1
394.03/394.11	c  392s |      12 |   566187 |    32519 |    81063      0 |        1 |        1
396.32/396.41	c  394s |      12 |   566262 |    32619 |    81063      0 |        1 |        1
399.12/399.26	c  397s |      12 |   566669 |    32819 |    81063      0 |        1 |        1
401.52/401.61	c  400s |      12 |   569771 |    33019 |    81063      0 |        1 |        1
404.02/404.12	c  402s |      12 |   571040 |    33219 |    81063      0 |        1 |        1
406.12/406.27	c  404s |      12 |   572439 |    33419 |    81063      0 |        1 |        1
408.51/408.66	c  407s |      12 |   574613 |    33619 |    81063      0 |        1 |        1
411.62/411.76	c  410s |      12 |   576814 |    33819 |    81063      0 |        1 |        1
414.51/414.68	c  413s |      12 |   580072 |    34019 |    81063      0 |        1 |        1
417.02/417.15	c  415s |      12 |   583259 |    34219 |    81063      0 |        1 |        1
419.41/419.54	c  417s |      12 |   586778 |    34419 |    81063      0 |        1 |        1
423.01/423.19	c  421s |      12 |   587147 |    34619 |    81063      0 |        1 |        1
425.92/426.08	c  424s |      12 |   589014 |    34819 |    81063      0 |        1 |        1
429.01/429.13	c  427s |      12 |   589886 |    35019 |    81063      0 |        1 |        1
431.71/431.81	c  430s |      12 |   591762 |    35219 |    81063      0 |        1 |        1
433.81/433.90	c  432s |      12 |   592576 |    35319 |    81063      0 |        1 |        1
436.51/436.60	c  435s |      12 |   595493 |    35519 |    81063      0 |        1 |        1
439.81/439.97	c  438s |      12 |   596822 |    35719 |    81063      0 |        1 |        1
442.50/442.65	c  441s |      12 |   598961 |    35919 |    81063      0 |        1 |        1
446.30/446.49	c  444s |      12 |   600852 |    36119 |    81063      0 |        1 |        1
449.60/449.76	c  448s |      12 |   601826 |    36319 |    81063      0 |        1 |        1
452.00/452.16	c  450s |      12 |   606365 |    36519 |    81063      0 |        1 |        1
454.70/454.86	c  453s |      12 |   607107 |    36719 |    81063      0 |        1 |        1
458.00/458.10	c  456s |      12 |   609229 |    37019 |    81063      0 |        1 |        1
460.30/460.41	c  458s |      12 |   609348 |    37119 |    81063      0 |        1 |        1
463.10/463.24	c  461s |      12 |   610512 |    37319 |    81063      0 |        1 |        1
466.10/466.29	c  464s |      12 |   612608 |    37519 |    81063      0 |        1 |        1
468.99/469.13	c  467s |      12 |   614226 |    37719 |    81063      0 |        1 |        1
471.89/472.09	c  470s |      12 |   616146 |    37919 |    81063      0 |        1 |        1
475.09/475.21	c  473s |      12 |   617181 |    38119 |    81063      0 |        1 |        1
477.69/477.85	c  476s |      12 |   618008 |    38319 |    81063      0 |        1 |        1
481.90/482.06	c  480s |      12 |   618470 |    38519 |    81063      0 |        1 |        1
484.10/484.24	c  482s |      12 |   618827 |    38619 |    89170      0 |        1 |        1
486.30/486.49	c  484s |      12 |   619023 |    38819 |    89170      0 |        1 |        1
486.49/486.62	c  485s |      13 |   619050 |    38832 |    89170      0 |        1 |        1
488.69/488.88	c  487s |      13 |   629677 |    39032 |    89170      0 |        1 |        1
491.09/491.21	c  489s |      13 |   631220 |    39232 |    89170      0 |        1 |        1
493.49/493.65	c  492s |      13 |   632943 |    39432 |    89170      0 |        1 |        1
495.89/496.03	c  494s |      13 |   636269 |    39632 |    89170      0 |        1 |        1
498.59/498.79	c  497s |      13 |   638431 |    39832 |    89170      0 |        1 |        1
500.88/501.03	c  499s |      13 |   638576 |    39932 |    89170      0 |        1 |        1
504.08/504.20	c  502s |      13 |   639905 |    40132 |    89170      0 |        1 |        1
507.88/508.02	c  506s |      13 |   640280 |    40332 |    89170      0 |        1 |        1
509.88/510.04	c  508s |      13 |   646064 |    40532 |    89170      0 |        1 |        1
512.78/512.96	c  511s |      13 |   648020 |    40732 |    89170      0 |        1 |        1
515.38/515.57	c  513s |      13 |   648771 |    40932 |    89170      0 |        1 |        1
517.98/518.16	c  516s |      13 |   648827 |    41032 |    89170      0 |        1 |        1
520.58/520.79	c  519s |      13 |   649987 |    41232 |    89170      0 |        1 |        1
522.69/522.86	c  521s |      13 |   650779 |    41332 |    89170      0 |        1 |        1
525.58/525.76	c  524s |      13 |   651640 |    41532 |    89170      0 |        1 |        1
529.58/529.70	c  528s |      13 |   652067 |    41732 |    89170      0 |        1 |        1
533.08/533.26	c  531s |      13 |   652989 |    41932 |    89170      0 |        1 |        1
535.38/535.58	c  533s |      13 |   653219 |    42032 |    89170      0 |        1 |        1
537.88/538.01	c  536s |      13 |   660142 |    42232 |    89170      0 |        1 |        1
540.28/540.45	c  538s |      13 |   661741 |    42432 |    89170      0 |        1 |        1
543.97/544.13	c  542s |      13 |   662324 |    42632 |    89170      0 |        1 |        1
546.97/547.15	c  545s |      13 |   668645 |    42932 |    89170      0 |        1 |        1
550.18/550.34	c  548s |      13 |   669683 |    43132 |    89170      0 |        1 |        1
552.17/552.40	c  550s |      13 |   671984 |    43332 |    89170      0 |        1 |        1
555.36/555.58	c  553s |      13 |   672809 |    43532 |    89170      0 |        1 |        1
557.36/557.58	c  556s |      13 |   672975 |    43632 |    89170      0 |        1 |        1
560.56/560.79	c  559s |      13 |   673613 |    43832 |    89170      0 |        1 |        1
563.86/564.06	c  562s |      13 |   674073 |    44032 |    89170      0 |        1 |        1
567.46/567.60	c  566s |      13 |   674394 |    44232 |    89170      0 |        1 |        1
570.76/570.96	c  569s |      13 |   674966 |    44432 |    89170      0 |        1 |        1
574.15/574.32	c  572s |      13 |   675400 |    44632 |    89170      0 |        1 |        1
577.25/577.44	c  575s |      13 |   675863 |    44832 |    89170      0 |        1 |        1
580.55/580.77	c  579s |      13 |   676513 |    45032 |    89170      0 |        1 |        1
583.85/584.09	c  582s |      13 |   677083 |    45232 |    89170      0 |        1 |        1
586.65/586.81	c  585s |      13 |   677491 |    45432 |    89170      0 |        1 |        1
589.55/589.73	c  588s |      13 |   678152 |    45632 |    89170      0 |        1 |        1
592.95/593.20	c  591s |      13 |   678666 |    45832 |    89170      0 |        1 |        1
595.84/596.03	c  594s |      13 |   679271 |    46032 |    89170      0 |        1 |        1
598.64/598.80	c  597s |      13 |   679905 |    46232 |    89170      0 |        1 |        1
601.44/601.65	c  600s |      13 |   680377 |    46432 |    89170      0 |        1 |        1
604.44/604.65	c  603s |      13 |   680808 |    46632 |    89170      0 |        1 |        1
607.34/607.54	c  605s |      13 |   681245 |    46832 |    89170      0 |        1 |        1
610.04/610.26	c  608s |      13 |   681585 |    47032 |    89170      0 |        1 |        1
612.63/612.90	c  611s |      13 |   682369 |    47232 |    89170      0 |        1 |        1
615.73/615.94	c  614s |      13 |   682720 |    47432 |    89170      0 |        1 |        1
618.33/618.52	c  616s |      13 |   684571 |    47632 |    89170      0 |        1 |        1
621.33/621.53	c  619s |      13 |   685125 |    47832 |    89170      0 |        1 |        1
624.12/624.33	c  622s |      13 |   685529 |    48032 |    89170      0 |        1 |        1
626.92/627.16	c  625s |      13 |   685899 |    48232 |    89170      0 |        1 |        1
629.42/629.69	c  628s |      13 |   686477 |    48432 |    89170      0 |        1 |        1
632.82/633.01	c  631s |      13 |   687122 |    48632 |    89170      0 |        1 |        1
635.42/635.66	c  634s |      13 |   687567 |    48832 |    89170      0 |        1 |        1
638.22/638.46	c  636s |      13 |   688180 |    49032 |    89170      0 |        1 |        1
641.22/641.42	c  639s |      13 |   688856 |    49232 |    89170      0 |        1 |        1
643.91/644.16	c  642s |      13 |   689478 |    49432 |    89170      0 |        1 |        1
647.61/647.83	c  646s |      13 |   689884 |    49632 |    89170      0 |        1 |        1
650.22/650.41	c  648s |      13 |   690210 |    49832 |    89170      0 |        1 |        1
653.31/653.56	c  651s |      13 |   690653 |    50032 |    89170      0 |        1 |        1
656.61/656.90	c  655s |      13 |   691304 |    50232 |    89170      0 |        1 |        1
660.01/660.22	c  658s |      13 |   691770 |    50432 |    89170      0 |        1 |        1
663.60/663.81	c  662s |      13 |   692467 |    50632 |    89170      0 |        1 |        1
666.61/666.88	c  665s |      13 |   693929 |    50832 |    89170      0 |        1 |        1
670.01/670.26	c  668s |      13 |   694991 |    51032 |    89170      0 |        1 |        1
672.11/672.34	c  670s |      13 |   695168 |    51132 |    89170      0 |        1 |        1
675.40/675.65	c  674s |      13 |   695761 |    51332 |    89170      0 |        1 |        1
679.10/679.31	c  677s |      13 |   697136 |    51532 |    89170      0 |        1 |        1
681.20/681.42	c  679s |      13 |   698169 |    51632 |    89170      0 |        1 |        1
684.20/684.47	c  682s |      13 |   698522 |    51732 |    89170      0 |        1 |        1
686.79/687.02	c  685s |      13 |   698865 |    51832 |    89170      0 |        1 |        1
691.69/691.99	c  690s |      13 |   699911 |    52032 |    89170      0 |        1 |        1
694.79/695.01	c  693s |      13 |   700544 |    52232 |    89170      0 |        1 |        1
698.99/699.21	c  697s |      13 |   700988 |    52432 |    89170      0 |        1 |        1
701.39/701.65	c  700s |      13 |   701808 |    52632 |    89170      0 |        1 |        1
703.49/703.75	c  702s |      13 |   702376 |    52732 |    89170      0 |        1 |        1
706.69/706.92	c  705s |      13 |   702982 |    52932 |    89170      0 |        1 |        1
709.39/709.60	c  708s |      13 |   703173 |    53032 |    89170      0 |        1 |        1
712.39/712.63	c  711s |      13 |   707401 |    53232 |    89170      0 |        1 |        1
715.09/715.31	c  713s |      13 |   711379 |    53432 |    89170      0 |        1 |        1
717.09/717.33	c  715s |      13 |   711880 |    53532 |    89170      0 |        1 |        1
721.19/721.48	c  719s |      13 |   712295 |    53732 |    89170      0 |        1 |        1
723.29/723.55	c  721s |      13 |   712989 |    53932 |    89170      0 |        1 |        1
725.58/725.84	c  724s |      13 |   713585 |    54132 |    89170      0 |        1 |        1
729.39/729.64	c  728s |      13 |   714377 |    54332 |    89170      0 |        1 |        1
731.88/732.10	c  730s |      13 |   714528 |    54432 |    89170      0 |        1 |        1
734.48/734.77	c  733s |      13 |   714745 |    54532 |    89170      0 |        1 |        1
737.18/737.44	c  735s |      13 |   715227 |    54632 |    89170      0 |        1 |        1
741.18/741.44	c  739s |      13 |   715933 |    54832 |    89170      0 |        1 |        1
743.28/743.55	c  741s |      13 |   720909 |    55032 |    89170      0 |        1 |        1
746.38/746.68	c  745s |      13 |   723209 |    55232 |    89170      0 |        1 |        1
750.48/750.70	c  749s |      13 |   724549 |    55432 |    89170      0 |        1 |        1
753.18/753.45	c  751s |      13 |   724946 |    55532 |    89170      0 |        1 |        1
757.68/757.95	c  756s |      13 |   725684 |    55732 |    89170      0 |        1 |        1
760.09/760.39	c  758s |      13 |   726148 |    55932 |    89170      0 |        1 |        1
763.68/763.97	c  762s |      13 |   726798 |    56132 |    89170      0 |        1 |        1
766.68/766.95	c  765s |      13 |   727305 |    56232 |    89170      0 |        1 |        1
770.28/770.53	c  768s |      13 |   727796 |    56432 |    89170      0 |        1 |        1
773.68/773.90	c  772s |      13 |   728203 |    56632 |    89170      0 |        1 |        1
776.58/776.83	c  775s |      13 |   729133 |    56832 |    89170      0 |        1 |        1
779.88/780.20	c  778s |      13 |   729732 |    57032 |    89170      0 |        1 |        1
783.87/784.18	c  782s |      13 |   730248 |    57232 |    89170      0 |        1 |        1
787.17/787.45	c  785s |      13 |   731947 |    57432 |    89170      0 |        1 |        1
790.47/790.77	c  789s |      13 |   732948 |    57632 |    89170      0 |        1 |        1
792.77/793.01	c  791s |      13 |   734420 |    57832 |    89170      0 |        1 |        1
795.87/796.13	c  794s |      13 |   735265 |    58032 |    98088      0 |        1 |        1
800.07/800.32	c  798s |      13 |   736181 |    58232 |    98088      0 |        1 |        1
802.57/802.82	c  801s |      13 |   736490 |    58332 |    98088      0 |        1 |        1
803.17/803.48	c  801s |      14 |   736532 |    58352 |    98088      0 |        1 |        1
808.49/808.75	c  807s |      14 |   736898 |    58452 |    98088      0 |        1 |        1
812.28/812.57	c  810s |      14 |   737651 |    58652 |    98088      0 |        1 |        1
815.28/815.58	c  813s |      14 |   737931 |    58752 |    98088      0 |        1 |        1
818.98/819.25	c  817s |      14 |   738634 |    58952 |    98088      0 |        1 |        1
822.08/822.32	c  820s |      14 |   739448 |    59052 |    98088      0 |        1 |        1
825.08/825.33	c  823s |      14 |   739621 |    59152 |    98088      0 |        1 |        1
827.68/827.95	c  826s |      14 |   739966 |    59352 |    98088      0 |        1 |        1
830.88/831.12	c  829s |      14 |   740807 |    59552 |    98088      0 |        1 |        1
835.08/835.34	c  833s |      14 |   741487 |    59752 |    98088      0 |        1 |        1
837.18/837.45	c  835s |      14 |   742067 |    59852 |    98088      0 |        1 |        1
839.67/839.97	c  838s |      14 |   742493 |    59952 |    98088      0 |        1 |        1
843.87/844.11	c  842s |      14 |   744443 |    60252 |    98088      0 |        1 |        1
846.57/846.84	c  845s |      14 |   745777 |    60452 |    98088      0 |        1 |        1
850.97/851.28	c  849s |      14 |   746947 |    60652 |    98088      0 |        1 |        1
853.07/853.33	c  851s |      14 |   748670 |    60752 |    98088      0 |        1 |        1
855.47/855.70	c  854s |      14 |   748716 |    60852 |    98088      0 |        1 |        1
858.57/858.87	c  857s |      14 |   749452 |    61052 |    98088      0 |        1 |        1
862.07/862.30	c  860s |      14 |   750079 |    61252 |    98088      0 |        1 |        1
867.17/867.48	c  865s |      14 |   750977 |    61452 |    98088      0 |        1 |        1
870.77/871.02	c  869s |      14 |   751705 |    61652 |    98088      0 |        1 |        1
873.48/873.78	c  872s |      14 |   752059 |    61752 |    98088      0 |        1 |        1
875.87/876.15	c  874s |      14 |   759131 |    61952 |    98088      0 |        1 |        1
878.77/879.06	c  877s |      14 |   760415 |    62152 |    98088      0 |        1 |        1
882.57/882.80	c  881s |      14 |   761468 |    62352 |    98088      0 |        1 |        1
885.27/885.50	c  883s |      14 |   761977 |    62452 |    98088      0 |        1 |        1
887.97/888.21	c  886s |      14 |   763533 |    62652 |    98088      0 |        1 |        1
891.47/891.71	c  890s |      14 |   764755 |    62852 |    98088      0 |        1 |        1
893.67/893.96	c  892s |      14 |   765081 |    62952 |    98088      0 |        1 |        1
895.96/896.22	c  894s |      14 |   765744 |    63052 |    98088      0 |        1 |        1
900.26/900.52	c  898s |      14 |   766510 |    63252 |    98088      0 |        1 |        1
902.26/902.52	c  900s |      14 |   766811 |    63352 |    98088      0 |        1 |        1
904.27/904.54	c  902s |      14 |   767289 |    63452 |    98088      0 |        1 |        1
906.66/906.92	c  905s |      14 |   770509 |    63552 |    98088      0 |        1 |        1
909.46/909.75	c  908s |      14 |   774220 |    63752 |    98088      0 |        1 |        1
911.46/911.75	c  910s |      14 |   774756 |    63852 |    98088      0 |        1 |        1
913.66/913.98	c  912s |      14 |   775296 |    63952 |    98088      0 |        1 |        1
916.16/916.46	c  914s |      14 |   775620 |    64052 |    98088      0 |        1 |        1
918.86/919.11	c  917s |      14 |   776035 |    64252 |    98088      0 |        1 |        1
922.36/922.62	c  921s |      14 |   776660 |    64452 |    98088      0 |        1 |        1
926.06/926.31	c  924s |      14 |   777691 |    64652 |    98088      0 |        1 |        1
928.16/928.48	c  926s |      14 |   778509 |    64752 |    98088      0 |        1 |        1
930.36/930.65	c  929s |      14 |   778696 |    64852 |    98088      0 |        1 |        1
934.56/934.85	c  933s |      14 |   780431 |    65052 |    98088      0 |        1 |        1
937.66/937.96	c  936s |      14 |   781439 |    65252 |    98088      0 |        1 |        1
942.06/942.33	c  940s |      14 |   782597 |    65452 |    98088      0 |        1 |        1
944.26/944.50	c  942s |      14 |   783203 |    65552 |    98088      0 |        1 |        1
948.36/948.69	c  947s |      14 |   784530 |    65752 |    98088      0 |        1 |        1
951.06/951.35	c  949s |      14 |   784864 |    65852 |    98088      0 |        1 |        1
954.56/954.87	c  953s |      14 |   786091 |    65952 |    98088      0 |        1 |        1
956.66/956.98	c  955s |      14 |   793539 |    66152 |    98088      0 |        1 |        1
960.16/960.42	c  958s |      14 |   794798 |    66352 |    98088      0 |        1 |        1
964.05/964.34	c  962s |      14 |   796134 |    66552 |    98088      0 |        1 |        1
966.75/967.05	c  965s |      14 |   796242 |    66652 |    98088      0 |        1 |        1
969.16/969.42	c  967s |      14 |   798735 |    66852 |    98088      0 |        1 |        1
972.36/972.69	c  971s |      14 |   800321 |    67052 |    98088      0 |        1 |        1
975.05/975.30	c  973s |      14 |   800496 |    67152 |    98088      0 |        1 |        1
977.35/977.66	c  976s |      14 |   801652 |    67352 |    98088      0 |        1 |        1
981.45/981.77	c  980s |      14 |   802501 |    67552 |    98088      0 |        1 |        1
983.55/983.84	c  982s |      14 |   802880 |    67652 |    98088      0 |        1 |        1
987.45/987.74	c  986s |      14 |   805430 |    67852 |    98088      0 |        1 |        1
990.25/990.53	c  988s |      14 |   806268 |    68052 |    98088      0 |        1 |        1
993.65/993.94	c  992s |      14 |   806890 |    68252 |    98088      0 |        1 |        1
996.85/997.10	c  995s |      14 |   807684 |    68452 |    98088      0 |        1 |        1
1000.45/1000.79	c  999s |      14 |   808225 |    68652 |    98088      0 |        1 |        1
1004.15/1004.42	c 1002s |      14 |   808945 |    68852 |    98088      0 |        1 |        1
1006.85/1007.19	c 1005s |      14 |   809659 |    69052 |    98088      0 |        1 |        1
1009.95/1010.23	c 1008s |      14 |   810314 |    69252 |    98088      0 |        1 |        1
1013.55/1013.81	c 1012s |      14 |   810907 |    69452 |    98088      0 |        1 |        1
1016.75/1017.06	c 1015s |      14 |   812169 |    69652 |    98088      0 |        1 |        1
1019.35/1019.62	c 1018s |      14 |   813023 |    69852 |    98088      0 |        1 |        1
1023.95/1024.28	c 1022s |      14 |   813993 |    70052 |    98088      0 |        1 |        1
1026.74/1027.06	c 1025s |      14 |   814830 |    70252 |    98088      0 |        1 |        1
1030.34/1030.66	c 1029s |      14 |   815658 |    70452 |    98088      0 |        1 |        1
1032.44/1032.72	c 1031s |      14 |   816060 |    70552 |    98088      0 |        1 |        1
1035.05/1035.32	c 1033s |      14 |   821900 |    70752 |    98088      0 |        1 |        1
1037.04/1037.39	c 1035s |      14 |   833091 |    70952 |    98088      0 |        1 |        1
1041.04/1041.31	c 1039s |      14 |   834097 |    71152 |    98088      0 |        1 |        1
1044.14/1044.50	c 1042s |      14 |   834416 |    71252 |    98088      0 |        1 |        1
1047.64/1047.91	c 1046s |      14 |   835579 |    71352 |    98088      0 |        1 |        1
1049.64/1049.93	c 1048s |      14 |   843448 |    71552 |    98088      0 |        1 |        1
1052.44/1052.78	c 1051s |      14 |   846976 |    71752 |    98088      0 |        1 |        1
1054.54/1054.87	c 1053s |      14 |   847144 |    71852 |    98088      0 |        1 |        1
1058.25/1058.57	c 1056s |      14 |   847144 |    71952 |    98088      0 |        1 |        1
1060.84/1061.16	c 1059s |      14 |   855872 |    72052 |    98088      0 |        1 |        1
1065.34/1065.62	c 1064s |      14 |   856541 |    72252 |    98088      0 |        1 |        1
1068.24/1068.58	c 1066s |      14 |   857460 |    72352 |    98088      0 |        1 |        1
1070.74/1071.08	c 1069s |      14 |   857644 |    72452 |    98088      0 |        1 |        1
1073.74/1074.03	c 1072s |      14 |   859018 |    72552 |    98088      0 |        1 |        1
1075.93/1076.28	c 1074s |      14 |   859802 |    72652 |    98088      0 |        1 |        1
1078.43/1078.73	c 1077s |      14 |   864716 |    72852 |    98088      0 |        1 |        1
1080.93/1081.27	c 1079s |      14 |   864716 |    72952 |    98088      0 |        1 |        1
1082.93/1083.27	c 1081s |      14 |   866854 |    73052 |    98088      0 |        1 |        1
1086.33/1086.69	c 1085s |      14 |   867074 |    73252 |    98088      0 |        1 |        1
1090.63/1090.94	c 1089s |      14 |   869193 |    73452 |    98088      0 |        1 |        1
1094.93/1095.25	c 1093s |      14 |   871389 |    73652 |    98088      0 |        1 |        1
1097.33/1097.64	c 1096s |      14 |   873451 |    73752 |    98088      0 |        1 |        1
1101.14/1101.45	c 1099s |      14 |   875399 |    73952 |    98088      0 |        1 |        1
1103.43/1103.73	c 1102s |      14 |   875531 |    74052 |    98088      0 |        1 |        1
1105.63/1105.90	c 1104s |      14 |   877467 |    74152 |    98088      0 |        1 |        1
1108.03/1108.35	c 1106s |      14 |   877709 |    74252 |    98088      0 |        1 |        1
1111.03/1111.34	c 1109s |      14 |   878015 |    74552 |    98088      0 |        1 |        1
1113.43/1113.78	c 1112s |      14 |   878216 |    74752 |    98088      0 |        1 |        1
1115.93/1116.29	c 1114s |      14 |   879069 |    74952 |    98088      0 |        1 |        1
1118.83/1119.19	c 1117s |      14 |   882902 |    75252 |    98088      0 |        1 |        1
1122.03/1122.35	c 1120s |      14 |   886279 |    75552 |    98088      0 |        1 |        1
1124.13/1124.49	c 1122s |      14 |   888191 |    75752 |    98088      0 |        1 |        1
1126.33/1126.61	c 1125s |      14 |   890832 |    75952 |    98088      0 |        1 |        1
1128.63/1128.95	c 1127s |      14 |   892721 |    76152 |    98088      0 |        1 |        1
1130.92/1131.27	c 1129s |      14 |   894532 |    76352 |    98088      0 |        1 |        1
1133.52/1133.86	c 1132s |      14 |   896764 |    76552 |    98088      0 |        1 |        1
1135.92/1136.21	c 1134s |      14 |   899245 |    76752 |    98088      0 |        1 |        1
1138.53/1138.88	c 1137s |      14 |   901217 |    76952 |    98088      0 |        1 |        1
1141.12/1141.47	c 1139s |      14 |   903951 |    77152 |    98088      0 |        1 |        1
1143.62/1143.94	c 1142s |      14 |   906368 |    77352 |    98088      0 |        1 |        1
1146.32/1146.61	c 1145s |      14 |   908827 |    77552 |    98088      0 |        1 |        1
1149.02/1149.33	c 1147s |      14 |   911348 |    77752 |    98088      0 |        1 |        1
1151.73/1152.07	c 1150s |      14 |   913923 |    77952 |    98088      0 |        1 |        1
1154.52/1154.86	c 1153s |      14 |   916568 |    78152 |    98088      0 |        1 |        1
1157.32/1157.67	c 1156s |      14 |   919271 |    78352 |    98088      0 |        1 |        1
1160.02/1160.34	c 1158s |      14 |   922125 |    78552 |    98088      0 |        1 |        1
1162.92/1163.27	c 1161s |      14 |   924947 |    78752 |    98088      0 |        1 |        1
1166.03/1166.39	c 1164s |      14 |   926565 |    78952 |    98088      0 |        1 |        1
1169.23/1169.51	c 1167s |      14 |   928087 |    79152 |    98088      0 |        1 |        1
1171.92/1172.22	c 1170s |      14 |   931136 |    79352 |    98088      0 |        1 |        1
1174.92/1175.20	c 1173s |      14 |   934161 |    79552 |    98088      0 |        1 |        1
1177.22/1177.58	c 1175s |      14 |   934893 |    79752 |    98088      0 |        1 |        1
1180.82/1181.19	c 1179s |      14 |   938136 |    80052 |    98088      0 |        1 |        1
1183.92/1184.20	c 1182s |      14 |   941124 |    80252 |    98088      0 |        1 |        1
1186.21/1186.53	c 1184s |      14 |   944672 |    80452 |    98088      0 |        1 |        1
1188.81/1189.11	c 1187s |      14 |   947890 |    80652 |    98088      0 |        1 |        1
1191.41/1191.77	c 1190s |      14 |   951196 |    80852 |    98088      0 |        1 |        1
1194.11/1194.49	c 1192s |      14 |   954617 |    81052 |    98088      0 |        1 |        1
1196.91/1197.25	c 1195s |      14 |   958080 |    81252 |    98088      0 |        1 |        1
1199.71/1200.05	c 1198s |      14 |   961616 |    81452 |    98088      0 |        1 |        1
1202.51/1202.86	c 1201s |      14 |   965234 |    81652 |    98088      0 |        1 |        1
1205.52/1205.81	c 1204s |      14 |   968934 |    81852 |    98088      0 |        1 |        1
1208.41/1208.74	c 1207s |      14 |   972715 |    82052 |    98088      0 |        1 |        1
1211.51/1211.84	c 1210s |      14 |   975845 |    82252 |    98088      0 |        1 |        1
1214.71/1215.08	c 1213s |      14 |   976741 |    82452 |    98088      0 |        1 |        1
1218.11/1218.49	c 1216s |      14 |   976987 |    82652 |    98088      0 |        1 |        1
1221.51/1221.80	c 1220s |      14 |   980066 |    82852 |    98088      0 |        1 |        1
1224.61/1224.93	c 1223s |      14 |   982394 |    83052 |    98088      0 |        1 |        1
1228.01/1228.35	c 1226s |      14 |   986102 |    83252 |    98088      0 |        1 |        1
1230.31/1230.66	c 1229s |      14 |   986253 |    83352 |    98088      0 |        1 |        1
1233.01/1233.33	c 1231s |      14 |   986556 |    83452 |    98088      0 |        1 |        1
1235.71/1236.02	c 1234s |      14 |   987348 |    83552 |    98088      0 |        1 |        1
1238.71/1239.05	c 1237s |      14 |   990696 |    83652 |    98088      0 |        1 |        1
1241.41/1241.74	c 1240s |      14 |   990951 |    83852 |    98088      0 |        1 |        1
1245.01/1245.34	c 1243s |      14 |   991266 |    84052 |    98088      0 |        1 |        1
1247.61/1247.93	c 1246s |      14 |   991989 |    84252 |    98088      0 |        1 |        1
1250.01/1250.33	c 1248s |      14 |   992985 |    84352 |    98088      0 |        1 |        1
1253.21/1253.51	c 1251s |      14 |   993199 |    84552 |    98088      0 |        1 |        1
1257.11/1257.48	c 1255s |      14 |   993418 |    84752 |    98088      0 |        1 |        1
1261.31/1261.60	c 1260s |      14 |   993726 |    84952 |    98088      0 |        1 |        1
1264.51/1264.87	c 1263s |      14 |   994024 |    85152 |    98088      0 |        1 |        1
1267.81/1268.11	c 1266s |      14 |   994264 |    85352 |    98088      0 |        1 |        1
1271.41/1271.76	c 1270s |      14 |   994554 |    85552 |    98088      0 |        1 |        1
1275.51/1275.81	c 1274s |      14 |   995850 |    85752 |    98088      0 |        1 |        1
1277.61/1277.93	c 1276s |      14 |   996778 |    85852 |    98088      0 |        1 |        1
1283.21/1283.56	c 1281s |      14 |   999227 |    86052 |    98088      0 |        1 |        1
1286.20/1286.54	c 1284s |      14 |   999512 |    86152 |    98088      0 |        1 |        1
1290.70/1291.01	c 1289s |      14 |  1001094 |    86352 |    98088      0 |        1 |        1
1293.80/1294.14	c 1292s |      14 |  1002001 |    86452 |    98088      0 |        1 |        1
1297.40/1297.71	c 1296s |      14 |  1004169 |    86652 |    98088      0 |        1 |        1
1301.10/1301.40	c 1299s |      14 |  1007582 |    86852 |    98088      0 |        1 |        1
1305.00/1305.39	c 1303s |      14 |  1009123 |    87052 |   107897      0 |        1 |        1
1307.91/1308.24	c 1306s |      14 |  1009492 |    87252 |   107897      0 |        1 |        1
1310.80/1311.14	c 1309s |      14 |  1009947 |    87452 |   107897      0 |        1 |        1
1313.60/1313.97	c 1312s |      15 |  1010382 |    87632 |   107897      0 |        1 |        1
1317.80/1318.17	c 1316s |      15 |  1014447 |    87732 |   107897      0 |        1 |        1
1319.90/1320.28	c 1318s |      15 |  1014509 |    87832 |   107897      0 |        1 |        1
1322.00/1322.30	c 1320s |      15 |  1014788 |    87932 |   107897      0 |        1 |        1
1324.50/1324.83	c 1323s |      15 |  1015116 |    88032 |   107897      0 |        1 |        1
1328.99/1329.37	c 1327s |      15 |  1015664 |    88232 |   107897      0 |        1 |        1
1331.49/1331.83	c 1330s |      15 |  1017874 |    88332 |   107897      0 |        1 |        1
1334.69/1335.07	c 1333s |      15 |  1021868 |    88532 |   107897      0 |        1 |        1
1337.29/1337.62	c 1336s |      15 |  1022242 |    88632 |   107897      0 |        1 |        1
1340.80/1341.19	c 1339s |      15 |  1022611 |    88732 |   107897      0 |        1 |        1
1344.69/1345.01	c 1343s |      15 |  1022903 |    88832 |   107897      0 |        1 |        1
1347.50/1347.89	c 1346s |      15 |  1029644 |    88932 |   107897      0 |        1 |        1
1350.19/1350.51	c 1348s |      15 |  1032878 |    89132 |   107897      0 |        1 |        1
1352.29/1352.69	c 1351s |      15 |  1033384 |    89232 |   107897      0 |        1 |        1
1355.49/1355.84	c 1354s |      15 |  1034155 |    89332 |   107897      0 |        1 |        1
1359.39/1359.77	c 1358s |      15 |  1034693 |    89432 |   107897      0 |        1 |        1
1364.39/1364.77	c 1363s |      15 |  1035000 |    89532 |   107897      0 |        1 |        1
1367.09/1367.48	c 1365s |      15 |  1040390 |    89732 |   107897      0 |        1 |        1
1370.59/1370.93	c 1369s |      15 |  1040739 |    89932 |   107897      0 |        1 |        1
1373.19/1373.50	c 1371s |      15 |  1041616 |    90032 |   107897      0 |        1 |        1
1376.48/1376.86	c 1375s |      15 |  1043373 |    90132 |   107897      0 |        1 |        1
1379.88/1380.23	c 1378s |      15 |  1046665 |    90332 |   107897      0 |        1 |        1
1382.88/1383.25	c 1381s |      15 |  1046734 |    90432 |   107897      0 |        1 |        1
1386.38/1386.71	c 1385s |      15 |  1048455 |    90632 |   107897      0 |        1 |        1
1388.68/1389.01	c 1387s |      15 |  1051301 |    90732 |   107897      0 |        1 |        1
1392.08/1392.47	c 1390s |      15 |  1051825 |    90932 |   107897      0 |        1 |        1
1394.98/1395.36	c 1393s |      15 |  1052135 |    91032 |   107897      0 |        1 |        1
1397.08/1397.48	c 1395s |      15 |  1052717 |    91132 |   107897      0 |        1 |        1
1400.19/1400.55	c 1398s |      15 |  1053126 |    91232 |   107897      0 |        1 |        1
1403.78/1404.20	c 1402s |      15 |  1053942 |    91432 |   107897      0 |        1 |        1
1407.68/1408.06	c 1406s |      15 |  1054904 |    91632 |   107897      0 |        1 |        1
1411.19/1411.55	c 1409s |      15 |  1057134 |    91832 |   107897      0 |        1 |        1
1413.39/1413.80	c 1412s |      15 |  1057284 |    91932 |   107897      0 |        1 |        1
1416.18/1416.57	c 1414s |      15 |  1057711 |    92032 |   107897      0 |        1 |        1
1419.48/1419.87	c 1418s |      15 |  1059040 |    92232 |   107897      0 |        1 |        1
1422.28/1422.64	c 1421s |      15 |  1059920 |    92332 |   107897      0 |        1 |        1
1425.18/1425.53	c 1423s |      15 |  1060306 |    92432 |   107897      0 |        1 |        1
1428.88/1429.29	c 1427s |      15 |  1063978 |    92632 |   107897      0 |        1 |        1
1431.68/1432.08	c 1430s |      15 |  1064015 |    92732 |   107897      0 |        1 |        1
1434.38/1434.75	c 1433s |      15 |  1064134 |    92832 |   107897      0 |        1 |        1
1437.68/1438.09	c 1436s |      15 |  1065289 |    93032 |   107897      0 |        1 |        1
1441.07/1441.49	c 1439s |      15 |  1068080 |    93232 |   107897      0 |        1 |        1
1443.67/1444.04	c 1442s |      15 |  1068460 |    93332 |   107897      0 |        1 |        1
1446.48/1446.89	c 1445s |      15 |  1069322 |    93532 |   107897      0 |        1 |        1
1450.08/1450.41	c 1448s |      15 |  1070552 |    93732 |   107897      0 |        1 |        1
1452.58/1452.99	c 1451s |      15 |  1070700 |    93832 |   107897      0 |        1 |        1
1455.58/1455.91	c 1454s |      15 |  1072347 |    94032 |   107897      0 |        1 |        1
1457.78/1458.13	c 1456s |      15 |  1072850 |    94132 |   107897      0 |        1 |        1
1460.58/1460.93	c 1459s |      15 |  1073800 |    94232 |   107897      0 |        1 |        1
1462.58/1462.99	c 1461s |      15 |  1074163 |    94332 |   107897      0 |        1 |        1
1465.78/1466.10	c 1464s |      15 |  1075932 |    94532 |   107897      0 |        1 |        1
1469.18/1469.58	c 1467s |      15 |  1077734 |    94732 |   107897      0 |        1 |        1
1471.28/1471.64	c 1470s |      15 |  1077851 |    94832 |   107897      0 |        1 |        1
1474.38/1474.76	c 1473s |      15 |  1078319 |    95032 |   107897      0 |        1 |        1
1476.68/1477.10	c 1475s |      15 |  1078511 |    95132 |   107897      0 |        1 |        1
1479.49/1479.82	c 1478s |      15 |  1079102 |    95332 |   107897      0 |        1 |        1
1483.08/1483.45	c 1481s |      15 |  1079491 |    95532 |   107897      0 |        1 |        1
1485.68/1486.00	c 1484s |      15 |  1080637 |    95732 |   107897      0 |        1 |        1
1489.58/1489.96	c 1488s |      15 |  1081858 |    95932 |   107897      0 |        1 |        1
1492.08/1492.40	c 1490s |      15 |  1081902 |    96032 |   107897      0 |        1 |        1
1494.98/1495.31	c 1493s |      15 |  1083166 |    96232 |   107897      0 |        1 |        1
1497.18/1497.57	c 1495s |      15 |  1083401 |    96332 |   107897      0 |        1 |        1
1499.88/1500.21	c 1498s |      15 |  1083763 |    96432 |   107897      0 |        1 |        1
1502.27/1502.61	c 1501s |      15 |  1084224 |    96632 |   107897      0 |        1 |        1
1504.57/1504.91	c 1503s |      15 |  1085126 |    96832 |   107897      0 |        1 |        1
1509.08/1509.48	c 1507s |      15 |  1085807 |    97032 |   107897      0 |        1 |        1
1512.57/1512.99	c 1511s |      15 |  1086011 |    97132 |   107897      0 |        1 |        1
1515.87/1516.23	c 1514s |      15 |  1086469 |    97332 |   107897      0 |        1 |        1
1518.07/1518.45	c 1516s |      15 |  1086661 |    97432 |   107897      0 |        1 |        1
1520.97/1521.35	c 1519s |      15 |  1087117 |    97632 |   107897      0 |        1 |        1
1525.27/1525.60	c 1524s |      15 |  1087828 |    97832 |   107897      0 |        1 |        1
1527.88/1528.29	c 1526s |      15 |  1088258 |    98032 |   107897      0 |        1 |        1
1532.47/1532.88	c 1531s |      15 |  1088772 |    98232 |   107897      0 |        1 |        1
1536.27/1536.65	c 1535s |      15 |  1089559 |    98432 |   107897      0 |        1 |        1
1538.57/1538.93	c 1537s |      15 |  1089700 |    98532 |   107897      0 |        1 |        1
1540.87/1541.26	c 1539s |      15 |  1090060 |    98732 |   107897      0 |        1 |        1
1543.37/1543.73	c 1542s |      15 |  1090648 |    98932 |   107897      0 |        1 |        1
1546.67/1547.05	c 1545s |      15 |  1091135 |    99132 |   107897      0 |        1 |        1
1550.27/1550.62	c 1549s |      15 |  1091690 |    99332 |   107897      0 |        1 |        1
1553.57/1553.98	c 1552s |      15 |  1092271 |    99532 |   107897      0 |        1 |        1
1557.67/1558.01	c 1556s |      15 |  1093065 |    99732 |   107897      0 |        1 |        1
1559.87/1560.29	c 1558s |      15 |  1093403 |    99832 |   107897      0 |        1 |        1
1561.97/1562.34	c 1560s |      15 |  1093711 |    99932 |   107897      0 |        1 |        1
1565.57/1565.92	c 1564s |      15 |  1093844 |   100032 |   107897      0 |        1 |        1
1568.66/1569.08	c 1567s |      15 |  1094553 |   100232 |   107897      0 |        1 |        1
1572.36/1572.73	c 1571s |      15 |  1095237 |   100432 |   107897      0 |        1 |        1
1576.06/1576.41	c 1574s |      15 |  1096174 |   100632 |   107897      0 |        1 |        1
1578.37/1578.76	c 1577s |      15 |  1096437 |   100732 |   107897      0 |        1 |        1
1581.06/1581.40	c 1579s |      15 |  1096770 |   100832 |   107897      0 |        1 |        1
1584.46/1584.81	c 1583s |      15 |  1096976 |   100932 |   107897      0 |        1 |        1
1588.16/1588.59	c 1587s |      15 |  1097640 |   101032 |   107897      0 |        1 |        1
1590.16/1590.60	c 1589s |      15 |  1109621 |   101232 |   107897      0 |        1 |        1
1592.26/1592.61	c 1591s |      15 |  1117169 |   101432 |   107897      0 |        1 |        1
1594.26/1594.65	c 1593s |      15 |  1117547 |   101532 |   107897      0 |        1 |        1
1596.86/1597.24	c 1595s |      15 |  1117709 |   101632 |   107897      0 |        1 |        1
1599.96/1600.31	c 1598s |      15 |  1117886 |   101732 |   107897      0 |        1 |        1
1603.86/1604.23	c 1602s |      15 |  1118040 |   101832 |   107897      0 |        1 |        1
1606.26/1606.60	c 1605s |      15 |  1137877 |   102032 |   107897      0 |        1 |        1
1611.46/1611.85	c 1610s |      15 |  1138011 |   102232 |   107897      0 |        1 |        1
1615.26/1615.61	c 1614s |      15 |  1138335 |   102332 |   107897      0 |        1 |        1
1618.36/1618.76	c 1617s |      15 |  1153263 |   102432 |   107897      0 |        1 |        1
1622.75/1623.11	c 1621s |      15 |  1156359 |   102632 |   107897      0 |        1 |        1
1625.85/1626.29	c 1624s |      15 |  1156649 |   102732 |   107897      0 |        1 |        1
1630.06/1630.49	c 1628s |      15 |  1162479 |   102832 |   107897      0 |        1 |        1
1632.75/1633.12	c 1631s |      15 |  1175102 |   103032 |   107897      0 |        1 |        1
1635.66/1636.04	c 1634s |      15 |  1175277 |   103132 |   107897      0 |        1 |        1
1638.25/1638.64	c 1637s |      15 |  1176506 |   103232 |   107897      0 |        1 |        1
1641.25/1641.63	c 1640s |      15 |  1179220 |   103432 |   107897      0 |        1 |        1
1643.95/1644.38	c 1642s |      15 |  1187230 |   103632 |   107897      0 |        1 |        1
1647.35/1647.73	c 1646s |      15 |  1187230 |   103732 |   107897      0 |        1 |        1
1649.55/1649.90	c 1648s |      15 |  1194827 |   103832 |   107897      0 |        1 |        1
1652.25/1652.69	c 1651s |      15 |  1194827 |   103932 |   107897      0 |        1 |        1
1656.75/1657.19	c 1655s |      15 |  1195179 |   104032 |   107897      0 |        1 |        1
1660.05/1660.47	c 1658s |      15 |  1208141 |   104232 |   107897      0 |        1 |        1
1662.65/1663.04	c 1661s |      15 |  1210337 |   104332 |   107897      0 |        1 |        1
1665.35/1665.77	c 1664s |      15 |  1210861 |   104432 |   107897      0 |        1 |        1
1668.84/1669.21	c 1667s |      15 |  1211004 |   104532 |   107897      0 |        1 |        1
1672.34/1672.78	c 1671s |      15 |  1216891 |   104632 |   107897      0 |        1 |        1
1675.15/1675.55	c 1673s |      15 |  1229683 |   104832 |   107897      0 |        1 |        1
1678.55/1678.99	c 1677s |      15 |  1229683 |   104932 |   107897      0 |        1 |        1
1683.54/1683.95	c 1682s |      15 |  1229816 |   105032 |   107897      0 |        1 |        1
1686.64/1687.01	c 1685s |      15 |  1236220 |   105132 |   107897      0 |        1 |        1
1688.64/1689.08	c 1687s |      15 |  1240332 |   105232 |   107897      0 |        1 |        1
1691.75/1692.18	c 1690s |      15 |  1240935 |   105332 |   107897      0 |        1 |        1
1695.64/1696.04	c 1694s |      15 |  1240935 |   105432 |   107897      0 |        1 |        1
1700.74/1701.19	c 1699s |      15 |  1245103 |   105532 |   107897      0 |        1 |        1
1704.54/1704.93	c 1703s |      15 |  1251576 |   105732 |   107897      0 |        1 |        1
1709.44/1709.83	c 1708s |      15 |  1251576 |   105832 |   107897      0 |        1 |        1
1712.84/1713.27	c 1711s |      15 |  1261677 |   105932 |   107897      0 |        1 |        1
1717.84/1718.22	c 1716s |      15 |  1263638 |   106132 |   107897      0 |        1 |        1
1722.54/1722.98	c 1721s |      15 |  1263964 |   106232 |   107897      0 |        1 |        1
1727.63/1728.09	c 1726s |      15 |  1264074 |   106332 |   107897      0 |        1 |        1
1730.63/1731.08	c 1729s |      15 |  1267633 |   106432 |   107897      0 |        1 |        1
1735.64/1736.01	c 1734s |      15 |  1278168 |   106632 |   107897      0 |        1 |        1
1739.93/1740.38	c 1738s |      15 |  1278523 |   106732 |   107897      0 |        1 |        1
1744.44/1744.84	c 1743s |      15 |  1282956 |   106832 |   107897      0 |        1 |        1
1747.63/1748.00	c 1746s |      15 |  1293930 |   107032 |   107897      0 |        1 |        1
1752.43/1752.85	c 1751s |      15 |  1297664 |   107232 |   107897      0 |        1 |        1
1756.13/1756.52	c 1754s |      15 |  1298101 |   107332 |   107897      0 |        1 |        1
1760.03/1760.45	c 1758s |      15 |  1298101 |   107432 |   107897      0 |        1 |        1
1763.03/1763.50	c 1761s |      15 |  1306531 |   107532 |   107897      0 |        1 |        1
1766.13/1766.54	c 1764s |      15 |  1315404 |   107732 |   107897      0 |        1 |        1
1768.83/1769.21	c 1767s |      15 |  1316368 |   107832 |   107897      0 |        1 |        1
1772.63/1773.02	c 1771s |      15 |  1316436 |   107932 |   107897      0 |        1 |        1
1776.53/1776.99	c 1775s |      15 |  1316511 |   108032 |   107897      0 |        1 |        1
1779.73/1780.12	c 1778s |      15 |  1325651 |   108232 |   107897      0 |        1 |        1
1783.03/1783.40	c 1781s |      15 |  1325769 |   108332 |   107897      0 |        1 |        1
1787.02/1787.45	c 1785s |      15 |  1325968 |   108432 |   107897      0 |        1 |        1
1790.63/1791.10	c 1789s |      15 |  1333605 |   108532 |   107897      0 |        1 |        1
1799.63/1800.08	c 1798s |      15 |  1336479 |   108732 |   107897      1 |        1 |        1

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

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.25 2.20 2/172 28546
/proc/meminfo: memFree=30166152/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=671164 CPUtime=0 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 2493 0 0 0 0 0 0 0 20 0 4 0 29860628 687271936 2853 33554432000 4194304 16246674 140733282647952 140733282647376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 168303 2864 441 2943 0 165197 0
[pid=28546/tid=28550] ppid=28543 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 704049152 2920 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 709292032 2938 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 713486336 2954 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.33 2.25 2.20 2/172 28546
/proc/meminfo: memFree=30166152/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 25874 0 0 0 6 3 0 0 20 0 4 0 29860628 1332285440 26172 33554432000 4194304 16246674 140733282647952 140733282647264 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 325265 26188 799 2943 0 322159 0
[pid=28546/tid=28550] ppid=28543 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1332285440 26203 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1332285440 26215 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1332285440 26227 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.446671 s]
/proc/loadavg: 2.33 2.25 2.20 2/172 28546
/proc/meminfo: memFree=30166152/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=0.44 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 48251 0 0 0 38 6 0 0 20 0 4 0 29860628 1344868352 49060 33554432000 4194304 16246674 140733282647952 140733282629824 6191726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 49068 836 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 49074 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 49080 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 49086 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 1313348

[startup+0.500428 s]
/proc/loadavg: 2.33 2.25 2.20 2/172 28546
/proc/meminfo: memFree=30166152/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=0.49 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 55157 0 0 0 42 7 0 0 20 0 4 0 29860628 1344868352 55966 33554432000 4194304 16246674 140733282647952 140733282629824 4222192 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 55966 836 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 55966 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 55966 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 55966 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 1313348

[startup+0.700411 s]
/proc/loadavg: 2.33 2.25 2.20 2/172 28546
/proc/meminfo: memFree=30166152/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 60962 0 0 0 61 8 0 0 20 0 4 0 29860628 1344868352 61771 33554432000 4194304 16246674 140733282647952 140733282629824 13883727 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 61771 837 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 61771 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 61771 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 61771 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50051 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 28582
/proc/meminfo: memFree=28820480/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 126450 0 0 0 133 16 0 0 20 0 4 0 29860628 1344868352 127259 33554432000 4194304 16246674 140733282647952 140733282645888 5991592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 127259 908 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 127259 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 127259 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 127259 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.33 2.25 2.20 3/183 28582
/proc/meminfo: memFree=28311080/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 269037 0 0 0 274 35 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140733282629824 5667424 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 269846 913 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30043 s]
/proc/loadavg: 2.31 2.25 2.20 3/183 28582
/proc/meminfo: memFree=28015480/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 269037 0 0 0 594 35 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140733282629824 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 269846 913 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.36 2.26 2.20 3/183 28582
/proc/meminfo: memFree=28014180/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 269037 0 0 0 1234 35 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140733282629824 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 269846 913 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269846 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 28582
/proc/meminfo: memFree=28013108/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 269040 0 0 0 2514 35 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140733282629824 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 269849 916 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.44 2.29 2.21 3/183 28582
/proc/meminfo: memFree=28002868/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 269040 0 0 0 5073 35 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140733282629824 12477948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 269849 916 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.41 2.31 2.22 3/184 28586
/proc/meminfo: memFree=28002624/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1313348 CPUtime=102.27 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 269040 0 0 0 10192 35 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140733282629824 5659576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 328337 269849 916 2943 0 325231 0
[pid=28546/tid=28550] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1344868352 269849 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1313348


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

/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1397297152 282416 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1364548

[startup+1302.3 s]
/proc/loadavg: 2.47 2.39 2.30 3/184 28616
/proc/meminfo: memFree=27944472/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1364548 CPUtime=1302 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 281749 0 0 0 130159 41 0 0 20 0 4 0 29860628 1397297152 282416 33554432000 4194304 16246674 140733282647952 140733282630944 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 341137 282416 917 2943 0 338031 0
[pid=28546/tid=28550] ppid=28543 vsize=1364548 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1397297152 282416 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1364548 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1397297152 282416 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1364548 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1397297152 282416 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1364548

[startup+1362.3 s]
/proc/loadavg: 2.37 2.37 2.29 4/183 28618
/proc/meminfo: memFree=27936324/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1371716 CPUtime=1361.99 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 283775 0 0 0 136158 41 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140733282629824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 342929 284442 917 2943 0 339823 0
[pid=28546/tid=28550] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1371716

[startup+1422.3 s]
/proc/loadavg: 2.28 2.34 2.29 3/183 28619
/proc/meminfo: memFree=27936228/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1371716 CPUtime=1421.98 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 283775 0 0 0 142157 41 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140733282629824 5823730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 342929 284442 917 2943 0 339823 0
[pid=28546/tid=28550] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1371716

[startup+1482.3 s]
/proc/loadavg: 2.26 2.32 2.28 3/182 28620
/proc/meminfo: memFree=27937324/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1371716 CPUtime=1481.98 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 283775 0 0 0 148156 42 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140733282629824 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 342929 284442 917 2943 0 339823 0
[pid=28546/tid=28550] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1371716

[startup+1542.3 s]
/proc/loadavg: 2.33 2.32 2.28 3/183 28622
/proc/meminfo: memFree=27936580/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1371716 CPUtime=1541.97 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 283775 0 0 0 154155 42 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140733282629824 6021028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 342929 284442 917 2943 0 339823 0
[pid=28546/tid=28550] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1371716

[startup+1602.3 s]
/proc/loadavg: 2.30 2.32 2.28 3/183 28623
/proc/meminfo: memFree=27936596/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1371716 CPUtime=1601.96 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 283775 0 0 0 160154 42 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140733282629824 6021672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 342929 284442 917 2943 0 339823 0
[pid=28546/tid=28550] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1404637184 284442 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1371716

[startup+1662.3 s]
/proc/loadavg: 2.30 2.32 2.27 3/183 28625
/proc/meminfo: memFree=27910800/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1397316 CPUtime=1661.95 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 290172 0 0 0 166152 43 0 0 20 0 4 0 29860628 1430851584 290839 33554432000 4194304 16246674 140733282647952 140733282629824 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 349329 290839 917 2943 0 346223 0
[pid=28546/tid=28550] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290839 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290839 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290839 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1397316

[startup+1722.3 s]
/proc/loadavg: 2.30 2.32 2.27 3/183 28626
/proc/meminfo: memFree=27910680/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1397316 CPUtime=1721.94 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 290175 0 0 0 172151 43 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140733282629824 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 349329 290842 917 2943 0 346223 0
[pid=28546/tid=28550] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1397316

[startup+1782.31 s]
/proc/loadavg: 2.31 2.32 2.27 3/183 28627
/proc/meminfo: memFree=27909444/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1397316 CPUtime=1781.93 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 290175 0 0 0 178150 43 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140733282629824 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 349329 290842 917 2943 0 346223 0
[pid=28546/tid=28550] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290842 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1397316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.44 2.35 2.28 3/183 28627
/proc/meminfo: memFree=27909452/32872528 swapFree=1402776/1580604
[pid=28546] ppid=28543 vsize=1397316 CPUtime=1800.03 cores=1,3,5,7
/proc/28546/stat : 28546 (toysat) R 28543 28546 28125 0 -1 4202496 290176 0 0 0 179959 44 0 0 20 0 4 0 29860628 1430851584 290843 33554432000 4194304 16246674 140733282647952 140733282629824 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28546/statm: 349329 290843 918 2943 0 346223 0
[pid=28546/tid=28550] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28550/stat : 28550 (toysat) S 28543 28546 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290843 33554432000 4194304 16246674 140733282647952 140570851781872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28546/tid=28551] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28551/stat : 28551 (toysat) S 28543 28546 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290843 33554432000 4194304 16246674 140733282647952 140570841292016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28546/tid=28552] ppid=28543 vsize=1397316 CPUtime=0 cores=1,3,5,7
/proc/28546/task/28552/stat : 28552 (toysat) S 28543 28546 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29860628 1430851584 290843 33554432000 4194304 16246674 140733282647952 140570722823344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1397316

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.6
CPU system time (s): 0.442932
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1397316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.442932
maximum resident set size= 1163372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290176
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= 159
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55531 second user time and 6.95594 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 21:29:09
IDJOB=4106787
IDBENCH=48260
IDSOLVER=2542
FILE ID=node139/4106787-1466278149
RUNJOBID= node139-1466274546-28142
PBS_JOBID= 19918239
Free space on /tmp= 71576 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106787-1466278149/watcher-4106787-1466278149 -o /tmp/evaluation-result-4106787-1466278149/solver-4106787-1466278149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106787-1466278149.opb

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

MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a
RANDOM SEED=510276498

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30166532 kB
Buffers:          173880 kB
Cached:           203728 kB
SwapCached:         1904 kB
Active:           140136 kB
Inactive:         241628 kB
Active(anon):       4548 kB
Inactive(anon):     1476 kB
Active(file):     135588 kB
Inactive(file):   240152 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             17120 kB
Writeback:             0 kB
AnonPages:       1558932 kB
Mapped:             7324 kB
Shmem:                 0 kB
Slab:             609752 kB
SReclaimable:      53796 kB
SUnreclaim:       555956 kB
KernelStack:        1480 kB
PageTables:         7072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1676424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71564 MiB
End job on node139 at 2016-06-18 21:59:10