Trace number 4093065

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.13 1800.42

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo
MD5SUM183bb2e2a61d9270f00fd9e637b7d95c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark33777
Best CPU time to get the best result obtained on this benchmark102.143
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables81558
Total number of constraints240469
Number of soft constraints81548
Number of constraints which are clauses235865
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4604
Minimum length of a constraint1
Maximum length of a constraint13
Top cost 4119029
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4119028
Biggest number in a constraint 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 257
Number of bits of the biggest sum of numbers9
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-16T13:08:06+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","--wbo","--search=bcd2","HOME/instance-4093065-1466075286.wbo"]
0.00/0.01	c use --random-gen="1627131769 2585503400 3634347270 1769644028 2212897284 2957966976 670616034 2468587684 2806897272 2550705070 3320383831 165434721 472308764 2919796720 703366929 1738877598 3337679682 3486235075 3866986393 3914085494 2290932398 699885415 3698767012 2572309210 2939334249 2787321026 2968783861 973766713 2175341912 2153492516 3265068387 1864194521 3210085917 1085396476 3631684008 2513130580 1602543931 865494882 3091922120 2889137844 2655286651 1270019340 1226114448 1244891386 3883698755 3466026299 2600405390 536318304 3866934580 2707152585 3474814036 3344229246 1863236147 1840610592 1211050909 2233073157 787415443 1164888730 2263510175 304287942 351333262 645521157 2077148130 3284146939 354602481 3871469315 964907377 3659932046 1259110168 320214216 283365701 1755409757 43166618 3527173606 312873392 2159129474 3882377846 3285518715 3266404995 842405026 1869241120 4271946672 405406885 4233530448 3711791875 1891365721 1588739998 1299317456 4278367122 2246828947 2605904454 1064789389 1747495116 2785635881 2870721174 2499541455 3101453984 1707168242 1884023480 415342568 1627096867 3555765487 1201628914 2807461677 1350020653 3278330127 2913690597 964119926 3108030346 771272750 1417746104 2835888354 1695660162 4013212494 3588519993 3026823351 1308530950 1122586200 823658780 2566272212 2225127168 680170871 2531642160 463997906 3385355708 1076134728 3515398971 3754726194 1478645619 2804906935 3297564914 2599508334 879423507 3797438811 1366892240 3401462796 2744338593 460902672 2932467219 2260066313 1248917156 1748549711 4194607799 3234222241 2552280339 4201327739 1449287709 2271482969 3622653531 831429140 84617562 3712155036 2613909126 3134337233 1834747996 3995677152 605408360 2187793553 4171190173 390784777 1196927628 3683287957 110421255 1616294513 3244704966 3319589250 916115517 1143521547 1299585557 1679873850 1712253513 2185034786 4001142971 3484334715 4138734301 750670 2466466338 888882174 3632886403 2367692097 4195236703 2373587861 1784973321 2580103976 2602062543 2078533404 839742487 2702942336 982338017 1943233672 1334050324 2939091352 460508195 1072926116 1329771676 3502687600 2902356802 3186761362 2600721197 684908873 3670581841 425614881 2147134176 1982588906 3013149358 800812469 2698275764 1627941781 3725241411 1080416989 1982597869 244811681 2822226774 3375310052 684204832 3915884227 3436351862 921429752 3516203688 3323925665 3044501697 925418744 1750737668 4006318357 476996267 4223994391 309911317 2126175337 3243893441 1257115667 3724697042 253365142 3590058367 3108178036 2146558276 1425282415 1361819347 1968257866 1431605967 2898098539 1278492279 4289567294 2823573452 4034316329 2872616927 2396459263 3072771505 1990686100 2568461911 3949884376 2089436749 1079857411 3213594963 3567445032 1564071959 4192231742 255 362436" option to reproduce the execution
5.99/6.07	c #vars 81558
5.99/6.07	c #constraints 240469
10.39/10.46	c BCD2: Hardening is enabled.
10.39/10.46	c BCD2: BiasedSearch is enabled.
10.39/10.46	c Solving starts ...
10.39/10.46	c ============================[ Search Statistics ]============================
10.39/10.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.39/10.46	c       |         |          |          |    Limit     GC | Var      | Constra 
10.39/10.46	c =============================================================================
10.39/10.47	c  0.0s |       0 |        0 |        0 |   134524      0 |        1 |        0
11.79/11.81	c  1.3s |       1 |   154239 |      100 |   134524      0 |        1 |        0
12.69/12.70	c  2.2s |       1 |   310995 |      117 |   147977      0 |        1 |        0
12.69/12.70	c #cpu_time = 2.109s
12.69/12.70	c #wall_clock_time = 2.109s
12.69/12.70	c #decision = 310995
12.69/12.70	c #random_decision = 934
12.69/12.70	c #conflict = 117
12.69/12.70	c #restart = 1
12.69/12.72	o 16529
12.89/12.98	c BCD2: updating upper bound: 4119028 -> 16528
13.49/13.51	c BCD2: 0 <= obj <= 16528
13.49/13.52	c BCD2: #cores=0, #unrelaxed=81548, #relaxed=0, #hardened=0
13.49/13.52	c BCD2: #sat=1 #unsat=1 bias=1/2
13.49/13.53	c Solving starts ...
13.49/13.53	c ============================[ Search Statistics ]============================
13.49/13.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.49/13.53	c       |         |          |          |    Limit     GC | Var      | Constra 
13.49/13.53	c =============================================================================
13.49/13.53	c  0.0s |       0 |        0 |        0 |   147977      0 |        1 |        0
15.29/15.32	c  1.8s |       1 |    82158 |      100 |   147977      0 |        1 |        0
17.39/17.46	c  3.9s |       1 |   195990 |      200 |   162775      0 |        1 |        0
18.39/18.42	c  4.9s |       2 |   196154 |      250 |   162775      0 |        1 |        0
21.89/21.98	c  8.5s |       2 |   278231 |      450 |   179053      0 |        1 |        0
22.39/22.46	c  8.9s |       3 |   278279 |      475 |   179053      0 |        1 |        0
25.49/25.59	c 12.1s |       3 |   360038 |      575 |   179053      0 |        1 |        0
28.48/28.57	c 15.0s |       3 |   360471 |      775 |   196959      0 |        1 |        0
29.18/29.24	c 15.7s |       4 |   360543 |      813 |   196959      0 |        1 |        0
31.28/31.31	c 17.8s |       4 |   442419 |     1013 |   196959      0 |        1 |        0
33.48/33.56	c 20.0s |       4 |   442587 |     1113 |   196959      0 |        1 |        0
36.18/36.27	c 22.7s |       4 |   442987 |     1313 |   216655      0 |        1 |        0
36.39/36.43	c 22.9s |       5 |   443002 |     1320 |   216655      0 |        1 |        0
38.38/38.47	c 24.9s |       5 |   524955 |     1520 |   216655      0 |        1 |        0
41.38/41.44	c 27.9s |       5 |   525720 |     1720 |   216655      0 |        1 |        0
44.48/44.59	c 31.1s |       5 |   528065 |     1920 |   216655      0 |        1 |        0
46.78/46.88	c 33.4s |       6 |   528462 |     2081 |   238321      0 |        1 |        0
51.28/51.36	c 37.8s |       6 |   610450 |     2281 |   238321      0 |        1 |        0
53.78/53.84	c 40.3s |       6 |   610603 |     2381 |   238321      0 |        1 |        0
56.98/57.02	c 43.5s |       6 |   610972 |     2581 |   238321      0 |        1 |        0
59.18/59.25	c 45.7s |       6 |   611341 |     2681 |   238321      0 |        1 |        0
61.98/62.07	c 48.5s |       6 |   611669 |     2881 |   238321      0 |        1 |        0
64.68/64.74	c 51.2s |       6 |   611808 |     2981 |   238321      0 |        1 |        0
69.58/69.66	c 56.1s |       6 |   612062 |     3181 |   262154      0 |        1 |        0
70.58/70.64	c 57.1s |       7 |   612110 |     3223 |   262154      0 |        1 |        0
73.28/73.31	c 59.8s |       7 |   694302 |     3423 |   262154      0 |        1 |        0
75.48/75.59	c 62.1s |       7 |   694783 |     3623 |   262154      0 |        1 |        0
77.98/78.05	c 64.5s |       7 |   695308 |     3823 |   262154      0 |        1 |        0
80.57/80.69	c 67.2s |       7 |   695710 |     4023 |   262154      0 |        1 |        0
83.17/83.24	c 69.7s |       7 |   696068 |     4223 |   262154      0 |        1 |        0
85.27/85.38	c 71.9s |       7 |   696405 |     4423 |   262154      0 |        1 |        0
88.17/88.27	c 74.7s |       7 |   696773 |     4623 |   262154      0 |        1 |        0
90.97/91.07	c 77.5s |       7 |   697125 |     4823 |   288370      0 |        1 |        0
92.38/92.41	c 78.9s |       8 |   697421 |     4936 |   288370      0 |        1 |        0
94.87/94.96	c 81.4s |       8 |   779743 |     5236 |   288370      0 |        1 |        0
97.77/97.80	c 84.3s |       8 |   780455 |     5536 |   288370      0 |        1 |        0
100.97/101.01	c 87.5s |       8 |   825432 |     5736 |   288370      0 |        1 |        0
103.27/103.32	c 89.8s |       8 |   825656 |     5836 |   288370      0 |        1 |        0
107.17/107.22	c 93.7s |       8 |   825959 |     6036 |   288370      0 |        1 |        0
109.67/109.74	c 96.2s |       8 |   826178 |     6136 |   288370      0 |        1 |        0
113.37/113.42	c 99.9s |       8 |   826323 |     6236 |   288370      0 |        1 |        0
116.77/116.85	c  103s |       8 |   826666 |     6436 |   288370      0 |        1 |        0
118.97/119.00	c  105s |       8 |   826861 |     6536 |   288370      0 |        1 |        0
120.98/121.06	c  107s |       8 |   827006 |     6636 |   288370      0 |        1 |        0
123.77/123.84	c  110s |       8 |   827180 |     6736 |   288370      0 |        1 |        0
126.87/126.90	c  113s |       8 |   827682 |     6936 |   288370      0 |        1 |        0
129.07/129.14	c  115s |       8 |   827847 |     7036 |   288370      0 |        1 |        0
131.77/131.89	c  118s |       8 |   828282 |     7236 |   288370      0 |        1 |        0
134.18/134.24	c  120s |       9 |   828843 |     7506 |   317207      0 |        1 |        0
136.17/136.29	c  122s |       9 |   910903 |     7706 |   317207      0 |        1 |        0
139.47/139.58	c  126s |       9 |   911363 |     7906 |   317207      0 |        1 |        0
141.67/141.70	c  128s |       9 |   911585 |     8006 |   317207      0 |        1 |        0
144.47/144.57	c  131s |       9 |   911843 |     8106 |   317207      0 |        1 |        0
147.17/147.28	c  133s |       9 |   912341 |     8306 |   317207      0 |        1 |        0
150.97/151.04	c  137s |       9 |   912658 |     8506 |   317207      0 |        1 |        0
154.17/154.22	c  140s |       9 |   912963 |     8706 |   317207      0 |        1 |        0
156.37/156.49	c  142s |       9 |   913179 |     8806 |   317207      0 |        1 |        0
158.47/158.57	c  145s |       9 |   913394 |     8906 |   317207      0 |        1 |        0
161.56/161.60	c  148s |       9 |   913787 |     9106 |   317207      0 |        1 |        0
165.07/165.13	c  151s |       9 |   914284 |     9306 |   317207      0 |        1 |        0
168.76/168.87	c  155s |       9 |   914645 |     9506 |   317207      0 |        1 |        0
172.86/172.98	c  159s |       9 |   915018 |     9706 |   317207      0 |        1 |        0
175.86/175.93	c  162s |       9 |   915456 |     9906 |   317207      0 |        1 |        0
179.27/179.37	c  165s |       9 |   915908 |    10106 |   317207      0 |        1 |        0
181.26/181.39	c  167s |       9 |   916107 |    10206 |   317207      0 |        1 |        0
184.87/184.95	c  171s |       9 |   916445 |    10406 |   317207      0 |        1 |        0
186.86/186.95	c  173s |       9 |   916586 |    10506 |   317207      0 |        1 |        0
190.06/190.16	c  176s |       9 |   917043 |    10706 |   317207      0 |        1 |        0
192.66/192.73	c  179s |       9 |   917520 |    10906 |   317207      0 |        1 |        0
195.87/195.93	c  182s |       9 |   917909 |    11106 |   317207      0 |        1 |        0
198.76/198.89	c  185s |       9 |   918237 |    11306 |   348928      0 |        1 |        0
200.06/200.10	c  186s |      10 |   918320 |    11361 |   348928      0 |        1 |        0
202.96/203.01	c  189s |      10 |  1000574 |    11561 |   348928      0 |        1 |        0
205.26/205.34	c  191s |      10 |  1001097 |    11761 |   348928      0 |        1 |        0
207.46/207.57	c  194s |      10 |  1001625 |    11961 |   348928      0 |        1 |        0
210.07/210.12	c  196s |      10 |  1002363 |    12261 |   348928      0 |        1 |        0
212.16/212.21	c  198s |      10 |  1002795 |    12561 |   348928      0 |        1 |        0
214.86/214.93	c  201s |      10 |  1003102 |    12761 |   348928      0 |        1 |        0
217.06/217.16	c  203s |      10 |  1003391 |    12961 |   348928      0 |        1 |        0
219.56/219.65	c  206s |      10 |  1003868 |    13161 |   348928      0 |        1 |        0
222.06/222.14	c  208s |      10 |  1004319 |    13361 |   348928      0 |        1 |        0
224.85/224.92	c  211s |      10 |  1004756 |    13561 |   348928      0 |        1 |        0
228.35/228.44	c  214s |      10 |  1005115 |    13761 |   348928      0 |        1 |        0
231.25/231.33	c  217s |      10 |  1005583 |    13961 |   348928      0 |        1 |        0
234.45/234.54	c  221s |      10 |  1006383 |    14361 |   348928      0 |        1 |        0
236.95/237.02	c  223s |      10 |  1007034 |    14661 |   348928      0 |        1 |        0
239.95/240.04	c  226s |      10 |  1007527 |    14961 |   348928      0 |        1 |        0
242.05/242.17	c  228s |      10 |  1007807 |    15161 |   348928      0 |        1 |        0
244.15/244.28	c  230s |      10 |  1008157 |    15361 |   348928      0 |        1 |        0
246.55/246.65	c  233s |      10 |  1008570 |    15561 |   348928      0 |        1 |        0
249.66/249.72	c  236s |      10 |  1008817 |    15761 |   348928      0 |        1 |        0
251.65/251.75	c  238s |      10 |  1008946 |    15861 |   348928      0 |        1 |        0
254.55/254.62	c  241s |      10 |  1009229 |    16061 |   348928      0 |        1 |        0
257.75/257.84	c  244s |      10 |  1009601 |    16261 |   348928      0 |        1 |        0
260.25/260.39	c  246s |      10 |  1009888 |    16461 |   348928      0 |        1 |        0
262.86/262.93	c  249s |      10 |  1010169 |    16661 |   348928      0 |        1 |        0
265.55/265.66	c  252s |      10 |  1010485 |    16861 |   348928      0 |        1 |        0
269.15/269.24	c  255s |      10 |  1010833 |    17061 |   383821      0 |        1 |        0
271.15/271.22	c  257s |      11 |  1010940 |    17144 |   383821      0 |        1 |        0
273.15/273.22	c  259s |      11 |  1092712 |    17244 |   383821      0 |        1 |        0
275.75/275.86	c  262s |      11 |  1093055 |    17444 |   383821      0 |        1 |        0
278.15/278.29	c  264s |      11 |  1093549 |    17644 |   383821      0 |        1 |        0
280.75/280.86	c  267s |      11 |  1094578 |    18244 |   383821      0 |        1 |        0
283.44/283.55	c  270s |      11 |  1095002 |    18444 |   383821      0 |        1 |        0
286.14/286.29	c  272s |      11 |  1095384 |    18744 |   383821      0 |        1 |        0
288.74/288.84	c  275s |      11 |  1095832 |    19044 |   383821      0 |        1 |        0
290.94/291.09	c  277s |      11 |  1096179 |    19244 |   383821      0 |        1 |        0
293.94/294.05	c  280s |      11 |  1096751 |    19444 |   383821      0 |        1 |        0
296.14/296.29	c  282s |      11 |  1097182 |    19644 |   383821      0 |        1 |        0
298.64/298.70	c  285s |      11 |  1097593 |    19844 |   383821      0 |        1 |        0
301.45/301.51	c  287s |      11 |  1097893 |    20044 |   383821      0 |        1 |        0
304.54/304.65	c  291s |      11 |  1098198 |    20244 |   383821      0 |        1 |        0
307.34/307.42	c  293s |      11 |  1098555 |    20444 |   383821      0 |        1 |        0
310.54/310.60	c  297s |      11 |  1098901 |    20644 |   383821      0 |        1 |        0
314.24/314.38	c  300s |      11 |  1099180 |    20844 |   383821      0 |        1 |        0
317.84/317.99	c  304s |      11 |  1099634 |    21044 |   383821      0 |        1 |        0
320.94/321.02	c  307s |      11 |  1099911 |    21244 |   383821      0 |        1 |        0
323.83/323.96	c  310s |      11 |  1100210 |    21444 |   383821      0 |        1 |        0
326.75/326.89	c  313s |      11 |  1100576 |    21644 |   383821      0 |        1 |        0
330.05/330.14	c  316s |      11 |  1100866 |    21844 |   383821      0 |        1 |        0
332.94/333.09	c  319s |      11 |  1101208 |    22044 |   383821      0 |        1 |        0
335.34/335.45	c  321s |      11 |  1101481 |    22244 |   383821      0 |        1 |        0
337.75/337.86	c  324s |      11 |  1101617 |    22344 |   383821      0 |        1 |        0
341.64/341.72	c  328s |      11 |  1101887 |    22544 |   383821      0 |        1 |        0
344.14/344.30	c  330s |      11 |  1102197 |    22744 |   383821      0 |        1 |        0
348.13/348.26	c  334s |      11 |  1102528 |    22944 |   383821      0 |        1 |        0
352.43/352.50	c  338s |      11 |  1102794 |    23144 |   383821      0 |        1 |        0
355.24/355.40	c  341s |      11 |  1102940 |    23244 |   383821      0 |        1 |        0
358.43/358.59	c  345s |      11 |  1103094 |    23344 |   383821      0 |        1 |        0
362.03/362.18	c  348s |      11 |  1103468 |    23544 |   383821      0 |        1 |        0
364.53/364.65	c  351s |      11 |  1103583 |    23644 |   383821      0 |        1 |        0
367.83/367.97	c  354s |      11 |  1103938 |    23844 |   383821      0 |        1 |        0
370.03/370.14	c  356s |      11 |  1104187 |    23944 |   383821      0 |        1 |        0
373.73/373.81	c  360s |      11 |  1104547 |    24144 |   383821      0 |        1 |        0
375.93/376.04	c  362s |      11 |  1104911 |    24444 |   383821      0 |        1 |        0
378.93/379.05	c  365s |      11 |  1105273 |    24644 |   383821      0 |        1 |        0
381.93/382.07	c  368s |      11 |  1105760 |    24944 |   383821      0 |        1 |        0
384.93/385.09	c  371s |      11 |  1106068 |    25144 |   383821      0 |        1 |        0
388.23/388.31	c  374s |      11 |  1106468 |    25344 |   383821      0 |        1 |        0
390.92/391.03	c  377s |      11 |  1106868 |    25544 |   383821      0 |        1 |        0
394.02/394.18	c  380s |      11 |  1107208 |    25744 |   422204      0 |        1 |        0
395.22/395.39	c  381s |      12 |  1107334 |    25819 |   422204      0 |        1 |        0
397.32/397.46	c  383s |      12 |  1189099 |    25919 |   422204      0 |        1 |        0
399.72/399.82	c  386s |      12 |  1189375 |    26119 |   422204      0 |        1 |        0
402.12/402.28	c  388s |      12 |  1189721 |    26319 |   422204      0 |        1 |        0
404.62/404.73	c  391s |      12 |  1189978 |    26519 |   422204      0 |        1 |        0
406.72/406.81	c  393s |      12 |  1190264 |    26719 |   422204      0 |        1 |        0
408.82/408.91	c  395s |      12 |  1190597 |    26919 |   422204      0 |        1 |        0
411.44/411.56	c  398s |      12 |  1190892 |    27119 |   422204      0 |        1 |        0
414.13/414.27	c  400s |      12 |  1191256 |    27319 |   422204      0 |        1 |        0
416.13/416.28	c  402s |      12 |  1191415 |    27419 |   422204      0 |        1 |        0
419.53/419.63	c  406s |      12 |  1191737 |    27619 |   422204      0 |        1 |        0
421.93/422.05	c  408s |      12 |  1192031 |    27819 |   422204      0 |        1 |        0
425.73/425.81	c  412s |      12 |  1192550 |    28019 |   422204      0 |        1 |        0
429.13/429.22	c  415s |      12 |  1192883 |    28219 |   422204      0 |        1 |        0
431.63/431.76	c  418s |      12 |  1193465 |    28519 |   422204      0 |        1 |        0
434.03/434.12	c  420s |      12 |  1194263 |    28819 |   422204      0 |        1 |        0
436.82/436.91	c  423s |      12 |  1195083 |    29119 |   422204      0 |        1 |        0
439.12/439.23	c  425s |      12 |  1195872 |    29419 |   422204      0 |        1 |        0
441.22/441.37	c  427s |      12 |  1196389 |    29619 |   422204      0 |        1 |        0
444.22/444.36	c  430s |      12 |  1196962 |    29919 |   422204      0 |        1 |        0
446.63/446.74	c  433s |      12 |  1197298 |    30119 |   422204      0 |        1 |        0
449.72/449.88	c  436s |      12 |  1197660 |    30319 |   422204      0 |        1 |        0
453.12/453.27	c  439s |      12 |  1197984 |    30519 |   422204      0 |        1 |        0
455.51/455.63	c  442s |      12 |  1198345 |    30719 |   422204      0 |        1 |        0
457.71/457.85	c  444s |      12 |  1198540 |    30819 |   422204      0 |        1 |        0
460.11/460.24	c  446s |      12 |  1198815 |    31019 |   422204      0 |        1 |        0
462.11/462.25	c  448s |      12 |  1199141 |    31219 |   422204      0 |        1 |        0
464.91/465.02	c  451s |      12 |  1199499 |    31419 |   422204      0 |        1 |        0
468.53/468.65	c  455s |      12 |  1199830 |    31619 |   422204      0 |        1 |        0
472.82/472.97	c  459s |      12 |  1200128 |    31819 |   422204      0 |        1 |        0
475.32/475.41	c  461s |      12 |  1200275 |    31919 |   422204      0 |        1 |        0
478.32/478.49	c  464s |      12 |  1200515 |    32019 |   422204      0 |        1 |        0
481.72/481.89	c  468s |      12 |  1200653 |    32119 |   422204      0 |        1 |        0
484.72/484.89	c  471s |      12 |  1200819 |    32219 |   422204      0 |        1 |        0
487.61/487.71	c  474s |      12 |  1200989 |    32319 |   422204      0 |        1 |        0
491.11/491.29	c  477s |      12 |  1201295 |    32519 |   422204      0 |        1 |        0
493.71/493.85	c  480s |      12 |  1201910 |    32719 |   422204      0 |        1 |        0
496.51/496.65	c  483s |      12 |  1202281 |    32919 |   422204      0 |        1 |        0
498.51/498.68	c  485s |      12 |  1202542 |    33019 |   422204      0 |        1 |        0
500.81/500.99	c  487s |      12 |  1202867 |    33119 |   422204      0 |        1 |        0
504.11/504.27	c  490s |      12 |  1203304 |    33319 |   422204      0 |        1 |        0
507.41/507.51	c  493s |      12 |  1203876 |    33619 |   422204      0 |        1 |        0
510.11/510.23	c  496s |      12 |  1204225 |    33819 |   422204      0 |        1 |        0
512.62/512.77	c  499s |      12 |  1204516 |    34019 |   422204      0 |        1 |        0
515.11/515.26	c  501s |      12 |  1204828 |    34219 |   422204      0 |        1 |        0
518.61/518.77	c  505s |      12 |  1205180 |    34419 |   422204      0 |        1 |        0
520.71/520.84	c  507s |      12 |  1205308 |    34519 |   422204      0 |        1 |        0
524.10/524.22	c  510s |      12 |  1205768 |    34719 |   422204      0 |        1 |        0
526.61/526.79	c  513s |      12 |  1205940 |    34819 |   422204      0 |        1 |        0
528.81/528.90	c  515s |      12 |  1206124 |    34919 |   422204      0 |        1 |        0
531.01/531.19	c  517s |      12 |  1206458 |    35019 |   422204      0 |        1 |        0
533.52/533.64	c  520s |      12 |  1206751 |    35119 |   422204      0 |        1 |        0
536.31/536.45	c  522s |      12 |  1206906 |    35219 |   422204      0 |        1 |        0
539.31/539.49	c  525s |      12 |  1207085 |    35319 |   422204      0 |        1 |        0
542.31/542.49	c  528s |      12 |  1207500 |    35519 |   422204      0 |        1 |        0
545.81/545.93	c  532s |      12 |  1207903 |    35719 |   422204      0 |        1 |        0
549.31/549.44	c  535s |      12 |  1208470 |    35919 |   422204      0 |        1 |        0
552.01/552.14	c  538s |      12 |  1208823 |    36119 |   422204      0 |        1 |        0
555.70/555.80	c  542s |      12 |  1209451 |    36319 |   422204      0 |        1 |        0
559.30/559.43	c  545s |      12 |  1209855 |    36519 |   422204      0 |        1 |        0
562.20/562.35	c  548s |      12 |  1210316 |    36719 |   422204      0 |        1 |        0
565.10/565.25	c  551s |      12 |  1210569 |    36819 |   422204      0 |        1 |        0
568.30/568.48	c  554s |      12 |  1210931 |    37019 |   422204      0 |        1 |        0
572.40/572.55	c  559s |      12 |  1211345 |    37219 |   422204      0 |        1 |        0
574.70/574.87	c  561s |      12 |  1211556 |    37319 |   422204      0 |        1 |        0
577.10/577.27	c  563s |      12 |  1211874 |    37519 |   422204      0 |        1 |        0
580.80/580.90	c  567s |      12 |  1212180 |    37719 |   422204      0 |        1 |        0
583.20/583.38	c  569s |      12 |  1212323 |    37819 |   422204      0 |        1 |        0
585.60/585.78	c  572s |      12 |  1212479 |    37919 |   422204      0 |        1 |        0
588.40/588.58	c  575s |      12 |  1212629 |    38019 |   422204      0 |        1 |        0
590.49/590.69	c  577s |      12 |  1212781 |    38119 |   422204      0 |        1 |        0
592.80/592.99	c  579s |      12 |  1212945 |    38219 |   422204      0 |        1 |        0
595.19/595.34	c  581s |      12 |  1213127 |    38319 |   422204      0 |        1 |        0
597.49/597.66	c  584s |      12 |  1213340 |    38419 |   422204      0 |        1 |        0
602.20/602.38	c  588s |      12 |  1213715 |    38619 |   464425      0 |        1 |        0
604.60/604.70	c  591s |      12 |  1213946 |    38719 |   464425      0 |        1 |        0
607.50/607.62	c  594s |      12 |  1214170 |    38819 |   464425      0 |        1 |        0
607.80/607.97	c  594s |      13 |  1214185 |    38832 |   464425      0 |        1 |        0
610.41/610.53	c  597s |      13 |  1296005 |    38932 |   464425      0 |        1 |        0
613.10/613.24	c  599s |      13 |  1296351 |    39132 |   464425      0 |        1 |        0
616.40/616.55	c  603s |      13 |  1296801 |    39332 |   464425      0 |        1 |        0
621.20/621.34	c  607s |      13 |  1297198 |    39532 |   464425      0 |        1 |        0
623.90/624.05	c  610s |      13 |  1297592 |    39732 |   464425      0 |        1 |        0
626.29/626.41	c  612s |      13 |  1297772 |    39832 |   464425      0 |        1 |        0
628.79/628.90	c  615s |      13 |  1298142 |    40032 |   464425      0 |        1 |        0
631.19/631.36	c  617s |      13 |  1298364 |    40132 |   464425      0 |        1 |        0
633.50/633.61	c  620s |      13 |  1298685 |    40332 |   464425      0 |        1 |        0
636.69/636.89	c  623s |      13 |  1299145 |    40532 |   464425      0 |        1 |        0
639.79/639.97	c  626s |      13 |  1299500 |    40732 |   464425      0 |        1 |        0
643.89/644.08	c  630s |      13 |  1299870 |    40932 |   464425      0 |        1 |        0
646.99/647.16	c  633s |      13 |  1300048 |    41032 |   464425      0 |        1 |        0
650.69/650.85	c  637s |      13 |  1300344 |    41232 |   464425      0 |        1 |        0
654.59/654.75	c  641s |      13 |  1300676 |    41432 |   464425      0 |        1 |        0
657.39/657.53	c  644s |      13 |  1300839 |    41532 |   464425      0 |        1 |        0
660.19/660.39	c  646s |      13 |  1301027 |    41632 |   464425      0 |        1 |        0
662.69/662.87	c  649s |      13 |  1301145 |    41732 |   464425      0 |        1 |        0
664.88/665.03	c  651s |      13 |  1301317 |    41832 |   464425      0 |        1 |        0
668.58/668.78	c  655s |      13 |  1301469 |    41932 |   464425      0 |        1 |        0
672.58/672.78	c  659s |      13 |  1301807 |    42132 |   464425      0 |        1 |        0
674.78/674.96	c  661s |      13 |  1301959 |    42232 |   464425      0 |        1 |        0
677.78/677.93	c  664s |      13 |  1302116 |    42332 |   464425      0 |        1 |        0
680.79/680.92	c  667s |      13 |  1302310 |    42432 |   464425      0 |        1 |        0
684.09/684.20	c  670s |      13 |  1302490 |    42532 |   464425      0 |        1 |        0
686.78/686.95	c  673s |      13 |  1302655 |    42632 |   464425      0 |        1 |        0
690.88/691.03	c  677s |      13 |  1303005 |    42832 |   464425      0 |        1 |        0
693.18/693.39	c  679s |      13 |  1303187 |    42932 |   464425      0 |        1 |        0
696.88/697.03	c  683s |      13 |  1303508 |    43132 |   464425      0 |        1 |        0
699.28/699.43	c  685s |      13 |  1303935 |    43332 |   464425      0 |        1 |        0
701.79/701.98	c  688s |      13 |  1304340 |    43532 |   464425      0 |        1 |        0
704.38/704.56	c  691s |      13 |  1304693 |    43732 |   464425      0 |        1 |        0
707.58/707.77	c  694s |      13 |  1305059 |    43932 |   464425      0 |        1 |        0
711.78/711.95	c  698s |      13 |  1305355 |    44132 |   464425      0 |        1 |        0
714.99/715.15	c  701s |      13 |  1305755 |    44332 |   464425      0 |        1 |        0
717.98/718.11	c  704s |      13 |  1306078 |    44532 |   464425      0 |        1 |        0
722.08/722.26	c  708s |      13 |  1306382 |    44732 |   464425      0 |        1 |        0
724.37/724.55	c  711s |      13 |  1306547 |    44832 |   464425      0 |        1 |        0
727.98/728.18	c  714s |      13 |  1307026 |    45032 |   464425      0 |        1 |        0
731.68/731.82	c  718s |      13 |  1307343 |    45232 |   464425      0 |        1 |        0
735.08/735.23	c  721s |      13 |  1307679 |    45432 |   464425      0 |        1 |        0
737.57/737.78	c  724s |      13 |  1307989 |    45532 |   464425      0 |        1 |        0
740.28/740.48	c  726s |      13 |  1308343 |    45732 |   464425      0 |        1 |        0
742.78/742.96	c  729s |      13 |  1308708 |    45932 |   464425      0 |        1 |        0
745.38/745.57	c  732s |      13 |  1309058 |    46132 |   464425      0 |        1 |        0
748.28/748.49	c  734s |      13 |  1309469 |    46332 |   464425      0 |        1 |        0
750.97/751.17	c  737s |      13 |  1309834 |    46532 |   464425      0 |        1 |        0
753.48/753.64	c  740s |      13 |  1310155 |    46732 |   464425      0 |        1 |        0
756.38/756.57	c  743s |      13 |  1310496 |    46932 |   464425      0 |        1 |        0
758.88/759.09	c  745s |      13 |  1310864 |    47132 |   464425      0 |        1 |        0
762.98/763.13	c  749s |      13 |  1311177 |    47332 |   464425      0 |        1 |        0
766.07/766.23	c  752s |      13 |  1311496 |    47532 |   464425      0 |        1 |        0
768.97/769.15	c  755s |      13 |  1311888 |    47732 |   464425      0 |        1 |        0
771.87/772.00	c  758s |      13 |  1312221 |    47932 |   464425      0 |        1 |        0
774.77/774.98	c  761s |      13 |  1312534 |    48132 |   464425      0 |        1 |        0
777.47/777.66	c  764s |      13 |  1312854 |    48332 |   464425      0 |        1 |        0
780.66/780.82	c  767s |      13 |  1313111 |    48532 |   464425      0 |        1 |        0
784.18/784.33	c  770s |      13 |  1313459 |    48732 |   464425      0 |        1 |        0
786.27/786.49	c  772s |      13 |  1313599 |    48832 |   464425      0 |        1 |        0
788.87/789.00	c  775s |      13 |  1313827 |    48932 |   464425      0 |        1 |        0
790.97/791.10	c  777s |      13 |  1314008 |    49032 |   464425      0 |        1 |        0
793.67/793.88	c  780s |      13 |  1314168 |    49132 |   464425      0 |        1 |        0
796.57/796.75	c  783s |      13 |  1314400 |    49232 |   464425      0 |        1 |        0
800.57/800.73	c  787s |      13 |  1314871 |    49432 |   464425      0 |        1 |        0
804.57/804.73	c  791s |      13 |  1315327 |    49632 |   464425      0 |        1 |        0
808.86/809.08	c  795s |      13 |  1315720 |    49832 |   464425      0 |        1 |        0
810.96/811.16	c  797s |      13 |  1315924 |    49932 |   464425      0 |        1 |        0
813.47/813.65	c  800s |      13 |  1316062 |    50032 |   464425      0 |        1 |        0
815.97/816.11	c  802s |      13 |  1316332 |    50132 |   464425      0 |        1 |        0
818.16/818.31	c  804s |      13 |  1316472 |    50232 |   464425      0 |        1 |        0
822.46/822.69	c  809s |      13 |  1316878 |    50432 |   464425      0 |        1 |        0
824.76/824.92	c  811s |      13 |  1317061 |    50532 |   464425      0 |        1 |        0
827.17/827.34	c  813s |      13 |  1317309 |    50632 |   464425      0 |        1 |        0
829.56/829.73	c  816s |      13 |  1317450 |    50732 |   464425      0 |        1 |        0
831.96/832.13	c  818s |      13 |  1317614 |    50832 |   464425      0 |        1 |        0
835.66/835.83	c  822s |      13 |  1317959 |    51032 |   464425      0 |        1 |        0
837.96/838.18	c  824s |      13 |  1318146 |    51132 |   464425      0 |        1 |        0
840.66/840.82	c  827s |      13 |  1318320 |    51232 |   464425      0 |        1 |        0
842.76/842.93	c  829s |      13 |  1318491 |    51332 |   464425      0 |        1 |        0
845.77/845.97	c  832s |      13 |  1318794 |    51532 |   464425      0 |        1 |        0
847.86/848.01	c  834s |      13 |  1318998 |    51632 |   464425      0 |        1 |        0
850.96/851.16	c  837s |      13 |  1319351 |    51832 |   464425      0 |        1 |        0
853.65/853.88	c  840s |      13 |  1319639 |    52032 |   464425      0 |        1 |        0
856.15/856.39	c  842s |      13 |  1319940 |    52232 |   464425      0 |        1 |        0
858.75/858.98	c  845s |      13 |  1320246 |    52432 |   464425      0 |        1 |        0
862.76/862.90	c  849s |      13 |  1320640 |    52732 |   464425      0 |        1 |        0
865.67/865.82	c  852s |      13 |  1321046 |    52932 |   464425      0 |        1 |        0
868.06/868.29	c  854s |      13 |  1321710 |    53132 |   464425      0 |        1 |        0
871.55/871.71	c  858s |      13 |  1322101 |    53332 |   464425      0 |        1 |        0
874.36/874.55	c  861s |      13 |  1322483 |    53532 |   464425      0 |        1 |        0
877.36/877.57	c  864s |      13 |  1322802 |    53732 |   464425      0 |        1 |        0
880.26/880.49	c  866s |      13 |  1323161 |    53932 |   464425      0 |        1 |        0
883.16/883.39	c  869s |      13 |  1323687 |    54132 |   464425      0 |        1 |        0
885.76/885.92	c  872s |      13 |  1323844 |    54232 |   464425      0 |        1 |        0
889.25/889.48	c  875s |      13 |  1324159 |    54432 |   464425      0 |        1 |        0
892.95/893.17	c  879s |      13 |  1324531 |    54632 |   464425      0 |        1 |        0
896.85/897.06	c  883s |      13 |  1324879 |    54832 |   464425      0 |        1 |        0
900.25/900.49	c  886s |      13 |  1325262 |    55032 |   464425      0 |        1 |        0
903.35/903.58	c  890s |      13 |  1325697 |    55232 |   464425      0 |        1 |        0
905.95/906.16	c  892s |      13 |  1325842 |    55332 |   464425      0 |        1 |        0
909.45/909.70	c  896s |      13 |  1326252 |    55532 |   464425      0 |        1 |        0
912.45/912.66	c  899s |      13 |  1326657 |    55732 |   464425      0 |        1 |        0
915.75/915.95	c  902s |      13 |  1327108 |    55932 |   464425      0 |        1 |        0
918.85/919.02	c  905s |      13 |  1327522 |    56132 |   464425      0 |        1 |        0
921.94/922.17	c  908s |      13 |  1328044 |    56332 |   464425      0 |        1 |        0
926.05/926.28	c  912s |      13 |  1328332 |    56532 |   464425      0 |        1 |        0
929.45/929.62	c  916s |      13 |  1328691 |    56732 |   464425      0 |        1 |        0
932.84/933.07	c  919s |      13 |  1328844 |    56832 |   464425      0 |        1 |        0
937.15/937.38	c  923s |      13 |  1329061 |    57032 |   464425      0 |        1 |        0
940.24/940.44	c  926s |      13 |  1329222 |    57132 |   464425      0 |        1 |        0
943.24/943.49	c  929s |      13 |  1329627 |    57332 |   464425      0 |        1 |        0
947.25/947.48	c  933s |      13 |  1329947 |    57532 |   464425      0 |        1 |        0
949.74/949.96	c  936s |      13 |  1330158 |    57632 |   464425      0 |        1 |        0
952.45/952.65	c  939s |      13 |  1330317 |    57732 |   464425      0 |        1 |        0
954.54/954.77	c  941s |      13 |  1330491 |    57832 |   464425      0 |        1 |        0
957.44/957.62	c  944s |      13 |  1330686 |    57932 |   510868      0 |        1 |        0
959.54/959.78	c  946s |      13 |  1330820 |    58032 |   510868      0 |        1 |        0
962.14/962.30	c  948s |      13 |  1330983 |    58132 |   510868      0 |        1 |        0
965.65/965.87	c  952s |      13 |  1331340 |    58332 |   510868      0 |        1 |        0
966.04/966.22	c  952s |      14 |  1331391 |    58352 |   510868      0 |        1 |        0
968.84/969.05	c  955s |      14 |  1413220 |    58452 |   510868      0 |        1 |        0
972.44/972.61	c  959s |      14 |  1413822 |    58752 |   510868      0 |        1 |        0
975.83/976.05	c  962s |      14 |  1414190 |    58952 |   510868      0 |        1 |        0
978.84/979.01	c  965s |      14 |  1414561 |    59152 |   510868      0 |        1 |        0
982.03/982.20	c  968s |      14 |  1414886 |    59352 |   510868      0 |        1 |        0
985.13/985.36	c  971s |      14 |  1415191 |    59552 |   510868      0 |        1 |        0
988.43/988.63	c  975s |      14 |  1415511 |    59752 |   510868      0 |        1 |        0
991.43/991.64	c  978s |      14 |  1415856 |    59952 |   510868      0 |        1 |        0
994.53/994.78	c  981s |      14 |  1416335 |    60152 |   510868      0 |        1 |        0
997.93/998.16	c  984s |      14 |  1416770 |    60352 |   510868      0 |        1 |        0
1000.63/1000.85	c  987s |      14 |  1417206 |    60552 |   510868      0 |        1 |        0
1004.33/1004.54	c  991s |      14 |  1417452 |    60752 |   510868      0 |        1 |        0
1006.44/1006.67	c  993s |      14 |  1417577 |    60852 |   510868      0 |        1 |        0
1008.43/1008.70	c  995s |      14 |  1417798 |    60952 |   510868      0 |        1 |        0
1010.64/1010.81	c  997s |      14 |  1418177 |    61152 |   510868      0 |        1 |        0
1014.73/1014.94	c 1001s |      14 |  1418515 |    61352 |   510868      0 |        1 |        0
1016.83/1017.07	c 1003s |      14 |  1418697 |    61452 |   510868      0 |        1 |        0
1021.23/1021.40	c 1007s |      14 |  1419090 |    61652 |   510868      0 |        1 |        0
1023.23/1023.45	c 1009s |      14 |  1419271 |    61752 |   510868      0 |        1 |        0
1026.93/1027.10	c 1013s |      14 |  1419609 |    61952 |   510868      0 |        1 |        0
1028.93/1029.19	c 1015s |      14 |  1419781 |    62052 |   510868      0 |        1 |        0
1031.74/1031.98	c 1018s |      14 |  1420001 |    62152 |   510868      0 |        1 |        0
1034.03/1034.27	c 1020s |      14 |  1420251 |    62252 |   510868      0 |        1 |        0
1036.53/1036.76	c 1023s |      14 |  1420525 |    62352 |   510868      0 |        1 |        0
1038.53/1038.77	c 1025s |      14 |  1420674 |    62452 |   510868      0 |        1 |        0
1040.83/1041.03	c 1027s |      14 |  1420906 |    62552 |   510868      0 |        1 |        0
1044.23/1044.47	c 1030s |      14 |  1421177 |    62752 |   510868      0 |        1 |        0
1047.23/1047.46	c 1033s |      14 |  1421416 |    62852 |   510868      0 |        1 |        0
1049.93/1050.12	c 1036s |      14 |  1421588 |    62952 |   510868      0 |        1 |        0
1052.63/1052.88	c 1039s |      14 |  1421750 |    63052 |   510868      0 |        1 |        0
1055.72/1055.91	c 1042s |      14 |  1421930 |    63152 |   510868      0 |        1 |        0
1059.53/1059.76	c 1046s |      14 |  1422073 |    63252 |   510868      0 |        1 |        0
1061.73/1061.94	c 1048s |      14 |  1422255 |    63352 |   510868      0 |        1 |        0
1064.63/1064.89	c 1051s |      14 |  1422624 |    63552 |   510868      0 |        1 |        0
1067.03/1067.22	c 1053s |      14 |  1422822 |    63652 |   510868      0 |        1 |        0
1069.13/1069.37	c 1055s |      14 |  1423034 |    63752 |   510868      0 |        1 |        0
1072.43/1072.60	c 1059s |      14 |  1423197 |    63852 |   510868      0 |        1 |        0
1076.02/1076.20	c 1062s |      14 |  1423384 |    63952 |   510868      0 |        1 |        0
1078.22/1078.41	c 1064s |      14 |  1423589 |    64052 |   510868      0 |        1 |        0
1080.42/1080.63	c 1067s |      14 |  1423840 |    64152 |   510868      0 |        1 |        0
1083.82/1084.02	c 1070s |      14 |  1424099 |    64352 |   510868      0 |        1 |        0
1086.42/1086.63	c 1073s |      14 |  1424349 |    64452 |   510868      0 |        1 |        0
1090.32/1090.59	c 1077s |      14 |  1424695 |    64652 |   510868      0 |        1 |        0
1092.72/1092.98	c 1079s |      14 |  1424825 |    64752 |   510868      0 |        1 |        0
1095.22/1095.46	c 1081s |      14 |  1425069 |    64852 |   510868      0 |        1 |        0
1098.32/1098.58	c 1085s |      14 |  1425200 |    64952 |   510868      0 |        1 |        0
1101.32/1101.58	c 1088s |      14 |  1425349 |    65052 |   510868      0 |        1 |        0
1104.72/1104.93	c 1091s |      14 |  1425513 |    65152 |   510868      0 |        1 |        0
1108.32/1108.56	c 1095s |      14 |  1425692 |    65252 |   510868      0 |        1 |        0
1110.83/1111.07	c 1097s |      14 |  1425839 |    65352 |   510868      0 |        1 |        0
1113.82/1114.08	c 1100s |      14 |  1426000 |    65452 |   510868      0 |        1 |        0
1116.02/1116.27	c 1102s |      14 |  1426214 |    65552 |   510868      0 |        1 |        0
1118.92/1119.18	c 1105s |      14 |  1426482 |    65752 |   510868      0 |        1 |        0
1122.62/1122.86	c 1109s |      14 |  1426803 |    65952 |   510868      0 |        1 |        0
1126.82/1127.01	c 1113s |      14 |  1427091 |    66152 |   510868      0 |        1 |        0
1130.62/1130.81	c 1117s |      14 |  1427342 |    66352 |   510868      0 |        1 |        0
1133.51/1133.76	c 1120s |      14 |  1427548 |    66452 |   510868      0 |        1 |        0
1136.12/1136.36	c 1122s |      14 |  1427850 |    66652 |   510868      0 |        1 |        0
1138.91/1139.18	c 1125s |      14 |  1428046 |    66752 |   510868      0 |        1 |        0
1141.21/1141.41	c 1127s |      14 |  1428489 |    67052 |   510868      0 |        1 |        0
1144.72/1144.98	c 1131s |      14 |  1428963 |    67352 |   510868      0 |        1 |        0
1146.82/1147.00	c 1133s |      14 |  1429295 |    67552 |   510868      0 |        1 |        0
1149.22/1149.47	c 1135s |      14 |  1429975 |    67852 |   510868      0 |        1 |        0
1152.72/1152.93	c 1139s |      14 |  1430518 |    68152 |   510868      0 |        1 |        0
1155.12/1155.36	c 1141s |      14 |  1430820 |    68352 |   510868      0 |        1 |        0
1157.51/1157.79	c 1144s |      14 |  1431193 |    68552 |   510868      0 |        1 |        0
1160.42/1160.66	c 1147s |      14 |  1431540 |    68752 |   510868      0 |        1 |        0
1163.62/1163.83	c 1150s |      14 |  1431815 |    68952 |   510868      0 |        1 |        0
1167.11/1167.32	c 1153s |      14 |  1432037 |    69152 |   510868      0 |        1 |        0
1170.01/1170.21	c 1156s |      14 |  1432290 |    69352 |   510868      0 |        1 |        0
1173.41/1173.60	c 1160s |      14 |  1432551 |    69552 |   510868      0 |        1 |        0
1176.61/1176.86	c 1163s |      14 |  1432777 |    69752 |   510868      0 |        1 |        0
1179.11/1179.31	c 1165s |      14 |  1432924 |    69852 |   510868      0 |        1 |        0
1182.41/1182.62	c 1169s |      14 |  1433256 |    70052 |   510868      0 |        1 |        0
1185.50/1185.78	c 1172s |      14 |  1433570 |    70252 |   510868      0 |        1 |        0
1189.01/1189.29	c 1175s |      14 |  1433913 |    70452 |   510868      0 |        1 |        0
1192.41/1192.61	c 1179s |      14 |  1434282 |    70652 |   510868      0 |        1 |        0
1196.21/1196.46	c 1182s |      14 |  1434550 |    70852 |   510868      0 |        1 |        0
1199.91/1200.17	c 1186s |      14 |  1434789 |    71052 |   510868      0 |        1 |        0
1206.01/1206.25	c 1192s |      14 |  1435132 |    71252 |   510868      0 |        1 |        0
1208.31/1208.51	c 1194s |      14 |  1435299 |    71352 |   510868      0 |        1 |        0
1211.50/1211.72	c 1198s |      14 |  1435710 |    71552 |   510868      0 |        1 |        0
1214.20/1214.40	c 1200s |      14 |  1435900 |    71652 |   510868      0 |        1 |        0
1216.50/1216.71	c 1203s |      14 |  1436110 |    71752 |   510868      0 |        1 |        0
1219.31/1219.57	c 1206s |      14 |  1436535 |    71952 |   510868      0 |        1 |        0
1222.11/1222.39	c 1208s |      14 |  1436863 |    72152 |   510868      0 |        1 |        0
1224.90/1225.15	c 1211s |      14 |  1437246 |    72352 |   510868      0 |        1 |        0
1227.51/1227.71	c 1214s |      14 |  1437689 |    72552 |   510868      0 |        1 |        0
1229.71/1229.90	c 1216s |      14 |  1438025 |    72752 |   510868      0 |        1 |        0
1232.00/1232.21	c 1218s |      14 |  1438398 |    72952 |   510868      0 |        1 |        0
1235.11/1235.37	c 1221s |      14 |  1438661 |    73152 |   510868      0 |        1 |        0
1238.40/1238.61	c 1225s |      14 |  1438786 |    73252 |   510868      0 |        1 |        0
1240.90/1241.17	c 1227s |      14 |  1438981 |    73352 |   510868      0 |        1 |        0
1243.10/1243.38	c 1229s |      14 |  1439129 |    73452 |   510868      0 |        1 |        0
1246.20/1246.49	c 1232s |      14 |  1439262 |    73552 |   510868      0 |        1 |        0
1249.20/1249.42	c 1235s |      14 |  1439447 |    73652 |   510868      0 |        1 |        0
1252.80/1253.05	c 1239s |      14 |  1439734 |    73852 |   510868      0 |        1 |        0
1254.91/1255.19	c 1241s |      14 |  1439869 |    73952 |   510868      0 |        1 |        0
1258.50/1258.78	c 1245s |      14 |  1440198 |    74152 |   510868      0 |        1 |        0
1261.50/1261.79	c 1248s |      14 |  1440489 |    74352 |   510868      0 |        1 |        0
1264.90/1265.19	c 1251s |      14 |  1440751 |    74552 |   510868      0 |        1 |        0
1268.39/1268.67	c 1255s |      14 |  1441089 |    74752 |   510868      0 |        1 |        0
1271.99/1272.22	c 1258s |      14 |  1441396 |    74952 |   510868      0 |        1 |        0
1275.60/1275.82	c 1262s |      14 |  1441758 |    75152 |   510868      0 |        1 |        0
1277.70/1277.93	c 1264s |      14 |  1442026 |    75252 |   510868      0 |        1 |        0
1281.20/1281.48	c 1267s |      14 |  1442374 |    75452 |   510868      0 |        1 |        0
1283.90/1284.15	c 1270s |      14 |  1442804 |    75652 |   510868      0 |        1 |        0
1287.19/1287.44	c 1273s |      14 |  1443213 |    75852 |   510868      0 |        1 |        0
1290.29/1290.55	c 1277s |      14 |  1443648 |    76052 |   510868      0 |        1 |        0
1293.69/1293.95	c 1280s |      14 |  1444124 |    76252 |   510868      0 |        1 |        0
1297.09/1297.35	c 1283s |      14 |  1444673 |    76452 |   510868      0 |        1 |        0
1300.09/1300.32	c 1286s |      14 |  1445063 |    76652 |   510868      0 |        1 |        0
1302.79/1303.01	c 1289s |      14 |  1445389 |    76852 |   510868      0 |        1 |        0
1305.98/1306.23	c 1292s |      14 |  1445710 |    77052 |   510868      0 |        1 |        0
1308.48/1308.77	c 1295s |      14 |  1445891 |    77152 |   510868      0 |        1 |        0
1311.58/1311.84	c 1298s |      14 |  1446049 |    77252 |   510868      0 |        1 |        0
1314.98/1315.21	c 1301s |      14 |  1446185 |    77352 |   510868      0 |        1 |        0
1318.39/1318.60	c 1305s |      14 |  1446310 |    77452 |   510868      0 |        1 |        0
1322.48/1322.73	c 1309s |      14 |  1446442 |    77552 |   510868      0 |        1 |        0
1325.79/1326.01	c 1312s |      14 |  1446614 |    77652 |   510868      0 |        1 |        0
1328.49/1328.70	c 1315s |      14 |  1446784 |    77752 |   510868      0 |        1 |        0
1333.29/1333.58	c 1320s |      14 |  1447043 |    77952 |   510868      0 |        1 |        0
1337.49/1337.78	c 1324s |      14 |  1447270 |    78152 |   510868      0 |        1 |        0
1339.98/1340.27	c 1326s |      14 |  1447434 |    78252 |   510868      0 |        1 |        0
1343.28/1343.58	c 1330s |      14 |  1447695 |    78452 |   510868      0 |        1 |        0
1346.48/1346.71	c 1333s |      14 |  1447974 |    78652 |   510868      0 |        1 |        0
1349.68/1349.91	c 1336s |      14 |  1448247 |    78852 |   510868      0 |        1 |        0
1352.68/1353.00	c 1339s |      14 |  1448477 |    79052 |   510868      0 |        1 |        0
1355.09/1355.37	c 1341s |      14 |  1448598 |    79152 |   510868      0 |        1 |        0
1357.28/1357.59	c 1344s |      14 |  1448736 |    79252 |   510868      0 |        1 |        0
1359.28/1359.59	c 1346s |      14 |  1448857 |    79352 |   510868      0 |        1 |        0
1362.78/1363.04	c 1349s |      14 |  1449122 |    79552 |   510868      0 |        1 |        0
1366.48/1366.70	c 1353s |      14 |  1449451 |    79752 |   510868      0 |        1 |        0
1370.07/1370.35	c 1356s |      14 |  1449731 |    79952 |   510868      0 |        1 |        0
1374.07/1374.32	c 1360s |      14 |  1450051 |    80152 |   510868      0 |        1 |        0
1378.09/1378.36	c 1364s |      14 |  1450344 |    80352 |   510868      0 |        1 |        0
1381.18/1381.44	c 1367s |      14 |  1450502 |    80452 |   510868      0 |        1 |        0
1385.08/1385.35	c 1371s |      14 |  1450707 |    80652 |   510868      0 |        1 |        0
1387.18/1387.44	c 1373s |      14 |  1450834 |    80752 |   510868      0 |        1 |        0
1390.58/1390.88	c 1377s |      14 |  1451035 |    80952 |   510868      0 |        1 |        0
1393.68/1393.97	c 1380s |      14 |  1451177 |    81052 |   510868      0 |        1 |        0
1397.48/1397.77	c 1384s |      14 |  1451298 |    81152 |   510868      0 |        1 |        0
1400.67/1400.96	c 1387s |      14 |  1451434 |    81252 |   510868      0 |        1 |        0
1402.77/1403.03	c 1389s |      14 |  1451541 |    81352 |   510868      0 |        1 |        0
1404.97/1405.20	c 1391s |      14 |  1451664 |    81452 |   510868      0 |        1 |        0
1407.17/1407.48	c 1393s |      14 |  1451800 |    81552 |   510868      0 |        1 |        0
1409.87/1410.16	c 1396s |      14 |  1451915 |    81652 |   510868      0 |        1 |        0
1412.27/1412.53	c 1399s |      14 |  1452134 |    81752 |   510868      0 |        1 |        0
1415.37/1415.61	c 1402s |      14 |  1452472 |    81952 |   510868      0 |        1 |        0
1417.57/1417.84	c 1404s |      14 |  1452589 |    82052 |   510868      0 |        1 |        0
1421.37/1421.61	c 1408s |      14 |  1452873 |    82252 |   510868      0 |        1 |        0
1424.38/1424.69	c 1411s |      14 |  1453020 |    82352 |   510868      0 |        1 |        0
1427.58/1427.90	c 1414s |      14 |  1453228 |    82452 |   510868      0 |        1 |        0
1430.77/1431.06	c 1417s |      14 |  1453383 |    82552 |   510868      0 |        1 |        0
1434.18/1434.47	c 1420s |      14 |  1453534 |    82652 |   510868      0 |        1 |        0
1437.87/1438.12	c 1424s |      14 |  1453889 |    82852 |   510868      0 |        1 |        0
1441.17/1441.46	c 1427s |      14 |  1454107 |    82952 |   510868      0 |        1 |        0
1444.57/1444.87	c 1431s |      14 |  1454257 |    83052 |   510868      0 |        1 |        0
1447.67/1447.96	c 1434s |      14 |  1454602 |    83152 |   510868      0 |        1 |        0
1449.87/1450.13	c 1436s |      14 |  1454791 |    83252 |   510868      0 |        1 |        0
1452.27/1452.52	c 1438s |      14 |  1455110 |    83452 |   510868      0 |        1 |        0
1454.27/1454.59	c 1441s |      14 |  1455227 |    83552 |   510868      0 |        1 |        0
1457.47/1457.73	c 1444s |      14 |  1455463 |    83752 |   510868      0 |        1 |        0
1461.27/1461.59	c 1448s |      14 |  1455764 |    83952 |   510868      0 |        1 |        0
1464.77/1465.00	c 1451s |      14 |  1456059 |    84152 |   510868      0 |        1 |        0
1468.17/1468.47	c 1454s |      14 |  1456343 |    84352 |   510868      0 |        1 |        0
1472.56/1472.80	c 1459s |      14 |  1456691 |    84552 |   510868      0 |        1 |        0
1476.36/1476.68	c 1463s |      14 |  1457033 |    84752 |   510868      0 |        1 |        0
1480.06/1480.31	c 1466s |      14 |  1457317 |    84952 |   510868      0 |        1 |        0
1482.86/1483.11	c 1469s |      14 |  1457492 |    85052 |   510868      0 |        1 |        0
1485.46/1485.73	c 1472s |      14 |  1457766 |    85152 |   510868      0 |        1 |        0
1488.06/1488.40	c 1474s |      14 |  1458377 |    85352 |   510868      0 |        1 |        0
1492.46/1492.71	c 1479s |      14 |  1458971 |    85552 |   510868      0 |        1 |        0
1496.66/1496.96	c 1483s |      14 |  1459247 |    85752 |   510868      0 |        1 |        0
1499.75/1500.07	c 1486s |      14 |  1459383 |    85852 |   510868      0 |        1 |        0
1503.15/1503.46	c 1489s |      14 |  1459600 |    85952 |   510868      0 |        1 |        0
1507.35/1507.68	c 1494s |      14 |  1459925 |    86152 |   510868      0 |        1 |        0
1512.16/1512.47	c 1498s |      14 |  1460050 |    86252 |   510868      0 |        1 |        0
1515.16/1515.48	c 1501s |      14 |  1460219 |    86352 |   510868      0 |        1 |        0
1517.25/1517.55	c 1504s |      14 |  1460437 |    86452 |   510868      0 |        1 |        0
1520.06/1520.35	c 1506s |      14 |  1460699 |    86552 |   510868      0 |        1 |        0
1522.45/1522.70	c 1509s |      14 |  1460862 |    86652 |   510868      0 |        1 |        0
1525.56/1525.88	c 1512s |      14 |  1461165 |    86852 |   510868      0 |        1 |        0
1527.66/1527.90	c 1514s |      14 |  1461299 |    86952 |   561955      0 |        1 |        0
1529.75/1530.02	c 1516s |      14 |  1461423 |    87052 |   561955      0 |        1 |        0
1533.05/1533.37	c 1519s |      14 |  1461618 |    87152 |   561955      0 |        1 |        0
1535.46/1535.77	c 1522s |      14 |  1461778 |    87252 |   561955      0 |        1 |        0
1538.26/1538.57	c 1525s |      14 |  1461969 |    87352 |   561955      0 |        1 |        0
1541.45/1541.73	c 1528s |      14 |  1462146 |    87452 |   561955      0 |        1 |        0
1544.75/1545.06	c 1531s |      14 |  1462267 |    87552 |   561955      0 |        1 |        0
1548.15/1548.47	c 1534s |      15 |  1462484 |    87632 |   561955      0 |        1 |        0
1552.75/1553.05	c 1539s |      15 |  1544330 |    87732 |   561955      0 |        1 |        0
1554.75/1555.07	c 1541s |      15 |  1544599 |    87832 |   561955      0 |        1 |        0
1557.75/1558.05	c 1544s |      15 |  1544733 |    87932 |   561955      0 |        1 |        0
1560.05/1560.31	c 1546s |      15 |  1544914 |    88032 |   561955      0 |        1 |        0
1562.86/1563.18	c 1549s |      15 |  1545091 |    88132 |   561955      0 |        1 |        0
1565.65/1565.95	c 1552s |      15 |  1545210 |    88232 |   561955      0 |        1 |        0
1568.05/1568.35	c 1554s |      15 |  1545346 |    88332 |   561955      0 |        1 |        0
1571.05/1571.33	c 1557s |      15 |  1545475 |    88432 |   561955      0 |        1 |        0
1573.85/1574.16	c 1560s |      15 |  1545601 |    88532 |   561955      0 |        1 |        0
1576.95/1577.26	c 1563s |      15 |  1545735 |    88632 |   561955      0 |        1 |        0
1580.05/1580.38	c 1566s |      15 |  1546039 |    88832 |   561955      0 |        1 |        0
1582.75/1583.06	c 1569s |      15 |  1546174 |    88932 |   561955      0 |        1 |        0
1587.35/1587.61	c 1574s |      15 |  1546450 |    89132 |   561955      0 |        1 |        0
1590.25/1590.59	c 1577s |      15 |  1546621 |    89232 |   561955      0 |        1 |        0
1592.85/1593.14	c 1579s |      15 |  1546776 |    89332 |   561955      0 |        1 |        0
1595.85/1596.18	c 1582s |      15 |  1547200 |    89532 |   561955      0 |        1 |        0
1598.74/1599.00	c 1585s |      15 |  1547663 |    89732 |   561955      0 |        1 |        0
1602.24/1602.53	c 1589s |      15 |  1548012 |    89932 |   561955      0 |        1 |        0
1605.34/1605.67	c 1592s |      15 |  1548410 |    90132 |   561955      0 |        1 |        0
1607.54/1607.84	c 1594s |      15 |  1548621 |    90232 |   561955      0 |        1 |        0
1610.64/1610.90	c 1597s |      15 |  1548946 |    90432 |   561955      0 |        1 |        0
1614.34/1614.66	c 1601s |      15 |  1549246 |    90632 |   561955      0 |        1 |        0
1617.04/1617.36	c 1603s |      15 |  1549585 |    90832 |   561955      0 |        1 |        0
1619.44/1619.75	c 1606s |      15 |  1549753 |    90932 |   561955      0 |        1 |        0
1623.54/1623.80	c 1610s |      15 |  1550112 |    91132 |   561955      0 |        1 |        0
1625.65/1625.96	c 1612s |      15 |  1550371 |    91232 |   561955      0 |        1 |        0
1629.24/1629.57	c 1616s |      15 |  1550633 |    91432 |   561955      0 |        1 |        0
1631.94/1632.20	c 1618s |      15 |  1550902 |    91632 |   561955      0 |        1 |        0
1634.74/1635.04	c 1621s |      15 |  1551195 |    91832 |   561955      0 |        1 |        0
1637.53/1637.89	c 1624s |      15 |  1551469 |    92032 |   561955      0 |        1 |        0
1640.64/1640.99	c 1627s |      15 |  1551786 |    92232 |   561955      0 |        1 |        0
1643.93/1644.26	c 1630s |      15 |  1552132 |    92432 |   561955      0 |        1 |        0
1646.44/1646.74	c 1633s |      15 |  1552473 |    92632 |   561955      0 |        1 |        0
1650.03/1650.31	c 1636s |      15 |  1552857 |    92832 |   561955      0 |        1 |        0
1653.24/1653.52	c 1639s |      15 |  1553164 |    93032 |   561955      0 |        1 |        0
1655.64/1655.94	c 1642s |      15 |  1553567 |    93232 |   561955      0 |        1 |        0
1658.74/1659.07	c 1645s |      15 |  1553878 |    93432 |   561955      0 |        1 |        0
1662.74/1663.06	c 1649s |      15 |  1554270 |    93632 |   561955      0 |        1 |        0
1666.83/1667.10	c 1653s |      15 |  1554860 |    93832 |   561955      0 |        1 |        0
1669.73/1670.05	c 1656s |      15 |  1555163 |    94032 |   561955      0 |        1 |        0
1672.73/1673.00	c 1659s |      15 |  1555452 |    94232 |   561955      0 |        1 |        0
1675.04/1675.37	c 1661s |      15 |  1555788 |    94432 |   561955      0 |        1 |        0
1678.44/1678.73	c 1665s |      15 |  1556079 |    94632 |   561955      0 |        1 |        0
1681.53/1681.83	c 1668s |      15 |  1556384 |    94832 |   561955      0 |        1 |        0
1684.83/1685.10	c 1671s |      15 |  1556710 |    95032 |   561955      0 |        1 |        0
1688.13/1688.40	c 1674s |      15 |  1557054 |    95232 |   561955      0 |        1 |        0
1691.63/1691.93	c 1678s |      15 |  1557399 |    95432 |   561955      0 |        1 |        0
1695.23/1695.52	c 1681s |      15 |  1557697 |    95632 |   561955      0 |        1 |        0
1698.53/1698.88	c 1685s |      15 |  1558060 |    95832 |   561955      0 |        1 |        0
1701.92/1702.27	c 1688s |      15 |  1558441 |    96032 |   561955      0 |        1 |        0
1704.62/1704.90	c 1691s |      15 |  1558778 |    96232 |   561955      0 |        1 |        0
1706.62/1706.92	c 1693s |      15 |  1559135 |    96432 |   561955      0 |        1 |        0
1709.63/1709.98	c 1696s |      15 |  1559464 |    96632 |   561955      0 |        1 |        0
1712.83/1713.19	c 1699s |      15 |  1559895 |    96832 |   561955      0 |        1 |        0
1716.42/1716.75	c 1703s |      15 |  1560191 |    97032 |   561955      0 |        1 |        0
1720.72/1721.01	c 1707s |      15 |  1560484 |    97232 |   561955      0 |        1 |        0
1722.72/1723.09	c 1709s |      15 |  1560623 |    97332 |   561955      0 |        1 |        0
1724.82/1725.10	c 1711s |      15 |  1560780 |    97432 |   561955      0 |        1 |        0
1728.12/1728.41	c 1714s |      15 |  1561041 |    97632 |   561955      0 |        1 |        0
1730.92/1731.27	c 1717s |      15 |  1561221 |    97732 |   561955      0 |        1 |        0
1733.43/1733.71	c 1720s |      15 |  1561427 |    97832 |   561955      0 |        1 |        0
1736.22/1736.52	c 1722s |      15 |  1561735 |    98032 |   561955      0 |        1 |        0
1739.32/1739.61	c 1726s |      15 |  1562143 |    98232 |   561955      0 |        1 |        0
1743.01/1743.37	c 1729s |      15 |  1562466 |    98432 |   561955      0 |        1 |        0
1745.81/1746.14	c 1732s |      15 |  1562627 |    98532 |   561955      0 |        1 |        0
1748.02/1748.36	c 1734s |      15 |  1562798 |    98632 |   561955      0 |        1 |        0
1750.62/1750.95	c 1737s |      15 |  1563125 |    98832 |   561955      0 |        1 |        0
1753.82/1754.12	c 1740s |      15 |  1563419 |    99032 |   561955      0 |        1 |        0
1756.02/1756.38	c 1742s |      15 |  1563587 |    99132 |   561955      0 |        1 |        0
1758.32/1758.69	c 1745s |      15 |  1563720 |    99232 |   561955      0 |        1 |        0
1761.62/1761.93	c 1748s |      15 |  1564013 |    99432 |   561955      0 |        1 |        0
1763.61/1763.97	c 1750s |      15 |  1564153 |    99532 |   561955      0 |        1 |        0
1765.92/1766.23	c 1752s |      15 |  1564265 |    99632 |   561955      0 |        1 |        0
1769.12/1769.45	c 1755s |      15 |  1564566 |    99832 |   561955      0 |        1 |        0
1772.31/1772.62	c 1759s |      15 |  1564907 |   100032 |   561955      0 |        1 |        0
1775.51/1775.82	c 1762s |      15 |  1565245 |   100232 |   561955      0 |        1 |        0
1779.81/1780.10	c 1766s |      15 |  1565567 |   100432 |   561955      0 |        1 |        0
1782.01/1782.33	c 1768s |      15 |  1565674 |   100532 |   561955      0 |        1 |        0
1785.51/1785.85	c 1772s |      15 |  1565972 |   100732 |   561955      0 |        1 |        0
1787.81/1788.14	c 1774s |      15 |  1566141 |   100832 |   561955      0 |        1 |        0
1790.22/1790.54	c 1777s |      15 |  1566470 |   101032 |   561955      0 |        1 |        0
1793.71/1794.07	c 1780s |      15 |  1566767 |   101232 |   561955      0 |        1 |        0
1797.01/1797.36	c 1783s |      15 |  1567070 |   101432 |   561955      0 |        1 |        0

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-4093065-1466075286/watcher-4093065-1466075286 -o /tmp/evaluation-result-4093065-1466075286/solver-4093065-1466075286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093065-1466075286.wbo 

pid=21625
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: 1.23 1.20 1.42 4/175 21631
/proc/meminfo: memFree=30339464/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=632252 CPUtime=0 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 2343 0 0 0 0 0 0 0 20 0 4 0 9574358 647426048 2193 33554432000 4194304 16246674 140736142050480 140736142049904 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 158575 2203 441 2943 0 155469 0
[pid=21631/tid=21635] ppid=21625 vsize=648636 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 664203264 2260 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=653756 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 669446144 2279 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=657852 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9574359 673640448 2296 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100068 s]
/proc/loadavg: 1.23 1.20 1.42 4/175 21631
/proc/meminfo: memFree=30339464/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 25537 0 0 0 6 3 0 0 20 0 4 0 9574358 1250496512 25326 33554432000 4194304 16246674 140736142050480 140736142049792 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 305297 25326 800 2943 0 302191 0
[pid=21631/tid=21635] ppid=21625 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1250496512 25326 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1250496512 25326 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1250496512 25326 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200437 s]
/proc/loadavg: 1.23 1.20 1.42 4/175 21631
/proc/meminfo: memFree=30339464/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 47363 0 0 0 12 7 0 0 20 0 4 0 9574358 1342771200 47663 33554432000 4194304 16246674 140736142050480 140736142033472 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 327825 47668 800 2943 0 324719 0
[pid=21631/tid=21635] ppid=21625 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1342771200 47671 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1342771200 47675 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1342771200 47679 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300445 s]
/proc/loadavg: 1.23 1.20 1.42 4/175 21631
/proc/meminfo: memFree=30339464/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 54991 0 0 0 21 8 0 0 20 0 4 0 9574358 1344868352 55291 33554432000 4194304 16246674 140736142050480 140736142033472 8057096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 328337 55291 800 2943 0 325231 0
[pid=21631/tid=21635] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 55291 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 55291 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 55291 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700348 s]
/proc/loadavg: 1.23 1.20 1.42 4/175 21631
/proc/meminfo: memFree=30339464/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 63266 0 0 0 59 9 0 0 20 0 4 0 9574358 1344868352 63566 33554432000 4194304 16246674 140736142050480 140736142033472 8058189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 328337 63566 801 2943 0 325231 0
[pid=21631/tid=21635] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 63566 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 63566 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 63566 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 1.29 1.22 1.42 4/183 21639
/proc/meminfo: memFree=29723288/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 83013 0 0 0 137 12 0 0 20 0 4 0 9574358 1344868352 83313 33554432000 4194304 16246674 140736142050480 140736142033472 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 328337 83328 802 2943 0 325231 0
[pid=21631/tid=21635] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 83339 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 83349 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 83361 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 1.29 1.22 1.42 4/183 21639
/proc/meminfo: memFree=29666380/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 108766 0 0 0 293 16 0 0 20 0 4 0 9574358 1344868352 109066 33554432000 4194304 16246674 140736142050480 140736142049792 12080552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 328337 109066 834 2943 0 325231 0
[pid=21631/tid=21635] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 109066 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 109066 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1344868352 109066 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30034 s]
/proc/loadavg: 1.29 1.22 1.42 4/183 21639
/proc/meminfo: memFree=28048888/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1388100 CPUtime=6.29 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 287670 0 0 0 588 41 0 0 20 0 4 0 9574358 1421414400 287970 33554432000 4194304 16246674 140736142050480 140736142032384 13923831 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 347025 287970 859 2943 0 343919 0
[pid=21631/tid=21635] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 287970 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 287970 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 287970 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1388100

[startup+12.7003 s]
/proc/loadavg: 1.40 1.24 1.42 4/183 21639
/proc/meminfo: memFree=28036348/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1388100 CPUtime=12.69 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 287723 0 0 0 1228 41 0 0 20 0 4 0 9574358 1421414400 288023 33554432000 4194304 16246674 140736142050480 140736142032384 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 347025 288023 911 2943 0 343919 0
[pid=21631/tid=21635] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288023 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288023 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288023 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1388100

[startup+25.5005 s]
/proc/loadavg: 1.56 1.28 1.44 4/183 21639
/proc/meminfo: memFree=28037100/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1388100 CPUtime=25.49 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 287739 0 0 0 2508 41 0 0 20 0 4 0 9574358 1421414400 288039 33554432000 4194304 16246674 140736142050480 140736142032384 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 347025 288039 927 2943 0 343919 0
[pid=21631/tid=21635] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1388100

[startup+51.1005 s]
/proc/loadavg: 1.80 1.36 1.46 4/183 21640
/proc/meminfo: memFree=28037128/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1388100 CPUtime=51.08 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 287739 0 0 0 5067 41 0 0 20 0 4 0 9574358 1421414400 288039 33554432000 4194304 16246674 140736142050480 140736142032384 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 347025 288039 927 2943 0 343919 0
[pid=21631/tid=21635] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1388100

[startup+102.3 s]
/proc/loadavg: 2.01 1.49 1.49 4/183 21641
/proc/meminfo: memFree=28037268/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1388100 CPUtime=102.28 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 287739 0 0 0 10187 41 0 0 20 0 4 0 9574358 1421414400 288039 33554432000 4194304 16246674 140736142050480 140736142032384 6009960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 347025 288039 927 2943 0 343919 0
[pid=21631/tid=21635] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1421414400 288039 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1388100


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

/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1761153024 370764 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1719876 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1761153024 370764 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1719876 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1761153024 370764 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1719876

[startup+1362.3 s]
/proc/loadavg: 2.49 2.35 2.09 4/184 21676
/proc/meminfo: memFree=27341792/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1754692 CPUtime=1362.08 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 379156 0 0 0 136122 86 0 0 20 0 4 0 9574358 1796804608 379456 33554432000 4194304 16246674 140736142050480 140736142049656 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 438673 379456 928 2943 0 435567 0
[pid=21631/tid=21635] ppid=21625 vsize=1754692 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1796804608 379456 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1754692 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1796804608 379456 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1754692 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1796804608 379456 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1754692

[startup+1422.3 s]
/proc/loadavg: 2.50 2.38 2.11 4/183 21677
/proc/meminfo: memFree=27294712/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1784388 CPUtime=1422.08 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 386699 0 0 0 142118 90 0 0 20 0 4 0 9574358 1827213312 386999 33554432000 4194304 16246674 140736142050480 140736142032384 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 446097 386999 928 2943 0 442991 0
[pid=21631/tid=21635] ppid=21625 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1827213312 386999 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1827213312 386999 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1827213312 386999 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1784388

[startup+1482.3 s]
/proc/loadavg: 2.40 2.37 2.12 5/183 21678
/proc/meminfo: memFree=27254452/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1801796 CPUtime=1482.07 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 390981 0 0 0 148114 93 0 0 20 0 4 0 9574358 1845039104 391281 33554432000 4194304 16246674 140736142050480 140736142049656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 450449 391281 928 2943 0 447343 0
[pid=21631/tid=21635] ppid=21625 vsize=1801796 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1845039104 391281 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1801796 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1845039104 391281 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1801796 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1845039104 391281 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 1801796

[startup+1542.31 s]
/proc/loadavg: 2.27 2.33 2.12 4/183 21679
/proc/meminfo: memFree=27157756/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1830468 CPUtime=1542.06 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 398158 0 0 0 154108 98 0 0 20 0 4 0 9574358 1874399232 398458 33554432000 4194304 16246674 140736142050480 140736142049656 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 457617 398458 928 2943 0 454511 0
[pid=21631/tid=21635] ppid=21625 vsize=1830468 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1874399232 398458 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1830468 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1874399232 398458 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1830468 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1874399232 398458 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1830468

[startup+1602.3 s]
/proc/loadavg: 2.23 2.31 2.12 4/183 21681
/proc/meminfo: memFree=27118104/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1845828 CPUtime=1602.04 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 402061 0 0 0 160105 99 0 0 20 0 4 0 9574358 1890127872 402361 33554432000 4194304 16246674 140736142050480 140736142032384 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 461457 402361 928 2943 0 458351 0
[pid=21631/tid=21635] ppid=21625 vsize=1845828 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1890127872 402361 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1845828 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1890127872 402361 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1845828 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1890127872 402361 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1845828

[startup+1662.3 s]
/proc/loadavg: 2.41 2.34 2.14 5/183 21682
/proc/meminfo: memFree=27020652/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1887812 CPUtime=1662.04 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 412482 0 0 0 166099 105 0 0 20 0 4 0 9574358 1933119488 412782 33554432000 4194304 16246674 140736142050480 140736142032384 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 471953 412782 928 2943 0 468847 0
[pid=21631/tid=21635] ppid=21625 vsize=1887812 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1933119488 412782 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1887812 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1933119488 412782 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1887812 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1933119488 412782 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1887812

[startup+1722.3 s]
/proc/loadavg: 2.21 2.29 2.14 4/183 21683
/proc/meminfo: memFree=26960600/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1922628 CPUtime=1722.02 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 421260 0 0 0 172091 111 0 0 20 0 4 0 9574358 1968771072 421560 33554432000 4194304 16246674 140736142050480 140736142049656 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 480657 421560 928 2943 0 477551 0
[pid=21631/tid=21635] ppid=21625 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 1968771072 421560 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 1968771072 421560 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1922628 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 1968771072 421560 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1922628

[startup+1782.3 s]
/proc/loadavg: 2.27 2.30 2.15 4/183 21684
/proc/meminfo: memFree=26883252/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1961540 CPUtime=1782.01 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 431087 0 0 0 178085 116 0 0 20 0 4 0 9574358 2008616960 431387 33554432000 4194304 16246674 140736142050480 140736142032384 5823584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 490385 431387 928 2943 0 487279 0
[pid=21631/tid=21635] ppid=21625 vsize=1961540 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 2008616960 431387 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1961540 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 2008616960 431387 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1961540 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 2008616960 431387 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1961540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.30 2.15 5/183 21684
/proc/meminfo: memFree=26843680/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=1985092 CPUtime=1800.01 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) R 21625 21631 17390 0 -1 4202496 436873 0 0 0 179883 118 0 0 20 0 4 0 9574358 2032734208 437173 33554432000 4194304 16246674 140736142050480 140736142032384 13820919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 496273 437173 928 2943 0 493167 0
[pid=21631/tid=21635] ppid=21625 vsize=1985092 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21635/stat : 21635 (toysat) S 21625 21631 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9574359 2032734208 437173 33554432000 4194304 16246674 140736142050480 140493687074032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=1985092 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) S 21625 21631 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9574359 2032734208 437173 33554432000 4194304 16246674 140736142050480 140493676584176 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21631/tid=21637] ppid=21625 vsize=1985092 CPUtime=0 cores=0,2,4,6
/proc/21631/task/21637/stat : 21637 (toysat) S 21625 21631 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9574359 2032734208 437173 33554432000 4194304 16246674 140736142050480 140493666110640 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1985092

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

[startup+1800.4 s]
/proc/loadavg: 2.29 2.30 2.15 5/183 21684
/proc/meminfo: memFree=26843680/32872528 swapFree=1499116/1695340
[pid=21631] ppid=21625 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/21631/stat : 21631 (toysat) Z 21625 21631 17390 0 -1 4203532 436873 0 0 0 179884 128 0 0 20 0 2 0 9574358 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21631/statm: 0 0 0 0 0 0 0
[pid=21631/tid=21636] ppid=21625 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/21631/task/21636/stat : 21636 (toysat) R 21625 21631 17390 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 9574359 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.13
CPU user time (s): 1798.84
CPU system time (s): 1.2938
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 1985092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.2938
maximum resident set size= 1748692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436873
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= 172
involuntary context switches= 1885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50131 second user time and 6.98994 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 13:08:06
IDJOB=4093065
IDBENCH=78617
IDSOLVER=2553
FILE ID=node137/4093065-1466075286
RUNJOBID= node137-1466075286-21602
PBS_JOBID= 19904003
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093065-1466075286/watcher-4093065-1466075286 -o /tmp/evaluation-result-4093065-1466075286/solver-4093065-1466075286 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093065-1466075286.wbo

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

MD5SUM BENCH= 183bb2e2a61d9270f00fd9e637b7d95c
RANDOM SEED=223326337

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30342180 kB
Buffers:           17024 kB
Cached:           111200 kB
SwapCached:         2456 kB
Active:            93192 kB
Inactive:          38356 kB
Active(anon):       4412 kB
Inactive(anon):     1780 kB
Active(file):      88780 kB
Inactive(file):    36576 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             48688 kB
Writeback:             0 kB
AnonPages:       1697316 kB
Mapped:             6964 kB
Shmem:                 0 kB
Slab:             568316 kB
SReclaimable:      12640 kB
SUnreclaim:       555676 kB
KernelStack:        1400 kB
PageTables:         7896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71692 MiB
End job on node137 at 2016-06-16 13:38:07