Trace number 4080104

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_3.opb
MD5SUM68d7f052f18638860d9232a7f3ed2053
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-112
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
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)12632
Sum of products size (including duplicates)25264
Number of different products6316
Sum of products size12632

Solver Data 

0.00/0.00	c 2016-06-07T03:08:39+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-4080104-1465261719.opb"]
0.00/0.01	c use --random-gen="3460249314 2861615598 1324232521 3081585426 1031286705 1676240475 3323800262 256252984 525723333 3692726454 4245896499 3720703856 1460221667 2123870861 709893868 128635875 3615731638 618740364 2597212621 809761554 4114240367 1106556790 936355580 2783173512 1343095049 2717718204 1931825538 3872693150 3236423118 3275057536 4046867386 38891640 1992757902 4264615373 1911740095 225050433 380769398 1446173047 1536503739 620380553 2114726669 3399263945 1889176927 2047023566 1470290493 771578255 222590743 3466743061 2962127022 1198060776 142935899 1109993918 1471806495 2879264785 2193189694 2651962664 1081551978 1991053025 2899562244 1183214619 3114895696 392211501 751343286 3325369833 1192589574 2823176213 582765597 3040432186 4068714974 4091664725 3742915964 1014552704 3203142289 3930459583 3147156424 1548687341 2317456954 423142102 2821547271 2138896485 1843902368 441101013 594496643 3912596346 3738500869 1924089319 506420061 218407389 261783137 3186277996 432680835 2801192965 2146255052 2770100466 4254589384 1136226509 3711290841 2352053471 2380480857 1591034408 1759874402 1104697062 544601052 3496339957 3189424408 3435088804 423663198 2113725525 2788126799 313623612 1246152648 494235403 3870972340 1327527910 2728671756 3808545067 1631307108 1661517020 3262775084 1951658687 3804081222 1349754963 2783178530 340533777 3985490485 3936447603 1275146560 3065803880 2090942851 3384931314 2540224667 2857255871 3139703064 2798232263 1903503913 1819263880 3198160934 3202504207 2472439903 2755984450 1695213604 961125144 103133013 4142134843 834591235 2250443270 2243623010 2505112638 298660952 2668585542 2884098042 1132621625 1127664438 2271553406 523279553 2586662077 2173551344 1173770672 4039959839 1321691620 1353844902 453142390 3136256795 2620912024 3738266303 3261887893 887173443 2629921641 1726790589 3702704757 1130363455 1065279348 3303697383 1565065279 101310377 1279445971 1475388727 3316229159 119725840 2425963810 1205441045 2562075958 920054219 676852870 4230093659 2630702673 2681915874 4027949858 3158115799 2500011257 4269161759 412489997 2993091019 3680387470 2350290628 4009539337 558567740 3575290656 2700312771 248981501 2002286951 1247201163 157967661 768863354 886974738 3792582065 4202562794 3277047387 1821052646 2877470076 131114925 4155686983 3977730761 1836083715 146477768 2301305242 1747765395 2277093261 1996099841 461727343 2443804639 1385623356 4223995000 368044650 1462007507 3420537597 368183341 509913109 3696203737 1604177750 855477502 1469766271 3322357054 2372033478 434189178 3467847521 3633427623 3174207750 2256632361 2687152954 148952923 3132396962 1382831051 1089063201 753531049 1561893227 3563747804 2489964867 4171503021 3120202712 2769478477 2249028331 691526212 2882187045 1967831045 2330730238 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1000
0.00/0.05	c #constraints 1501
0.19/0.23	c BCD2: Hardening is enabled.
0.19/0.23	c BCD2: BiasedSearch is enabled.
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     5044      0 |        0 |        0
0.19/0.24	c  0.0s |       0 |      566 |        0 |     5044      0 |        0 |        0
0.19/0.24	c #cpu_time = 0.014s
0.19/0.24	c #wall_clock_time = 0.014s
0.19/0.24	c #decision = 566
0.19/0.24	c #random_decision = 2
0.19/0.24	c #conflict = 0
0.19/0.24	c #restart = 0
0.19/0.24	o -80
0.19/0.24	c BCD2: updating upper bound: 500 -> 419
0.19/0.24	c BCD2: 0 <= obj <= 419
0.19/0.24	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
0.19/0.24	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.24	c Solving starts ...
0.19/0.24	c ============================[ Search Statistics ]============================
0.19/0.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.24	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.24	c =============================================================================
0.19/0.24	c  0.0s |       0 |        0 |        0 |     5044      0 |        0 |        0
0.19/0.26	c  0.0s |       0 |      286 |        2 |     5044      0 |        0 |        0
0.19/0.26	c #cpu_time = 0.015s
0.19/0.26	c #wall_clock_time = 0.015s
0.19/0.26	c #decision = 286
0.19/0.26	c #random_decision = 0
0.19/0.26	c #conflict = 2
0.19/0.26	c #restart = 0
0.19/0.26	c BCD2: found a new core of size 250: cost of the new core is >=1
0.19/0.26	c lower bound updated to -499
0.19/0.26	c BCD2: 1 <= obj <= 419
0.19/0.26	c BCD2: #cores=1, #unrelaxed=250, #relaxed=250, #hardened=0
0.19/0.26	c BCD2: #sat=1 #unsat=2 bias=2/3
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     5044      0 |        0 |        0
0.29/0.30	c  0.0s |       0 |      251 |        1 |     5044      0 |        0 |        0
0.29/0.30	c #cpu_time = 0.043s
0.29/0.30	c #wall_clock_time = 0.043s
0.29/0.30	c #decision = 251
0.29/0.30	c #random_decision = 0
0.29/0.30	c #conflict = 1
0.29/0.30	c #restart = 0
0.29/0.30	c BCD2: relaxing 250 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
0.29/0.30	c lower bound updated to -498
0.29/0.33	c BCD2: 2 <= obj <= 419
0.29/0.33	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
0.29/0.33	c BCD2: #sat=1 #unsat=3 bias=3/4
0.29/0.33	c Solving starts ...
0.29/0.33	c ============================[ Search Statistics ]============================
0.29/0.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.33	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.33	c =============================================================================
0.29/0.33	c  0.0s |       0 |        0 |        0 |     5044      0 |        1 |        0
0.39/0.44	c  0.1s |       1 |     6225 |      100 |     5549      0 |        1 |        1
0.69/0.70	c  0.4s |       2 |    12431 |      250 |     6104      0 |        1 |        1
2.59/2.65	c  2.3s |       3 |    19245 |      475 |     6715      0 |        1 |        1
5.99/6.07	c  5.7s |       3 |    31299 |      775 |     6715      0 |        1 |        1
6.49/6.58	c  6.2s |       4 |    31445 |      813 |     7387      0 |        1 |        1
9.49/9.51	c  9.2s |       4 |    33044 |     1013 |     7387      0 |        1 |        1
12.89/12.91	c 12.6s |       4 |    34488 |     1213 |     7387      0 |        1 |        1
14.79/14.88	c 14.6s |       5 |    35503 |     1320 |     8126      0 |        1 |        1
18.69/18.71	c 18.4s |       5 |    36104 |     1520 |     8126      0 |        1 |        1
21.89/21.92	c 21.6s |       5 |    39906 |     1720 |     8126      0 |        1 |        1
25.49/25.55	c 25.2s |       5 |    40442 |     1920 |     8126      0 |        1 |        1
28.28/28.37	c 28.0s |       6 |    40670 |     2081 |     8939      0 |        1 |        1
31.68/31.71	c 31.4s |       6 |    43952 |     2281 |     8939      0 |        1 |        1
35.38/35.48	c 35.1s |       6 |    44808 |     2481 |     8939      0 |        1 |        1
37.49/37.58	c 37.3s |       6 |    44906 |     2581 |     8939      0 |        1 |        1
39.69/39.73	c 39.4s |       6 |    45102 |     2681 |     8939      0 |        1 |        1
42.08/42.17	c 41.8s |       6 |    45198 |     2781 |     8939      0 |        1 |        1
44.38/44.43	c 44.1s |       6 |    45820 |     2881 |     8939      0 |        1 |        1
46.68/46.79	c 46.5s |       6 |    46092 |     2981 |     8939      0 |        1 |        1
49.08/49.13	c 48.8s |       6 |    46194 |     3081 |     8939      0 |        1 |        1
51.18/51.28	c 51.0s |       6 |    46295 |     3181 |     8939      0 |        1 |        1
52.08/52.15	c 51.8s |       7 |    46334 |     3223 |     9833      0 |        1 |        1
54.28/54.34	c 54.0s |       7 |    46819 |     3323 |     9833      0 |        1 |        1
56.48/56.56	c 56.2s |       7 |    46961 |     3423 |     9833      0 |        1 |        1
58.88/58.90	c 58.6s |       7 |    47061 |     3523 |     9833      0 |        1 |        1
61.18/61.28	c 61.0s |       7 |    47160 |     3623 |     9833      0 |        1 |        1
63.38/63.50	c 63.2s |       7 |    47260 |     3723 |     9833      0 |        1 |        1
65.58/65.68	c 65.4s |       7 |    47361 |     3823 |     9833      0 |        1 |        1
67.78/67.84	c 67.5s |       7 |    47457 |     3923 |     9833      0 |        1 |        1
69.78/69.85	c 69.5s |       7 |    48567 |     4023 |     9833      0 |        1 |        1
72.08/72.19	c 71.9s |       7 |    48671 |     4123 |     9833      0 |        1 |        1
74.38/74.41	c 74.1s |       7 |    48771 |     4223 |     9833      0 |        1 |        1
76.58/76.62	c 76.3s |       7 |    48869 |     4323 |     9833      0 |        1 |        1
78.68/78.79	c 78.5s |       7 |    48969 |     4423 |     9833      0 |        1 |        1
82.88/82.95	c 82.6s |       7 |    51089 |     4623 |     9833      0 |        1 |        1
84.98/85.08	c 84.8s |       7 |    51188 |     4723 |     9833      0 |        1 |        1
87.18/87.22	c 86.9s |       7 |    51292 |     4823 |     9833      0 |        1 |        1
89.28/89.33	c 89.0s |       7 |    51392 |     4923 |    10817      0 |        1 |        1
89.48/89.56	c 89.2s |       8 |    51404 |     4936 |    10817      0 |        1 |        1
93.58/93.60	c 93.3s |       8 |    51788 |     5136 |    10817      0 |        1 |        1
95.87/95.94	c 95.6s |       8 |    51887 |     5236 |    10817      0 |        1 |        1
98.17/98.25	c 97.9s |       8 |    51982 |     5336 |    10817      0 |        1 |        1
100.47/100.51	c  100s |       8 |    52084 |     5436 |    10817      0 |        1 |        1
102.67/102.78	c  102s |       8 |    52185 |     5536 |    10817      0 |        1 |        1
104.97/105.08	c  104s |       8 |    52380 |     5636 |    10817      0 |        1 |        1
107.27/107.40	c  107s |       8 |    52479 |     5736 |    10817      0 |        1 |        1
110.08/110.14	c  109s |       8 |    66840 |     6036 |    10817      0 |        1 |        1
112.28/112.31	c  111s |       8 |    66939 |     6136 |    10817      0 |        1 |        1
114.57/114.67	c  114s |       8 |    67040 |     6236 |    10817      0 |        1 |        1
116.87/116.93	c  116s |       8 |    67140 |     6336 |    10817      0 |        1 |        1
119.17/119.23	c  118s |       8 |    67243 |     6436 |    10817      0 |        1 |        1
121.47/121.54	c  121s |       8 |    67337 |     6536 |    10817      0 |        1 |        1
123.77/123.83	c  123s |       8 |    67440 |     6636 |    10817      0 |        1 |        1
126.07/126.12	c  125s |       8 |    67544 |     6736 |    10817      0 |        1 |        1
128.37/128.40	c  128s |       8 |    67643 |     6836 |    10817      0 |        1 |        1
130.57/130.62	c  130s |       8 |    67745 |     6936 |    10817      0 |        1 |        1
132.77/132.85	c  132s |       8 |    67844 |     7036 |    10817      0 |        1 |        1
134.97/135.07	c  134s |       8 |    67944 |     7136 |    10817      0 |        1 |        1
137.17/137.25	c  136s |       8 |    68045 |     7236 |    10817      0 |        1 |        1
139.37/139.48	c  139s |       8 |    68145 |     7336 |    10817      0 |        1 |        1
141.57/141.69	c  141s |       8 |    68242 |     7436 |    10817      0 |        1 |        1
142.97/143.05	c  142s |       9 |    69552 |     7506 |    11899      0 |        1 |        1
145.17/145.29	c  144s |       9 |    69785 |     7606 |    11899      0 |        1 |        1
147.37/147.47	c  147s |       9 |    69885 |     7706 |    11899      0 |        1 |        1
149.47/149.56	c  149s |       9 |    70074 |     7806 |    11899      0 |        1 |        1
151.67/151.70	c  151s |       9 |    70177 |     7906 |    11899      0 |        1 |        1
153.77/153.81	c  153s |       9 |    70276 |     8006 |    11899      0 |        1 |        1
157.57/157.63	c  157s |       9 |    73767 |     8206 |    11899      0 |        1 |        1
159.76/159.80	c  159s |       9 |    73867 |     8306 |    11899      0 |        1 |        1
161.86/161.93	c  161s |       9 |    73971 |     8406 |    11899      0 |        1 |        1
163.87/164.00	c  163s |       9 |    74073 |     8506 |    11899      0 |        1 |        1
166.07/166.12	c  165s |       9 |    74170 |     8606 |    11899      0 |        1 |        1
169.76/169.82	c  169s |       9 |    77013 |     8806 |    11899      0 |        1 |        1
171.96/172.01	c  171s |       9 |    77113 |     8906 |    11899      0 |        1 |        1
174.06/174.17	c  173s |       9 |    77215 |     9006 |    11899      0 |        1 |        1
176.16/176.23	c  175s |       9 |    77314 |     9106 |    11899      0 |        1 |        1
178.27/178.39	c  178s |       9 |    77412 |     9206 |    11899      0 |        1 |        1
180.47/180.55	c  180s |       9 |    77511 |     9306 |    11899      0 |        1 |        1
182.57/182.69	c  182s |       9 |    77613 |     9406 |    11899      0 |        1 |        1
185.16/185.23	c  184s |       9 |    78937 |     9606 |    11899      0 |        1 |        1
189.06/189.18	c  188s |       9 |    79136 |     9806 |    11899      0 |        1 |        1
193.06/193.17	c  192s |       9 |    79337 |    10006 |    11899      0 |        1 |        1
197.06/197.10	c  196s |       9 |    79541 |    10206 |    11899      0 |        1 |        1
200.86/200.90	c  200s |       9 |    79736 |    10406 |    11899      0 |        1 |        1
204.66/204.79	c  204s |       9 |    79939 |    10606 |    11899      0 |        1 |        1
208.56/208.63	c  208s |       9 |    80139 |    10806 |    11899      0 |        1 |        1
211.35/211.44	c  211s |       9 |    85077 |    11006 |    11899      0 |        1 |        1
215.25/215.34	c  215s |       9 |    85276 |    11206 |    11899      0 |        1 |        1
218.25/218.31	c  217s |      10 |    85433 |    11361 |    13089      0 |        1 |        1
220.35/220.48	c  220s |      10 |    85668 |    11461 |    13089      0 |        1 |        1
224.05/224.17	c  223s |      10 |    85871 |    11661 |    13089      0 |        1 |        1
227.85/227.98	c  227s |      10 |    86069 |    11861 |    13089      0 |        1 |        1
231.75/231.83	c  231s |      10 |    86274 |    12061 |    13089      0 |        1 |        1
235.55/235.62	c  235s |      10 |    86473 |    12261 |    13089      0 |        1 |        1
238.55/238.67	c  238s |      10 |    91341 |    12461 |    13089      0 |        1 |        1
242.45/242.59	c  242s |      10 |    91541 |    12661 |    13089      0 |        1 |        1
246.46/246.54	c  246s |      10 |    91743 |    12861 |    13089      0 |        1 |        1
250.35/250.41	c  250s |      10 |    91940 |    13061 |    13089      0 |        1 |        1
252.35/252.43	c  252s |      10 |    92042 |    13161 |    13089      0 |        1 |        1
256.25/256.36	c  256s |      10 |    92239 |    13361 |    13089      0 |        1 |        1
258.35/258.49	c  258s |      10 |    92728 |    13461 |    13089      1 |        1 |        1
260.35/260.49	c  260s |      10 |    92829 |    13561 |    13089      1 |        1 |        1
262.45/262.53	c  262s |      10 |    92931 |    13661 |    13089      1 |        1 |        1
264.45/264.57	c  264s |      10 |    93035 |    13761 |    13089      1 |        1 |        1
268.35/268.50	c  268s |      10 |    93231 |    13961 |    13089      1 |        1 |        1
272.34/272.40	c  272s |      10 |    93430 |    14161 |    13089      1 |        1 |        1
276.24/276.33	c  276s |      10 |    93628 |    14361 |    13089      1 |        1 |        1
279.45/279.57	c  279s |      10 |    96794 |    14561 |    13089      1 |        1 |        1
283.44/283.57	c  283s |      10 |    96994 |    14761 |    13089      1 |        1 |        1
287.44/287.55	c  287s |      10 |    97198 |    14961 |    13089      1 |        1 |        1
291.45/291.54	c  291s |      10 |    97394 |    15161 |    13089      1 |        1 |        1
295.45/295.54	c  295s |      10 |    97595 |    15361 |    13089      1 |        1 |        1
299.35/299.44	c  299s |      10 |    97795 |    15561 |    13089      1 |        1 |        1
303.35/303.40	c  303s |      10 |    97992 |    15761 |    13089      1 |        1 |        1
307.35/307.42	c  307s |      10 |    98197 |    15961 |    13089      1 |        1 |        1
309.35/309.44	c  309s |      10 |    98294 |    16061 |    13089      1 |        1 |        1
311.35/311.49	c  311s |      10 |    98401 |    16161 |    13089      1 |        1 |        1
315.34/315.47	c  315s |      10 |    98594 |    16361 |    13089      1 |        1 |        1
318.54/318.69	c  318s |      10 |   102433 |    16561 |    13089      1 |        1 |        1
320.84/320.97	c  320s |      10 |   115527 |    16861 |    13089      1 |        1 |        1
323.24/323.32	c  322s |      10 |   115626 |    16961 |    13089      1 |        1 |        1
325.65/325.71	c  325s |      10 |   115730 |    17061 |    14398      1 |        1 |        1
327.54/327.64	c  327s |      11 |   115811 |    17144 |    14398      1 |        1 |        1
329.64/329.75	c  329s |      11 |   118791 |    17244 |    14398      1 |        1 |        1
333.04/333.13	c  332s |      11 |   126005 |    17444 |    14398      1 |        1 |        1
335.54/335.67	c  335s |      11 |   137180 |    17744 |    14398      1 |        1 |        1
338.14/338.25	c  337s |      11 |   138260 |    17944 |    14398      1 |        1 |        1
340.34/340.44	c  340s |      11 |   139156 |    18044 |    14398      1 |        1 |        1
342.73/342.87	c  342s |      11 |   154096 |    18344 |    14398      1 |        1 |        1
345.13/345.25	c  344s |      11 |   157322 |    18544 |    14398      1 |        1 |        1
347.54/347.69	c  347s |      11 |   159047 |    18644 |    14398      1 |        1 |        1
350.13/350.20	c  349s |      11 |   159138 |    18744 |    14398      1 |        1 |        1
352.53/352.65	c  352s |      11 |   159239 |    18844 |    14398      1 |        1 |        1
355.03/355.10	c  354s |      11 |   159343 |    18944 |    14398      1 |        1 |        1
357.33/357.47	c  357s |      11 |   159438 |    19044 |    14398      1 |        1 |        1
359.74/359.85	c  359s |      11 |   159548 |    19144 |    14398      1 |        1 |        1
362.03/362.19	c  361s |      11 |   159646 |    19244 |    14398      1 |        1 |        1
364.43/364.56	c  364s |      11 |   159745 |    19344 |    14398      1 |        1 |        1
366.43/366.58	c  366s |      11 |   161305 |    19444 |    14398      1 |        1 |        1
369.93/370.01	c  369s |      11 |   170076 |    19744 |    14398      1 |        1 |        1
372.13/372.25	c  371s |      11 |   170176 |    19844 |    14398      1 |        1 |        1
374.33/374.48	c  374s |      11 |   170277 |    19944 |    14398      1 |        1 |        1
376.62/376.71	c  376s |      11 |   170376 |    20044 |    14398      1 |        1 |        1
378.72/378.84	c  378s |      11 |   170477 |    20144 |    14398      1 |        1 |        1
382.62/382.74	c  382s |      11 |   171925 |    20344 |    14398      1 |        1 |        1
384.82/384.93	c  384s |      11 |   172024 |    20444 |    14398      1 |        1 |        1
387.02/387.14	c  386s |      11 |   172129 |    20544 |    14398      1 |        1 |        1
389.12/389.27	c  388s |      11 |   172229 |    20644 |    14398      1 |        1 |        1
391.42/391.60	c  391s |      11 |   172324 |    20744 |    14398      1 |        1 |        1
393.62/393.72	c  393s |      11 |   172427 |    20844 |    14398      1 |        1 |        1
395.82/395.91	c  395s |      11 |   172526 |    20944 |    14398      1 |        1 |        1
397.82/397.99	c  397s |      11 |   172625 |    21044 |    14398      1 |        1 |        1
400.02/400.11	c  399s |      11 |   172728 |    21144 |    14398      1 |        1 |        1
402.12/402.27	c  401s |      11 |   172825 |    21244 |    14398      1 |        1 |        1
404.22/404.38	c  404s |      11 |   172925 |    21344 |    14398      1 |        1 |        1
406.42/406.55	c  406s |      11 |   177712 |    21544 |    14398      1 |        1 |        1
409.02/409.16	c  408s |      11 |   187009 |    21844 |    14398      2 |        1 |        1
411.22/411.36	c  411s |      11 |   191756 |    22044 |    14398      2 |        1 |        1
414.62/414.74	c  414s |      11 |   203145 |    22344 |    14398      2 |        1 |        1
418.72/418.89	c  418s |      11 |   207677 |    22544 |    14398      2 |        1 |        1
420.82/420.94	c  420s |      11 |   207779 |    22644 |    14398      2 |        1 |        1
422.91/423.06	c  422s |      11 |   207881 |    22744 |    14398      2 |        1 |        1
425.01/425.15	c  424s |      11 |   207979 |    22844 |    14398      2 |        1 |        1
427.11/427.21	c  426s |      11 |   208077 |    22944 |    14398      2 |        1 |        1
429.91/430.04	c  429s |      11 |   217048 |    23244 |    14398      2 |        1 |        1
432.41/432.59	c  432s |      11 |   219544 |    23444 |    14398      2 |        1 |        1
435.51/435.63	c  435s |      11 |   227867 |    23644 |    14398      2 |        1 |        1
437.61/437.76	c  437s |      11 |   227969 |    23744 |    14398      2 |        1 |        1
439.81/439.97	c  439s |      11 |   228067 |    23844 |    14398      2 |        1 |        1
442.50/442.68	c  442s |      11 |   239672 |    24144 |    14398      2 |        1 |        1
444.70/444.89	c  444s |      11 |   239771 |    24244 |    14398      2 |        1 |        1
446.90/447.08	c  446s |      11 |   239872 |    24344 |    14398      2 |        1 |        1
449.10/449.24	c  448s |      11 |   239974 |    24444 |    14398      2 |        1 |        1
451.40/451.52	c  451s |      11 |   240073 |    24544 |    14398      2 |        1 |        1
453.70/453.86	c  453s |      11 |   240175 |    24644 |    14398      2 |        1 |        1
457.70/457.84	c  457s |      11 |   243102 |    24844 |    14398      2 |        1 |        1
459.90/460.08	c  459s |      11 |   243202 |    24944 |    14398      2 |        1 |        1
462.01/462.17	c  461s |      11 |   243302 |    25044 |    14398      2 |        1 |        1
464.22/464.32	c  463s |      11 |   243403 |    25144 |    14398      2 |        1 |        1
466.42/466.57	c  466s |      11 |   243503 |    25244 |    14398      2 |        1 |        1
468.71/468.84	c  468s |      11 |   243603 |    25344 |    14398      2 |        1 |        1
470.82/470.98	c  470s |      11 |   243700 |    25444 |    14398      2 |        1 |        1
473.02/473.18	c  472s |      11 |   243803 |    25544 |    14398      2 |        1 |        1
475.11/475.22	c  474s |      11 |   243904 |    25644 |    14398      2 |        1 |        1
477.31/477.44	c  477s |      11 |   244000 |    25744 |    15838      2 |        1 |        1
478.90/479.06	c  478s |      12 |   244076 |    25819 |    15838      2 |        1 |        1
481.50/481.60	c  481s |      12 |   244508 |    25919 |    15838      2 |        1 |        1
483.70/483.82	c  483s |      12 |   244609 |    26019 |    15838      2 |        1 |        1
485.90/486.06	c  485s |      12 |   244710 |    26119 |    15838      2 |        1 |        1
488.60/488.75	c  488s |      12 |   259696 |    26519 |    15838      2 |        1 |        1
490.90/491.07	c  490s |      12 |   259977 |    26719 |    15838      2 |        1 |        1
493.60/493.76	c  493s |      12 |   273829 |    27019 |    15838      2 |        1 |        1
496.70/496.88	c  496s |      12 |   279785 |    27219 |    15838      2 |        1 |        1
499.90/500.01	c  499s |      12 |   289008 |    27519 |    15838      2 |        1 |        1
503.10/503.23	c  502s |      12 |   304659 |    27819 |    15838      2 |        1 |        1
505.20/505.35	c  505s |      12 |   318796 |    28019 |    15838      2 |        1 |        1
508.69/508.89	c  508s |      12 |   321764 |    28319 |    15838      2 |        1 |        1
511.79/511.99	c  511s |      12 |   338171 |    28619 |    15838      2 |        1 |        1
514.80/514.99	c  514s |      12 |   338322 |    28819 |    15838      2 |        1 |        1
517.49/517.68	c  517s |      12 |   353450 |    29119 |    15838      2 |        1 |        1
520.09/520.23	c  519s |      12 |   361637 |    29319 |    15838      2 |        1 |        1
522.39/522.54	c  522s |      12 |   361736 |    29419 |    15838      2 |        1 |        1
524.59/524.75	c  524s |      12 |   361840 |    29519 |    15838      2 |        1 |        1
526.89/527.07	c  526s |      12 |   361936 |    29619 |    15838      2 |        1 |        1
529.19/529.35	c  529s |      12 |   362038 |    29719 |    15838      2 |        1 |        1
531.49/531.60	c  531s |      12 |   362137 |    29819 |    15838      2 |        1 |        1
533.69/533.80	c  533s |      12 |   362239 |    29919 |    15838      2 |        1 |        1
535.79/535.99	c  535s |      12 |   362338 |    30019 |    15838      2 |        1 |        1
537.99/538.19	c  537s |      12 |   362440 |    30119 |    15838      2 |        1 |        1
540.28/540.45	c  540s |      12 |   362540 |    30219 |    15838      2 |        1 |        1
542.48/542.66	c  542s |      12 |   362645 |    30319 |    15838      2 |        1 |        1
544.68/544.89	c  544s |      12 |   362737 |    30419 |    15838      2 |        1 |        1
546.98/547.10	c  546s |      12 |   362838 |    30519 |    15838      2 |        1 |        1
549.68/549.83	c  549s |      12 |   362937 |    30619 |    15838      3 |        1 |        1
551.88/552.04	c  551s |      12 |   363036 |    30719 |    15838      3 |        1 |        1
554.08/554.21	c  553s |      12 |   363137 |    30819 |    15838      3 |        1 |        1
556.28/556.42	c  556s |      12 |   363235 |    30919 |    15838      3 |        1 |        1
558.69/558.86	c  558s |      12 |   363340 |    31019 |    15838      3 |        1 |        1
561.08/561.20	c  560s |      12 |   363440 |    31119 |    15838      3 |        1 |        1
563.28/563.45	c  563s |      12 |   363543 |    31219 |    15838      3 |        1 |        1
565.48/565.69	c  565s |      12 |   363635 |    31319 |    15838      3 |        1 |        1
567.78/567.91	c  567s |      12 |   363738 |    31419 |    15838      3 |        1 |        1
569.88/570.07	c  569s |      12 |   363840 |    31519 |    15838      3 |        1 |        1
572.18/572.37	c  572s |      12 |   363939 |    31619 |    15838      3 |        1 |        1
574.38/574.51	c  574s |      12 |   364039 |    31719 |    15838      3 |        1 |        1
576.58/576.78	c  576s |      12 |   364198 |    31819 |    15838      3 |        1 |        1
578.78/578.94	c  578s |      12 |   364296 |    31919 |    15838      3 |        1 |        1
580.97/581.16	c  580s |      12 |   364397 |    32019 |    15838      3 |        1 |        1
583.17/583.35	c  583s |      12 |   364497 |    32119 |    15838      3 |        1 |        1
585.37/585.57	c  585s |      12 |   364602 |    32219 |    15838      3 |        1 |        1
587.57/587.80	c  587s |      12 |   364700 |    32319 |    15838      3 |        1 |        1
589.87/590.02	c  589s |      12 |   364802 |    32419 |    15838      3 |        1 |        1
592.07/592.21	c  591s |      12 |   364900 |    32519 |    15838      3 |        1 |        1
594.27/594.42	c  594s |      12 |   365005 |    32619 |    15838      3 |        1 |        1
596.47/596.67	c  596s |      12 |   365099 |    32719 |    15838      3 |        1 |        1
598.77/598.93	c  598s |      12 |   365199 |    32819 |    15838      3 |        1 |        1
601.07/601.22	c  600s |      12 |   365301 |    32919 |    15838      3 |        1 |        1
603.07/603.25	c  602s |      12 |   379704 |    33219 |    15838      3 |        1 |        1
605.17/605.35	c  605s |      12 |   380749 |    33419 |    15838      3 |        1 |        1
607.77/607.99	c  607s |      12 |   393224 |    33619 |    15838      3 |        1 |        1
610.07/610.23	c  609s |      12 |   397264 |    33819 |    15838      3 |        1 |        1
612.97/613.11	c  612s |      12 |   407459 |    34019 |    15838      3 |        1 |        1
615.97/616.15	c  615s |      12 |   408493 |    34219 |    15838      3 |        1 |        1
618.76/618.95	c  618s |      12 |   426553 |    34519 |    15838      3 |        1 |        1
621.76/621.95	c  621s |      12 |   426849 |    34719 |    15838      3 |        1 |        1
623.76/623.96	c  623s |      12 |   446976 |    35019 |    15838      3 |        1 |        1
626.16/626.39	c  626s |      12 |   448340 |    35219 |    15838      3 |        1 |        1
628.36/628.59	c  628s |      12 |   465057 |    35419 |    15838      3 |        1 |        1
630.76/630.90	c  630s |      12 |   466117 |    35619 |    15838      3 |        1 |        1
632.85/633.00	c  632s |      12 |   466697 |    35719 |    15838      3 |        1 |        1
636.05/636.27	c  635s |      12 |   484028 |    36019 |    15838      3 |        1 |        1
638.25/638.44	c  638s |      12 |   484854 |    36119 |    15838      3 |        1 |        1
641.65/641.85	c  641s |      12 |   497665 |    36419 |    15838      3 |        1 |        1
644.25/644.48	c  644s |      12 |   514233 |    36619 |    15838      3 |        1 |        1
646.45/646.68	c  646s |      12 |   516662 |    36819 |    15838      3 |        1 |        1
649.85/650.07	c  649s |      12 |   526094 |    37019 |    15838      3 |        1 |        1
652.15/652.37	c  652s |      12 |   542015 |    37319 |    15838      3 |        1 |        1
655.55/655.76	c  655s |      12 |   543354 |    37519 |    15838      3 |        1 |        1
658.75/658.91	c  658s |      12 |   556836 |    37819 |    15838      3 |        1 |        1
660.84/661.07	c  660s |      12 |   570047 |    38019 |    15838      3 |        1 |        1
663.64/663.84	c  663s |      12 |   570986 |    38219 |    15838      3 |        1 |        1
667.34/667.57	c  667s |      12 |   579806 |    38419 |    15838      3 |        1 |        1
669.94/670.16	c  669s |      12 |   580969 |    38519 |    15838      4 |        1 |        1
673.34/673.53	c  673s |      12 |   599284 |    38819 |    17422      4 |        1 |        1
673.44/673.60	c  673s |      13 |   599284 |    38832 |    17422      4 |        1 |        1
676.34/676.54	c  676s |      13 |   604365 |    39132 |    17422      4 |        1 |        1
678.54/678.80	c  678s |      13 |   617074 |    39432 |    17422      4 |        1 |        1
682.14/682.30	c  681s |      13 |   622541 |    39732 |    17422      4 |        1 |        1
685.34/685.57	c  685s |      13 |   623144 |    39932 |    17422      4 |        1 |        1
687.74/687.92	c  687s |      13 |   636761 |    40132 |    17422      4 |        1 |        1
690.05/690.24	c  689s |      13 |   640139 |    40332 |    17422      4 |        1 |        1
692.74/692.95	c  692s |      13 |   652737 |    40532 |    17422      4 |        1 |        1
694.84/695.03	c  694s |      13 |   656036 |    40732 |    17422      4 |        1 |        1
697.84/698.00	c  697s |      13 |   666876 |    40932 |    17422      4 |        1 |        1
701.24/701.47	c  701s |      13 |   672704 |    41232 |    17422      4 |        1 |        1
704.64/704.88	c  704s |      13 |   691017 |    41532 |    17422      4 |        1 |        1
706.64/706.89	c  706s |      13 |   691121 |    41632 |    17422      4 |        1 |        1
710.14/710.33	c  710s |      13 |   706649 |    41932 |    17422      4 |        1 |        1
713.14/713.36	c  713s |      13 |   720137 |    42132 |    17422      4 |        1 |        1
715.34/715.56	c  715s |      13 |   721767 |    42332 |    17422      4 |        1 |        1
717.34/717.58	c  717s |      13 |   721767 |    42432 |    17422      4 |        1 |        1
720.54/720.75	c  720s |      13 |   738365 |    42732 |    17422      4 |        1 |        1
723.14/723.35	c  723s |      13 |   751254 |    42932 |    17422      4 |        1 |        1
726.83/727.01	c  726s |      13 |   755118 |    43232 |    17422      4 |        1 |        1
730.13/730.37	c  730s |      13 |   772232 |    43532 |    17422      4 |        1 |        1
733.23/733.40	c  733s |      13 |   785432 |    43732 |    17422      4 |        1 |        1
735.43/735.65	c  735s |      13 |   787029 |    43932 |    17422      4 |        1 |        1
737.43/737.67	c  737s |      13 |   787029 |    44032 |    17422      4 |        1 |        1
740.83/741.06	c  740s |      13 |   802396 |    44332 |    17422      4 |        1 |        1
743.92/744.14	c  743s |      13 |   816467 |    44532 |    17422      4 |        1 |        1
746.22/746.40	c  746s |      13 |   818293 |    44732 |    17422      4 |        1 |        1
748.32/748.51	c  748s |      13 |   818293 |    44832 |    17422      4 |        1 |        1
751.13/751.36	c  751s |      13 |   831980 |    45132 |    17422      4 |        1 |        1
753.62/753.80	c  753s |      13 |   844897 |    45332 |    17422      4 |        1 |        1
755.92/756.14	c  755s |      13 |   846286 |    45532 |    17422      4 |        1 |        1
757.92/758.19	c  757s |      13 |   848095 |    45632 |    17422      4 |        1 |        1
760.52/760.72	c  760s |      13 |   862536 |    45932 |    17422      4 |        1 |        1
762.62/762.89	c  762s |      13 |   864249 |    46132 |    17422      4 |        1 |        1
765.62/765.85	c  765s |      13 |   880075 |    46432 |    17422      4 |        1 |        1
768.92/769.12	c  768s |      13 |   883024 |    46632 |    17422      4 |        1 |        1
771.92/772.13	c  771s |      13 |   893186 |    46932 |    17422      4 |        1 |        1
774.91/775.14	c  774s |      13 |   893479 |    47132 |    17422      4 |        1 |        1
777.91/778.14	c  777s |      13 |   906891 |    47432 |    17422      4 |        1 |        1
780.01/780.25	c  779s |      13 |   906982 |    47532 |    17422      4 |        1 |        1
783.02/783.28	c  782s |      13 |   923387 |    47832 |    17422      4 |        1 |        1
786.50/786.79	c  786s |      13 |   931675 |    48032 |    17422      4 |        1 |        1
788.61/788.86	c  788s |      13 |   937244 |    48232 |    17422      4 |        1 |        1
792.91/793.16	c  792s |      13 |   941911 |    48432 |    17422      5 |        1 |        1
796.21/796.42	c  796s |      13 |   951620 |    48732 |    17422      5 |        1 |        1
798.40/798.66	c  798s |      13 |   965819 |    48932 |    17422      5 |        1 |        1
801.60/801.84	c  801s |      13 |   966107 |    49132 |    17422      5 |        1 |        1
803.90/804.17	c  803s |      13 |   978931 |    49332 |    17422      5 |        1 |        1
807.20/807.49	c  807s |      13 |   980100 |    49532 |    17422      5 |        1 |        1
809.29/809.55	c  809s |      13 |   995794 |    49732 |    17422      5 |        1 |        1
812.39/812.66	c  812s |      13 |   996047 |    49932 |    17422      5 |        1 |        1
814.68/814.97	c  814s |      13 |  1008417 |    50132 |    17422      5 |        1 |        1
817.68/817.93	c  817s |      13 |  1009414 |    50332 |    17422      5 |        1 |        1
819.78/820.01	c  819s |      13 |  1009509 |    50432 |    17422      5 |        1 |        1
823.48/823.75	c  823s |      13 |  1020388 |    50732 |    17422      5 |        1 |        1
825.78/826.06	c  825s |      13 |  1033617 |    50932 |    17422      5 |        1 |        1
828.78/829.00	c  828s |      13 |  1034652 |    51132 |    17422      5 |        1 |        1
831.17/831.48	c  831s |      13 |  1047566 |    51332 |    17422      5 |        1 |        1
833.87/834.11	c  833s |      13 |  1048467 |    51532 |    17422      5 |        1 |        1
836.28/836.56	c  836s |      13 |  1062052 |    51732 |    17422      5 |        1 |        1
839.78/840.09	c  839s |      13 |  1062602 |    51932 |    17422      5 |        1 |        1
841.98/842.28	c  841s |      13 |  1062670 |    52032 |    17422      5 |        1 |        1
846.18/846.43	c  846s |      13 |  1064015 |    52232 |    17422      5 |        1 |        1
848.47/848.75	c  848s |      13 |  1078917 |    52532 |    17422      5 |        1 |        1
851.57/851.86	c  851s |      13 |  1088102 |    52732 |    17422      5 |        1 |        1
855.07/855.38	c  855s |      13 |  1099635 |    53032 |    17422      5 |        1 |        1
858.37/858.69	c  858s |      13 |  1105681 |    53332 |    17422      5 |        1 |        1
860.47/860.74	c  860s |      13 |  1120663 |    53532 |    17422      5 |        1 |        1
863.56/863.85	c  863s |      13 |  1121044 |    53732 |    17422      5 |        1 |        1
867.06/867.30	c  866s |      13 |  1136459 |    54032 |    17422      5 |        1 |        1
869.66/869.95	c  869s |      13 |  1147408 |    54232 |    17422      5 |        1 |        1
872.86/873.18	c  872s |      13 |  1148216 |    54532 |    17422      5 |        1 |        1
875.85/876.12	c  875s |      13 |  1162743 |    54832 |    17422      5 |        1 |        1
877.85/878.14	c  877s |      13 |  1162799 |    54932 |    17422      5 |        1 |        1
880.05/880.31	c  879s |      13 |  1174957 |    55132 |    17422      5 |        1 |        1
882.65/882.97	c  882s |      13 |  1176369 |    55332 |    17422      5 |        1 |        1
884.75/885.08	c  884s |      13 |  1176460 |    55432 |    17422      5 |        1 |        1
887.65/887.92	c  887s |      13 |  1194603 |    55732 |    17422      5 |        1 |        1
891.55/891.84	c  891s |      13 |  1196758 |    55932 |    17422      5 |        1 |        1
895.25/895.52	c  895s |      13 |  1213563 |    56232 |    17422      5 |        1 |        1
898.84/899.18	c  898s |      13 |  1228130 |    56532 |    17422      5 |        1 |        1
901.14/901.41	c  901s |      13 |  1243802 |    56732 |    17422      5 |        1 |        1
903.73/904.09	c  903s |      13 |  1257262 |    56932 |    17422      5 |        1 |        1
907.13/907.49	c  907s |      13 |  1258308 |    57232 |    17422      5 |        1 |        1
911.23/911.53	c  911s |      13 |  1273955 |    57532 |    17422      6 |        1 |        1
913.73/914.09	c  913s |      13 |  1283612 |    57732 |    17422      6 |        1 |        1
916.93/917.25	c  916s |      13 |  1285076 |    57932 |    17422      6 |        1 |        1
919.23/919.51	c  919s |      13 |  1298917 |    58132 |    19165      6 |        1 |        1
922.92/923.23	c  922s |      13 |  1308019 |    58332 |    19165      6 |        1 |        1
922.92/923.26	c  922s |      14 |  1312486 |    58352 |    19165      6 |        1 |        1
925.52/925.80	c  925s |      14 |  1316343 |    58552 |    19165      6 |        1 |        1
927.53/927.81	c  927s |      14 |  1316391 |    58652 |    19165      6 |        1 |        1
929.63/929.93	c  929s |      14 |  1320339 |    58752 |    19165      6 |        1 |        1
932.13/932.48	c  932s |      14 |  1334279 |    59052 |    19165      6 |        1 |        1
935.22/935.57	c  935s |      14 |  1334904 |    59252 |    19165      6 |        1 |        1
937.32/937.69	c  937s |      14 |  1349400 |    59552 |    19165      6 |        1 |        1
940.72/941.06	c  940s |      14 |  1361989 |    59852 |    19165      6 |        1 |        1
943.82/944.14	c  943s |      14 |  1370513 |    60052 |    19165      6 |        1 |        1
947.12/947.47	c  947s |      14 |  1379418 |    60352 |    19165      6 |        1 |        1
949.22/949.54	c  949s |      14 |  1397716 |    60552 |    19165      6 |        1 |        1
952.22/952.52	c  952s |      14 |  1399237 |    60752 |    19165      6 |        1 |        1
954.22/954.57	c  954s |      14 |  1416349 |    60952 |    19165      6 |        1 |        1
957.72/958.04	c  957s |      14 |  1416414 |    61152 |    19165      6 |        1 |        1
960.82/961.12	c  960s |      14 |  1433223 |    61452 |    19165      6 |        1 |        1
964.32/964.68	c  964s |      14 |  1449264 |    61752 |    19165      6 |        1 |        1
967.62/967.92	c  967s |      14 |  1465882 |    62052 |    19165      6 |        1 |        1
969.72/970.02	c  969s |      14 |  1479032 |    62252 |    19165      6 |        1 |        1
972.32/972.64	c  972s |      14 |  1493609 |    62452 |    19165      6 |        1 |        1
974.92/975.25	c  974s |      14 |  1494761 |    62752 |    19165      6 |        1 |        1
977.12/977.44	c  977s |      14 |  1509562 |    62952 |    19165      6 |        1 |        1
980.02/980.36	c  980s |      14 |  1510568 |    63152 |    19165      6 |        1 |        1
982.52/982.83	c  982s |      14 |  1524890 |    63352 |    19165      6 |        1 |        1
986.01/986.36	c  986s |      14 |  1526217 |    63552 |    19165      6 |        1 |        1
989.61/989.91	c  989s |      14 |  1541285 |    63852 |    19165      6 |        1 |        1
991.71/992.00	c  991s |      14 |  1556258 |    64052 |    19165      6 |        1 |        1
994.51/994.88	c  994s |      14 |  1563804 |    64252 |    19165      6 |        1 |        1
996.71/997.09	c  996s |      14 |  1570092 |    64452 |    19165      6 |        1 |        1
999.62/999.93	c  999s |      14 |  1580894 |    64652 |    19165      6 |        1 |        1
1003.51/1003.89	c 1003s |      14 |  1589164 |    64952 |    19165      6 |        1 |        1
1006.61/1006.96	c 1006s |      14 |  1606847 |    65252 |    19165      6 |        1 |        1
1009.21/1009.56	c 1009s |      14 |  1623859 |    65452 |    19165      6 |        1 |        1
1011.51/1011.86	c 1011s |      14 |  1624424 |    65652 |    19165      6 |        1 |        1
1013.51/1013.89	c 1013s |      14 |  1624517 |    65752 |    19165      6 |        1 |        1
1016.91/1017.23	c 1016s |      14 |  1640679 |    66052 |    19165      6 |        1 |        1
1020.21/1020.55	c 1020s |      14 |  1658689 |    66352 |    19165      6 |        1 |        1
1022.41/1022.79	c 1022s |      14 |  1659027 |    66452 |    19165      6 |        1 |        1
1026.11/1026.43	c 1026s |      14 |  1674469 |    66752 |    19165      6 |        1 |        1
1029.71/1030.00	c 1029s |      14 |  1692181 |    67052 |    19165      6 |        1 |        1
1031.71/1032.00	c 1031s |      14 |  1704135 |    67252 |    19165      6 |        1 |        1
1035.10/1035.44	c 1035s |      14 |  1719457 |    67552 |    19165      6 |        1 |        1
1038.00/1038.34	c 1038s |      14 |  1733696 |    67752 |    19165      6 |        1 |        1
1040.50/1040.86	c 1040s |      14 |  1734362 |    67952 |    19165      6 |        1 |        1
1042.80/1043.13	c 1042s |      14 |  1746669 |    68152 |    19165      6 |        1 |        1
1046.50/1046.82	c 1046s |      14 |  1747676 |    68352 |    19165      7 |        1 |        1
1050.00/1050.35	c 1050s |      14 |  1761885 |    68652 |    19165      7 |        1 |        1
1053.10/1053.44	c 1053s |      14 |  1766281 |    68852 |    19165      7 |        1 |        1
1056.20/1056.54	c 1056s |      14 |  1775095 |    69152 |    19165      7 |        1 |        1
1059.40/1059.78	c 1059s |      14 |  1788753 |    69452 |    19165      7 |        1 |        1
1062.40/1062.71	c 1062s |      14 |  1799956 |    69652 |    19165      7 |        1 |        1
1064.50/1064.85	c 1064s |      14 |  1803567 |    69852 |    19165      7 |        1 |        1
1067.00/1067.32	c 1066s |      14 |  1816423 |    70052 |    19165      7 |        1 |        1
1070.00/1070.36	c 1070s |      14 |  1821852 |    70252 |    19165      7 |        1 |        1
1073.30/1073.67	c 1073s |      14 |  1836603 |    70552 |    19165      7 |        1 |        1
1076.09/1076.44	c 1076s |      14 |  1863116 |    70952 |    19165      7 |        1 |        1
1078.99/1079.34	c 1079s |      14 |  1868218 |    71152 |    19165      7 |        1 |        1
1081.69/1082.08	c 1081s |      14 |  1885338 |    71452 |    19165      7 |        1 |        1
1084.09/1084.47	c 1084s |      14 |  1900552 |    71652 |    19165      7 |        1 |        1
1086.69/1087.08	c 1086s |      14 |  1904743 |    71852 |    19165      7 |        1 |        1
1090.39/1090.72	c 1090s |      14 |  1922821 |    72152 |    19165      7 |        1 |        1
1093.79/1094.17	c 1093s |      14 |  1941190 |    72452 |    19165      7 |        1 |        1
1095.99/1096.33	c 1095s |      14 |  1941256 |    72552 |    19165      7 |        1 |        1
1098.99/1099.36	c 1099s |      14 |  1962306 |    72852 |    19165      7 |        1 |        1
1101.79/1102.19	c 1101s |      14 |  1976523 |    73052 |    19165      7 |        1 |        1
1105.49/1105.81	c 1105s |      14 |  1979920 |    73352 |    19165      7 |        1 |        1
1107.89/1108.26	c 1107s |      14 |  1995900 |    73552 |    19165      7 |        1 |        1
1110.69/1111.02	c 1110s |      14 |  1998738 |    73752 |    19165      7 |        1 |        1
1112.89/1113.24	c 1112s |      14 |  2018407 |    74052 |    19165      7 |        1 |        1
1115.79/1116.19	c 1115s |      14 |  2020317 |    74252 |    19165      7 |        1 |        1
1118.99/1119.37	c 1119s |      14 |  2033429 |    74552 |    19165      7 |        1 |        1
1122.60/1122.98	c 1122s |      14 |  2033715 |    74752 |    19165      7 |        1 |        1
1126.20/1126.53	c 1126s |      14 |  2049714 |    75052 |    19165      7 |        1 |        1
1128.30/1128.70	c 1128s |      14 |  2055318 |    75452 |    19165      7 |        1 |        1
1130.79/1131.12	c 1130s |      14 |  2060215 |    75652 |    19165      7 |        1 |        1
1133.09/1133.41	c 1133s |      14 |  2060489 |    75752 |    19165      7 |        1 |        1
1135.79/1136.15	c 1135s |      14 |  2074849 |    76052 |    19165      7 |        1 |        1
1138.89/1139.25	c 1138s |      14 |  2080567 |    76252 |    19165      7 |        1 |        1
1142.89/1143.21	c 1142s |      14 |  2080707 |    76452 |    19165      7 |        1 |        1
1146.09/1146.40	c 1146s |      14 |  2094078 |    76752 |    19165      7 |        1 |        1
1148.99/1149.40	c 1149s |      14 |  2094589 |    76952 |    19165      7 |        1 |        1
1152.19/1152.56	c 1152s |      14 |  2107596 |    77252 |    19165      7 |        1 |        1
1154.39/1154.77	c 1154s |      14 |  2107709 |    77352 |    19165      7 |        1 |        1
1157.69/1158.08	c 1157s |      14 |  2121615 |    77652 |    19165      7 |        1 |        1
1161.79/1162.13	c 1161s |      14 |  2121870 |    77852 |    19165      7 |        1 |        1
1165.19/1165.53	c 1165s |      14 |  2133094 |    78152 |    19165      7 |        1 |        1
1167.39/1167.75	c 1167s |      14 |  2143778 |    78252 |    19165      8 |        1 |        1
1170.09/1170.43	c 1170s |      14 |  2144837 |    78452 |    19165      8 |        1 |        1
1172.19/1172.59	c 1172s |      14 |  2156781 |    78652 |    19165      8 |        1 |        1
1175.78/1176.11	c 1175s |      14 |  2156968 |    78852 |    19165      8 |        1 |        1
1178.08/1178.48	c 1178s |      14 |  2168921 |    79052 |    19165      8 |        1 |        1
1181.09/1181.44	c 1181s |      14 |  2173138 |    79252 |    19165      8 |        1 |        1
1183.78/1184.15	c 1183s |      14 |  2174174 |    79452 |    19165      8 |        1 |        1
1186.98/1187.32	c 1186s |      14 |  2183518 |    79752 |    19165      8 |        1 |        1
1190.68/1191.01	c 1190s |      14 |  2193187 |    80052 |    19165      8 |        1 |        1
1193.88/1194.23	c 1193s |      14 |  2207747 |    80352 |    19165      8 |        1 |        1
1195.98/1196.32	c 1195s |      14 |  2213109 |    80552 |    19165      8 |        1 |        1
1197.98/1198.37	c 1198s |      14 |  2222534 |    80752 |    19165      8 |        1 |        1
1200.38/1200.71	c 1200s |      14 |  2230289 |    80952 |    19165      8 |        1 |        1
1202.48/1202.88	c 1202s |      14 |  2239529 |    81152 |    19165      8 |        1 |        1
1204.88/1205.26	c 1204s |      14 |  2242407 |    81352 |    19165      8 |        1 |        1
1207.88/1208.24	c 1207s |      14 |  2251613 |    81652 |    19165      8 |        1 |        1
1210.58/1210.96	c 1210s |      14 |  2260082 |    81952 |    19165      8 |        1 |        1
1212.68/1213.07	c 1212s |      14 |  2268179 |    82152 |    19165      8 |        1 |        1
1214.78/1215.10	c 1214s |      14 |  2275089 |    82352 |    19165      8 |        1 |        1
1216.98/1217.30	c 1216s |      14 |  2276470 |    82552 |    19165      8 |        1 |        1
1219.68/1220.04	c 1219s |      14 |  2290403 |    82852 |    19165      8 |        1 |        1
1222.48/1222.89	c 1222s |      14 |  2300402 |    83152 |    19165      8 |        1 |        1
1224.58/1224.99	c 1224s |      14 |  2307706 |    83352 |    19165      8 |        1 |        1
1226.77/1227.18	c 1226s |      14 |  2315454 |    83552 |    19165      8 |        1 |        1
1229.77/1230.18	c 1229s |      14 |  2324118 |    83852 |    19165      8 |        1 |        1
1232.27/1232.62	c 1232s |      14 |  2338458 |    84152 |    19165      8 |        1 |        1
1234.67/1235.04	c 1234s |      14 |  2338935 |    84352 |    19165      8 |        1 |        1
1237.07/1237.48	c 1237s |      14 |  2351195 |    84652 |    19165      8 |        1 |        1
1239.27/1239.67	c 1239s |      14 |  2355268 |    84852 |    19165      8 |        1 |        1
1241.97/1242.39	c 1242s |      14 |  2366114 |    85152 |    19165      8 |        1 |        1
1244.07/1244.43	c 1244s |      14 |  2371719 |    85352 |    19165      8 |        1 |        1
1246.47/1246.86	c 1246s |      14 |  2382670 |    85652 |    19165      8 |        1 |        1
1249.17/1249.52	c 1249s |      14 |  2389973 |    85952 |    19165      8 |        1 |        1
1252.07/1252.46	c 1252s |      14 |  2400000 |    86252 |    19165      8 |        1 |        1
1254.17/1254.50	c 1254s |      14 |  2401315 |    86452 |    19165      8 |        1 |        1
1256.17/1256.52	c 1256s |      14 |  2406816 |    86652 |    19165      8 |        1 |        1
1258.77/1259.18	c 1258s |      14 |  2418443 |    86952 |    19165      8 |        1 |        1
1260.97/1261.38	c 1261s |      14 |  2420654 |    87252 |    21082      8 |        1 |        1
1262.27/1262.62	c 1262s |      15 |  2428013 |    87632 |    21082      8 |        1 |        1
1265.67/1266.01	c 1265s |      15 |  2429581 |    87832 |    21082      8 |        1 |        1
1267.67/1268.03	c 1267s |      15 |  2438315 |    88232 |    21082      8 |        1 |        1
1270.47/1270.89	c 1270s |      15 |  2444437 |    88632 |    21082      8 |        1 |        1
1272.67/1273.08	c 1272s |      15 |  2457446 |    88832 |    21082      8 |        1 |        1
1275.87/1276.24	c 1275s |      15 |  2457885 |    89032 |    21082      8 |        1 |        1
1278.46/1278.85	c 1278s |      15 |  2458913 |    89332 |    21082      8 |        1 |        1
1281.56/1281.94	c 1281s |      15 |  2471004 |    89632 |    21082      8 |        1 |        1
1284.66/1285.09	c 1284s |      15 |  2476652 |    89832 |    21082      8 |        1 |        1
1287.56/1287.93	c 1287s |      15 |  2482815 |    90032 |    21082      9 |        1 |        1
1289.56/1289.97	c 1289s |      15 |  2483051 |    90132 |    21082      9 |        1 |        1
1291.76/1292.13	c 1291s |      15 |  2494833 |    90332 |    21082      9 |        1 |        1
1294.47/1294.83	c 1294s |      15 |  2495555 |    90532 |    21082      9 |        1 |        1
1297.16/1297.59	c 1297s |      15 |  2496410 |    90732 |    21082      9 |        1 |        1
1299.26/1299.69	c 1299s |      15 |  2505781 |    90932 |    21082      9 |        1 |        1
1302.07/1302.50	c 1302s |      15 |  2506533 |    91132 |    21082      9 |        1 |        1
1304.27/1304.64	c 1304s |      15 |  2518816 |    91332 |    21082      9 |        1 |        1
1306.37/1306.76	c 1306s |      15 |  2527533 |    91532 |    21082      9 |        1 |        1
1309.17/1309.54	c 1309s |      15 |  2535139 |    91732 |    21082      9 |        1 |        1
1312.27/1312.61	c 1312s |      15 |  2540265 |    92032 |    21082      9 |        1 |        1
1314.56/1314.96	c 1314s |      15 |  2549576 |    92232 |    21082      9 |        1 |        1
1317.36/1317.71	c 1317s |      15 |  2557604 |    92432 |    21082      9 |        1 |        1
1319.96/1320.33	c 1320s |      15 |  2558343 |    92632 |    21082      9 |        1 |        1
1322.66/1323.08	c 1322s |      15 |  2565937 |    92832 |    21082      9 |        1 |        1
1325.36/1325.75	c 1325s |      15 |  2572067 |    93032 |    21082      9 |        1 |        1
1328.47/1328.86	c 1328s |      15 |  2584363 |    93332 |    21082      9 |        1 |        1
1331.66/1332.01	c 1331s |      15 |  2585007 |    93532 |    21082      9 |        1 |        1
1334.26/1334.62	c 1334s |      15 |  2597087 |    93832 |    21082      9 |        1 |        1
1337.37/1337.73	c 1337s |      15 |  2597482 |    94032 |    21082      9 |        1 |        1
1339.57/1339.93	c 1339s |      15 |  2597803 |    94232 |    21082      9 |        1 |        1
1342.36/1342.74	c 1342s |      15 |  2609339 |    94532 |    21082      9 |        1 |        1
1345.56/1345.97	c 1345s |      15 |  2610050 |    94732 |    21082      9 |        1 |        1
1347.96/1348.33	c 1348s |      15 |  2610486 |    94932 |    21082      9 |        1 |        1
1350.96/1351.35	c 1351s |      15 |  2622649 |    95232 |    21082      9 |        1 |        1
1353.76/1354.14	c 1353s |      15 |  2629105 |    95432 |    21082      9 |        1 |        1
1356.46/1356.88	c 1356s |      15 |  2629521 |    95632 |    21082      9 |        1 |        1
1359.06/1359.48	c 1359s |      15 |  2635865 |    95832 |    21082      9 |        1 |        1
1361.96/1362.34	c 1362s |      15 |  2636239 |    96032 |    21082      9 |        1 |        1
1364.56/1364.98	c 1364s |      15 |  2641033 |    96232 |    21082      9 |        1 |        1
1367.76/1368.11	c 1367s |      15 |  2641503 |    96432 |    21082      9 |        1 |        1
1370.76/1371.18	c 1370s |      15 |  2647245 |    96632 |    21082      9 |        1 |        1
1373.66/1374.02	c 1373s |      15 |  2653463 |    96832 |    21082      9 |        1 |        1
1376.45/1376.83	c 1376s |      15 |  2659452 |    97032 |    21082      9 |        1 |        1
1380.05/1380.49	c 1380s |      15 |  2659894 |    97232 |    21082      9 |        1 |        1
1383.15/1383.59	c 1383s |      15 |  2664834 |    97432 |    21082      9 |        1 |        1
1385.76/1386.18	c 1385s |      15 |  2669792 |    97632 |    21082      9 |        1 |        1
1388.85/1389.23	c 1388s |      15 |  2670135 |    97832 |    21082      9 |        1 |        1
1391.05/1391.47	c 1391s |      15 |  2677491 |    98032 |    21082      9 |        1 |        1
1393.75/1394.13	c 1393s |      15 |  2683287 |    98232 |    21082      9 |        1 |        1
1396.45/1396.80	c 1396s |      15 |  2683685 |    98432 |    21082      9 |        1 |        1
1399.15/1399.50	c 1399s |      15 |  2688635 |    98632 |    21082      9 |        1 |        1
1401.16/1401.54	c 1401s |      15 |  2695436 |    98832 |    21082      9 |        1 |        1
1403.75/1404.13	c 1403s |      15 |  2700755 |    99032 |    21082      9 |        1 |        1
1406.35/1406.77	c 1406s |      15 |  2706302 |    99232 |    21082      9 |        1 |        1
1408.45/1408.88	c 1408s |      15 |  2715387 |    99732 |    21082      9 |        1 |        1
1410.85/1411.29	c 1410s |      15 |  2724028 |   100132 |    21082      9 |        1 |        1
1413.15/1413.50	c 1413s |      15 |  2733131 |   100532 |    21082      9 |        1 |        1
1415.25/1415.66	c 1415s |      15 |  2740176 |   100832 |    21082      9 |        1 |        1
1417.35/1417.76	c 1417s |      15 |  2745425 |   101032 |    21082     10 |        1 |        1
1419.65/1420.02	c 1419s |      15 |  2751933 |   101332 |    21082     10 |        1 |        1
1422.64/1423.09	c 1422s |      15 |  2758188 |   101632 |    21082     10 |        1 |        1
1425.25/1425.64	c 1425s |      15 |  2759786 |   101832 |    21082     10 |        1 |        1
1427.84/1428.20	c 1427s |      15 |  2766626 |   102132 |    21082     10 |        1 |        1
1431.24/1431.60	c 1431s |      15 |  2772566 |   102432 |    21082     10 |        1 |        1
1434.15/1434.56	c 1434s |      15 |  2779600 |   102732 |    21082     10 |        1 |        1
1436.35/1436.74	c 1436s |      15 |  2783382 |   102932 |    21082     10 |        1 |        1
1438.45/1438.86	c 1438s |      15 |  2786196 |   103132 |    21082     10 |        1 |        1
1440.75/1441.18	c 1440s |      15 |  2790964 |   103332 |    21082     10 |        1 |        1
1443.64/1444.02	c 1443s |      15 |  2800454 |   103632 |    21082     10 |        1 |        1
1445.74/1446.14	c 1445s |      15 |  2805807 |   103832 |    21082     10 |        1 |        1
1448.24/1448.60	c 1448s |      15 |  2810301 |   104032 |    21082     10 |        1 |        1
1450.84/1451.25	c 1450s |      15 |  2820347 |   104332 |    21082     10 |        1 |        1
1453.34/1453.72	c 1453s |      15 |  2825793 |   104532 |    21082     10 |        1 |        1
1455.64/1456.02	c 1455s |      15 |  2831188 |   104732 |    21082     10 |        1 |        1
1457.94/1458.39	c 1458s |      15 |  2837639 |   104932 |    21082     10 |        1 |        1
1460.44/1460.84	c 1460s |      15 |  2843110 |   105132 |    21082     10 |        1 |        1
1463.54/1463.99	c 1463s |      15 |  2850093 |   105432 |    21082     10 |        1 |        1
1466.04/1466.43	c 1466s |      15 |  2857655 |   105732 |    21082     10 |        1 |        1
1468.94/1469.38	c 1469s |      15 |  2870029 |   106032 |    21082     10 |        1 |        1
1471.34/1471.73	c 1471s |      15 |  2876053 |   106232 |    21082     10 |        1 |        1
1474.03/1474.45	c 1474s |      15 |  2880925 |   106432 |    21082     10 |        1 |        1
1476.53/1476.99	c 1476s |      15 |  2887350 |   106632 |    21082     10 |        1 |        1
1478.93/1479.39	c 1479s |      15 |  2893143 |   106832 |    21082     10 |        1 |        1
1481.23/1481.70	c 1481s |      15 |  2903264 |   107032 |    21082     10 |        1 |        1
1483.43/1483.82	c 1483s |      15 |  2914127 |   107232 |    21082     10 |        1 |        1
1485.74/1486.11	c 1485s |      15 |  2922161 |   107432 |    21082     10 |        1 |        1
1488.04/1488.44	c 1488s |      15 |  2930665 |   107632 |    21082     10 |        1 |        1
1491.43/1491.83	c 1491s |      15 |  2938189 |   107932 |    21082     10 |        1 |        1
1493.83/1494.22	c 1493s |      15 |  2948702 |   108132 |    21082     10 |        1 |        1
1496.13/1496.59	c 1496s |      15 |  2958482 |   108332 |    21082     10 |        1 |        1
1499.23/1499.60	c 1499s |      15 |  2959581 |   108532 |    21082     10 |        1 |        1
1501.44/1501.89	c 1501s |      15 |  2967687 |   108732 |    21082     10 |        1 |        1
1504.14/1504.54	c 1504s |      15 |  2975125 |   108932 |    21082     10 |        1 |        1
1506.64/1507.08	c 1506s |      15 |  2983014 |   109132 |    21082     10 |        1 |        1
1509.14/1509.57	c 1509s |      15 |  2991330 |   109332 |    21082     10 |        1 |        1
1511.44/1511.88	c 1511s |      15 |  3000381 |   109532 |    21082     10 |        1 |        1
1514.23/1514.68	c 1514s |      15 |  3005113 |   109732 |    21082     10 |        1 |        1
1516.83/1517.29	c 1516s |      15 |  3012062 |   109932 |    21082     10 |        1 |        1
1519.33/1519.78	c 1519s |      15 |  3019200 |   110132 |    21082     10 |        1 |        1
1522.23/1522.69	c 1522s |      15 |  3020585 |   110332 |    21082     10 |        1 |        1
1524.63/1525.07	c 1524s |      15 |  3029522 |   110532 |    21082     10 |        1 |        1
1527.13/1527.56	c 1527s |      15 |  3038604 |   110732 |    21082     10 |        1 |        1
1529.63/1530.07	c 1529s |      15 |  3047206 |   110932 |    21082     10 |        1 |        1
1532.33/1532.77	c 1532s |      15 |  3054119 |   111132 |    21082     10 |        1 |        1
1535.03/1535.46	c 1535s |      15 |  3061439 |   111332 |    21082     10 |        1 |        1
1537.83/1538.24	c 1537s |      15 |  3068823 |   111532 |    21082     10 |        1 |        1
1540.53/1540.97	c 1540s |      15 |  3073193 |   111632 |    21082     11 |        1 |        1
1542.94/1543.35	c 1543s |      15 |  3080791 |   111832 |    21082     11 |        1 |        1
1546.13/1546.53	c 1546s |      15 |  3089002 |   112132 |    21082     11 |        1 |        1
1549.23/1549.63	c 1549s |      15 |  3096675 |   112432 |    21082     11 |        1 |        1
1551.63/1552.05	c 1551s |      15 |  3104089 |   112632 |    21082     11 |        1 |        1
1554.03/1554.49	c 1554s |      15 |  3111581 |   112832 |    21082     11 |        1 |        1
1556.43/1556.84	c 1556s |      15 |  3119217 |   113032 |    21082     11 |        1 |        1
1558.73/1559.14	c 1558s |      15 |  3123676 |   113232 |    21082     11 |        1 |        1
1561.53/1561.90	c 1561s |      15 |  3126919 |   113432 |    21082     11 |        1 |        1
1563.73/1564.11	c 1563s |      15 |  3133784 |   113632 |    21082     11 |        1 |        1
1565.73/1566.19	c 1565s |      15 |  3140783 |   113832 |    21082     11 |        1 |        1
1568.62/1569.08	c 1568s |      15 |  3148272 |   114032 |    21082     11 |        1 |        1
1571.32/1571.76	c 1571s |      15 |  3149039 |   114232 |    21082     11 |        1 |        1
1575.12/1575.51	c 1575s |      15 |  3149463 |   114432 |    21082     11 |        1 |        1
1578.23/1578.67	c 1578s |      15 |  3150259 |   114632 |    21082     11 |        1 |        1
1581.62/1582.05	c 1581s |      15 |  3150748 |   114832 |    21082     11 |        1 |        1
1584.32/1584.71	c 1584s |      15 |  3151333 |   115032 |    21082     11 |        1 |        1
1586.93/1587.33	c 1587s |      15 |  3151712 |   115232 |    21082     11 |        1 |        1
1589.92/1590.32	c 1589s |      15 |  3151930 |   115432 |    21082     11 |        1 |        1
1593.02/1593.45	c 1593s |      15 |  3152284 |   115632 |    21082     11 |        1 |        1
1595.22/1595.68	c 1595s |      15 |  3173543 |   115832 |    21082     11 |        1 |        1
1597.42/1597.82	c 1597s |      15 |  3174699 |   116032 |    21082     11 |        1 |        1
1600.62/1601.07	c 1600s |      15 |  3186151 |   116232 |    21082     11 |        1 |        1
1604.32/1604.72	c 1604s |      15 |  3196894 |   116532 |    21082     11 |        1 |        1
1606.41/1606.89	c 1606s |      15 |  3219183 |   116732 |    21082     11 |        1 |        1
1609.91/1610.34	c 1610s |      15 |  3220417 |   116932 |    21082     11 |        1 |        1
1613.71/1614.15	c 1613s |      15 |  3238731 |   117232 |    21082     11 |        1 |        1
1615.71/1616.17	c 1615s |      15 |  3259233 |   117432 |    21082     11 |        1 |        1
1618.21/1618.63	c 1618s |      15 |  3259965 |   117632 |    21082     11 |        1 |        1
1622.12/1622.59	c 1622s |      15 |  3260975 |   117932 |    21082     11 |        1 |        1
1625.52/1625.99	c 1625s |      15 |  3280101 |   118232 |    21082     11 |        1 |        1
1627.72/1628.13	c 1627s |      15 |  3280202 |   118332 |    21082     11 |        1 |        1
1630.92/1631.38	c 1631s |      15 |  3302140 |   118632 |    21082     11 |        1 |        1
1633.61/1634.02	c 1633s |      15 |  3319967 |   118832 |    21082     11 |        1 |        1
1636.21/1636.63	c 1636s |      15 |  3321456 |   119032 |    21082     11 |        1 |        1
1638.61/1639.03	c 1638s |      15 |  3323028 |   119132 |    21082     11 |        1 |        1
1641.61/1642.00	c 1641s |      15 |  3354663 |   119532 |    21082     11 |        1 |        1
1643.71/1644.14	c 1643s |      15 |  3356415 |   119632 |    21082     11 |        1 |        1
1646.91/1647.37	c 1647s |      15 |  3371839 |   119932 |    21082     11 |        1 |        1
1650.31/1650.77	c 1650s |      15 |  3389338 |   120232 |    21082     11 |        1 |        1
1653.31/1653.73	c 1653s |      15 |  3402970 |   120432 |    21082     11 |        1 |        1
1655.81/1656.22	c 1655s |      15 |  3406260 |   120632 |    21082     11 |        1 |        1
1658.41/1658.80	c 1658s |      15 |  3415646 |   120832 |    21082     11 |        1 |        1
1660.51/1660.97	c 1660s |      15 |  3423014 |   121032 |    21082     11 |        1 |        1
1662.91/1663.34	c 1663s |      15 |  3436840 |   121232 |    21082     11 |        1 |        1
1665.60/1666.06	c 1665s |      15 |  3437880 |   121432 |    21082     11 |        1 |        1
1667.90/1668.32	c 1667s |      15 |  3452921 |   121632 |    21082     11 |        1 |        1
1670.70/1671.16	c 1670s |      15 |  3463635 |   121832 |    21082     11 |        1 |        1
1673.00/1673.47	c 1673s |      15 |  3466242 |   122032 |    21082     11 |        1 |        1
1675.30/1675.76	c 1675s |      15 |  3482902 |   122332 |    21082     11 |        1 |        1
1677.90/1678.31	c 1677s |      15 |  3492381 |   122532 |    21082     12 |        1 |        1
1680.00/1680.40	c 1680s |      15 |  3501906 |   122732 |    21082     12 |        1 |        1
1682.10/1682.52	c 1682s |      15 |  3510293 |   122932 |    21082     12 |        1 |        1
1685.30/1685.78	c 1685s |      15 |  3520905 |   123232 |    21082     12 |        1 |        1
1688.21/1688.61	c 1688s |      15 |  3533035 |   123532 |    21082     12 |        1 |        1
1690.31/1690.79	c 1690s |      15 |  3540424 |   123732 |    21082     12 |        1 |        1
1692.80/1693.24	c 1692s |      15 |  3552379 |   124032 |    21082     12 |        1 |        1
1695.50/1695.90	c 1695s |      15 |  3564108 |   124332 |    21082     12 |        1 |        1
1698.11/1698.53	c 1698s |      15 |  3576310 |   124632 |    21082     12 |        1 |        1
1700.70/1701.13	c 1700s |      15 |  3588424 |   124932 |    21082     12 |        1 |        1
1703.40/1703.80	c 1703s |      15 |  3599475 |   125232 |    21082     12 |        1 |        1
1706.00/1706.41	c 1706s |      15 |  3611110 |   125532 |    21082     12 |        1 |        1
1708.60/1709.05	c 1708s |      15 |  3622463 |   125832 |    21082     12 |        1 |        1
1710.60/1711.08	c 1710s |      15 |  3628026 |   126032 |    21082     12 |        1 |        1
1713.20/1713.69	c 1713s |      15 |  3638726 |   126332 |    21082     12 |        1 |        1
1715.90/1716.39	c 1716s |      15 |  3649508 |   126632 |    21082     12 |        1 |        1
1718.70/1719.11	c 1718s |      15 |  3660088 |   126932 |    21082     12 |        1 |        1
1721.10/1721.56	c 1721s |      15 |  3673071 |   127232 |    21082     12 |        1 |        1
1723.50/1723.95	c 1723s |      15 |  3685593 |   127532 |    21082     12 |        1 |        1
1726.19/1726.67	c 1726s |      15 |  3695400 |   127832 |    21082     12 |        1 |        1
1728.69/1729.13	c 1728s |      15 |  3708392 |   128132 |    21082     12 |        1 |        1
1731.19/1731.62	c 1731s |      15 |  3719012 |   128432 |    21082     12 |        1 |        1
1733.69/1734.17	c 1733s |      15 |  3730842 |   128732 |    21082     12 |        1 |        1
1736.19/1736.61	c 1736s |      15 |  3741684 |   129032 |    21082     12 |        1 |        1
1738.49/1738.95	c 1738s |      15 |  3754024 |   129332 |    21082     12 |        1 |        1
1741.09/1741.52	c 1741s |      15 |  3762976 |   129632 |    21082     12 |        1 |        1
1743.49/1743.95	c 1743s |      15 |  3773921 |   129932 |    21082     12 |        1 |        1
1746.19/1746.60	c 1746s |      15 |  3781896 |   130232 |    21082     12 |        1 |        1
1748.49/1748.90	c 1748s |      15 |  3792396 |   130532 |    21082     12 |        1 |        1
1750.69/1751.20	c 1750s |      15 |  3802189 |   130832 |    23191     12 |        1 |        1
1752.89/1753.30	c 1752s |      15 |  3812820 |   131132 |    23191     12 |        1 |        1
1755.09/1755.59	c 1755s |      15 |  3821693 |   131432 |    23191     12 |        1 |        1
1755.99/1756.45	c 1756s |      16 |  3825913 |   131552 |    23191     12 |        1 |        1
1759.99/1760.48	c 1760s |      16 |  3831096 |   131752 |    23191     12 |        1 |        1
1763.69/1764.11	c 1763s |      16 |  3841184 |   132052 |    23191     12 |        1 |        1
1765.79/1766.21	c 1765s |      16 |  3841323 |   132152 |    23191     12 |        1 |        1
1767.79/1768.29	c 1767s |      16 |  3841916 |   132352 |    23191     12 |        1 |        1
1770.29/1770.72	c 1770s |      16 |  3853581 |   132552 |    23191     12 |        1 |        1
1774.09/1774.53	c 1774s |      16 |  3857622 |   132852 |    23191     12 |        1 |        1
1776.59/1777.02	c 1776s |      16 |  3866448 |   133052 |    23191     12 |        1 |        1
1778.79/1779.25	c 1778s |      16 |  3876646 |   133352 |    23191     12 |        1 |        1
1781.89/1782.34	c 1782s |      16 |  3884545 |   133552 |    23191     12 |        1 |        1
1784.79/1785.20	c 1784s |      16 |  3889151 |   133752 |    23191     12 |        1 |        1
1787.39/1787.86	c 1787s |      16 |  3890683 |   134052 |    23191     12 |        1 |        1
1789.89/1790.31	c 1789s |      16 |  3892645 |   134352 |    23191     12 |        1 |        1
1791.99/1792.40	c 1792s |      16 |  3898515 |   134652 |    23191     12 |        1 |        1
1794.59/1795.09	c 1794s |      16 |  3908696 |   135052 |    23191     12 |        1 |        1
1796.89/1797.34	c 1797s |      16 |  3916712 |   135352 |    23191     12 |        1 |        1
1799.99/1800.46	c 1800s |      16 |  3928044 |   135652 |    23191     13 |        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-4080104-1465261719/watcher-4080104-1465261719 -o /tmp/evaluation-result-4080104-1465261719/solver-4080104-1465261719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080104-1465261719.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.14 2.09 4/180 12152
/proc/meminfo: memFree=29619128/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 2806 0 0 0 0 0 0 0 20 0 4 0 108106441 768012288 2656 33554432000 4194304 16246674 140736771843744 140736771843168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 188271 2666 441 2943 0 185165 0
[pid=12152/tid=12153] ppid=12149 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 786886656 2726 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 791080960 2743 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=776636 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108106442 795275264 2760 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.18 2.14 2.09 4/180 12152
/proc/meminfo: memFree=29619128/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 23534 0 0 0 6 3 0 0 20 0 4 0 108106441 1249447936 23322 33554432000 4194304 16246674 140736771843744 140736771843056 13954914 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 305041 23330 839 2943 0 301935 0
[pid=12152/tid=12153] ppid=12149 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1249447936 23337 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1249447936 23343 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108106442 1249447936 23350 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200513 s]
/proc/loadavg: 2.18 2.14 2.09 4/180 12152
/proc/meminfo: memFree=29619128/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1297988 CPUtime=0.19 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 41816 0 0 0 14 5 0 0 20 0 4 0 108106441 1329139712 41604 33554432000 4194304 16246674 140736771843744 140736771842888 6165414 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 324497 41615 839 2943 0 321391 0
[pid=12152/tid=12153] ppid=12149 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1329139712 41621 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1329139712 41627 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1329139712 41634 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1297988

[startup+0.300469 s]
/proc/loadavg: 2.18 2.14 2.09 4/180 12152
/proc/meminfo: memFree=29619128/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1299012 CPUtime=0.29 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 47235 0 0 0 23 6 0 0 20 0 4 0 108106441 1330188288 47023 33554432000 4194304 16246674 140736771843744 140736771825664 5754764 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 324753 47023 907 2943 0 321647 0
[pid=12152/tid=12153] ppid=12149 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1330188288 47023 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1330188288 47023 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1330188288 47023 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1299012

[startup+0.70039 s]
/proc/loadavg: 2.18 2.14 2.09 4/180 12152
/proc/meminfo: memFree=29619128/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 97694 0 0 0 56 13 0 0 20 0 4 0 108106441 1338576896 97482 33554432000 4194304 16246674 140736771843744 140736771825664 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 326801 97497 911 2943 0 323695 0
[pid=12152/tid=12153] ppid=12149 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1338576896 97508 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1338576896 97518 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1338576896 97529 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.5004 s]
/proc/loadavg: 2.18 2.14 2.09 4/184 12156
/proc/meminfo: memFree=28827844/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 268036 0 0 0 115 34 0 0 20 0 4 0 108106441 1339625472 267824 33554432000 4194304 16246674 140736771843744 140736771825664 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 327057 267824 913 2943 0 323951 0
[pid=12152/tid=12153] ppid=12149 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1339625472 267824 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1339625472 267824 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1339625472 267824 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10036 s]
/proc/loadavg: 2.24 2.15 2.10 3/184 12156
/proc/meminfo: memFree=28546240/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 268787 0 0 0 275 34 0 0 20 0 4 0 108106441 1341722624 268575 33554432000 4194304 16246674 140736771843744 140736771825664 6845797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 327569 268575 917 2943 0 324463 0
[pid=12152/tid=12153] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30039 s]
/proc/loadavg: 2.24 2.15 2.10 3/184 12156
/proc/meminfo: memFree=28545656/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 268787 0 0 0 595 34 0 0 20 0 4 0 108106441 1341722624 268575 33554432000 4194304 16246674 140736771843744 140736771825664 6012004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 327569 268575 917 2943 0 324463 0
[pid=12152/tid=12153] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.20 2.15 2.10 3/184 12156
/proc/meminfo: memFree=28546168/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 268787 0 0 0 1235 34 0 0 20 0 4 0 108106441 1341722624 268575 33554432000 4194304 16246674 140736771843744 140736771825664 12478356 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 327569 268575 917 2943 0 324463 0
[pid=12152/tid=12153] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.17 2.14 2.09 3/184 12156
/proc/meminfo: memFree=28546416/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 268787 0 0 0 2515 34 0 0 20 0 4 0 108106441 1341722624 268575 33554432000 4194304 16246674 140736771843744 140736771825664 6020497 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 327569 268575 917 2943 0 324463 0
[pid=12152/tid=12153] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.19 2.15 2.10 3/184 12156
/proc/meminfo: memFree=28546640/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 268787 0 0 0 5074 34 0 0 20 0 4 0 108106441 1341722624 268575 33554432000 4194304 16246674 140736771843744 140736771825664 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 327569 268575 917 2943 0 324463 0
[pid=12152/tid=12153] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.27 2.17 2.10 3/185 12160
/proc/meminfo: memFree=28546088/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 268787 0 0 0 10194 34 0 0 20 0 4 0 108106441 1341722624 268575 33554432000 4194304 16246674 140736771843744 140736771825664 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 327569 268575 917 2943 0 324463 0
[pid=12152/tid=12153] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1341722624 268575 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.67 2.32 2.16 3/184 12444
/proc/meminfo: memFree=28431696/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1333828 CPUtime=1361.96 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 274899 0 0 0 136154 42 0 0 20 0 4 0 108106441 1365839872 274723 33554432000 4194304 16246674 140736771843744 140736771825664 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 333457 274723 920 2943 0 330351 0
[pid=12152/tid=12153] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.31 2.29 2.16 3/183 12445
/proc/meminfo: memFree=28428936/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1333828 CPUtime=1421.95 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 274899 0 0 0 142153 42 0 0 20 0 4 0 108106441 1365839872 274723 33554432000 4194304 16246674 140736771843744 140736771825664 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 333457 274723 920 2943 0 330351 0
[pid=12152/tid=12153] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.24 2.27 2.16 3/183 12446
/proc/meminfo: memFree=28428612/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1333828 CPUtime=1481.93 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 274899 0 0 0 148151 42 0 0 20 0 4 0 108106441 1365839872 274723 33554432000 4194304 16246674 140736771843744 140736771825664 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 333457 274723 920 2943 0 330351 0
[pid=12152/tid=12153] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1365839872 274723 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.21 2.26 2.16 3/183 12447
/proc/meminfo: memFree=28409652/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1353284 CPUtime=1541.94 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 279578 0 0 0 154150 44 0 0 20 0 4 0 108106441 1385762816 279402 33554432000 4194304 16246674 140736771843744 140736771825664 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 338321 279402 920 2943 0 335215 0
[pid=12152/tid=12153] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279402 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279402 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279402 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.14 2.23 2.15 3/183 12448
/proc/meminfo: memFree=28409916/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1353284 CPUtime=1601.92 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 279578 0 0 0 160148 44 0 0 20 0 4 0 108106441 1385762816 279402 33554432000 4194304 16246674 140736771843744 140736771825664 6012004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 338321 279402 920 2943 0 335215 0
[pid=12152/tid=12153] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279402 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279402 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279402 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1353284

[startup+1662.3 s]
/proc/loadavg: 2.15 2.21 2.15 3/183 12450
/proc/meminfo: memFree=28408956/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1353284 CPUtime=1661.91 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 279763 0 0 0 166147 44 0 0 20 0 4 0 108106441 1385762816 279587 33554432000 4194304 16246674 140736771843744 140736771825664 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 338321 279587 920 2943 0 335215 0
[pid=12152/tid=12153] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.31 2.23 2.16 3/183 12451
/proc/meminfo: memFree=28409912/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1353284 CPUtime=1721.9 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 279763 0 0 0 172146 44 0 0 20 0 4 0 108106441 1385762816 279587 33554432000 4194304 16246674 140736771843744 140736771825664 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 338321 279587 920 2943 0 335215 0
[pid=12152/tid=12153] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1353284

[startup+1782.3 s]
/proc/loadavg: 2.21 2.22 2.16 3/183 12452
/proc/meminfo: memFree=28409556/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1353284 CPUtime=1781.89 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 279763 0 0 0 178145 44 0 0 20 0 4 0 108106441 1385762816 279587 33554432000 4194304 16246674 140736771843744 140736771825664 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 338321 279587 920 2943 0 335215 0
[pid=12152/tid=12153] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.15 2.20 2.16 3/183 12452
/proc/meminfo: memFree=28409684/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1353284 CPUtime=1800.09 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 279763 0 0 0 179964 45 0 0 20 0 4 0 108106441 1385762816 279587 33554432000 4194304 16246674 140736771843744 140736771825664 12483292 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 338321 279587 920 2943 0 335215 0
[pid=12152/tid=12153] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1353284

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

[startup+1800.5 s]
/proc/loadavg: 2.15 2.20 2.16 3/183 12452
/proc/meminfo: memFree=28409684/32872528 swapFree=12208/1156848
[pid=12152] ppid=12149 vsize=1353284 CPUtime=1800.09 cores=0,2,4,6
/proc/12152/stat : 12152 (toysat) R 12149 12152 9895 0 -1 4202496 279763 0 0 0 179964 45 0 0 20 0 4 0 108106441 1385762816 279587 33554432000 4194304 16246674 140736771843744 140736771825664 12483292 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12152/statm: 338321 279587 920 2943 0 335215 0
[pid=12152/tid=12153] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12153/stat : 12153 (toysat) S 12149 12152 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161129098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12152/tid=12154] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12154/stat : 12154 (toysat) S 12149 12152 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161118608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12152/tid=12155] ppid=12149 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/12152/task/12155/stat : 12155 (toysat) S 12149 12152 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 108106442 1385762816 279587 33554432000 4194304 16246674 140736771843744 140161108135088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1353284

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.449931
maximum resident set size= 1118348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6143 second user time and 6.93895 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 03:08:39
IDJOB=4080104
IDBENCH=48247
IDSOLVER=2542
FILE ID=node114/4080104-1465261719
RUNJOBID= node114-1465241547-9911
PBS_JOBID= 19843245
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053
RANDOM SEED=681724265

node114.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.852
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.70
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.852
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.852
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.54
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.852
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:        29619044 kB
Buffers:           69572 kB
Cached:           217192 kB
SwapCached:         1720 kB
Active:          1224416 kB
Inactive:         166416 kB
Active(anon):    1105644 kB
Inactive(anon):     1200 kB
Active(file):     118772 kB
Inactive(file):   165216 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096604 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       2260508 kB
Mapped:            10484 kB
Shmem:                 0 kB
Slab:             570508 kB
SReclaimable:      14672 kB
SUnreclaim:       555836 kB
KernelStack:        1496 kB
PageTables:         8544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2405108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1148928 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= 71704 MiB
End job on node114 at 2016-06-07 03:38:39