Trace number 4107078

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.11 1800.45

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__8.opb
MD5SUMc120d8f4dcbc5272249a5c279ae2547e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1106627
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12498
Total number of constraints2000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1502
Number of constraints which are nor clauses,nor cardinality constraints498
Minimum length of a constraint8
Maximum length of a constraint169
Number of terms in the objective function 12000
Biggest coefficient in the objective function 114804
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 410482992
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 114804
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 410482992
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T22:34:04+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-4107078-1466282044.opb"]
0.00/0.01	c use --random-gen="1778838319 2427996119 2032375987 956349857 1284753045 4261207262 2390115495 665686999 987244827 3696839487 3076121531 2214978012 965451408 2090982807 1268608256 2731373021 597197742 1249251037 3666314511 4063687246 3353338878 2792297420 1859316776 2453597628 2176948878 2955853884 1237340862 128975211 1790219456 1330689427 4206737459 401025123 3561885748 371180708 889304480 1387514700 2350707117 2202606273 4108084734 3501543500 412996691 4097394536 1089768617 4221191607 1475294295 819817972 2464438962 2671229157 3717463048 2941906436 1119964985 828291781 1913997619 3540783702 391316977 184959595 552247987 3821123697 849256263 217046056 3661617775 1240255036 2203374966 696724157 1889196388 23467223 1973368636 359271608 158668328 48388951 113256115 537600675 1911777005 4268982559 2156843430 1910953458 3144410125 2388177608 2379885506 970471179 3066552286 3998866852 3337592628 77358838 3036198981 532275709 3368495678 3486768564 3047376570 773497374 477872045 3185382030 2423166107 505594560 1591738278 1236835169 3073814438 3090261045 1122533272 586325330 3763986011 3497602501 1157014179 1976166653 1197323626 606621027 1343863643 3458778394 2676678352 3362674024 823794606 2590175635 2072839853 984015817 3481861923 383278990 2060845800 3773344772 3237479732 2863300014 2547179379 220950066 3446547027 1435974765 1759138593 1967514216 1684306169 1434379006 1429475608 408154938 4144781694 3467483801 164929723 4096951697 3504525801 3539977150 772281510 2015785147 2262405365 165684645 2453026933 2358873347 4293224986 2867102456 1551435514 712888203 1614437614 604385149 434834901 335190057 2299016274 917095409 1918576876 1328214660 2042907409 1132230956 3085055681 3132660109 3676987884 3533473442 2117504143 3840047674 3671032565 797025667 1441291826 752263594 348427895 3124152842 1033378144 3975959316 1869109807 3191102788 2147528353 161005975 374299462 2739301652 734608481 361959939 937140236 257713126 1866854755 3295279780 3837042299 1816884789 2069834987 3772375362 2094695438 76169956 1479146470 418676428 850858066 1977730033 3016747003 2629754978 2458577154 1925763196 1781057644 2695808995 1610344063 2378587225 3567952879 738262846 1916690414 71415449 985221489 2810668510 3933507031 3042588275 3365627296 413450641 865451531 144322848 3840419216 2068185477 2215993901 2768125983 742913592 2895208818 913837329 267646234 3378041396 1518546039 1605414090 3044728862 1752023239 3657212625 2310152020 3043170325 3054156393 501595693 3448564308 2441246251 1452942922 1204483029 1626216210 4061937758 837257214 495329428 3940183753 2554734632 2179928378 3154585738 1553210999 866365226 4164961365 3846405468 2230078278 1613629050 3600308785 796746662 3537320768 786632787 3475677806 2205195780 7182309 1171719221 255 362436" option to reproduce the execution
0.09/0.13	c #vars 12498
0.09/0.13	c #constraints 2000
0.19/0.28	c BCD2: Hardening is enabled.
0.19/0.28	c BCD2: BiasedSearch is enabled.
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.28/0.33	c  0.0s |       0 |        0 |        0 |     4999      0 |        0 |        0
0.39/0.44	c  0.1s |       1 |     5204 |      100 |     4999      0 |        0 |        0
0.49/0.59	c  0.3s |       2 |    22837 |      250 |     5499      0 |        0 |        0
0.69/0.73	c  0.4s |       3 |    34739 |      475 |     6049      0 |        0 |        0
0.88/0.96	c  0.6s |       4 |    50406 |      813 |     6654      0 |        0 |        0
1.10/1.12	c  0.8s |       4 |    57709 |     1010 |     7320      0 |        0 |        0
1.10/1.12	c #cpu_time = 0.767s
1.10/1.12	c #wall_clock_time = 0.768s
1.10/1.12	c #decision = 57709
1.10/1.12	c #random_decision = 167
1.10/1.12	c #conflict = 1010
1.10/1.12	c #restart = 4
1.10/1.12	o 15126987
1.10/1.19	c BCD2: updating upper bound: 410482992 -> 15126986
1.20/1.24	c BCD2: 0 <= obj <= 15126986
1.20/1.24	c BCD2: #cores=0, #unrelaxed=12000, #relaxed=0, #hardened=0
1.20/1.24	c BCD2: #sat=1 #unsat=1 bias=1/2
1.20/1.24	c Solving starts ...
1.20/1.24	c ============================[ Search Statistics ]============================
1.20/1.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.24	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.24	c =============================================================================
1.20/1.24	c  0.0s |       0 |        0 |        0 |     7320      0 |        0 |        0
1.20/1.27	c  0.0s |       0 |     3154 |        0 |     7320      0 |        0 |        0
1.20/1.27	c #cpu_time = 0.025s
1.20/1.27	c #wall_clock_time = 0.025s
1.20/1.27	c #decision = 3154
1.20/1.27	c #random_decision = 0
1.20/1.27	c #conflict = 0
1.20/1.27	c #restart = 0
1.20/1.27	c BCD2: found a new core of size 24: cost of the new core is >=9805
1.20/1.27	c lower bound updated to 9805
1.20/1.28	c BCD2: 9805 <= obj <= 15126986
1.20/1.28	c BCD2: #cores=1, #unrelaxed=11976, #relaxed=24, #hardened=0
1.20/1.28	c BCD2: #sat=1 #unsat=2 bias=2/3
1.20/1.28	c Solving starts ...
1.20/1.28	c ============================[ Search Statistics ]============================
1.20/1.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.28	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.28	c =============================================================================
1.20/1.28	c  0.0s |       0 |        0 |        0 |     7320      0 |        0 |        1
1.29/1.31	c  0.0s |       0 |     6665 |        0 |     7320      0 |        0 |        1
1.29/1.31	c #cpu_time = 0.029s
1.29/1.31	c #wall_clock_time = 0.029s
1.29/1.31	c #decision = 6665
1.29/1.31	c #random_decision = 0
1.29/1.31	c #conflict = 0
1.29/1.31	c #restart = 0
1.29/1.31	c BCD2: found a new core of size 102: cost of the new core is >=5818
1.29/1.31	c lower bound updated to 15623
1.29/1.32	c BCD2: 15623 <= obj <= 15126986
1.29/1.32	c BCD2: #cores=2, #unrelaxed=11874, #relaxed=126, #hardened=0
1.29/1.32	c BCD2: #sat=1 #unsat=3 bias=3/4
89.47/89.55	c Solving starts ...
89.47/89.55	c ============================[ Search Statistics ]============================
89.47/89.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
89.47/89.55	c       |         |          |          |    Limit     GC | Var      | Constra 
89.47/89.55	c =============================================================================
89.47/89.55	c  0.0s |       0 |        0 |        0 |     7320      0 |        0 |        1
89.57/89.67	c  0.1s |       1 |    38915 |      100 |     7320      0 |        0 |        1
89.77/89.82	c  0.3s |       2 |    71285 |      250 |     7320      0 |        0 |        1
89.77/89.88	c  0.3s |       2 |    84921 |      272 |     7320      0 |        0 |        1
89.77/89.88	c #cpu_time = 0.323s
89.77/89.88	c #wall_clock_time = 0.323s
89.77/89.88	c #decision = 84921
89.77/89.88	c #random_decision = 0
89.77/89.88	c #conflict = 272
89.77/89.88	c #restart = 2
89.97/90.04	c BCD2: relaxing 7199 and merging with 2 cores into a new core of size 7325: cost of the new core is >=15624
89.97/90.04	c lower bound updated to 15624
89.97/90.07	c BCD2: 15624 <= obj <= 15126986
89.97/90.07	c BCD2: #cores=1, #unrelaxed=4675, #relaxed=7325, #hardened=0
89.97/90.07	c BCD2: #sat=1 #unsat=4 bias=4/5
90.07/90.11	c Solving starts ...
90.07/90.11	c ============================[ Search Statistics ]============================
90.07/90.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
90.07/90.11	c       |         |          |          |    Limit     GC | Var      | Constra 
90.07/90.11	c =============================================================================
90.07/90.11	c  0.0s |       0 |        0 |        0 |     7320      0 |        2 |        1
90.07/90.20	c  0.1s |       0 |     9505 |       10 |     7320      0 |        2 |        3
90.07/90.20	c #cpu_time = 0.066s
90.07/90.20	c #wall_clock_time = 0.066s
90.07/90.20	c #decision = 9505
90.07/90.20	c #random_decision = 12
90.07/90.20	c #conflict = 10
90.07/90.20	c #restart = 0
90.07/90.20	o 612013
90.27/90.39	c BCD2: updating upper bound: 15126986 -> 612012
90.57/90.63	c BCD2: 15624 <= obj <= 612012
90.57/90.63	c BCD2: #cores=1, #unrelaxed=4675, #relaxed=7325, #hardened=0
90.57/90.63	c BCD2: #sat=2 #unsat=4 bias=4/6
97.26/97.37	c Solving starts ...
97.26/97.37	c ============================[ Search Statistics ]============================
97.26/97.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
97.26/97.37	c       |         |          |          |    Limit     GC | Var      | Constra 
97.26/97.37	c =============================================================================
97.26/97.37	c  0.0s |       0 |        0 |        0 |     7320      0 |        2 |        4
98.16/98.29	c  0.9s |       1 |     5406 |      100 |     8053      0 |        2 |        4
99.46/99.54	c  2.2s |       2 |    15703 |      250 |     8053      0 |        2 |        4
101.56/101.67	c  4.3s |       3 |    20893 |      475 |     8053      0 |        2 |        4
104.16/104.24	c  6.9s |       3 |    37817 |      675 |     8053      0 |        2 |        4
106.06/106.15	c  8.8s |       4 |    38103 |      813 |     8859      0 |        2 |        4
108.36/108.43	c 11.1s |       4 |    43706 |     1013 |     8859      0 |        2 |        4
111.56/111.60	c 14.2s |       4 |    45263 |     1313 |     8859      0 |        2 |        4
111.66/111.74	c 14.4s |       5 |    45329 |     1320 |     8859      0 |        2 |        4
114.37/114.45	c 17.1s |       5 |    51008 |     1520 |     8859      0 |        2 |        4
117.26/117.38	c 20.0s |       5 |    51637 |     1720 |     8859      0 |        2 |        4
119.87/119.94	c 22.6s |       5 |    54970 |     1920 |     8859      0 |        2 |        4
121.66/121.74	c 24.4s |       6 |    55492 |     2081 |     9745      0 |        2 |        4
124.06/124.19	c 26.8s |       6 |    60678 |     2281 |     9745      0 |        2 |        4
126.26/126.37	c 29.0s |       6 |    61680 |     2481 |     9745      0 |        2 |        4
128.67/128.73	c 31.4s |       6 |    62181 |     2681 |     9745      0 |        2 |        4
131.66/131.79	c 34.4s |       6 |    63209 |     2981 |     9745      0 |        2 |        4
134.27/134.34	c 37.0s |       6 |    63685 |     3181 |     9745      0 |        2 |        4
134.86/135.00	c 37.6s |       7 |    63782 |     3223 |     9745      0 |        2 |        4
137.36/137.49	c 40.1s |       7 |    68949 |     3423 |     9745      0 |        2 |        4
139.86/139.97	c 42.6s |       7 |    69527 |     3623 |     9745      0 |        2 |        4
142.26/142.32	c 44.9s |       7 |    70139 |     3823 |    10720      0 |        2 |        4
144.57/144.63	c 47.3s |       7 |    70857 |     4023 |    10720      0 |        2 |        4
146.57/146.64	c 49.3s |       7 |    71442 |     4223 |    10720      0 |        2 |        4
148.67/148.79	c 51.4s |       7 |    72447 |     4423 |    10720      0 |        2 |        4
151.27/151.33	c 54.0s |       7 |    73437 |     4623 |    10720      0 |        2 |        4
153.76/153.85	c 56.5s |       7 |    74247 |     4823 |    10720      0 |        2 |        4
154.86/154.94	c 57.6s |       8 |    74471 |     4936 |    10720      0 |        2 |        4
157.37/157.49	c 60.1s |       8 |    79971 |     5136 |    10720      0 |        2 |        4
159.57/159.66	c 62.3s |       8 |    80544 |     5336 |    10720      0 |        2 |        4
162.36/162.49	c 65.1s |       8 |    81268 |     5536 |    10720      0 |        2 |        4
165.26/165.37	c 68.0s |       8 |    82086 |     5736 |    10720      0 |        2 |        4
167.66/167.70	c 70.3s |       8 |    83109 |     5936 |    10720      0 |        2 |        4
170.66/170.72	c 73.4s |       8 |    84154 |     6236 |    11793      0 |        2 |        4
173.96/174.08	c 76.7s |       8 |    84973 |     6436 |    11793      0 |        2 |        4
176.76/176.89	c 79.5s |       8 |    86376 |     6636 |    11793      0 |        2 |        4
179.66/179.71	c 82.3s |       8 |    87882 |     6936 |    11793      0 |        2 |        4
182.36/182.41	c 85.0s |       8 |    89546 |     7236 |    11793      0 |        2 |        4
186.76/186.84	c 89.5s |       8 |    90500 |     7436 |    11793      0 |        2 |        4
188.36/188.47	c 91.1s |       9 |    90638 |     7506 |    11793      0 |        2 |        4
191.26/191.32	c 93.9s |       9 |    96035 |     7706 |    11793      0 |        2 |        4
194.36/194.47	c 97.1s |       9 |    96781 |     7906 |    11793      0 |        2 |        4
197.16/197.24	c 99.9s |       9 |    97717 |     8106 |    11793      0 |        2 |        4
200.56/200.64	c  103s |       9 |    98600 |     8306 |    11793      0 |        2 |        4
203.26/203.37	c  105s |       9 |    99198 |     8506 |    11793      0 |        2 |        4
205.96/206.09	c  108s |       9 |   100064 |     8706 |    11793      0 |        2 |        4
208.66/208.79	c  111s |       9 |   100741 |     8906 |    11793      0 |        2 |        4
211.45/211.57	c  114s |       9 |   101790 |     9206 |    11793      0 |        2 |        4
214.25/214.38	c  117s |       9 |   102886 |     9406 |    11793      0 |        2 |        4
216.85/216.98	c  119s |       9 |   103559 |     9606 |    11793      0 |        2 |        4
219.55/219.68	c  122s |       9 |   104470 |     9806 |    11793      0 |        2 |        4
222.35/222.40	c  125s |       9 |   105576 |    10006 |    11793      0 |        2 |        4
225.05/225.16	c  127s |       9 |   107083 |    10206 |    12973      0 |        2 |        4
227.45/227.59	c  130s |       9 |   107684 |    10406 |    12973      0 |        2 |        4
229.86/229.91	c  132s |       9 |   108440 |    10606 |    12973      0 |        2 |        4
232.16/232.28	c  134s |       9 |   108823 |    10806 |    12973      0 |        2 |        4
235.36/235.46	c  138s |       9 |   109497 |    11006 |    12973      0 |        2 |        4
238.25/238.32	c  140s |       9 |   110121 |    11206 |    12973      0 |        2 |        4
240.65/240.71	c  143s |      10 |   110627 |    11361 |    12973      0 |        2 |        4
243.95/244.03	c  146s |      10 |   116143 |    11561 |    12973      0 |        2 |        4
246.65/246.73	c  149s |      10 |   116812 |    11761 |    12973      0 |        2 |        4
249.05/249.14	c  151s |      10 |   117731 |    11961 |    12973      0 |        2 |        4
251.35/251.40	c  154s |      10 |   118347 |    12161 |    12973      0 |        2 |        4
254.55/254.69	c  157s |      10 |   119269 |    12461 |    12973      0 |        2 |        4
256.85/256.99	c  159s |      10 |   119852 |    12661 |    12973      0 |        2 |        4
260.35/260.45	c  163s |      10 |   120670 |    12861 |    12973      0 |        2 |        4
263.85/263.93	c  166s |      10 |   121439 |    13061 |    12973      0 |        2 |        4
266.05/266.17	c  168s |      10 |   121723 |    13161 |    12973      0 |        2 |        4
268.65/268.80	c  171s |      10 |   122927 |    13361 |    12973      0 |        2 |        4
270.95/271.07	c  173s |      10 |   123996 |    13561 |    12973      0 |        2 |        4
274.15/274.22	c  176s |      10 |   124591 |    13761 |    12973      0 |        2 |        4
278.14/278.22	c  180s |      10 |   125195 |    13961 |    12973      0 |        2 |        4
281.55/281.68	c  184s |      10 |   125881 |    14161 |    12973      0 |        2 |        4
284.74/284.90	c  187s |      10 |   127148 |    14361 |    12973      0 |        2 |        4
288.15/288.30	c  190s |      10 |   128256 |    14561 |    12973      0 |        2 |        4
291.84/291.96	c  194s |      10 |   129145 |    14761 |    12973      0 |        2 |        4
295.44/295.57	c  198s |      10 |   130156 |    14961 |    12973      0 |        2 |        4
297.74/297.88	c  200s |      10 |   130743 |    15161 |    12973      0 |        2 |        4
300.64/300.73	c  203s |      10 |   131350 |    15361 |    12973      0 |        2 |        4
303.14/303.23	c  205s |      10 |   132386 |    15561 |    12973      0 |        2 |        4
305.24/305.38	c  208s |      10 |   133102 |    15761 |    14271      0 |        2 |        4
307.44/307.50	c  210s |      10 |   133682 |    15961 |    14271      0 |        2 |        4
309.64/309.74	c  212s |      10 |   134117 |    16161 |    14271      0 |        2 |        4
312.24/312.39	c  215s |      10 |   134754 |    16361 |    14271      0 |        2 |        4
314.94/315.06	c  217s |      10 |   135126 |    16561 |    14271      0 |        2 |        4
317.44/317.59	c  220s |      10 |   135786 |    16761 |    14271      0 |        2 |        4
319.84/319.99	c  222s |      10 |   136536 |    16961 |    14271      0 |        2 |        4
322.94/323.02	c  225s |      11 |   137104 |    17144 |    14271      0 |        2 |        4
326.14/326.29	c  228s |      11 |   142421 |    17344 |    14271      1 |        2 |        4
328.84/328.95	c  231s |      11 |   143081 |    17544 |    14271      1 |        2 |        4
331.83/331.99	c  234s |      11 |   143487 |    17644 |    14271      1 |        2 |        4
334.44/334.56	c  237s |      11 |   143797 |    17744 |    14271      1 |        2 |        4
336.83/336.98	c  239s |      11 |   144082 |    17844 |    14271      1 |        2 |        4
339.33/339.44	c  242s |      11 |   144333 |    17944 |    14271      1 |        2 |        4
343.93/344.02	c  246s |      11 |   145168 |    18144 |    14271      1 |        2 |        4
347.64/347.73	c  250s |      11 |   145364 |    18244 |    14271      1 |        2 |        4
349.63/349.79	c  252s |      11 |   146469 |    18444 |    14271      1 |        2 |        4
352.13/352.20	c  254s |      11 |   147384 |    18644 |    14271      1 |        2 |        4
355.93/356.04	c  258s |      11 |   147647 |    18744 |    14271      1 |        2 |        4
358.93/359.03	c  261s |      11 |   148176 |    18844 |    14271      1 |        2 |        4
362.43/362.55	c  265s |      11 |   148719 |    18944 |    14271      1 |        2 |        4
365.03/365.13	c  267s |      11 |   148904 |    19044 |    14271      1 |        2 |        4
368.43/368.58	c  271s |      11 |   149785 |    19144 |    14271      1 |        2 |        4
371.33/371.46	c  274s |      11 |   150296 |    19244 |    14271      1 |        2 |        4
373.63/373.73	c  276s |      11 |   151104 |    19444 |    14271      1 |        2 |        4
376.93/377.02	c  279s |      11 |   154174 |    19644 |    14271      1 |        2 |        4
381.33/381.41	c  284s |      11 |   154366 |    19744 |    14271      1 |        2 |        4
384.33/384.48	c  287s |      11 |   154938 |    19944 |    14271      1 |        2 |        4
386.53/386.67	c  289s |      11 |   155296 |    20044 |    14271      1 |        2 |        4
390.02/390.13	c  292s |      11 |   155913 |    20144 |    14271      1 |        2 |        4
392.52/392.63	c  295s |      11 |   156855 |    20244 |    14271      1 |        2 |        4
396.22/396.37	c  298s |      11 |   157005 |    20344 |    14271      1 |        2 |        4
399.92/400.00	c  302s |      11 |   157486 |    20444 |    14271      1 |        2 |        4
403.73/403.89	c  306s |      11 |   157978 |    20544 |    14271      1 |        2 |        4
406.93/407.07	c  309s |      11 |   158146 |    20644 |    14271      1 |        2 |        4
410.12/410.28	c  312s |      11 |   158833 |    20744 |    14271      1 |        2 |        4
412.82/412.93	c  315s |      11 |   159243 |    20844 |    14271      1 |        2 |        4
417.12/417.25	c  319s |      11 |   159513 |    20944 |    14271      1 |        2 |        4
419.92/420.04	c  322s |      11 |   159943 |    21044 |    14271      1 |        2 |        4
422.12/422.23	c  324s |      11 |   160485 |    21144 |    14271      1 |        2 |        4
425.52/425.60	c  328s |      11 |   161086 |    21344 |    14271      1 |        2 |        4
429.12/429.25	c  331s |      11 |   161768 |    21544 |    14271      1 |        2 |        4
432.82/432.93	c  335s |      11 |   162001 |    21644 |    14271      1 |        2 |        4
435.22/435.36	c  337s |      11 |   162929 |    21844 |    14271      1 |        2 |        4
437.52/437.67	c  340s |      11 |   163637 |    22044 |    14271      1 |        2 |        4
441.32/441.45	c  344s |      11 |   164175 |    22244 |    14271      1 |        2 |        4
444.62/444.72	c  347s |      11 |   164475 |    22344 |    14271      1 |        2 |        4
448.02/448.19	c  350s |      11 |   164677 |    22444 |    14271      1 |        2 |        4
451.11/451.28	c  353s |      11 |   164997 |    22544 |    14271      1 |        2 |        4
453.81/453.96	c  356s |      11 |   165217 |    22644 |    14271      1 |        2 |        4
456.11/456.22	c  358s |      11 |   165418 |    22744 |    14271      1 |        2 |        4
459.61/459.73	c  362s |      11 |   165664 |    22844 |    14271      1 |        2 |        4
462.51/462.64	c  365s |      11 |   165932 |    22944 |    14271      1 |        2 |        4
466.11/466.20	c  368s |      11 |   166464 |    23144 |    14271      1 |        2 |        4
469.72/469.89	c  372s |      11 |   166821 |    23244 |    14271      1 |        2 |        4
473.21/473.30	c  375s |      11 |   167173 |    23344 |    14271      1 |        2 |        4
477.21/477.32	c  379s |      11 |   167520 |    23444 |    14271      1 |        2 |        4
480.31/480.45	c  383s |      11 |   167865 |    23544 |    14271      1 |        2 |        4
484.31/484.42	c  387s |      11 |   168138 |    23644 |    14271      1 |        2 |        4
487.71/487.85	c  390s |      11 |   168776 |    23744 |    14271      1 |        2 |        4
490.71/490.89	c  393s |      11 |   168927 |    23844 |    14271      1 |        2 |        4
492.71/492.90	c  395s |      11 |   169178 |    23944 |    14271      1 |        2 |        4
497.21/497.38	c  400s |      11 |   170069 |    24144 |    14271      1 |        2 |        4
500.41/500.55	c  403s |      11 |   170218 |    24244 |    14271      1 |        2 |        4
503.11/503.23	c  405s |      11 |   170693 |    24344 |    14271      1 |        2 |        4
505.51/505.64	c  408s |      11 |   171354 |    24444 |    15699      1 |        2 |        4
509.21/509.40	c  412s |      11 |   171982 |    24544 |    15699      1 |        2 |        4
511.80/511.99	c  414s |      11 |   173720 |    24844 |    15699      1 |        2 |        4
514.81/514.96	c  417s |      11 |   174290 |    25044 |    15699      1 |        2 |        4
517.01/517.11	c  419s |      11 |   174910 |    25244 |    15699      1 |        2 |        4
520.00/520.18	c  422s |      11 |   175404 |    25444 |    15699      1 |        2 |        4
522.60/522.76	c  425s |      11 |   176495 |    25644 |    15699      1 |        2 |        4
526.20/526.39	c  429s |      11 |   177183 |    25744 |    15699      1 |        2 |        4
529.40/529.50	c  432s |      12 |   177470 |    25819 |    15699      1 |        2 |        4
533.10/533.22	c  435s |      12 |   182376 |    25919 |    15699      2 |        2 |        4
535.71/535.83	c  438s |      12 |   182687 |    26019 |    15699      2 |        2 |        4
540.30/540.42	c  443s |      12 |   183854 |    26319 |    15699      2 |        2 |        4
542.90/543.07	c  445s |      12 |   184500 |    26519 |    15699      2 |        2 |        4
545.00/545.16	c  447s |      12 |   184969 |    26619 |    15699      2 |        2 |        4
548.20/548.36	c  450s |      12 |   185422 |    26719 |    15699      2 |        2 |        4
550.30/550.44	c  453s |      12 |   185849 |    26819 |    15699      2 |        2 |        4
552.70/552.84	c  455s |      12 |   186107 |    26919 |    15699      2 |        2 |        4
555.40/555.52	c  458s |      12 |   186391 |    27019 |    15699      2 |        2 |        4
558.10/558.27	c  460s |      12 |   186623 |    27119 |    15699      2 |        2 |        4
560.70/560.80	c  463s |      12 |   187082 |    27219 |    15699      2 |        2 |        4
566.99/567.10	c  469s |      12 |   187904 |    27419 |    15699      2 |        2 |        4
571.79/571.96	c  474s |      12 |   188098 |    27519 |    15699      2 |        2 |        4
574.99/575.14	c  477s |      12 |   188980 |    27619 |    15699      2 |        2 |        4
578.39/578.59	c  481s |      12 |   189516 |    27719 |    15699      2 |        2 |        4
581.19/581.34	c  483s |      12 |   189860 |    27819 |    15699      2 |        2 |        4
584.00/584.20	c  486s |      12 |   190412 |    27919 |    15699      2 |        2 |        4
587.09/587.29	c  489s |      12 |   190864 |    28019 |    15699      2 |        2 |        4
590.29/590.42	c  493s |      12 |   192153 |    28219 |    15699      2 |        2 |        4
593.19/593.39	c  496s |      12 |   192409 |    28319 |    15699      2 |        2 |        4
595.89/596.07	c  498s |      12 |   192819 |    28419 |    15699      2 |        2 |        4
598.09/598.22	c  500s |      12 |   193267 |    28519 |    15699      2 |        2 |        4
600.69/600.84	c  503s |      12 |   193974 |    28719 |    15699      2 |        2 |        4
605.09/605.24	c  507s |      12 |   194934 |    28919 |    15699      2 |        2 |        4
607.89/608.05	c  510s |      12 |   195332 |    29019 |    15699      2 |        2 |        4
610.69/610.82	c  513s |      12 |   197115 |    29319 |    15699      2 |        2 |        4
613.69/613.84	c  516s |      12 |   198625 |    29519 |    15699      2 |        2 |        4
617.49/617.66	c  520s |      12 |   199080 |    29619 |    15699      2 |        2 |        4
621.19/621.31	c  523s |      12 |   199509 |    29719 |    15699      2 |        2 |        4
624.19/624.35	c  526s |      12 |   200445 |    29919 |    15699      2 |        2 |        4
626.29/626.47	c  529s |      12 |   201442 |    30119 |    15699      2 |        2 |        4
629.99/630.10	c  532s |      12 |   201847 |    30219 |    15699      2 |        2 |        4
634.08/634.25	c  536s |      12 |   202171 |    30319 |    15699      2 |        2 |        4
636.68/636.89	c  539s |      12 |   202663 |    30519 |    15699      2 |        2 |        4
639.18/639.39	c  542s |      12 |   203125 |    30719 |    15699      2 |        2 |        4
643.39/643.58	c  546s |      12 |   203604 |    30919 |    15699      2 |        2 |        4
646.48/646.62	c  549s |      12 |   204450 |    31119 |    15699      2 |        2 |        4
648.99/649.13	c  551s |      12 |   204591 |    31219 |    15699      2 |        2 |        4
651.68/651.86	c  554s |      12 |   204788 |    31319 |    15699      2 |        2 |        4
654.39/654.56	c  557s |      12 |   204983 |    31419 |    15699      2 |        2 |        4
656.98/657.11	c  559s |      12 |   205754 |    31619 |    15699      2 |        2 |        4
659.18/659.39	c  562s |      12 |   205927 |    31719 |    15699      2 |        2 |        4
662.48/662.67	c  565s |      12 |   206600 |    31919 |    15699      2 |        2 |        4
664.78/664.99	c  567s |      12 |   207553 |    32119 |    15699      2 |        2 |        4
667.48/667.64	c  570s |      12 |   209004 |    32319 |    15699      2 |        2 |        4
671.99/672.17	c  574s |      12 |   210317 |    32519 |    15699      2 |        2 |        4
675.28/675.49	c  578s |      12 |   210486 |    32619 |    15699      2 |        2 |        4
678.58/678.76	c  581s |      12 |   211033 |    32819 |    15699      2 |        2 |        4
681.78/682.00	c  584s |      12 |   211951 |    33019 |    15699      2 |        2 |        4
685.38/685.52	c  588s |      12 |   212346 |    33119 |    15699      2 |        2 |        4
688.88/689.09	c  591s |      12 |   212585 |    33219 |    15699      2 |        2 |        4
691.48/691.64	c  594s |      12 |   212890 |    33319 |    15699      2 |        2 |        4
695.18/695.40	c  598s |      12 |   213213 |    33419 |    15699      2 |        2 |        4
700.37/700.56	c  603s |      12 |   213513 |    33519 |    15699      2 |        2 |        4
702.88/703.03	c  605s |      12 |   213777 |    33619 |    15699      2 |        2 |        4
704.98/705.20	c  607s |      12 |   214216 |    33719 |    15699      2 |        2 |        4
707.67/707.87	c  610s |      12 |   214740 |    33819 |    15699      2 |        2 |        4
711.27/711.48	c  614s |      12 |   215155 |    33919 |    15699      2 |        2 |        4
714.37/714.57	c  617s |      12 |   215765 |    34119 |    15699      2 |        2 |        4
718.47/718.63	c  621s |      12 |   216386 |    34319 |    15699      2 |        2 |        4
721.17/721.31	c  623s |      12 |   216612 |    34419 |    15699      2 |        2 |        4
723.78/723.96	c  626s |      12 |   217112 |    34519 |    15699      2 |        2 |        4
726.07/726.23	c  628s |      12 |   217390 |    34619 |    15699      2 |        2 |        4
728.97/729.12	c  631s |      12 |   217942 |    34719 |    15699      2 |        2 |        4
731.27/731.46	c  634s |      12 |   218639 |    34819 |    15699      2 |        2 |        4
736.57/736.71	c  639s |      12 |   219339 |    35019 |    15699      2 |        2 |        4
739.67/739.80	c  642s |      12 |   219750 |    35119 |    15699      2 |        2 |        4
743.87/744.02	c  646s |      12 |   220779 |    35319 |    15699      2 |        2 |        4
746.77/746.99	c  649s |      12 |   221158 |    35419 |    15699      2 |        2 |        4
750.07/750.20	c  652s |      12 |   221499 |    35519 |    15699      2 |        2 |        4
752.67/752.89	c  655s |      12 |   221779 |    35619 |    15699      2 |        2 |        4
756.17/756.31	c  658s |      12 |   222118 |    35719 |    15699      2 |        2 |        4
760.56/760.78	c  663s |      12 |   222756 |    35919 |    15699      2 |        2 |        4
763.06/763.29	c  665s |      12 |   223058 |    36019 |    15699      2 |        2 |        4
769.16/769.36	c  671s |      12 |   223794 |    36219 |    15699      2 |        2 |        4
772.17/772.34	c  674s |      12 |   224685 |    36319 |    15699      2 |        2 |        4
775.26/775.47	c  678s |      12 |   225108 |    36419 |    15699      2 |        2 |        4
777.96/778.17	c  680s |      12 |   225870 |    36619 |    15699      2 |        2 |        4
780.26/780.48	c  683s |      12 |   227292 |    36819 |    15699      2 |        2 |        4
784.27/784.47	c  687s |      12 |   228443 |    37019 |    15699      2 |        2 |        4
786.37/786.56	c  689s |      12 |   229456 |    37219 |    15699      2 |        2 |        4
789.36/789.54	c  692s |      12 |   230069 |    37419 |    17269      2 |        2 |        4
791.97/792.13	c  694s |      12 |   231280 |    37619 |    17269      2 |        2 |        4
794.96/795.18	c  697s |      12 |   232164 |    37819 |    17269      2 |        2 |        4
797.56/797.70	c  700s |      12 |   232894 |    37919 |    17269      2 |        2 |        4
800.26/800.43	c  703s |      12 |   233312 |    38019 |    17269      2 |        2 |        4
803.86/804.02	c  706s |      12 |   233683 |    38119 |    17269      2 |        2 |        4
806.96/807.11	c  709s |      12 |   234067 |    38219 |    17269      2 |        2 |        4
809.76/809.92	c  712s |      12 |   234598 |    38319 |    17269      2 |        2 |        4
814.16/814.37	c  717s |      12 |   235435 |    38519 |    17269      2 |        2 |        4
817.26/817.43	c  720s |      12 |   235859 |    38619 |    17269      2 |        2 |        4
819.95/820.18	c  722s |      12 |   236481 |    38719 |    17269      2 |        2 |        4
821.05/821.29	c  723s |      13 |   236686 |    38832 |    17269      2 |        2 |        4
823.15/823.39	c  726s |      13 |   244187 |    39032 |    17269      3 |        2 |        4
825.96/826.17	c  728s |      13 |   245116 |    39232 |    17269      3 |        2 |        4
828.85/829.08	c  731s |      13 |   245899 |    39432 |    17269      3 |        2 |        4
832.15/832.31	c  734s |      13 |   246323 |    39532 |    17269      3 |        2 |        4
834.65/834.88	c  737s |      13 |   247163 |    39632 |    17269      3 |        2 |        4
836.85/837.00	c  739s |      13 |   247440 |    39732 |    17269      3 |        2 |        4
839.55/839.70	c  742s |      13 |   247885 |    39832 |    17269      3 |        2 |        4
842.35/842.56	c  745s |      13 |   248682 |    39932 |    17269      3 |        2 |        4
844.55/844.78	c  747s |      13 |   248903 |    40032 |    17269      3 |        2 |        4
848.95/849.14	c  751s |      13 |   249651 |    40232 |    17269      3 |        2 |        4
852.65/852.89	c  755s |      13 |   249911 |    40332 |    17269      3 |        2 |        4
854.95/855.10	c  757s |      13 |   250460 |    40432 |    17269      3 |        2 |        4
856.95/857.19	c  759s |      13 |   250700 |    40532 |    17269      3 |        2 |        4
862.05/862.26	c  764s |      13 |   250895 |    40632 |    17269      3 |        2 |        4
865.35/865.56	c  768s |      13 |   251335 |    40732 |    17269      3 |        2 |        4
868.75/869.00	c  771s |      13 |   251870 |    40932 |    17269      3 |        2 |        4
872.05/872.20	c  774s |      13 |   252355 |    41032 |    17269      3 |        2 |        4
874.55/874.79	c  777s |      13 |   252612 |    41132 |    17269      3 |        2 |        4
876.65/876.86	c  779s |      13 |   253324 |    41332 |    17269      3 |        2 |        4
879.65/879.82	c  782s |      13 |   253910 |    41532 |    17269      3 |        2 |        4
882.24/882.49	c  785s |      13 |   254342 |    41632 |    17269      3 |        2 |        4
885.84/886.02	c  788s |      13 |   255210 |    41832 |    17269      3 |        2 |        4
888.04/888.25	c  790s |      13 |   256392 |    42032 |    17269      3 |        2 |        4
892.05/892.26	c  794s |      13 |   258313 |    42332 |    17269      3 |        2 |        4
896.14/896.34	c  798s |      13 |   258479 |    42432 |    17269      3 |        2 |        4
900.34/900.53	c  803s |      13 |   258778 |    42532 |    17269      3 |        2 |        4
903.14/903.32	c  805s |      13 |   259252 |    42632 |    17269      3 |        2 |        4
905.54/905.70	c  808s |      13 |   259463 |    42732 |    17269      3 |        2 |        4
908.94/909.10	c  811s |      13 |   260006 |    42832 |    17269      3 |        2 |        4
911.54/911.76	c  814s |      13 |   260223 |    42932 |    17269      3 |        2 |        4
916.04/916.24	c  818s |      13 |   261195 |    43132 |    17269      3 |        2 |        4
919.34/919.51	c  822s |      13 |   261746 |    43232 |    17269      3 |        2 |        4
921.75/921.92	c  824s |      13 |   262414 |    43332 |    17269      3 |        2 |        4
926.74/926.97	c  829s |      13 |   263121 |    43532 |    17269      3 |        2 |        4
929.74/929.99	c  832s |      13 |   264108 |    43732 |    17269      3 |        2 |        4
932.44/932.61	c  835s |      13 |   264678 |    43932 |    17269      3 |        2 |        4
936.34/936.52	c  839s |      13 |   265247 |    44132 |    17269      3 |        2 |        4
938.64/938.83	c  841s |      13 |   265494 |    44232 |    17269      3 |        2 |        4
942.64/942.82	c  845s |      13 |   266547 |    44432 |    17269      3 |        2 |        4
945.54/945.79	c  848s |      13 |   267010 |    44532 |    17269      3 |        2 |        4
947.84/948.03	c  850s |      13 |   267342 |    44632 |    17269      3 |        2 |        4
950.53/950.75	c  853s |      13 |   268186 |    44832 |    17269      3 |        2 |        4
952.83/953.04	c  855s |      13 |   268693 |    44932 |    17269      3 |        2 |        4
955.84/956.05	c  858s |      13 |   268894 |    45032 |    17269      3 |        2 |        4
959.14/959.31	c  861s |      13 |   269917 |    45232 |    17269      3 |        2 |        4
961.83/962.01	c  864s |      13 |   270556 |    45432 |    17269      3 |        2 |        4
964.83/965.09	c  867s |      13 |   271318 |    45632 |    17269      3 |        2 |        4
970.63/970.81	c  873s |      13 |   272247 |    45832 |    17269      3 |        2 |        4
973.73/973.90	c  876s |      13 |   272582 |    45932 |    17269      3 |        2 |        4
978.94/979.12	c  881s |      13 |   273167 |    46132 |    17269      3 |        2 |        4
983.93/984.14	c  886s |      13 |   273543 |    46332 |    17269      3 |        2 |        4
986.13/986.39	c  889s |      13 |   273787 |    46432 |    17269      3 |        2 |        4
988.33/988.52	c  891s |      13 |   274267 |    46532 |    17269      3 |        2 |        4
991.23/991.45	c  894s |      13 |   274460 |    46632 |    17269      3 |        2 |        4
993.73/993.90	c  896s |      13 |   274836 |    46732 |    17269      3 |        2 |        4
999.03/999.26	c  901s |      13 |   275638 |    46932 |    17269      3 |        2 |        4
1002.23/1002.46	c  905s |      13 |   276654 |    47132 |    17269      3 |        2 |        4
1005.43/1005.67	c  908s |      13 |   277293 |    47232 |    17269      3 |        2 |        4
1008.43/1008.68	c  911s |      13 |   278002 |    47332 |    17269      3 |        2 |        4
1013.63/1013.84	c  916s |      13 |   278873 |    47532 |    17269      3 |        2 |        4
1016.02/1016.28	c  918s |      13 |   279448 |    47732 |    17269      3 |        2 |        4
1018.62/1018.87	c  921s |      13 |   280231 |    47932 |    17269      3 |        2 |        4
1022.72/1022.95	c  925s |      13 |   280470 |    48032 |    17269      3 |        2 |        4
1025.52/1025.74	c  928s |      13 |   280776 |    48132 |    17269      3 |        2 |        4
1028.12/1028.36	c  930s |      13 |   281656 |    48332 |    17269      3 |        2 |        4
1032.02/1032.28	c  934s |      13 |   282174 |    48532 |    17269      3 |        2 |        4
1037.32/1037.55	c  940s |      13 |   283001 |    48732 |    17269      3 |        2 |        4
1041.92/1042.18	c  944s |      13 |   283148 |    48832 |    17269      3 |        2 |        4
1044.12/1044.32	c  946s |      13 |   284029 |    48932 |    17269      3 |        2 |        4
1048.72/1048.93	c  951s |      13 |   284190 |    49032 |    17269      3 |        2 |        4
1052.63/1052.88	c  955s |      13 |   284480 |    49132 |    17269      3 |        2 |        4
1057.13/1057.35	c  959s |      13 |   284711 |    49232 |    17269      3 |        2 |        4
1059.53/1059.72	c  962s |      13 |   285207 |    49332 |    17269      3 |        2 |        4
1062.23/1062.48	c  965s |      13 |   285376 |    49432 |    17269      3 |        2 |        4
1065.13/1065.39	c  968s |      13 |   285844 |    49532 |    17269      3 |        2 |        4
1068.13/1068.36	c  970s |      13 |   286713 |    49732 |    17269      3 |        2 |        4
1071.33/1071.54	c  974s |      13 |   287167 |    49932 |    17269      3 |        2 |        4
1074.22/1074.49	c  977s |      13 |   287596 |    50132 |    17269      3 |        2 |        4
1077.02/1077.22	c  979s |      13 |   287847 |    50232 |    17269      3 |        2 |        4
1081.02/1081.22	c  983s |      13 |   288217 |    50332 |    17269      3 |        2 |        4
1083.92/1084.10	c  986s |      13 |   288475 |    50432 |    17269      3 |        2 |        4
1086.42/1086.62	c  989s |      13 |   289154 |    50632 |    17269      4 |        2 |        4
1089.93/1090.17	c  992s |      13 |   290562 |    50832 |    17269      4 |        2 |        4
1093.62/1093.83	c  996s |      13 |   290833 |    50932 |    17269      4 |        2 |        4
1098.73/1098.91	c 1001s |      13 |   292070 |    51132 |    17269      4 |        2 |        4
1101.82/1102.08	c 1004s |      13 |   292698 |    51232 |    17269      4 |        2 |        4
1105.33/1105.55	c 1008s |      13 |   292966 |    51332 |    17269      4 |        2 |        4
1107.72/1107.94	c 1010s |      13 |   293641 |    51532 |    17269      4 |        2 |        4
1111.62/1111.84	c 1014s |      13 |   294233 |    51732 |    17269      4 |        2 |        4
1114.02/1114.30	c 1016s |      13 |   294602 |    51832 |    17269      4 |        2 |        4
1117.02/1117.27	c 1019s |      13 |   294835 |    51932 |    17269      4 |        2 |        4
1120.32/1120.52	c 1023s |      13 |   295175 |    52032 |    17269      4 |        2 |        4
1122.92/1123.18	c 1025s |      13 |   295573 |    52132 |    17269      4 |        2 |        4
1125.22/1125.48	c 1028s |      13 |   296363 |    52332 |    17269      4 |        2 |        4
1127.42/1127.62	c 1030s |      13 |   296603 |    52432 |    17269      4 |        2 |        4
1130.22/1130.48	c 1033s |      13 |   296801 |    52532 |    17269      4 |        2 |        4
1133.12/1133.31	c 1035s |      13 |   297049 |    52632 |    17269      4 |        2 |        4
1135.12/1135.36	c 1037s |      13 |   297408 |    52732 |    17269      4 |        2 |        4
1139.11/1139.33	c 1041s |      13 |   298746 |    52932 |    17269      4 |        2 |        4
1142.01/1142.26	c 1044s |      13 |   300145 |    53132 |    17269      4 |        2 |        4
1144.61/1144.88	c 1047s |      13 |   301369 |    53332 |    17269      4 |        2 |        4
1147.01/1147.30	c 1049s |      13 |   302278 |    53432 |    17269      4 |        2 |        4
1149.91/1150.16	c 1052s |      13 |   302544 |    53532 |    17269      4 |        2 |        4
1152.21/1152.47	c 1055s |      13 |   302750 |    53632 |    17269      4 |        2 |        4
1154.31/1154.58	c 1057s |      13 |   303281 |    53732 |    17269      4 |        2 |        4
1157.02/1157.30	c 1059s |      13 |   304029 |    53832 |    17269      4 |        2 |        4
1160.11/1160.35	c 1062s |      13 |   304697 |    53932 |    17269      4 |        2 |        4
1162.52/1162.74	c 1065s |      13 |   305347 |    54032 |    17269      4 |        2 |        4
1166.61/1166.83	c 1069s |      13 |   306081 |    54232 |    17269      4 |        2 |        4
1170.11/1170.33	c 1072s |      13 |   306326 |    54332 |    17269      4 |        2 |        4
1172.42/1172.69	c 1075s |      13 |   307563 |    54532 |    17269      4 |        2 |        4
1174.62/1174.89	c 1077s |      13 |   307778 |    54632 |    17269      4 |        2 |        4
1178.21/1178.40	c 1081s |      13 |   308079 |    54732 |    17269      4 |        2 |        4
1182.31/1182.55	c 1085s |      13 |   308404 |    54832 |    17269      4 |        2 |        4
1185.41/1185.61	c 1088s |      13 |   308691 |    54932 |    17269      4 |        2 |        4
1187.71/1187.91	c 1090s |      13 |   309475 |    55132 |    17269      4 |        2 |        4
1190.61/1190.85	c 1093s |      13 |   310370 |    55432 |    17269      4 |        2 |        4
1194.51/1194.79	c 1097s |      13 |   311059 |    55632 |    17269      4 |        2 |        4
1198.31/1198.56	c 1101s |      13 |   312265 |    55832 |    17269      4 |        2 |        4
1200.81/1201.09	c 1103s |      13 |   313168 |    56032 |    17269      4 |        2 |        4
1203.41/1203.65	c 1106s |      13 |   314213 |    56232 |    17269      4 |        2 |        4
1205.80/1206.04	c 1108s |      13 |   315366 |    56432 |    17269      4 |        2 |        4
1208.60/1208.90	c 1111s |      13 |   316956 |    56732 |    18996      4 |        2 |        4
1211.80/1212.07	c 1114s |      13 |   318030 |    56932 |    18996      4 |        2 |        4
1214.50/1214.73	c 1117s |      13 |   318350 |    57032 |    18996      4 |        2 |        4
1217.00/1217.25	c 1119s |      13 |   318800 |    57132 |    18996      4 |        2 |        4
1219.20/1219.48	c 1122s |      13 |   319824 |    57332 |    18996      4 |        2 |        4
1223.50/1223.73	c 1126s |      13 |   320747 |    57532 |    18996      4 |        2 |        4
1226.80/1227.08	c 1129s |      13 |   321432 |    57732 |    18996      4 |        2 |        4
1229.90/1230.17	c 1132s |      13 |   321822 |    57932 |    18996      4 |        2 |        4
1234.11/1234.32	c 1136s |      13 |   322219 |    58132 |    18996      4 |        2 |        4
1236.80/1237.02	c 1139s |      13 |   322479 |    58232 |    18996      4 |        2 |        4
1238.60/1238.83	c 1141s |      14 |   322833 |    58352 |    18996      4 |        2 |        4
1241.30/1241.52	c 1144s |      14 |   328072 |    58552 |    18996      5 |        2 |        4
1244.30/1244.58	c 1147s |      14 |   328631 |    58652 |    18996      5 |        2 |        4
1246.90/1247.13	c 1149s |      14 |   328909 |    58752 |    18996      5 |        2 |        4
1249.70/1249.94	c 1152s |      14 |   329184 |    58852 |    18996      5 |        2 |        4
1252.40/1252.60	c 1155s |      14 |   332286 |    59152 |    18996      5 |        2 |        4
1255.29/1255.51	c 1158s |      14 |   333042 |    59352 |    18996      5 |        2 |        4
1258.79/1259.03	c 1161s |      14 |   335176 |    59652 |    18996      5 |        2 |        4
1260.99/1261.24	c 1163s |      14 |   335882 |    59852 |    18996      5 |        2 |        4
1263.39/1263.64	c 1166s |      14 |   336792 |    60052 |    18996      5 |        2 |        4
1265.49/1265.74	c 1168s |      14 |   337139 |    60252 |    18996      5 |        2 |        4
1267.89/1268.16	c 1170s |      14 |   337896 |    60452 |    18996      5 |        2 |        4
1270.89/1271.15	c 1173s |      14 |   338472 |    60652 |    18996      5 |        2 |        4
1273.29/1273.53	c 1176s |      14 |   338959 |    60852 |    18996      5 |        2 |        4
1275.90/1276.17	c 1178s |      14 |   339798 |    61052 |    18996      5 |        2 |        4
1279.19/1279.44	c 1182s |      14 |   340360 |    61252 |    18996      5 |        2 |        4
1282.19/1282.40	c 1185s |      14 |   341368 |    61452 |    18996      5 |        2 |        4
1286.09/1286.35	c 1188s |      14 |   341861 |    61652 |    18996      5 |        2 |        4
1289.59/1289.85	c 1192s |      14 |   342689 |    61852 |    18996      5 |        2 |        4
1292.79/1293.06	c 1195s |      14 |   343306 |    62052 |    18996      5 |        2 |        4
1295.19/1295.49	c 1198s |      14 |   343934 |    62252 |    18996      5 |        2 |        4
1299.08/1299.33	c 1201s |      14 |   345011 |    62452 |    18996      5 |        2 |        4
1301.38/1301.66	c 1204s |      14 |   345402 |    62552 |    18996      5 |        2 |        4
1304.08/1304.34	c 1206s |      14 |   346184 |    62752 |    18996      5 |        2 |        4
1308.18/1308.41	c 1211s |      14 |   346790 |    62952 |    18996      5 |        2 |        4
1311.18/1311.46	c 1214s |      14 |   347148 |    63052 |    18996      5 |        2 |        4
1314.48/1314.75	c 1217s |      14 |   348448 |    63252 |    18996      5 |        2 |        4
1317.18/1317.47	c 1220s |      14 |   348703 |    63352 |    18996      5 |        2 |        4
1319.58/1319.90	c 1222s |      14 |   349360 |    63452 |    18996      5 |        2 |        4
1322.18/1322.42	c 1225s |      14 |   349791 |    63552 |    18996      5 |        2 |        4
1324.98/1325.22	c 1227s |      14 |   350603 |    63752 |    18996      5 |        2 |        4
1327.49/1327.74	c 1230s |      14 |   350962 |    63852 |    18996      5 |        2 |        4
1330.18/1330.44	c 1233s |      14 |   351231 |    63952 |    18996      5 |        2 |        4
1332.28/1332.59	c 1235s |      14 |   351451 |    64052 |    18996      5 |        2 |        4
1336.78/1337.02	c 1239s |      14 |   352162 |    64252 |    18996      5 |        2 |        4
1338.88/1339.11	c 1241s |      14 |   352541 |    64352 |    18996      5 |        2 |        4
1341.98/1342.21	c 1244s |      14 |   353082 |    64552 |    18996      5 |        2 |        4
1345.58/1345.85	c 1248s |      14 |   353644 |    64752 |    18996      5 |        2 |        4
1348.98/1349.29	c 1251s |      14 |   354024 |    64852 |    18996      5 |        2 |        4
1351.98/1352.24	c 1254s |      14 |   354379 |    64952 |    18996      5 |        2 |        4
1355.58/1355.86	c 1258s |      14 |   354632 |    65052 |    18996      5 |        2 |        4
1358.97/1359.22	c 1261s |      14 |   355317 |    65252 |    18996      5 |        2 |        4
1361.68/1361.98	c 1264s |      14 |   355706 |    65352 |    18996      5 |        2 |        4
1364.27/1364.54	c 1267s |      14 |   356485 |    65452 |    18996      5 |        2 |        4
1366.77/1367.07	c 1269s |      14 |   356795 |    65552 |    18996      5 |        2 |        4
1369.67/1369.91	c 1272s |      14 |   357815 |    65752 |    18996      5 |        2 |        4
1373.07/1373.33	c 1275s |      14 |   358069 |    65852 |    18996      5 |        2 |        4
1375.47/1375.75	c 1278s |      14 |   358515 |    65952 |    18996      5 |        2 |        4
1379.37/1379.65	c 1282s |      14 |   358744 |    66052 |    18996      5 |        2 |        4
1381.67/1381.94	c 1284s |      14 |   358962 |    66152 |    18996      5 |        2 |        4
1383.87/1384.14	c 1286s |      14 |   360086 |    66352 |    18996      5 |        2 |        4
1386.88/1387.16	c 1289s |      14 |   360351 |    66452 |    18996      5 |        2 |        4
1388.87/1389.18	c 1291s |      14 |   360901 |    66652 |    18996      5 |        2 |        4
1391.77/1392.06	c 1294s |      14 |   361372 |    66752 |    18996      5 |        2 |        4
1394.17/1394.49	c 1297s |      14 |   361681 |    66852 |    18996      5 |        2 |        4
1396.47/1396.78	c 1299s |      14 |   362667 |    67152 |    18996      5 |        2 |        4
1400.07/1400.36	c 1302s |      14 |   363683 |    67352 |    18996      5 |        2 |        4
1402.57/1402.83	c 1305s |      14 |   364374 |    67552 |    18996      5 |        2 |        4
1404.97/1405.20	c 1307s |      14 |   364576 |    67652 |    18996      5 |        2 |        4
1407.67/1407.92	c 1310s |      14 |   364947 |    67752 |    18996      5 |        2 |        4
1410.07/1410.36	c 1312s |      14 |   365683 |    67952 |    18996      5 |        2 |        4
1412.77/1413.07	c 1315s |      14 |   365928 |    68052 |    18996      5 |        2 |        4
1414.86/1415.14	c 1317s |      14 |   366765 |    68252 |    18996      5 |        2 |        4
1417.06/1417.31	c 1319s |      14 |   367411 |    68452 |    18996      5 |        2 |        4
1420.56/1420.86	c 1323s |      14 |   367961 |    68652 |    18996      5 |        2 |        4
1422.96/1423.25	c 1325s |      14 |   368399 |    68752 |    18996      5 |        2 |        4
1426.57/1426.82	c 1329s |      14 |   368718 |    68852 |    18996      5 |        2 |        4
1428.86/1429.17	c 1331s |      14 |   369016 |    68952 |    18996      5 |        2 |        4
1431.56/1431.84	c 1334s |      14 |   369828 |    69152 |    18996      5 |        2 |        4
1434.16/1434.44	c 1337s |      14 |   370403 |    69252 |    18996      5 |        2 |        4
1436.86/1437.15	c 1339s |      14 |   370647 |    69352 |    18996      5 |        2 |        4
1439.56/1439.86	c 1342s |      14 |   371382 |    69552 |    18996      5 |        2 |        4
1442.06/1442.32	c 1344s |      14 |   371930 |    69652 |    18996      5 |        2 |        4
1444.65/1444.98	c 1347s |      14 |   372707 |    69852 |    18996      5 |        2 |        4
1447.85/1448.14	c 1350s |      14 |   373397 |    70052 |    18996      5 |        2 |        4
1450.85/1451.13	c 1353s |      14 |   374058 |    70252 |    18996      5 |        2 |        4
1453.96/1454.22	c 1356s |      14 |   374709 |    70452 |    18996      5 |        2 |        4
1459.05/1459.32	c 1361s |      14 |   375509 |    70652 |    18996      5 |        2 |        4
1461.45/1461.74	c 1364s |      14 |   375801 |    70752 |    18996      5 |        2 |        4
1463.45/1463.77	c 1366s |      14 |   376653 |    70952 |    18996      5 |        2 |        4
1468.04/1468.31	c 1370s |      14 |   377357 |    71152 |    18996      5 |        2 |        4
1472.04/1472.34	c 1374s |      14 |   377573 |    71252 |    18996      5 |        2 |        4
1474.04/1474.37	c 1376s |      14 |   377831 |    71352 |    18996      5 |        2 |        4
1476.64/1476.98	c 1379s |      14 |   378597 |    71552 |    18996      5 |        2 |        4
1479.34/1479.62	c 1382s |      14 |   378815 |    71652 |    18996      5 |        2 |        4
1482.13/1482.50	c 1385s |      14 |   379296 |    71852 |    18996      5 |        2 |        4
1485.23/1485.59	c 1388s |      14 |   379659 |    72052 |    18996      5 |        2 |        4
1489.93/1490.29	c 1392s |      14 |   380294 |    72252 |    18996      5 |        2 |        4
1492.54/1492.82	c 1395s |      14 |   381067 |    72352 |    18996      5 |        2 |        4
1495.12/1495.48	c 1398s |      14 |   381374 |    72452 |    18996      5 |        2 |        4
1498.92/1499.21	c 1401s |      14 |   382270 |    72652 |    18996      5 |        2 |        4
1503.43/1503.76	c 1406s |      14 |   383451 |    72852 |    18996      5 |        2 |        4
1505.73/1506.07	c 1408s |      14 |   383819 |    72952 |    18996      5 |        2 |        4
1510.22/1510.59	c 1413s |      14 |   384339 |    73152 |    18996      5 |        2 |        4
1513.12/1513.49	c 1416s |      14 |   385795 |    73452 |    18996      5 |        2 |        4
1516.42/1516.72	c 1419s |      14 |   386615 |    73652 |    18996      5 |        2 |        4
1518.72/1519.06	c 1421s |      14 |   386780 |    73752 |    18996      6 |        2 |        4
1522.02/1522.30	c 1424s |      14 |   387985 |    74052 |    18996      6 |        2 |        4
1524.82/1525.18	c 1427s |      14 |   388220 |    74152 |    18996      6 |        2 |        4
1526.92/1527.23	c 1429s |      14 |   388638 |    74252 |    18996      6 |        2 |        4
1529.22/1529.56	c 1432s |      14 |   389110 |    74452 |    18996      6 |        2 |        4
1531.42/1531.79	c 1434s |      14 |   389368 |    74552 |    18996      6 |        2 |        4
1533.92/1534.20	c 1436s |      14 |   390176 |    74752 |    18996      6 |        2 |        4
1537.72/1538.06	c 1440s |      14 |   390753 |    74952 |    18996      6 |        2 |        4
1540.92/1541.22	c 1443s |      14 |   391518 |    75152 |    18996      6 |        2 |        4
1544.91/1545.20	c 1447s |      14 |   391941 |    75352 |    18996      6 |        2 |        4
1547.21/1547.57	c 1450s |      14 |   392476 |    75552 |    18996      6 |        2 |        4
1550.01/1550.31	c 1452s |      14 |   393596 |    75852 |    18996      6 |        2 |        4
1552.01/1552.36	c 1454s |      14 |   394306 |    76052 |    18996      6 |        2 |        4
1555.41/1555.78	c 1458s |      14 |   394932 |    76252 |    18996      6 |        2 |        4
1557.91/1558.22	c 1460s |      14 |   395902 |    76452 |    18996      6 |        2 |        4
1559.90/1560.29	c 1462s |      14 |   396212 |    76552 |    18996      6 |        2 |        4
1562.40/1562.73	c 1465s |      14 |   396480 |    76652 |    18996      6 |        2 |        4
1564.60/1564.92	c 1467s |      14 |   396876 |    76752 |    18996      6 |        2 |        4
1566.90/1567.21	c 1469s |      14 |   397115 |    76852 |    18996      6 |        2 |        4
1570.51/1570.90	c 1473s |      14 |   397708 |    77052 |    18996      6 |        2 |        4
1573.40/1573.78	c 1476s |      14 |   397862 |    77152 |    18996      6 |        2 |        4
1575.90/1576.22	c 1478s |      14 |   398150 |    77252 |    18996      6 |        2 |        4
1578.40/1578.74	c 1481s |      14 |   398373 |    77352 |    18996      6 |        2 |        4
1581.40/1581.76	c 1484s |      14 |   399416 |    77652 |    18996      6 |        2 |        4
1583.40/1583.79	c 1486s |      14 |   400054 |    77852 |    18996      6 |        2 |        4
1586.30/1586.60	c 1489s |      14 |   400744 |    78152 |    18996      6 |        2 |        4
1588.70/1589.06	c 1491s |      14 |   401822 |    78452 |    18996      6 |        2 |        4
1590.90/1591.21	c 1493s |      14 |   402605 |    78752 |    18996      6 |        2 |        4
1593.00/1593.33	c 1495s |      14 |   403426 |    79052 |    18996      6 |        2 |        4
1595.40/1595.76	c 1498s |      14 |   404536 |    79452 |    18996      6 |        2 |        4
1597.90/1598.29	c 1500s |      14 |   405753 |    79852 |    18996      6 |        2 |        4
1600.60/1600.98	c 1503s |      14 |   406591 |    80052 |    18996      6 |        2 |        4
1603.10/1603.45	c 1506s |      14 |   407265 |    80252 |    18996      6 |        2 |        4
1607.10/1607.47	c 1510s |      14 |   407763 |    80452 |    18996      6 |        2 |        4
1612.00/1612.35	c 1514s |      14 |   408624 |    80652 |    18996      6 |        2 |        4
1614.79/1615.13	c 1517s |      14 |   408784 |    80752 |    18996      6 |        2 |        4
1617.29/1617.62	c 1520s |      14 |   408962 |    80852 |    18996      6 |        2 |        4
1619.79/1620.20	c 1522s |      14 |   409639 |    80952 |    18996      6 |        2 |        4
1622.20/1622.52	c 1525s |      14 |   409831 |    81052 |    18996      6 |        2 |        4
1624.40/1624.72	c 1527s |      14 |   410174 |    81152 |    18996      6 |        2 |        4
1626.79/1627.16	c 1529s |      14 |   410665 |    81252 |    18996      6 |        2 |        4
1629.19/1629.57	c 1532s |      14 |   410848 |    81352 |    18996      6 |        2 |        4
1631.69/1632.02	c 1534s |      14 |   411703 |    81552 |    18996      6 |        2 |        4
1634.59/1634.90	c 1537s |      14 |   413142 |    81852 |    18996      6 |        2 |        4
1636.89/1637.21	c 1539s |      14 |   413535 |    82052 |    18996      6 |        2 |        4
1639.19/1639.58	c 1542s |      14 |   414125 |    82352 |    18996      6 |        2 |        4
1641.59/1641.98	c 1544s |      14 |   415093 |    82652 |    18996      6 |        2 |        4
1644.30/1644.62	c 1547s |      14 |   416164 |    82952 |    18996      6 |        2 |        4
1647.79/1648.14	c 1550s |      14 |   417482 |    83152 |    18996      6 |        2 |        4
1650.69/1651.10	c 1553s |      14 |   417695 |    83252 |    18996      6 |        2 |        4
1654.59/1654.94	c 1557s |      14 |   418293 |    83452 |    18996      6 |        2 |        4
1656.69/1657.02	c 1559s |      14 |   418602 |    83552 |    18996      6 |        2 |        4
1658.99/1659.32	c 1561s |      14 |   419073 |    83652 |    18996      6 |        2 |        4
1661.49/1661.82	c 1564s |      14 |   419225 |    83752 |    18996      6 |        2 |        4
1663.99/1664.32	c 1566s |      14 |   419938 |    83852 |    18996      6 |        2 |        4
1666.48/1666.82	c 1569s |      14 |   420111 |    83952 |    18996      6 |        2 |        4
1668.98/1669.35	c 1571s |      14 |   420470 |    84052 |    18996      6 |        2 |        4
1671.69/1672.04	c 1574s |      14 |   421217 |    84152 |    18996      6 |        2 |        4
1673.78/1674.16	c 1576s |      14 |   421489 |    84252 |    18996      6 |        2 |        4
1675.88/1676.29	c 1578s |      14 |   421904 |    84352 |    18996      6 |        2 |        4
1678.78/1679.18	c 1581s |      14 |   422124 |    84452 |    18996      6 |        2 |        4
1681.18/1681.51	c 1584s |      14 |   422481 |    84552 |    18996      6 |        2 |        4
1683.38/1683.76	c 1586s |      14 |   422719 |    84652 |    18996      6 |        2 |        4
1686.08/1686.48	c 1589s |      14 |   422906 |    84752 |    18996      6 |        2 |        4
1688.77/1689.10	c 1591s |      14 |   423996 |    85052 |    18996      6 |        2 |        4
1691.07/1691.44	c 1594s |      14 |   425073 |    85352 |    18996      6 |        2 |        4
1694.07/1694.43	c 1597s |      14 |   426326 |    85652 |    18996      7 |        2 |        4
1697.47/1697.88	c 1600s |      14 |   428120 |    85952 |    20896      7 |        2 |        4
1699.67/1700.06	c 1602s |      14 |   428982 |    86152 |    20896      7 |        2 |        4
1702.47/1702.87	c 1605s |      14 |   429418 |    86352 |    20896      7 |        2 |        4
1705.16/1705.53	c 1608s |      14 |   429606 |    86452 |    20896      7 |        2 |        4
1707.16/1707.59	c 1610s |      14 |   430251 |    86652 |    20896      7 |        2 |        4
1710.56/1710.92	c 1613s |      14 |   430803 |    86852 |    20896      7 |        2 |        4
1712.76/1713.12	c 1615s |      14 |   431172 |    86952 |    20896      7 |        2 |        4
1717.06/1717.43	c 1620s |      14 |   431632 |    87152 |    20896      7 |        2 |        4
1719.26/1719.60	c 1622s |      14 |   432214 |    87352 |    20896      7 |        2 |        4
1721.96/1722.35	c 1624s |      15 |   434178 |    87632 |    20896      7 |        2 |        4
1724.16/1724.52	c 1627s |      15 |   440088 |    87932 |    20896      7 |        2 |        4
1726.86/1727.22	c 1629s |      15 |   440795 |    88132 |    20896      7 |        2 |        4
1730.66/1731.07	c 1633s |      15 |   441297 |    88332 |    20896      7 |        2 |        4
1733.46/1733.88	c 1636s |      15 |   441966 |    88532 |    20896      7 |        2 |        4
1736.06/1736.46	c 1639s |      15 |   442513 |    88732 |    20896      7 |        2 |        4
1738.26/1738.69	c 1641s |      15 |   442731 |    88832 |    20896      7 |        2 |        4
1741.16/1741.54	c 1644s |      15 |   443229 |    89032 |    20896      7 |        2 |        4
1743.56/1743.97	c 1646s |      15 |   443660 |    89232 |    20896      7 |        2 |        4
1745.86/1746.20	c 1648s |      15 |   444047 |    89332 |    20896      7 |        2 |        4
1749.15/1749.56	c 1652s |      15 |   444496 |    89532 |    20896      7 |        2 |        4
1751.75/1752.19	c 1654s |      15 |   444767 |    89632 |    20896      7 |        2 |        4
1753.85/1754.23	c 1656s |      15 |   445142 |    89732 |    20896      7 |        2 |        4
1756.55/1756.96	c 1659s |      15 |   445628 |    89932 |    20896      7 |        2 |        4
1758.75/1759.17	c 1661s |      15 |   446375 |    90132 |    20896      7 |        2 |        4
1760.86/1761.28	c 1663s |      15 |   447058 |    90332 |    20896      7 |        2 |        4
1763.15/1763.52	c 1666s |      15 |   448042 |    90532 |    20896      7 |        2 |        4
1765.35/1765.72	c 1668s |      15 |   448789 |    90732 |    20896      7 |        2 |        4
1768.35/1768.73	c 1671s |      15 |   449961 |    90932 |    20896      7 |        2 |        4
1771.95/1772.31	c 1674s |      15 |   450603 |    91132 |    20896      7 |        2 |        4
1774.95/1775.32	c 1677s |      15 |   450914 |    91232 |    20896      7 |        2 |        4
1778.05/1778.45	c 1681s |      15 |   451256 |    91332 |    20896      7 |        2 |        4
1780.56/1780.96	c 1683s |      15 |   451493 |    91432 |    20896      7 |        2 |        4
1782.55/1782.99	c 1685s |      15 |   451705 |    91532 |    20896      7 |        2 |        4
1784.65/1785.04	c 1687s |      15 |   451992 |    91632 |    20896      7 |        2 |        4
1787.65/1788.06	c 1690s |      15 |   452934 |    91932 |    20896      7 |        2 |        4
1789.85/1790.20	c 1692s |      15 |   454778 |    92232 |    20896      7 |        2 |        4
1793.15/1793.58	c 1696s |      15 |   456274 |    92432 |    20896      7 |        2 |        4
1796.95/1797.30	c 1699s |      15 |   457030 |    92632 |    20896      7 |        2 |        4

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

pid=25224
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.14 2.11 2.08 3/179 25227
/proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=393660 CPUtime=0 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 1407 0 0 0 0 0 0 0 20 0 4 0 30250014 403107840 2279 33554432000 4194304 16246674 140735024606352 140735024605776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 98927 2289 441 2943 0 95821 0
[pid=25227/tid=25228] ppid=25224 vsize=410044 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 419885056 2344 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=414140 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 424079360 2361 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=418236 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 428273664 2377 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.14 2.11 2.08 3/179 25227
/proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 26014 0 0 0 5 4 0 0 20 0 4 0 30250014 1333334016 26825 33554432000 4194304 16246674 140735024606352 140735024605664 7371468 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 325521 26839 799 2943 0 322415 0
[pid=25227/tid=25228] ppid=25224 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1333334016 26848 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1333334016 26856 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1333334016 26856 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200447 s]
/proc/loadavg: 2.14 2.11 2.08 3/179 25227
/proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1303108 CPUtime=0.19 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 45287 0 0 0 12 7 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 140735024605664 13769568 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 325777 46097 835 2943 0 322671 0
[pid=25227/tid=25228] ppid=25224 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1334382592 46097 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1303108

[startup+0.300422 s]
/proc/loadavg: 2.14 2.11 2.08 3/179 25227
/proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1310276 CPUtime=0.28 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 63859 0 0 0 19 9 0 0 20 0 4 0 30250014 1341722624 64670 33554432000 4194304 16246674 140735024606352 140735024605664 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 327569 64673 854 2943 0 324463 0
[pid=25227/tid=25228] ppid=25224 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1341722624 64675 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1341722624 64678 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1341722624 64681 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1310276

[startup+0.700398 s]
/proc/loadavg: 2.14 2.11 2.08 3/179 25227
/proc/meminfo: memFree=30012560/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1323588 CPUtime=0.69 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 73512 0 0 0 58 11 0 0 20 0 4 0 30250014 1355354112 74322 33554432000 4194304 16246674 140735024606352 140735024588224 5602147 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 330897 74326 883 2943 0 327791 0
[pid=25227/tid=25228] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 74330 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 74332 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 74334 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1323588

[startup+1.50038 s]
/proc/loadavg: 2.13 2.10 2.08 3/183 25231
/proc/meminfo: memFree=29488088/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1323588 CPUtime=1.49 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 132692 0 0 0 130 19 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 140735024588224 12652957 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 330897 133502 911 2943 0 327791 0
[pid=25227/tid=25228] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1355354112 133502 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1323588

[startup+3.10039 s]
/proc/loadavg: 2.13 2.10 2.08 3/183 25231
/proc/meminfo: memFree=29019244/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1394244 CPUtime=3.08 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 289550 0 0 0 268 40 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 140735024588224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 348561 290360 911 2943 0 345455 0
[pid=25227/tid=25228] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290360 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1394244

[startup+6.30038 s]
/proc/loadavg: 2.12 2.10 2.08 3/183 25231
/proc/meminfo: memFree=28850236/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1394244 CPUtime=6.28 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 289767 0 0 0 588 40 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 140735024605664 12371164 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25227/statm: 348561 290577 911 2943 0 345455 0
[pid=25227/tid=25228] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1394244

[startup+12.7004 s]
/proc/loadavg: 2.11 2.10 2.08 3/183 25231
/proc/meminfo: memFree=28850148/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1394244 CPUtime=12.68 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 289767 0 0 0 1228 40 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 140735024604160 4225301 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 348561 290577 911 2943 0 345455 0
[pid=25227/tid=25228] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795460234256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1394244 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1427705856 290577 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1394244

[startup+25.5005 s]
/proc/loadavg: 2.17 2.11 2.08 3/183 25231
/proc/meminfo: memFree=28742764/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1496644 CPUtime=25.48 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 315367 0 0 0 2504 44 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 140735024605664 4206959 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 374161 316177 911 2943 0 371055 0
[pid=25227/tid=25228] ppid=25224 vsize=1496644 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1496644 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1496644 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1532563456 316177 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1496644

[startup+51.1005 s]
/proc/loadavg: 2.10 2.10 2.08 3/183 25231
/proc/meminfo: memFree=28522200/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1685060 CPUtime=51.08 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 362473 0 0 0 5058 50 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 140735024605664 12654032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 421265 363283 912 2943 0 418159 0
[pid=25227/tid=25228] ppid=25224 vsize=1685060 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1685060 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1685060 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 1725501440 363283 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1685060

[startup+102.3 s]
/proc/loadavg: 2.09 2.10 2.08 3/183 25232
/proc/meminfo: memFree=28137284/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=102.27 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526315 0 0 0 10154 73 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 140735024588224 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439061 914 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439061 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1988164


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

/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439066 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1988164

[startup+1302.3 s]
/proc/loadavg: 2.13 2.18 2.14 4/183 25263
/proc/meminfo: memFree=27361560/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1302.08 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526331 0 0 0 130133 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1988164

[startup+1362.3 s]
/proc/loadavg: 2.09 2.16 2.13 4/183 25264
/proc/meminfo: memFree=27362208/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1362.07 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526337 0 0 0 136132 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1988164

[startup+1422.3 s]
/proc/loadavg: 2.07 2.14 2.13 3/183 25266
/proc/meminfo: memFree=27323920/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1422.07 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526340 0 0 0 142132 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1988164

[startup+1482.3 s]
/proc/loadavg: 2.02 2.12 2.11 3/183 25267
/proc/meminfo: memFree=27322836/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1482.03 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526367 0 0 0 148128 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5711552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1988164

[startup+1542.31 s]
/proc/loadavg: 2.11 2.12 2.11 3/183 25268
/proc/meminfo: memFree=27246856/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1542.02 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526383 0 0 0 154127 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5829752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1988164

[startup+1602.3 s]
/proc/loadavg: 2.04 2.10 2.10 3/184 25321
/proc/meminfo: memFree=28796192/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1602 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526395 0 0 0 160125 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 12415743 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1988164

[startup+1662.3 s]
/proc/loadavg: 2.04 2.09 2.10 3/184 25345
/proc/meminfo: memFree=28745852/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1661.99 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526399 0 0 0 166124 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1988164

[startup+1722.3 s]
/proc/loadavg: 2.01 2.07 2.09 3/183 25347
/proc/meminfo: memFree=28698280/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1721.96 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526424 0 0 0 172121 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024589352 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1988164

[startup+1782.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 25348
/proc/meminfo: memFree=28245456/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1781.95 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526425 0 0 0 178120 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 13774449 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1988164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 25348
/proc/meminfo: memFree=28245308/32872528 swapFree=534252/566956
[pid=25227] ppid=25224 vsize=1988164 CPUtime=1800.05 cores=0,2,4,6
/proc/25227/stat : 25227 (toysat) R 25224 25227 24407 0 -1 4202496 526425 0 0 0 179930 75 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 140735024588224 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25227/statm: 497041 439069 919 2943 0 493935 0
[pid=25227/tid=25228] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25228/stat : 25228 (toysat) S 25224 25227 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795470724336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25227/tid=25229] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25229/stat : 25229 (toysat) S 25224 25227 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795460234480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25227/tid=25230] ppid=25224 vsize=1988164 CPUtime=0 cores=0,2,4,6
/proc/25227/task/25230/stat : 25230 (toysat) S 25224 25227 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30250014 2035879936 439069 33554432000 4194304 16246674 140735024606352 139795347008688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1988164

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 25227 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.45
CPU time (s): 1800.11
CPU user time (s): 1799.3
CPU system time (s): 0.802877
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 1988164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.802877
maximum resident set size= 1756276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526425
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= 329
involuntary context switches= 1897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6109 second user time and 9.52455 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 22:34:04
IDJOB=4107078
IDBENCH=71865
IDSOLVER=2542
FILE ID=node138/4107078-1466282044
RUNJOBID= node138-1466276409-24423
PBS_JOBID= 19918262
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__8.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107078-1466282044/watcher-4107078-1466282044 -o /tmp/evaluation-result-4107078-1466282044/solver-4107078-1466282044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24423 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107078-1466282044.opb

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

MD5SUM BENCH= c120d8f4dcbc5272249a5c279ae2547e
RANDOM SEED=915941567

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30012188 kB
Buffers:          152388 kB
Cached:           296848 kB
SwapCached:         1060 kB
Active:          1249396 kB
Inactive:         301520 kB
Active(anon):    1101832 kB
Inactive(anon):     1696 kB
Active(file):     147564 kB
Inactive(file):   299824 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       1667024 kB
Mapped:            10880 kB
Shmem:                 0 kB
Slab:             608504 kB
SReclaimable:      52020 kB
SUnreclaim:       556484 kB
KernelStack:        1480 kB
PageTables:         7304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1931728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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= 71696 MiB
End job on node138 at 2016-06-18 23:04:04