Trace number 4117411

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.41

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
MD5SUMee482ad52a229e6d084bd579d92cf8a7
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark670
Best CPU time to get the best result obtained on this benchmark34.4468
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9324
Total number of constraints28660
Number of constraints which are clauses26659
Number of constraints which are cardinality constraints (but not clauses)237
Number of constraints which are nor clauses,nor cardinality constraints1764
Minimum length of a constraint2
Maximum length of a constraint240
Number of terms in the objective function 26
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2110
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2110
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-29T16:55:10+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-4117411-1467212110.opb"]
0.00/0.01	c use --random-gen="1249250723 1642308739 3845490056 889234740 170560831 1013058428 77161708 4167446613 1187434361 1823214123 197262032 683410720 1165900894 1120807204 3096918147 3693927597 2871322783 3451204699 4183640812 102241566 3645542933 1356481567 3236237174 2506293821 906646231 2406119811 2374889347 1808587941 1137338550 2941833352 1000855431 2291690707 2854999157 1377677376 577965787 2539961406 134944985 3312467634 1852526860 45477780 3684352263 2132178251 882567144 1042791242 983861183 3656411365 588285402 2581059867 351071423 3900430441 3664860313 2088485552 3264455598 1505744299 1208733246 3119540689 1452691101 2715850728 1738590730 920101026 714239725 4291433098 3804686591 1832077656 243166843 1579880926 904811279 1079230798 2709384930 4256641282 4231910902 3184314473 4204711637 78796312 3787137714 2127909884 832571525 877559129 2873052836 3119071139 3929227478 1007793199 749361431 916820382 1097203302 1275212420 2218849814 1139864850 2434560058 3956307070 3166277580 1267750889 555116153 2400550049 3456012639 337108835 1473337009 1549877166 2791619007 42646227 1491836997 3042585365 1736775920 1519567460 2173691650 932878557 3775939470 548499790 306146074 4268446086 1240518473 2585636663 613421866 1733616709 2274603892 2469895821 3405496954 1447791374 1490049095 4283642053 3020729042 1148111617 2331914686 1663078754 2270124627 3915381944 888143526 1160913228 1905718497 1644465772 1581961633 2380110824 1802930276 1310661144 3337015099 1556041963 2684745135 1519606355 3817240061 3825807923 1475295807 1242674087 1735525573 317449473 3075860505 389592816 3457151145 4056689754 2312808761 4240295406 781298172 2002688426 1156999895 2980250317 299344797 3054573786 1845818935 885130484 3348403522 3983968649 1624275297 1864848285 3112272043 2357272872 3705165682 4167334044 1971362921 960471093 678465154 1355202522 1813703929 1881877895 2053225431 3663992269 3509612888 4026229961 44124433 3914496188 2890778907 975869043 1115298306 3071554117 1090084855 2748089380 3817165633 4203327355 3426318913 3067145055 3878046844 3772541499 830983091 1964003263 2805617276 3445130366 910093982 2860447952 3192869101 119841705 2608966100 3078970941 1633357702 44004671 2724976631 4150352157 1472168407 1332208440 1387541075 4161583801 4202020647 2362764622 3217916880 2465461475 393910842 713195382 1762516788 1402526746 647021173 857745898 1101764875 4288378332 1316537190 4200367728 1729791917 2834551697 301388566 1351914345 1495085710 1986362730 2738451178 1424344623 3435222220 154769510 3880507186 1007333669 4027252209 1123453789 1892559687 2822380209 1794525799 2635295866 2271626306 4277011517 3123171835 2478229046 2557563206 3620018599 97766831 2115751367 730697909 3771221886 536958134 3672378146 611592898 844668706 594636370 172600923 255 362436" option to reproduce the execution
0.19/0.22	c #vars 9324
0.19/0.22	c #constraints 28660
0.59/0.64	c BCD2: Hardening is enabled.
0.59/0.64	c BCD2: BiasedSearch is enabled.
0.59/0.64	c Solving starts ...
0.59/0.64	c ============================[ Search Statistics ]============================
0.59/0.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.64	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.64	c =============================================================================
0.59/0.64	c  0.0s |       0 |        0 |        0 |    12661      0 |        0 |        0
0.69/0.72	c  0.1s |       1 |     1349 |      100 |    12661      0 |        0 |        0
0.69/0.79	c  0.2s |       2 |     3608 |      250 |    13928      0 |        0 |        0
1.09/1.12	c  0.5s |       3 |    31223 |      475 |    15321      0 |        0 |        0
1.19/1.23	c  0.6s |       4 |    33441 |      813 |    16854      0 |        0 |        0
1.49/1.50	c  0.9s |       5 |    49072 |     1320 |    18540      0 |        0 |        0
1.69/1.71	c  1.1s |       6 |    54403 |     2081 |    22434      0 |        0 |        0
1.99/2.06	c  1.4s |       7 |    64799 |     3223 |    24678      0 |        0 |        0
2.39/2.45	c  1.8s |       8 |    79671 |     4936 |    27146      0 |        0 |        0
2.89/2.94	c  2.3s |       9 |    85391 |     7506 |    29861      0 |        0 |        0
3.99/4.08	c  3.4s |       9 |   190482 |     8428 |    29861      0 |        0 |        0
3.99/4.08	c #cpu_time = 3.428s
3.99/4.08	c #wall_clock_time = 3.437s
3.99/4.08	c #decision = 190482
3.99/4.08	c #random_decision = 635
3.99/4.08	c #conflict = 8428
3.99/4.08	c #restart = 9
3.99/4.08	o 2110
3.99/4.08	c BCD2: refineUB: 2109 -> 2090
3.99/4.08	c BCD2: updating upper bound: 2110 -> 2090
3.99/4.08	c BCD2: 0 <= obj <= 2090
3.99/4.08	c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0
3.99/4.08	c BCD2: #sat=1 #unsat=1 bias=1/2
3.99/4.08	c Solving starts ...
3.99/4.08	c ============================[ Search Statistics ]============================
3.99/4.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.99/4.08	c       |         |          |          |    Limit     GC | Var      | Constra 
3.99/4.08	c =============================================================================
3.99/4.08	c  0.0s |       0 |        0 |        0 |    29861      0 |        0 |        0
4.09/4.14	c  0.1s |       1 |      261 |      100 |    29861      0 |        0 |        0
4.19/4.23	c  0.2s |       2 |      441 |      250 |    29861      0 |        0 |        0
4.29/4.33	c  0.3s |       3 |      705 |      475 |    29861      0 |        0 |        0
4.50/4.55	c  0.4s |       4 |     1072 |      813 |    29861      0 |        0 |        0
4.59/4.65	c  0.6s |       5 |     1638 |     1320 |    29861      0 |        0 |        0
4.89/4.90	c  0.8s |       6 |     2486 |     2081 |    29861      0 |        0 |        0
5.29/5.31	c  1.2s |       7 |     3767 |     3223 |    32848      0 |        0 |        0
5.89/5.90	c  1.8s |       8 |     5646 |     4936 |    32848      0 |        0 |        0
6.89/6.97	c  2.9s |       9 |     8427 |     7506 |    32848      0 |        0 |        0
7.09/7.12	c  3.0s |       9 |     8676 |     7716 |    32848      0 |        0 |        0
7.09/7.12	c #cpu_time = 3.029s
7.09/7.12	c #wall_clock_time = 3.037s
7.09/7.12	c #decision = 8676
7.09/7.12	c #random_decision = 31
7.09/7.12	c #conflict = 7716
7.09/7.12	c #restart = 9
7.09/7.12	c BCD2: found a new core of size 13: cost of the new core is >=20
7.09/7.12	c lower bound updated to 20
7.09/7.12	c BCD2: refineUB: 2109 -> 2090
7.09/7.12	c BCD2: 20 <= obj <= 2090
7.09/7.12	c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0
7.09/7.12	c BCD2: #sat=1 #unsat=2 bias=2/3
7.09/7.12	c Solving starts ...
7.09/7.12	c ============================[ Search Statistics ]============================
7.09/7.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.09/7.12	c       |         |          |          |    Limit     GC | Var      | Constra 
7.09/7.12	c =============================================================================
7.09/7.12	c  0.0s |       0 |        0 |        0 |    32848      0 |        0 |        0
7.09/7.19	c  0.1s |       0 |       13 |        0 |    32848      0 |        0 |        0
7.09/7.19	c #cpu_time = 0.071s
7.09/7.19	c #wall_clock_time = 0.071s
7.09/7.19	c #decision = 13
7.09/7.19	c #random_decision = 0
7.09/7.19	c #conflict = 0
7.09/7.19	c #restart = 0
7.09/7.19	c BCD2: found a new core of size 13: cost of the new core is >=50
7.09/7.19	c lower bound updated to 70
7.09/7.19	c BCD2: refineUB: 2109 -> 2090
7.09/7.19	c BCD2: 70 <= obj <= 2090
7.09/7.19	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
7.09/7.19	c BCD2: #sat=1 #unsat=3 bias=3/4
7.09/7.19	c Solving starts ...
7.09/7.19	c ============================[ Search Statistics ]============================
7.09/7.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.09/7.19	c       |         |          |          |    Limit     GC | Var      | Constra 
7.09/7.19	c =============================================================================
7.09/7.19	c  0.0s |       0 |        0 |        0 |    32848      0 |        0 |        0
7.29/7.30	c  0.1s |       1 |      181 |      100 |    32848      0 |        0 |        0
7.39/7.49	c  0.3s |       2 |     8877 |      250 |    32848      0 |        0 |        0
7.80/7.87	c  0.7s |       2 |    42436 |      307 |    32848      0 |        0 |        0
7.80/7.87	c #cpu_time = 0.669s
7.80/7.87	c #wall_clock_time = 0.671s
7.80/7.87	c #decision = 42436
7.80/7.87	c #random_decision = 128
7.80/7.87	c #conflict = 307
7.80/7.87	c #restart = 2
7.80/7.87	o 1550
7.80/7.87	c BCD2: refineUB: 1549 -> 1540
7.80/7.87	c BCD2: updating upper bound: 2090 -> 1540
7.80/7.87	c BCD2: 70 <= obj <= 1540
7.80/7.87	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
7.80/7.87	c BCD2: #sat=2 #unsat=3 bias=3/5
7.80/7.87	c Solving starts ...
7.80/7.87	c ============================[ Search Statistics ]============================
7.80/7.87	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.80/7.87	c       |         |          |          |    Limit     GC | Var      | Constra 
7.80/7.87	c =============================================================================
7.80/7.87	c  0.0s |       0 |        0 |        0 |    32848      0 |        0 |        0
7.99/8.00	c  0.1s |       1 |      402 |      100 |    32848      0 |        0 |        0
8.39/8.44	c  0.6s |       2 |    32385 |      250 |    32848      0 |        0 |        0
8.90/8.91	c  1.0s |       2 |    63574 |      320 |    32848      0 |        0 |        0
8.90/8.91	c #cpu_time = 1.024s
8.90/8.91	c #wall_clock_time = 1.027s
8.90/8.91	c #decision = 63574
8.90/8.91	c #random_decision = 176
8.90/8.91	c #conflict = 320
8.90/8.91	c #restart = 2
8.90/8.91	o 870
8.90/8.91	c BCD2: refineUB: 869 -> 860
8.90/8.91	c BCD2: updating upper bound: 1540 -> 860
8.90/8.91	c BCD2: 70 <= obj <= 860
8.90/8.91	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
8.90/8.91	c BCD2: #sat=3 #unsat=3 bias=3/6
8.90/8.91	c Solving starts ...
8.90/8.91	c ============================[ Search Statistics ]============================
8.90/8.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.90/8.91	c       |         |          |          |    Limit     GC | Var      | Constra 
8.90/8.91	c =============================================================================
8.90/8.91	c  0.0s |       0 |        0 |        0 |    32848      0 |        0 |        1
8.99/9.00	c  0.1s |       1 |      556 |      100 |    32848      0 |        0 |        1
9.09/9.15	c  0.2s |       2 |     2879 |      250 |    32848      0 |        0 |        1
9.19/9.27	c  0.4s |       3 |     3619 |      475 |    36133      0 |        0 |        1
9.39/9.46	c  0.5s |       4 |     6559 |      813 |    36133      0 |        0 |        1
10.00/10.06	c  1.1s |       5 |     7223 |     1320 |    36133      0 |        0 |        1
10.89/11.00	c  2.1s |       6 |     8186 |     2081 |    36133      0 |        0 |        1
12.79/12.87	c  4.0s |       7 |     9419 |     3223 |    36133      0 |        0 |        1
14.89/14.93	c  6.0s |       7 |    10652 |     4323 |    36133      0 |        0 |        1
15.69/15.74	c  6.8s |       8 |    11529 |     4936 |    36133      0 |        0 |        1
17.89/17.92	c  9.0s |       8 |    13243 |     6236 |    36133      0 |        0 |        1
19.99/20.09	c 11.2s |       8 |    14287 |     7236 |    36133      0 |        0 |        1
20.59/20.68	c 11.8s |       9 |    14564 |     7506 |    36133      0 |        0 |        1
22.69/22.70	c 13.8s |       9 |    15893 |     8706 |    36133      0 |        0 |        1
24.69/24.71	c 15.8s |       9 |    17213 |     9906 |    39747      0 |        0 |        1
26.49/26.56	c 17.7s |      10 |    18856 |    11361 |    39747      0 |        0 |        1
28.69/28.74	c 19.8s |      10 |    20633 |    12361 |    39747      0 |        0 |        1
30.79/30.80	c 21.9s |      10 |    21449 |    13161 |    39747      0 |        0 |        1
32.99/33.04	c 24.1s |      10 |    22484 |    14161 |    39747      0 |        0 |        1
35.29/35.40	c 26.5s |      10 |    23584 |    15261 |    39747      0 |        0 |        1
37.49/37.56	c 28.6s |      10 |    24741 |    16361 |    39747      0 |        0 |        1
38.68/38.70	c 29.8s |      11 |    25547 |    17144 |    39747      0 |        0 |        1
40.79/40.89	c 32.0s |      11 |    26211 |    17744 |    39747      0 |        0 |        1
42.99/43.07	c 34.2s |      11 |    27130 |    18644 |    39747      0 |        0 |        1
44.98/45.09	c 36.2s |      11 |    28071 |    19544 |    39747      0 |        0 |        1
47.18/47.23	c 38.3s |      11 |    29216 |    20644 |    39747      0 |        0 |        1
49.28/49.35	c 40.4s |      11 |    30263 |    21644 |    39747      0 |        0 |        1
51.38/51.43	c 42.5s |      11 |    31518 |    22844 |    43722      0 |        0 |        1
53.58/53.60	c 44.7s |      11 |    32776 |    24044 |    43722      0 |        0 |        1
55.68/55.76	c 46.8s |      11 |    33918 |    25144 |    43722      0 |        0 |        1
57.19/57.24	c 48.3s |      12 |    34626 |    25819 |    43722      0 |        0 |        1
59.18/59.26	c 50.4s |      12 |    35066 |    26219 |    43722      0 |        0 |        1
61.48/61.51	c 52.6s |      12 |    35684 |    26819 |    43722      0 |        0 |        1
63.58/63.68	c 54.8s |      12 |    36313 |    27419 |    43722      1 |        0 |        1
65.68/65.74	c 56.8s |      12 |    37010 |    28119 |    43722      1 |        0 |        1
67.78/67.87	c 59.0s |      12 |    37832 |    28919 |    43722      1 |        0 |        1
69.98/70.00	c 61.1s |      12 |    38757 |    29819 |    43722      1 |        0 |        1
71.98/72.03	c 63.1s |      12 |    39684 |    30719 |    43722      1 |        0 |        1
74.08/74.14	c 65.2s |      12 |    40419 |    31419 |    43722      1 |        0 |        1
76.08/76.17	c 67.3s |      12 |    41229 |    32219 |    43722      1 |        0 |        1
78.08/78.19	c 69.3s |      12 |    42020 |    33019 |    43722      1 |        0 |        1
80.28/80.36	c 71.5s |      12 |    42856 |    33819 |    43722      1 |        0 |        1
82.37/82.42	c 73.5s |      12 |    43980 |    34919 |    43722      1 |        0 |        1
84.47/84.56	c 75.7s |      12 |    45043 |    35919 |    43722      1 |        0 |        1
86.56/86.63	c 77.7s |      12 |    46087 |    36919 |    43722      1 |        0 |        1
88.66/88.75	c 79.8s |      12 |    46961 |    37719 |    43722      1 |        0 |        1
90.76/90.88	c 82.0s |      12 |    47844 |    38519 |    43722      1 |        0 |        1
91.66/91.75	c 82.8s |      13 |    48161 |    38832 |    43722      1 |        0 |        1
93.86/93.90	c 85.0s |      13 |    48831 |    39432 |    43722      1 |        0 |        1
95.96/96.02	c 87.1s |      13 |    49677 |    40232 |    43722      1 |        0 |        1
98.16/98.20	c 89.3s |      13 |    50305 |    40832 |    43722      1 |        0 |        1
100.26/100.35	c 91.4s |      13 |    51234 |    41732 |    48095      1 |        0 |        1
102.37/102.46	c 93.5s |      13 |    52085 |    42532 |    48095      1 |        0 |        1
104.47/104.56	c 95.7s |      13 |    52931 |    43332 |    48095      1 |        0 |        1
106.46/106.59	c 97.7s |      13 |    53682 |    44032 |    48095      1 |        0 |        1
108.56/108.61	c 99.7s |      13 |    54385 |    44732 |    48095      1 |        0 |        1
110.76/110.81	c  101s |      13 |    55221 |    45532 |    48095      1 |        0 |        1
112.96/113.07	c  104s |      13 |    56067 |    46332 |    48095      1 |        0 |        1
115.06/115.10	c  106s |      13 |    56984 |    47232 |    48095      1 |        0 |        1
117.15/117.28	c  108s |      13 |    57864 |    48032 |    48095      1 |        0 |        1
119.45/119.50	c  110s |      13 |    58864 |    48932 |    48095      1 |        0 |        1
121.65/121.76	c  112s |      13 |    59759 |    49732 |    48095      1 |        0 |        1
123.76/123.84	c  114s |      13 |    60679 |    50632 |    48095      1 |        0 |        1
125.96/126.09	c  117s |      13 |    61481 |    51432 |    48095      1 |        0 |        1
128.16/128.24	c  119s |      13 |    62093 |    52032 |    48095      1 |        0 |        1
130.26/130.37	c  121s |      13 |    62807 |    52732 |    48095      1 |        0 |        1
132.66/132.74	c  123s |      13 |    63757 |    53632 |    48095      2 |        0 |        1
135.36/135.49	c  126s |      13 |    64068 |    53932 |    48095      2 |        0 |        1
140.15/140.21	c  131s |      13 |    64170 |    54032 |    48095      2 |        0 |        1
142.15/142.23	c  133s |      13 |    64675 |    54532 |    48095      2 |        0 |        1
144.16/144.29	c  135s |      13 |    65407 |    55232 |    48095      2 |        0 |        1
146.26/146.40	c  137s |      13 |    66864 |    56632 |    48095      2 |        0 |        1
148.35/148.42	c  139s |      13 |    68321 |    58032 |    48095      2 |        0 |        1
148.75/148.87	c  139s |      14 |    68644 |    58352 |    48095      2 |        0 |        1
153.85/153.94	c  145s |      14 |    69318 |    58952 |    48095      2 |        0 |        1
155.95/156.06	c  147s |      14 |    70351 |    59952 |    48095      2 |        0 |        1
158.05/158.15	c  149s |      14 |    71208 |    60752 |    48095      2 |        0 |        1
160.24/160.33	c  151s |      14 |    72019 |    61552 |    48095      2 |        0 |        1
162.34/162.41	c  153s |      14 |    72953 |    62452 |    48095      2 |        0 |        1
164.34/164.48	c  155s |      14 |    73902 |    63352 |    48095      2 |        0 |        1
166.44/166.56	c  157s |      14 |    74839 |    64252 |    48095      2 |        0 |        1
168.54/168.64	c  159s |      14 |    75694 |    65052 |    48095      2 |        0 |        1
170.64/170.75	c  161s |      14 |    76779 |    66052 |    48095      2 |        0 |        1
172.84/172.99	c  164s |      14 |    77777 |    66952 |    48095      2 |        0 |        1
174.85/174.99	c  166s |      14 |    78585 |    67752 |    48095      2 |        0 |        1
176.94/177.04	c  168s |      14 |    79512 |    68652 |    48095      2 |        0 |        1
178.94/179.04	c  170s |      14 |    80569 |    69652 |    48095      2 |        0 |        1
181.04/181.17	c  172s |      14 |    81520 |    70552 |    52905      2 |        0 |        1
183.14/183.26	c  174s |      14 |    82502 |    71452 |    52905      2 |        0 |        1
185.54/185.60	c  176s |      14 |    83599 |    72452 |    52905      2 |        0 |        1
187.84/187.90	c  178s |      14 |    84531 |    73352 |    52905      2 |        0 |        1
189.84/189.93	c  181s |      14 |    85351 |    74152 |    52905      2 |        0 |        1
191.94/192.02	c  183s |      14 |    86369 |    75052 |    52905      2 |        0 |        1
194.04/194.11	c  185s |      14 |    87437 |    76052 |    52905      2 |        0 |        1
196.34/196.40	c  187s |      14 |    88360 |    76952 |    52905      2 |        0 |        1
198.33/198.43	c  189s |      14 |    89211 |    77752 |    52905      2 |        0 |        1
200.43/200.57	c  191s |      14 |    90059 |    78552 |    52905      2 |        0 |        1
202.63/202.71	c  193s |      14 |    91003 |    79452 |    52905      2 |        0 |        1
204.73/204.83	c  195s |      14 |    91773 |    80152 |    52905      2 |        0 |        1
206.84/206.97	c  198s |      14 |    92501 |    80852 |    52905      2 |        0 |        1
209.04/209.10	c  200s |      14 |    93393 |    81652 |    52905      2 |        0 |        1
211.03/211.13	c  202s |      14 |    94246 |    82452 |    52905      2 |        0 |        1
213.03/213.15	c  204s |      14 |    95348 |    83452 |    52905      2 |        0 |        1
216.64/216.74	c  207s |      14 |    95881 |    83952 |    52905      3 |        0 |        1
219.13/219.29	c  210s |      14 |    96534 |    84552 |    52905      3 |        0 |        1
232.13/232.27	c  223s |      14 |    96890 |    84852 |    52905      3 |        0 |        1
234.13/234.30	c  225s |      14 |    97718 |    85652 |    52905      3 |        0 |        1
236.33/236.46	c  227s |      14 |    98768 |    86652 |    52905      3 |        0 |        1
238.53/238.67	c  229s |      14 |    99482 |    87352 |    52905      3 |        0 |        1
239.23/239.33	c  230s |      15 |    99783 |    87632 |    52905      3 |        0 |        1
241.33/241.42	c  232s |      15 |   100997 |    88632 |    52905      3 |        0 |        1
243.33/243.43	c  234s |      15 |   101947 |    89532 |    52905      3 |        0 |        1
245.42/245.53	c  236s |      15 |   103053 |    90632 |    52905      3 |        0 |        1
247.62/247.79	c  238s |      15 |   104276 |    91732 |    52905      3 |        0 |        1
249.82/249.94	c  241s |      15 |   105783 |    93132 |    52905      3 |        0 |        1
251.93/252.03	c  243s |      15 |   107032 |    94232 |    52905      3 |        0 |        1
254.03/254.15	c  245s |      15 |   108590 |    95632 |    52905      3 |        0 |        1
256.12/256.28	c  247s |      15 |   109984 |    96932 |    52905      3 |        0 |        1
258.22/258.31	c  249s |      15 |   111182 |    98032 |    52905      3 |        0 |        1
260.52/260.62	c  251s |      15 |   112378 |    99132 |    52905      3 |        0 |        1
262.83/262.94	c  254s |      15 |   113035 |    99732 |    52905      3 |        0 |        1
264.82/264.97	c  256s |      15 |   113334 |   100032 |    52905      3 |        0 |        1
267.42/267.54	c  258s |      15 |   113732 |   100432 |    52905      3 |        0 |        1
269.43/269.58	c  260s |      15 |   114041 |   100732 |    52905      3 |        0 |        1
271.73/271.84	c  262s |      15 |   114464 |   101132 |    52905      3 |        0 |        1
273.72/273.85	c  264s |      15 |   115176 |   101832 |    52905      3 |        0 |        1
275.92/276.03	c  267s |      15 |   116151 |   102732 |    52905      3 |        0 |        1
278.02/278.16	c  269s |      15 |   116877 |   103432 |    52905      3 |        0 |        1
280.53/280.60	c  271s |      15 |   117509 |   104032 |    52905      3 |        0 |        1
282.73/282.83	c  273s |      15 |   118132 |   104632 |    52905      3 |        0 |        1
284.92/285.04	c  276s |      15 |   118729 |   105232 |    52905      3 |        0 |        1
286.92/287.08	c  278s |      15 |   119340 |   105832 |    52905      3 |        0 |        1
289.12/289.28	c  280s |      15 |   119948 |   106432 |    52905      3 |        0 |        1
291.12/291.29	c  282s |      15 |   120463 |   106932 |    52905      3 |        0 |        1
293.42/293.53	c  284s |      15 |   120961 |   107432 |    52905      3 |        0 |        1
295.82/295.93	c  287s |      15 |   121566 |   108032 |    52905      3 |        0 |        1
298.21/298.31	c  289s |      15 |   122178 |   108632 |    52905      3 |        0 |        1
300.32/300.41	c  291s |      15 |   122682 |   109132 |    52905      3 |        0 |        1
302.31/302.44	c  293s |      15 |   123197 |   109632 |    52905      3 |        0 |        1
307.02/307.14	c  298s |      15 |   123603 |   110032 |    52905      4 |        0 |        1
312.92/313.02	c  304s |      15 |   123703 |   110132 |    52905      4 |        0 |        1
315.02/315.10	c  306s |      15 |   124614 |   111032 |    52905      4 |        0 |        1
317.02/317.19	c  308s |      15 |   125532 |   111932 |    52905      4 |        0 |        1
319.12/319.24	c  310s |      15 |   126351 |   112732 |    52905      4 |        0 |        1
321.22/321.34	c  312s |      15 |   127168 |   113532 |    52905      4 |        0 |        1
323.42/323.56	c  314s |      15 |   128111 |   114432 |    58196      4 |        0 |        1
325.62/325.70	c  316s |      15 |   128934 |   115232 |    58196      4 |        0 |        1
327.82/327.95	c  319s |      15 |   129845 |   116132 |    58196      4 |        0 |        1
330.02/330.12	c  321s |      15 |   130567 |   116832 |    58196      4 |        0 |        1
332.22/332.39	c  323s |      15 |   131593 |   117832 |    58196      4 |        0 |        1
334.32/334.43	c  325s |      15 |   132206 |   118432 |    58196      4 |        0 |        1
336.71/336.87	c  327s |      15 |   133039 |   119232 |    58196      4 |        0 |        1
338.91/339.09	c  330s |      15 |   133763 |   119932 |    58196      4 |        0 |        1
341.31/341.42	c  332s |      15 |   134590 |   120732 |    58196      4 |        0 |        1
343.51/343.64	c  334s |      15 |   135306 |   121432 |    58196      4 |        0 |        1
345.51/345.69	c  336s |      15 |   135923 |   122032 |    58196      4 |        0 |        1
347.61/347.79	c  338s |      15 |   136533 |   122632 |    58196      4 |        0 |        1
349.91/350.02	c  341s |      15 |   137251 |   123332 |    58196      4 |        0 |        1
352.21/352.32	c  343s |      15 |   137969 |   124032 |    58196      4 |        0 |        1
354.21/354.38	c  345s |      15 |   138591 |   124632 |    58196      4 |        0 |        1
356.50/356.64	c  347s |      15 |   139307 |   125332 |    58196      4 |        0 |        1
445.39/445.57	c  436s |      15 |   139740 |   125732 |    58196      4 |        0 |        1
447.69/447.88	c  438s |      15 |   140143 |   126132 |    58196      4 |        0 |        1
449.79/449.93	c  441s |      15 |   140783 |   126732 |    58196      4 |        0 |        1
451.78/451.98	c  443s |      15 |   141533 |   127432 |    58196      4 |        0 |        1
453.88/454.07	c  445s |      15 |   142368 |   128232 |    58196      4 |        0 |        1
456.28/456.44	c  447s |      15 |   143109 |   128932 |    58196      4 |        0 |        1
458.59/458.75	c  449s |      15 |   143850 |   129632 |    58196      4 |        0 |        1
460.68/460.88	c  451s |      15 |   144355 |   130132 |    58196      4 |        0 |        1
462.88/463.09	c  454s |      15 |   144880 |   130632 |    58196      4 |        0 |        1
465.08/465.25	c  456s |      15 |   145518 |   131232 |    58196      4 |        0 |        1
466.08/466.20	c  457s |      16 |   145832 |   131552 |    58196      4 |        0 |        1
468.38/468.55	c  459s |      16 |   146379 |   132052 |    58196      4 |        0 |        1
470.48/470.67	c  461s |      16 |   147027 |   132652 |    58196      4 |        0 |        1
472.68/472.88	c  463s |      16 |   147802 |   133352 |    58196      4 |        0 |        1
474.98/475.12	c  466s |      16 |   148316 |   133852 |    58196      4 |        0 |        1
477.07/477.29	c  468s |      16 |   148968 |   134452 |    58196      4 |        0 |        1
479.37/479.57	c  470s |      16 |   149538 |   134952 |    58196      4 |        0 |        1
481.47/481.60	c  472s |      16 |   150177 |   135552 |    58196      4 |        0 |        1
483.67/483.85	c  474s |      16 |   150866 |   136152 |    58196      4 |        0 |        1
485.97/486.15	c  477s |      16 |   151598 |   136652 |    58196      4 |        0 |        1
488.17/488.31	c  479s |      16 |   152198 |   137052 |    58196      4 |        0 |        1
490.37/490.55	c  481s |      16 |   152731 |   137452 |    58196      4 |        0 |        1
492.77/492.95	c  484s |      16 |   153678 |   137952 |    58196      4 |        0 |        1
495.47/495.61	c  486s |      16 |   154177 |   138452 |    58196      4 |        0 |        1
497.66/497.88	c  488s |      16 |   154570 |   138852 |    58196      4 |        0 |        1
499.76/499.95	c  491s |      16 |   155075 |   139252 |    58196      4 |        0 |        1
501.76/501.97	c  493s |      16 |   155396 |   139552 |    58196      4 |        0 |        1
503.96/504.18	c  495s |      16 |   156099 |   140152 |    58196      4 |        0 |        1
506.56/506.70	c  497s |      16 |   156706 |   140652 |    58196      4 |        0 |        1
508.56/508.75	c  499s |      16 |   157135 |   141052 |    58196      4 |        0 |        1
512.57/512.73	c  503s |      16 |   157786 |   141652 |    58196      5 |        0 |        1
515.86/516.08	c  507s |      16 |   157956 |   141752 |    58196      5 |        0 |        1
518.66/518.84	c  509s |      16 |   158163 |   141852 |    58196      5 |        0 |        1
520.75/520.94	c  512s |      16 |   159487 |   142652 |    58196      5 |        0 |        1
549.96/550.19	c  541s |      16 |   159798 |   142852 |    58196      5 |        0 |        1
552.16/552.32	c  543s |      16 |   161415 |   143952 |    58196      5 |        0 |        1
554.36/554.50	c  545s |      16 |   163119 |   144752 |    58196      5 |        0 |        1
556.46/556.68	c  547s |      16 |   164597 |   145552 |    58196      5 |        0 |        1
558.65/558.82	c  549s |      16 |   165352 |   146052 |    58196      5 |        0 |        1
560.95/561.16	c  552s |      16 |   166183 |   146552 |    58196      5 |        0 |        1
563.15/563.35	c  554s |      16 |   167352 |   147052 |    58196      5 |        0 |        1
565.54/565.78	c  556s |      16 |   167768 |   147452 |    58196      5 |        0 |        1
567.74/567.92	c  559s |      16 |   168264 |   147952 |    58196      5 |        0 |        1
569.84/570.00	c  561s |      16 |   168915 |   148552 |    58196      5 |        0 |        1
572.24/572.44	c  563s |      16 |   169470 |   149052 |    58196      5 |        0 |        1
574.24/574.45	c  565s |      16 |   170090 |   149652 |    58196      5 |        0 |        1
576.25/576.47	c  567s |      16 |   171211 |   150452 |    58196      5 |        0 |        1
578.34/578.50	c  569s |      16 |   172882 |   151452 |    58196      5 |        0 |        1
586.53/586.75	c  577s |      16 |   174536 |   152352 |    58196      5 |        0 |        1
588.63/588.82	c  579s |      16 |   176252 |   153452 |    58196      5 |        0 |        1
591.03/591.21	c  582s |      16 |   177008 |   154052 |    58196      5 |        0 |        1
593.13/593.38	c  584s |      16 |   177664 |   154552 |    58196      5 |        0 |        1
595.23/595.45	c  586s |      16 |   178835 |   155152 |    58196      5 |        0 |        1
597.32/597.51	c  588s |      16 |   180359 |   155852 |    58196      5 |        0 |        1
599.62/599.80	c  590s |      16 |   181938 |   156552 |    58196      5 |        0 |        1
601.72/601.99	c  593s |      16 |   183470 |   157252 |    58196      5 |        0 |        1
604.02/604.22	c  595s |      16 |   184834 |   157952 |    58196      5 |        0 |        1
606.12/606.34	c  597s |      16 |   185971 |   158552 |    58196      5 |        0 |        1
608.42/608.60	c  599s |      16 |   187255 |   159252 |    58196      5 |        0 |        1
610.43/610.70	c  601s |      16 |   188675 |   159852 |    58196      5 |        0 |        1
612.63/612.82	c  603s |      16 |   189599 |   160352 |    58196      5 |        0 |        1
615.02/615.29	c  606s |      16 |   190130 |   160852 |    58196      5 |        0 |        1
617.42/617.60	c  608s |      16 |   190531 |   161252 |    58196      5 |        0 |        1
619.42/619.67	c  610s |      16 |   190961 |   161652 |    58196      5 |        0 |        1
621.92/622.14	c  613s |      16 |   192562 |   162952 |    58196      5 |        0 |        1
624.22/624.42	c  615s |      16 |   193859 |   163552 |    58196      5 |        0 |        1
626.32/626.59	c  617s |      16 |   195168 |   164152 |    58196      5 |        0 |        1
628.51/628.75	c  619s |      16 |   196700 |   165152 |    58196      5 |        0 |        1
630.61/630.87	c  621s |      16 |   197970 |   166352 |    58196      5 |        0 |        1
632.81/633.03	c  624s |      16 |   199075 |   167352 |    58196      5 |        0 |        1
634.81/635.05	c  626s |      16 |   200091 |   168152 |    58196      5 |        0 |        1
636.91/637.16	c  628s |      16 |   200974 |   168952 |    58196      5 |        0 |        1
638.92/639.17	c  630s |      16 |   201748 |   169552 |    58196      5 |        0 |        1
640.91/641.18	c  632s |      16 |   202600 |   170352 |    58196      5 |        0 |        1
643.01/643.23	c  634s |      16 |   203449 |   171152 |    58196      5 |        0 |        1
657.72/657.91	c  648s |      16 |   203609 |   171252 |    58196      6 |        0 |        1
659.92/660.14	c  651s |      16 |   204362 |   171752 |    58196      6 |        0 |        1
662.21/662.47	c  653s |      16 |   205005 |   172252 |    58196      6 |        0 |        1
664.71/664.92	c  656s |      16 |   205867 |   172752 |    58196      6 |        0 |        1
667.30/667.50	c  658s |      16 |   206524 |   173252 |    58196      6 |        0 |        1
669.50/669.78	c  660s |      16 |   207433 |   173752 |    58196      6 |        0 |        1
671.80/672.02	c  663s |      16 |   207855 |   174152 |    58196      6 |        0 |        1
673.90/674.17	c  665s |      16 |   208426 |   174652 |    58196      6 |        0 |        1
676.20/676.45	c  667s |      16 |   209647 |   175552 |    58196      6 |        0 |        1
678.51/678.71	c  669s |      16 |   210993 |   176352 |    58196      6 |        0 |        1
680.50/680.72	c  671s |      16 |   212219 |   177152 |    58196      6 |        0 |        1
735.29/735.51	c  726s |      16 |   212912 |   177652 |    58196      6 |        0 |        1
737.39/737.66	c  728s |      16 |   213537 |   178252 |    58196      6 |        0 |        1
739.69/739.91	c  730s |      16 |   214652 |   179152 |    58196      6 |        0 |        1
741.79/742.00	c  733s |      16 |   216175 |   180352 |    64016      6 |        0 |        1
743.79/744.01	c  735s |      16 |   217852 |   181752 |    64016      6 |        0 |        1
745.79/746.08	c  737s |      16 |   219311 |   183052 |    64016      6 |        0 |        1
747.89/748.13	c  739s |      16 |   220905 |   184352 |    64016      6 |        0 |        1
749.99/750.20	c  741s |      16 |   222357 |   185552 |    64016      6 |        0 |        1
751.98/752.22	c  743s |      16 |   223668 |   186752 |    64016      6 |        0 |        1
754.08/754.34	c  745s |      16 |   224946 |   187852 |    64016      6 |        0 |        1
756.18/756.43	c  747s |      16 |   226505 |   188952 |    64016      6 |        0 |        1
758.68/758.93	c  750s |      16 |   227503 |   189552 |    64016      6 |        0 |        1
760.99/761.28	c  752s |      16 |   228166 |   189852 |    64016      6 |        0 |        1
763.38/763.62	c  754s |      16 |   228776 |   190252 |    64016      6 |        0 |        1
765.98/766.25	c  757s |      16 |   229322 |   190652 |    64016      6 |        0 |        1
767.98/768.27	c  759s |      16 |   229687 |   190952 |    64016      6 |        0 |        1
770.38/770.60	c  761s |      16 |   230137 |   191352 |    64016      6 |        0 |        1
772.48/772.75	c  763s |      16 |   230825 |   191852 |    64016      6 |        0 |        1
774.88/775.13	c  766s |      16 |   231856 |   192752 |    64016      6 |        0 |        1
777.08/777.30	c  768s |      16 |   233416 |   193452 |    64016      6 |        0 |        1
779.08/779.36	c  770s |      16 |   234792 |   194252 |    64016      6 |        0 |        1
781.18/781.42	c  772s |      16 |   236487 |   195352 |    64016      6 |        0 |        1
784.38/784.63	c  775s |      16 |   237615 |   195952 |    64016      6 |        0 |        1
786.48/786.77	c  777s |      16 |   238089 |   196252 |    64016      6 |        0 |        1
788.49/788.78	c  779s |      16 |   238418 |   196552 |    64016      6 |        0 |        1
790.88/791.15	c  782s |      16 |   238848 |   196952 |    64016      6 |        0 |        1
793.48/793.77	c  784s |      16 |   239249 |   197352 |    64016      6 |        0 |        1
794.09/794.35	c  785s |      17 |   239331 |   197432 |    64016      6 |        0 |        1
796.29/796.58	c  787s |      17 |   240338 |   198332 |    64016      6 |        0 |        1
798.38/798.69	c  789s |      17 |   241043 |   199032 |    64016      6 |        0 |        1
800.48/800.76	c  791s |      17 |   241971 |   199932 |    64016      6 |        0 |        1
802.88/803.13	c  794s |      17 |   242821 |   200732 |    64016      6 |        0 |        1
805.18/805.48	c  796s |      17 |   243481 |   201332 |    64016      6 |        0 |        1
807.28/807.56	c  798s |      17 |   244207 |   202032 |    64016      6 |        0 |        1
809.38/809.68	c  800s |      17 |   245262 |   203032 |    64016      6 |        0 |        1
811.58/811.84	c  802s |      17 |   246419 |   204132 |    64016      6 |        0 |        1
813.58/813.85	c  804s |      17 |   247141 |   204832 |    64016      6 |        0 |        1
815.78/816.05	c  807s |      17 |   247951 |   205632 |    64016      6 |        0 |        1
818.07/818.36	c  809s |      17 |   248902 |   206532 |    64016      6 |        0 |        1
820.38/820.66	c  811s |      17 |   249730 |   207332 |    64016      6 |        0 |        1
823.69/824.00	c  815s |      17 |   250153 |   207732 |    64016      7 |        0 |        1
825.89/826.16	c  817s |      17 |   251609 |   209132 |    64016      7 |        0 |        1
827.88/828.17	c  819s |      17 |   252634 |   210132 |    64016      7 |        0 |        1
829.98/830.20	c  821s |      17 |   253994 |   211432 |    64016      7 |        0 |        1
832.67/832.97	c  824s |      17 |   255257 |   212632 |    64016      7 |        0 |        1
834.87/835.13	c  826s |      17 |   256405 |   213732 |    64016      7 |        0 |        1
836.88/837.17	c  828s |      17 |   257557 |   214832 |    64016      7 |        0 |        1
896.46/896.70	c  887s |      17 |   258411 |   215632 |    64016      7 |        0 |        1
898.47/898.79	c  889s |      17 |   259576 |   216732 |    64016      7 |        0 |        1
900.86/901.10	c  892s |      17 |   260134 |   217232 |    64016      7 |        0 |        1
903.06/903.37	c  894s |      17 |   260764 |   217832 |    64016      7 |        0 |        1
905.26/905.59	c  896s |      17 |   261589 |   218632 |    64016      7 |        0 |        1
907.56/907.83	c  898s |      17 |   262461 |   219432 |    64016      7 |        0 |        1
909.86/910.10	c  901s |      17 |   263298 |   220232 |    64016      7 |        0 |        1
911.96/912.21	c  903s |      17 |   264029 |   220932 |    64016      7 |        0 |        1
913.97/914.28	c  905s |      17 |   264903 |   221732 |    64016      7 |        0 |        1
916.07/916.33	c  907s |      17 |   265650 |   222432 |    64016      7 |        0 |        1
918.27/918.57	c  909s |      17 |   266537 |   223232 |    64016      7 |        0 |        1
920.36/920.66	c  911s |      17 |   267774 |   224432 |    64016      7 |        0 |        1
922.46/922.75	c  913s |      17 |   268838 |   225432 |    64016      7 |        0 |        1
924.56/924.85	c  915s |      17 |   269903 |   226432 |    64016      7 |        0 |        1
926.76/927.02	c  918s |      17 |   270851 |   227332 |    64016      7 |        0 |        1
928.76/929.06	c  920s |      17 |   271671 |   228132 |    64016      7 |        0 |        1
930.76/931.09	c  922s |      17 |   272908 |   229332 |    64016      7 |        0 |        1
933.06/933.35	c  924s |      17 |   273765 |   230132 |    64016      7 |        0 |        1
935.46/935.75	c  926s |      17 |   274093 |   230432 |    64016      7 |        0 |        1
937.46/937.79	c  928s |      17 |   274305 |   230632 |    64016      7 |        0 |        1
939.56/939.89	c  930s |      17 |   274521 |   230832 |    64016      7 |        0 |        1
941.85/942.13	c  933s |      17 |   275039 |   231332 |    64016      7 |        0 |        1
943.85/944.14	c  935s |      17 |   275341 |   231632 |    64016      7 |        0 |        1
946.15/946.41	c  937s |      17 |   276045 |   232332 |    64016      7 |        0 |        1
948.35/948.67	c  939s |      17 |   276859 |   233132 |    64016      7 |        0 |        1
950.55/950.83	c  941s |      17 |   277476 |   233732 |    64016      7 |        0 |        1
953.05/953.36	c  944s |      17 |   277993 |   234232 |    64016      7 |        0 |        1
955.15/955.48	c  946s |      17 |   278421 |   234632 |    64016      7 |        0 |        1
957.25/957.53	c  948s |      17 |   279027 |   235232 |    64016      7 |        0 |        1
959.65/959.90	c  950s |      17 |   279853 |   236032 |    64016      7 |        0 |        1
961.85/962.16	c  953s |      17 |   280693 |   236832 |    64016      7 |        0 |        1
964.46/964.78	c  955s |      17 |   281193 |   237332 |    64016      7 |        0 |        1
966.45/966.79	c  957s |      17 |   281909 |   238032 |    64016      7 |        0 |        1
968.65/968.97	c  960s |      17 |   282534 |   238632 |    64016      7 |        0 |        1
980.95/981.29	c  972s |      17 |   283041 |   239132 |    64016      8 |        0 |        1
983.16/983.44	c  974s |      17 |   283804 |   239832 |    64016      8 |        0 |        1
985.15/985.45	c  976s |      17 |   284837 |   240832 |    64016      8 |        0 |        1
1046.34/1046.60	c 1037s |      17 |   286007 |   241932 |    64016      8 |        0 |        1
1048.54/1048.82	c 1039s |      17 |   286434 |   242332 |    64016      8 |        0 |        1
1050.64/1050.90	c 1041s |      17 |   287069 |   242932 |    64016      8 |        0 |        1
1052.74/1053.02	c 1044s |      17 |   287804 |   243632 |    64016      8 |        0 |        1
1054.94/1055.24	c 1046s |      17 |   288398 |   244132 |    64016      8 |        0 |        1
1057.04/1057.33	c 1048s |      17 |   289013 |   244732 |    64016      8 |        0 |        1
1059.44/1059.78	c 1050s |      17 |   289642 |   245332 |    64016      8 |        0 |        1
1061.93/1062.20	c 1053s |      17 |   290271 |   245932 |    64016      8 |        0 |        1
1064.23/1064.59	c 1055s |      17 |   290907 |   246532 |    64016      8 |        0 |        1
1066.33/1066.65	c 1057s |      17 |   291530 |   247132 |    64016      8 |        0 |        1
1068.63/1068.96	c 1060s |      17 |   292150 |   247732 |    64016      8 |        0 |        1
1071.24/1071.54	c 1062s |      17 |   292594 |   248132 |    64016      8 |        0 |        1
1073.34/1073.68	c 1064s |      17 |   293099 |   248632 |    64016      8 |        0 |        1
1075.64/1075.97	c 1067s |      17 |   293719 |   249232 |    64016      8 |        0 |        1
1077.93/1078.28	c 1069s |      17 |   294443 |   249932 |    64016      8 |        0 |        1
1080.33/1080.65	c 1071s |      17 |   295169 |   250632 |    64016      8 |        0 |        1
1082.63/1082.91	c 1073s |      17 |   295916 |   251332 |    64016      8 |        0 |        1
1085.33/1085.69	c 1076s |      17 |   296554 |   251932 |    64016      8 |        0 |        1
1087.93/1088.28	c 1079s |      17 |   296856 |   252232 |    64016      8 |        0 |        1
1090.23/1090.51	c 1081s |      17 |   297252 |   252632 |    64016      8 |        0 |        1
1092.33/1092.64	c 1083s |      17 |   297758 |   253132 |    64016      8 |        0 |        1
1094.63/1094.93	c 1086s |      17 |   298160 |   253532 |    64016      8 |        0 |        1
1096.83/1097.10	c 1088s |      17 |   298883 |   254232 |    64016      8 |        0 |        1
1098.93/1099.22	c 1090s |      17 |   299408 |   254732 |    64016      8 |        0 |        1
1101.33/1101.61	c 1092s |      17 |   299819 |   255132 |    64016      8 |        0 |        1
1103.33/1103.65	c 1094s |      17 |   300339 |   255632 |    64016      8 |        0 |        1
1105.43/1105.70	c 1096s |      17 |   301273 |   256532 |    64016      8 |        0 |        1
1107.63/1107.90	c 1098s |      17 |   302209 |   257432 |    64016      8 |        0 |        1
1109.93/1110.21	c 1101s |      17 |   303022 |   258232 |    64016      8 |        0 |        1
1112.03/1112.38	c 1103s |      17 |   304048 |   259232 |    64016      8 |        0 |        1
1114.23/1114.51	c 1105s |      17 |   304674 |   259832 |    64016      8 |        0 |        1
1116.23/1116.58	c 1107s |      17 |   305382 |   260532 |    64016      8 |        0 |        1
1118.33/1118.63	c 1109s |      17 |   306307 |   261432 |    64016      8 |        0 |        1
1120.53/1120.83	c 1111s |      17 |   306928 |   262032 |    64016      8 |        0 |        1
1122.53/1122.85	c 1113s |      17 |   307344 |   262432 |    64016      8 |        0 |        1
1124.73/1125.08	c 1116s |      17 |   308362 |   263432 |    64016      8 |        0 |        1
1127.23/1127.50	c 1118s |      17 |   309191 |   264232 |    64016      8 |        0 |        1
1129.43/1129.71	c 1120s |      17 |   309717 |   264732 |    64016      8 |        0 |        1
1131.92/1132.21	c 1123s |      17 |   310334 |   265332 |    64016      8 |        0 |        1
1134.02/1134.38	c 1125s |      17 |   310863 |   265832 |    64016      8 |        0 |        1
1136.32/1136.69	c 1127s |      17 |   311585 |   266532 |    64016      8 |        0 |        1
1138.42/1138.79	c 1129s |      17 |   312303 |   267232 |    64016      8 |        0 |        1
1140.43/1140.79	c 1131s |      17 |   312940 |   267832 |    64016      8 |        0 |        1
1142.73/1143.02	c 1134s |      17 |   313337 |   268232 |    64016      8 |        0 |        1
1144.93/1145.22	c 1136s |      17 |   313945 |   268832 |    64016      8 |        0 |        1
1147.13/1147.45	c 1138s |      17 |   314760 |   269632 |    64016      8 |        0 |        1
1149.23/1149.56	c 1140s |      17 |   315581 |   270432 |    64016      8 |        0 |        1
1152.33/1152.61	c 1143s |      17 |   316019 |   270832 |    64016      8 |        0 |        1
1154.53/1154.87	c 1145s |      17 |   316320 |   271132 |    64016      8 |        0 |        1
1178.32/1178.66	c 1169s |      17 |   316423 |   271232 |    64016      9 |        0 |        1
1180.42/1180.72	c 1171s |      17 |   316941 |   271732 |    64016      9 |        0 |        1
1182.72/1183.08	c 1174s |      17 |   317571 |   272332 |    64016      9 |        0 |        1
1185.32/1185.62	c 1176s |      17 |   318285 |   273032 |    64016      9 |        0 |        1
1187.52/1187.88	c 1178s |      17 |   319014 |   273732 |    64016      9 |        0 |        1
1189.62/1189.90	c 1180s |      17 |   319753 |   274432 |    64016      9 |        0 |        1
1191.82/1192.17	c 1183s |      17 |   320894 |   275532 |    64016      9 |        0 |        1
1194.02/1194.31	c 1185s |      17 |   321900 |   276532 |    64016      9 |        0 |        1
1196.02/1196.36	c 1187s |      17 |   322925 |   277532 |    70418      9 |        0 |        1
1198.12/1198.48	c 1189s |      17 |   323847 |   278432 |    70418      9 |        0 |        1
1200.52/1200.87	c 1191s |      17 |   324986 |   279532 |    70418      9 |        0 |        1
1202.52/1202.88	c 1193s |      17 |   325805 |   280332 |    70418      9 |        0 |        1
1204.72/1205.00	c 1196s |      17 |   326863 |   281332 |    70418      9 |        0 |        1
1206.82/1207.11	c 1198s |      17 |   327769 |   282232 |    70418      9 |        0 |        1
1208.92/1209.20	c 1200s |      17 |   328794 |   283232 |    70418      9 |        0 |        1
1211.02/1211.37	c 1202s |      17 |   329933 |   284332 |    70418      9 |        0 |        1
1213.13/1213.46	c 1204s |      17 |   330646 |   285032 |    70418      9 |        0 |        1
1215.23/1215.58	c 1206s |      17 |   331150 |   285532 |    70418      9 |        0 |        1
1217.53/1217.85	c 1208s |      17 |   332066 |   286432 |    70418      9 |        0 |        1
1219.72/1220.08	c 1211s |      17 |   332889 |   287232 |    70418      9 |        0 |        1
1222.02/1222.35	c 1213s |      17 |   333725 |   288032 |    70418      9 |        0 |        1
1234.71/1235.01	c 1226s |      17 |   334283 |   288532 |    70418      9 |        0 |        1
1237.41/1237.77	c 1228s |      17 |   334695 |   288932 |    70418      9 |        0 |        1
1239.61/1239.95	c 1231s |      17 |   335011 |   289232 |    70418      9 |        0 |        1
1241.72/1242.07	c 1233s |      17 |   335334 |   289532 |    70418      9 |        0 |        1
1244.01/1244.38	c 1235s |      17 |   335749 |   289932 |    70418      9 |        0 |        1
1246.41/1246.70	c 1237s |      17 |   336366 |   290532 |    70418      9 |        0 |        1
1248.71/1249.03	c 1240s |      17 |   336907 |   291032 |    70418      9 |        0 |        1
1251.11/1251.50	c 1242s |      17 |   337369 |   291432 |    70418      9 |        0 |        1
1253.21/1253.59	c 1244s |      17 |   337808 |   291732 |    70418      9 |        0 |        1
1255.41/1255.74	c 1246s |      17 |   338228 |   292132 |    70418      9 |        0 |        1
1257.51/1257.84	c 1248s |      17 |   338669 |   292532 |    70418      9 |        0 |        1
1259.51/1259.86	c 1250s |      17 |   339186 |   292932 |    70418      9 |        0 |        1
1261.71/1262.08	c 1253s |      17 |   339721 |   293432 |    70418      9 |        0 |        1
1263.81/1264.10	c 1255s |      17 |   340249 |   293932 |    70418      9 |        0 |        1
1266.21/1266.54	c 1257s |      17 |   340696 |   294332 |    70418      9 |        0 |        1
1268.41/1268.72	c 1259s |      17 |   341447 |   295032 |    70418      9 |        0 |        1
1270.41/1270.76	c 1261s |      17 |   342396 |   295932 |    70418      9 |        0 |        1
1272.11/1272.44	c 1263s |      18 |   342734 |   296252 |    70418      9 |        0 |        1
1274.21/1274.57	c 1265s |      18 |   343095 |   296552 |    70418      9 |        0 |        1
1276.31/1276.64	c 1267s |      18 |   344701 |   297952 |    70418      9 |        0 |        1
1278.51/1278.83	c 1269s |      18 |   345975 |   299052 |    70418      9 |        0 |        1
1280.51/1280.88	c 1271s |      18 |   346804 |   299752 |    70418      9 |        0 |        1
1282.61/1282.90	c 1273s |      18 |   347848 |   300752 |    70418      9 |        0 |        1
1284.61/1284.98	c 1276s |      18 |   348461 |   301352 |    70418      9 |        0 |        1
1286.71/1287.04	c 1278s |      18 |   349087 |   301952 |    70418      9 |        0 |        1
1288.71/1289.06	c 1280s |      18 |   350266 |   302952 |    70418      9 |        0 |        1
1290.81/1291.13	c 1282s |      18 |   351767 |   304152 |    70418      9 |        0 |        1
1292.81/1293.17	c 1284s |      18 |   353311 |   305352 |    70418      9 |        0 |        1
1294.91/1295.20	c 1286s |      18 |   354317 |   306152 |    70418      9 |        0 |        1
1296.90/1297.24	c 1288s |      18 |   355466 |   307052 |    70418      9 |        0 |        1
1299.10/1299.46	c 1290s |      18 |   356926 |   308152 |    70418      9 |        0 |        1
1301.20/1301.51	c 1292s |      18 |   358124 |   309152 |    70418      9 |        0 |        1
1303.31/1303.63	c 1294s |      18 |   359367 |   310152 |    70418      9 |        0 |        1
1305.51/1305.89	c 1296s |      18 |   360378 |   310952 |    70418      9 |        0 |        1
1310.40/1310.70	c 1301s |      18 |   361408 |   311852 |    70418     10 |        0 |        1
1313.00/1313.34	c 1304s |      18 |   362113 |   312452 |    70418     10 |        0 |        1
1322.60/1322.96	c 1314s |      18 |   362820 |   313052 |    70418     10 |        0 |        1
1332.50/1332.83	c 1323s |      18 |   363674 |   313752 |    70418     10 |        0 |        1
1334.60/1334.99	c 1326s |      18 |   364357 |   314352 |    70418     10 |        0 |        1
1337.20/1337.58	c 1328s |      18 |   364894 |   314852 |    70418     10 |        0 |        1
1339.40/1339.76	c 1330s |      18 |   365452 |   315352 |    70418     10 |        0 |        1
1341.50/1341.87	c 1332s |      18 |   366302 |   316152 |    70418     10 |        0 |        1
1343.70/1344.08	c 1335s |      18 |   367347 |   317052 |    70418     10 |        0 |        1
1345.80/1346.17	c 1337s |      18 |   368185 |   317752 |    70418     10 |        0 |        1
1348.00/1348.36	c 1339s |      18 |   369107 |   318552 |    70418     10 |        0 |        1
1349.99/1350.38	c 1341s |      18 |   369773 |   319152 |    70418     10 |        0 |        1
1352.29/1352.63	c 1343s |      18 |   370816 |   320052 |    70418     10 |        0 |        1
1367.30/1367.64	c 1358s |      18 |   371832 |   320752 |    70418     10 |        0 |        1
1369.30/1369.66	c 1360s |      18 |   372701 |   321552 |    70418     10 |        0 |        1
1371.40/1371.78	c 1362s |      18 |   373224 |   322052 |    70418     10 |        0 |        1
1373.39/1373.79	c 1364s |      18 |   373794 |   322552 |    70418     10 |        0 |        1
1375.59/1375.93	c 1367s |      18 |   375064 |   323452 |    70418     10 |        0 |        1
1377.69/1378.00	c 1369s |      18 |   376401 |   324552 |    70418     10 |        0 |        1
1379.69/1380.02	c 1371s |      18 |   377754 |   325752 |    70418     10 |        0 |        1
1381.69/1382.05	c 1373s |      18 |   379027 |   326752 |    70418     10 |        0 |        1
1383.69/1384.07	c 1375s |      18 |   380239 |   327752 |    70418     10 |        0 |        1
1385.80/1386.18	c 1377s |      18 |   381511 |   328852 |    70418     10 |        0 |        1
1387.90/1388.23	c 1379s |      18 |   382739 |   329952 |    70418     10 |        0 |        1
1389.99/1390.36	c 1381s |      18 |   383923 |   330952 |    70418     10 |        0 |        1
1392.09/1392.41	c 1383s |      18 |   385459 |   332252 |    70418     10 |        0 |        1
1394.09/1394.42	c 1385s |      18 |   386729 |   333352 |    70418     10 |        0 |        1
1396.19/1396.50	c 1387s |      18 |   387704 |   334152 |    70418     10 |        0 |        1
1398.19/1398.55	c 1389s |      18 |   388987 |   335252 |    70418     10 |        0 |        1
1400.29/1400.63	c 1391s |      18 |   390287 |   336452 |    70418     10 |        0 |        1
1402.49/1402.82	c 1393s |      18 |   391862 |   337852 |    70418     10 |        0 |        1
1404.69/1405.01	c 1396s |      18 |   392565 |   338452 |    70418     10 |        0 |        1
1406.79/1407.14	c 1398s |      18 |   393680 |   339452 |    70418     10 |        0 |        1
1408.99/1409.37	c 1400s |      18 |   394691 |   340252 |    70418     10 |        0 |        1
1411.19/1411.53	c 1402s |      18 |   395721 |   341152 |    70418     10 |        0 |        1
1413.59/1413.90	c 1404s |      18 |   396696 |   342052 |    70418     10 |        0 |        1
1415.59/1415.99	c 1407s |      18 |   397872 |   343052 |    70418     10 |        0 |        1
1417.79/1418.19	c 1409s |      18 |   399024 |   344052 |    70418     10 |        0 |        1
1420.59/1420.97	c 1412s |      18 |   399970 |   344852 |    70418     10 |        0 |        1
1422.69/1423.01	c 1414s |      18 |   400492 |   345352 |    70418     10 |        0 |        1
1424.79/1425.10	c 1416s |      18 |   401189 |   345952 |    70418     10 |        0 |        1
1445.09/1445.49	c 1436s |      18 |   401436 |   346152 |    70418     11 |        0 |        1
1447.18/1447.51	c 1438s |      18 |   402173 |   346752 |    70418     11 |        0 |        1
1449.88/1450.25	c 1441s |      18 |   403138 |   347552 |    70418     11 |        0 |        1
1451.98/1452.35	c 1443s |      18 |   404735 |   348952 |    70418     11 |        0 |        1
1454.18/1454.50	c 1445s |      18 |   405949 |   350052 |    70418     11 |        0 |        1
1456.28/1456.67	c 1447s |      18 |   407087 |   351052 |    70418     11 |        0 |        1
1458.38/1458.77	c 1449s |      18 |   408229 |   352052 |    70418     11 |        0 |        1
1466.78/1467.17	c 1458s |      18 |   408690 |   352452 |    70418     11 |        0 |        1
1468.88/1469.28	c 1460s |      18 |   409749 |   353352 |    70418     11 |        0 |        1
1470.98/1471.36	c 1462s |      18 |   410914 |   354352 |    70418     11 |        0 |        1
1473.08/1473.48	c 1464s |      18 |   411912 |   355252 |    70418     11 |        0 |        1
1475.17/1475.54	c 1466s |      18 |   413017 |   356252 |    70418     11 |        0 |        1
1477.17/1477.57	c 1468s |      18 |   414144 |   357252 |    70418     11 |        0 |        1
1479.28/1479.68	c 1470s |      18 |   415417 |   358352 |    70418     11 |        0 |        1
1481.38/1481.77	c 1472s |      18 |   416556 |   359352 |    70418     11 |        0 |        1
1483.47/1483.84	c 1474s |      18 |   417690 |   360352 |    70418     11 |        0 |        1
1485.57/1485.91	c 1477s |      18 |   418623 |   361152 |    70418     11 |        0 |        1
1487.77/1488.17	c 1479s |      18 |   419544 |   361952 |    70418     11 |        0 |        1
1490.07/1490.40	c 1481s |      18 |   420643 |   362852 |    70418     11 |        0 |        1
1492.17/1492.50	c 1483s |      18 |   421535 |   363652 |    70418     11 |        0 |        1
1494.17/1494.53	c 1485s |      18 |   422413 |   364452 |    70418     11 |        0 |        1
1496.37/1496.70	c 1487s |      18 |   423517 |   365452 |    70418     11 |        0 |        1
1498.37/1498.78	c 1489s |      18 |   424654 |   366452 |    70418     11 |        0 |        1
1500.67/1501.01	c 1492s |      18 |   425819 |   367452 |    70418     11 |        0 |        1
1502.67/1503.05	c 1494s |      18 |   426746 |   368252 |    70418     11 |        0 |        1
1504.77/1505.16	c 1496s |      18 |   427659 |   369052 |    70418     11 |        0 |        1
1506.97/1507.33	c 1498s |      18 |   428456 |   369752 |    70418     11 |        0 |        1
1509.07/1509.47	c 1500s |      18 |   429148 |   370352 |    70418     11 |        0 |        1
1511.27/1511.62	c 1502s |      18 |   429816 |   370952 |    70418     11 |        0 |        1
1513.27/1513.70	c 1504s |      18 |   430975 |   371952 |    70418     11 |        0 |        1
1515.37/1515.79	c 1506s |      18 |   432024 |   372852 |    70418     11 |        0 |        1
1517.47/1517.82	c 1508s |      18 |   432976 |   373652 |    70418     11 |        0 |        1
1519.57/1519.90	c 1510s |      18 |   433898 |   374452 |    70418     11 |        0 |        1
1521.57/1521.99	c 1513s |      18 |   434707 |   375152 |    70418     11 |        0 |        1
1523.77/1524.14	c 1515s |      18 |   435504 |   375852 |    70418     11 |        0 |        1
1525.87/1526.30	c 1517s |      18 |   436310 |   376552 |    70418     11 |        0 |        1
1528.27/1528.60	c 1519s |      18 |   437091 |   377252 |    70418     11 |        0 |        1
1530.37/1530.78	c 1521s |      18 |   437926 |   377952 |    70418     11 |        0 |        1
1532.57/1532.93	c 1524s |      18 |   438513 |   378452 |    70418     11 |        0 |        1
1534.76/1535.17	c 1526s |      18 |   439296 |   379152 |    70418     11 |        0 |        1
1536.86/1537.20	c 1528s |      18 |   440073 |   379852 |    70418     11 |        0 |        1
1538.86/1539.21	c 1530s |      18 |   440868 |   380552 |    70418     11 |        0 |        1
1540.96/1541.31	c 1532s |      18 |   441664 |   381252 |    70418     11 |        0 |        1
1550.27/1550.61	c 1541s |      18 |   442469 |   381952 |    70418     12 |        0 |        1
1556.46/1556.80	c 1547s |      18 |   442572 |   382052 |    70418     12 |        0 |        1
1558.47/1558.89	c 1549s |      18 |   444383 |   383652 |    70418     12 |        0 |        1
1560.57/1560.93	c 1552s |      18 |   445969 |   385052 |    70418     12 |        0 |        1
1647.35/1647.72	c 1638s |      18 |   447143 |   386052 |    70418     12 |        0 |        1
1649.35/1649.77	c 1640s |      18 |   448261 |   387052 |    70418     12 |        0 |        1
1651.45/1651.86	c 1642s |      18 |   449370 |   388052 |    70418     12 |        0 |        1
1653.55/1653.99	c 1645s |      18 |   450880 |   389352 |    70418     12 |        0 |        1
1655.65/1656.04	c 1647s |      18 |   452268 |   390552 |    70418     12 |        0 |        1
1657.85/1658.20	c 1649s |      18 |   453412 |   391552 |    70418     12 |        0 |        1
1659.85/1660.21	c 1651s |      18 |   454555 |   392552 |    70418     12 |        0 |        1
1661.95/1662.34	c 1653s |      18 |   455187 |   393152 |    70418     12 |        0 |        1
1664.06/1664.44	c 1655s |      18 |   456437 |   394252 |    70418     12 |        0 |        1
1666.05/1666.48	c 1657s |      18 |   457723 |   395352 |    70418     12 |        0 |        1
1668.25/1668.64	c 1659s |      18 |   458880 |   396352 |    70418     12 |        0 |        1
1670.45/1670.87	c 1661s |      18 |   459785 |   397152 |    70418     12 |        0 |        1
1672.45/1672.89	c 1663s |      18 |   460637 |   397852 |    70418     12 |        0 |        1
1674.45/1674.89	c 1665s |      18 |   461440 |   398552 |    70418     12 |        0 |        1
1676.95/1677.31	c 1668s |      18 |   462149 |   399152 |    70418     12 |        0 |        1
1679.05/1679.48	c 1670s |      18 |   463400 |   400252 |    70418     12 |        0 |        1
1681.15/1681.55	c 1672s |      18 |   464387 |   401052 |    70418     12 |        0 |        1
1683.25/1683.68	c 1674s |      18 |   465667 |   402152 |    70418     12 |        0 |        1
1685.54/1685.90	c 1676s |      18 |   466915 |   403252 |    70418     12 |        0 |        1
1687.64/1688.07	c 1679s |      18 |   468084 |   404252 |    70418     12 |        0 |        1
1689.74/1690.18	c 1681s |      18 |   469245 |   405252 |    70418     12 |        0 |        1
1691.84/1692.23	c 1683s |      18 |   469822 |   405752 |    70418     12 |        0 |        1
1693.94/1694.34	c 1685s |      18 |   470478 |   406352 |    70418     12 |        0 |        1
1695.95/1696.35	c 1687s |      18 |   471415 |   407152 |    70418     12 |        0 |        1
1698.05/1698.48	c 1689s |      18 |   472448 |   408052 |    70418     12 |        0 |        1
1700.14/1700.58	c 1691s |      18 |   473381 |   408852 |    70418     12 |        0 |        1
1702.55/1702.96	c 1694s |      18 |   474303 |   409652 |    70418     12 |        0 |        1
1704.94/1705.37	c 1696s |      18 |   475144 |   410352 |    70418     12 |        0 |        1
1707.24/1707.69	c 1698s |      18 |   475950 |   411052 |    70418     12 |        0 |        1
1709.34/1709.73	c 1700s |      18 |   476650 |   411652 |    70418     12 |        0 |        1
1711.44/1711.89	c 1702s |      18 |   477129 |   412052 |    70418     12 |        0 |        1
1713.64/1714.09	c 1705s |      18 |   477724 |   412552 |    70418     12 |        0 |        1
1715.94/1716.30	c 1707s |      18 |   478612 |   413352 |    70418     12 |        0 |        1
1718.54/1718.93	c 1710s |      18 |   479374 |   414052 |    70418     12 |        0 |        1
1720.64/1721.09	c 1712s |      18 |   480249 |   414852 |    70418     12 |        0 |        1
1722.84/1723.22	c 1714s |      18 |   481153 |   415652 |    70418     12 |        0 |        1
1724.94/1725.34	c 1716s |      18 |   482133 |   416452 |    70418     12 |        0 |        1
1733.44/1733.85	c 1724s |      18 |   482849 |   417052 |    70418     13 |        0 |        1
1740.64/1741.00	c 1732s |      18 |   482958 |   417152 |    70418     13 |        0 |        1
1742.64/1743.08	c 1734s |      18 |   484668 |   418652 |    70418     13 |        0 |        1
1744.74/1745.11	c 1736s |      18 |   486469 |   420152 |    70418     13 |        0 |        1
1746.84/1747.20	c 1738s |      18 |   488305 |   421752 |    70418     13 |        0 |        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-4117411-1467212110/watcher-4117411-1467212110 -o /tmp/evaluation-result-4117411-1467212110/solver-4117411-1467212110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117411-1467212110.opb 

pid=2154
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.35 2.30 1.97 4/169 2157
/proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 2784 0 0 0 0 0 0 0 20 0 4 0 238636 762769408 2633 33554432000 4194304 16246674 140734819967856 140734819967280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 186735 2644 441 2943 0 183629 0
[pid=2157/tid=2158] ppid=2154 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 780595200 2703 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=767420 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 785838080 2721 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 238636 788983808 2736 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100221 s]
/proc/loadavg: 2.35 2.30 1.97 4/169 2157
/proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 28779 0 0 0 5 4 0 0 20 0 4 0 238636 1332285440 28567 33554432000 4194304 16246674 140734819967856 140734819967168 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 325265 28583 800 2943 0 322159 0
[pid=2157/tid=2158] ppid=2154 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1332285440 28594 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1332285440 28605 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1332285440 28616 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200511 s]
/proc/loadavg: 2.35 2.30 1.97 4/169 2157
/proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 50337 0 0 0 12 7 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 140734819967168 7371484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 328337 50635 800 2943 0 325231 0
[pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50635 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300495 s]
/proc/loadavg: 2.35 2.30 1.97 4/169 2157
/proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 50576 0 0 0 22 7 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 140734819967168 12457868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 328337 50874 842 2943 0 325231 0
[pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 50874 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.70039 s]
/proc/loadavg: 2.35 2.30 1.97 4/169 2157
/proc/meminfo: memFree=28668972/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 111429 0 0 0 54 15 0 0 20 0 4 0 238636 1344868352 111728 33554432000 4194304 16246674 140734819967856 140734819949760 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 328337 111733 890 2943 0 325231 0
[pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 111737 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 111740 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 111743 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.35 2.30 1.97 4/182 2174
/proc/meminfo: memFree=27325748/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 221032 0 0 0 119 30 0 0 20 0 4 0 238636 1344868352 221330 33554432000 4194304 16246674 140734819967856 140734819949760 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 328337 221335 890 2943 0 325231 0
[pid=2157/tid=2158] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 221337 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 221340 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1344868352 221347 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.35 2.30 1.97 4/182 2174
/proc/meminfo: memFree=26499056/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1328708 CPUtime=3.09 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272860 0 0 0 271 38 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 140734819967168 5712465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 332177 273158 896 2943 0 329071 0
[pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273158 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.30041 s]
/proc/loadavg: 2.33 2.30 1.97 3/183 2175
/proc/meminfo: memFree=26498356/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1328708 CPUtime=6.29 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272870 0 0 0 591 38 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 140734819949760 6011200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 332177 273168 906 2943 0 329071 0
[pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273168 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.38 2.31 1.97 3/183 2175
/proc/meminfo: memFree=26497804/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1328708 CPUtime=12.69 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272881 0 0 0 1231 38 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 140734819949760 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 332177 273179 917 2943 0 329071 0
[pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.37 2.31 1.98 4/183 2175
/proc/meminfo: memFree=26499012/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1328708 CPUtime=25.49 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272881 0 0 0 2511 38 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 140734819949760 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 332177 273179 917 2943 0 329071 0
[pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273179 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.44 2.33 2.00 3/183 2175
/proc/meminfo: memFree=26418940/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1328708 CPUtime=51.08 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 272888 0 0 0 5070 38 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 140734819949760 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 332177 273181 918 2943 0 329071 0
[pid=2157/tid=2158] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1360596992 273181 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.38 2.33 2.01 3/183 2176
/proc/meminfo: memFree=26404308/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1343044 CPUtime=102.27 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 276497 0 0 0 10188 39 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 140734819949760 5674851 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 335761 276770 920 2943 0 332655 0
[pid=2157/tid=2158] ppid=2154 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1343044 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1375277056 276770 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1343044


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

/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1367620

[startup+1302.3 s]
/proc/loadavg: 2.20 2.29 2.18 3/183 2229
/proc/meminfo: memFree=26378104/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1302 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 130125 75 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1367620

[startup+1362.3 s]
/proc/loadavg: 2.18 2.26 2.18 4/183 2230
/proc/meminfo: memFree=26378260/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1361.99 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 136122 77 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819965632 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1367620

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.18 3/183 2231
/proc/meminfo: memFree=26378360/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1421.99 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 142121 78 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1367620

[startup+1482.3 s]
/proc/loadavg: 2.34 2.28 2.19 4/183 2232
/proc/meminfo: memFree=26378208/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1481.97 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 148116 81 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1367620

[startup+1542.31 s]
/proc/loadavg: 2.44 2.32 2.21 3/184 2237
/proc/meminfo: memFree=26378196/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1541.97 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 154116 81 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5823262 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1367620

[startup+1602.3 s]
/proc/loadavg: 2.33 2.30 2.20 3/183 2238
/proc/meminfo: memFree=26378076/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1601.95 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 160110 85 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819967032 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1367620

[startup+1662.3 s]
/proc/loadavg: 2.42 2.32 2.21 4/183 2239
/proc/meminfo: memFree=26378200/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1661.95 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 166106 89 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5523504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1367620

[startup+1722.3 s]
/proc/loadavg: 2.39 2.32 2.22 3/183 2240
/proc/meminfo: memFree=26378076/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1721.94 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 172105 89 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819949760 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1367620

[startup+1782.3 s]
/proc/loadavg: 2.20 2.28 2.20 3/183 2241
/proc/meminfo: memFree=26377336/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1781.93 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 178100 93 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819966952 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1367620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.28 2.20 3/183 2241
/proc/meminfo: memFree=26378084/32872528 swapFree=1553660/1717180
[pid=2157] ppid=2154 vsize=1367620 CPUtime=1800.03 cores=0,2,4,6
/proc/2157/stat : 2157 (toysat) R 2154 2157 1984 0 -1 4202496 282799 0 0 0 179908 95 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 140734819966952 4207736 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2157/statm: 341905 282914 920 2943 0 338799 0
[pid=2157/tid=2158] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2158/stat : 2158 (toysat) S 2154 2157 1984 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833310686448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2157/tid=2159] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2159/stat : 2159 (toysat) S 2154 2157 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833300196592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2157/tid=2160] ppid=2154 vsize=1367620 CPUtime=0 cores=0,2,4,6
/proc/2157/task/2160/stat : 2160 (toysat) S 2154 2157 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 238636 1400442880 282914 33554432000 4194304 16246674 140734819967856 139833289723056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1367620

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.09
CPU system time (s): 0.950855
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 1367620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 0.950855
maximum resident set size= 1131656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282799
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= 198
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.57031 second user time and 6.92095 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-29 16:55:10
IDJOB=4117411
IDBENCH=111572
IDSOLVER=2542
FILE ID=node117/4117411-1467212110
RUNJOBID= node117-1467210309-2000
PBS_JOBID= 19997597
Free space on /tmp= 71624 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun6.5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117411-1467212110/watcher-4117411-1467212110 -o /tmp/evaluation-result-4117411-1467212110/solver-4117411-1467212110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117411-1467212110.opb

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

MD5SUM BENCH= ee482ad52a229e6d084bd579d92cf8a7
RANDOM SEED=113726435

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        28669392 kB
Buffers:           34352 kB
Cached:          1724888 kB
SwapCached:            0 kB
Active:           116212 kB
Inactive:        1655712 kB
Active(anon):      16276 kB
Inactive(anon):        4 kB
Active(file):      99936 kB
Inactive(file):  1655708 kB
Unevictable:     1717180 kB
Mlocked:         1553660 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34980 kB
Writeback:             0 kB
AnonPages:       1730480 kB
Mapped:            13852 kB
Shmem:               204 kB
Slab:             579676 kB
SReclaimable:      24220 kB
SUnreclaim:       555456 kB
KernelStack:        1456 kB
PageTables:         7180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1816104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 71592 MiB
End job on node117 at 2016-06-29 17:25:11