Trace number 4079304

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_4.opb
MD5SUMb9760eca078029bee17418839cb4525f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3447571
Best CPU time to get the best result obtained on this benchmark1800
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 77399784670
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 77399784670
Number of bits of the biggest sum of numbers37
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-07T22:38:01+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079304-1465331881.opb"]
0.00/0.01	c use --random-gen="3250689962 32507672 231925809 4112995764 2711859945 2283204338 924618709 1763533714 3520543077 3056618593 301548536 2567246512 2352020065 2653273540 2446009614 3607961957 3846663605 2669601864 2783067411 829172798 3584282773 1961073575 2040295345 948239676 3983056168 950471420 2542240876 143204781 746702177 615748878 1929806462 1543710989 1449738183 3040848092 979715056 1235214130 3246127783 2825002218 412273397 756102114 3631916653 2892923160 2201664961 282071341 2875640640 2010396156 26106544 214713454 2671624043 1863760399 107470433 4197675380 2054452631 1804145220 420917294 2186580071 3574476294 3017651736 1256584075 4122598583 1370430566 735141830 3136890686 2117249239 949841297 1183252129 968939357 2628973446 2209945892 3677967124 323590984 3013946828 287358894 271141039 1747940560 4177856653 3459700716 1413994042 389894704 2682859631 3615365214 2465201234 1809679710 4004264757 1452490092 2046329190 764828999 1729893083 1991187229 4099255143 4201739995 3380402295 2443846374 419107185 2102161454 3146113305 3678161997 2156458152 95327660 3336916158 1758665979 1325134259 3685521692 4165483292 10264976 2144411664 1929120714 78657038 3497310243 1744238463 1987822036 156161093 1412433476 1751792741 3523158824 4063827132 1394397944 70364403 3085994676 3448908335 1094707109 2680473141 3199544005 904428806 2031575293 3804768016 1009803718 308424376 3423285477 2561141648 3887697379 1352813816 3717721561 567766898 3485599682 873090097 1755224604 662008350 1007624492 1492167636 1330145258 138557057 3642328458 1859038876 1371250915 2399135181 880174568 2707050044 1141866740 3472580088 3400605759 1374205780 733122105 2430401107 3391377686 2413295369 2189286418 2332630729 2773161339 1298691285 2425468814 4078046931 869908944 3380320450 2776206107 3775611789 1993897936 414625233 1954275504 402569871 2031461069 1253849906 717910932 1990752497 1911645805 1266433793 3973099906 674932695 528062123 3190626027 3833404101 3615978962 3438630407 2011512205 1201892062 3245921307 2244632280 1094884443 587940011 2839707757 157043767 1189169912 2949514097 543888103 2616302954 213957335 2443105463 470483298 1965845488 2422751400 98312798 1516592167 1169314179 2418080110 3675802340 3152070485 4049225170 2536370892 1600404900 2169671441 2952358102 156905838 1109266822 278281145 2384130816 1498745100 3987829360 4040439302 3558528363 2144202881 4016790924 3681285531 1391117428 3891645550 462595870 1048765568 4166581679 1634605195 1036696004 2999097330 526883614 1959806360 3851377369 1500516917 3142056277 3491540790 3395722970 1889683103 2220877575 2236231608 3505516011 563972601 1641322787 2171396166 3396520668 2280402031 2722608182 3702228871 2755840135 19367915 1089188663 978197460 1360906742 1845788529 3479822621 2474130848 255 362436" option to reproduce the execution
0.09/0.19	c #vars 9940
0.09/0.19	c #constraints 14846
0.69/0.71	c BCD2: Hardening is enabled.
0.69/0.71	c BCD2: BiasedSearch is enabled.
0.69/0.71	c Solving starts ...
0.69/0.71	c ============================[ Search Statistics ]============================
0.69/0.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.71	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.71	c =============================================================================
0.69/0.71	c  0.0s |       0 |        0 |        0 |    11482      0 |      140 |        0
0.89/0.98	c  0.3s |       1 |      151 |      100 |    11482      0 |      140 |        0
2.79/2.83	c  2.1s |       2 |     1307 |      250 |    12631      0 |      140 |        0
4.60/4.66	c  4.0s |       3 |     1664 |      475 |    13895      0 |      140 |        0
6.29/6.37	c  5.7s |       4 |     2060 |      813 |    15285      0 |      140 |        0
9.29/9.34	c  8.6s |       4 |     2354 |     1013 |    16814      0 |      140 |        0
12.29/12.38	c 11.7s |       4 |     2580 |     1213 |    16814      0 |      140 |        0
13.49/13.56	c 12.9s |       5 |     2825 |     1320 |    16814      0 |      140 |        0
16.08/16.11	c 15.4s |       5 |     3239 |     1620 |    18496      0 |      140 |        0
18.68/18.72	c 18.0s |       5 |     3558 |     1920 |    18496      0 |      140 |        0
19.08/19.18	c 18.5s |       6 |     3714 |     2081 |    20346      0 |      140 |        0
21.29/21.30	c 20.6s |       6 |     6131 |     2381 |    20346      0 |      140 |        0
22.29/22.32	c 21.6s |       7 |     6973 |     3223 |    22381      0 |      140 |        0
24.49/24.55	c 23.8s |       7 |     7183 |     3323 |    22381      0 |      140 |        0
27.79/27.90	c 27.2s |       7 |     7401 |     3523 |    22381      0 |      140 |        0
30.28/30.37	c 29.7s |       7 |     7784 |     3723 |    22381      0 |      140 |        0
33.48/33.50	c 32.8s |       7 |     8027 |     3923 |    22381      0 |      140 |        0
35.98/36.03	c 35.3s |       7 |     8233 |     4123 |    22381      0 |      140 |        0
38.48/38.51	c 37.8s |       7 |     8552 |     4323 |    22381      0 |      140 |        0
41.68/41.76	c 41.1s |       7 |     8760 |     4523 |    22381      0 |      140 |        0
44.29/44.31	c 43.6s |       7 |     8915 |     4623 |    22381      0 |      140 |        0
46.78/46.83	c 46.1s |       7 |     9095 |     4723 |    22381      0 |      140 |        0
48.88/48.93	c 48.2s |       7 |     9348 |     4923 |    24620      0 |      140 |        0
48.88/48.99	c 48.3s |       8 |     9359 |     4936 |    24620      0 |      140 |        0
52.08/52.10	c 51.4s |       8 |     9674 |     5136 |    24620      0 |      140 |        0
54.88/54.95	c 54.2s |       8 |    10009 |     5436 |    24620      0 |      140 |        0
57.88/57.98	c 57.3s |       8 |    10237 |     5636 |    24620      0 |      140 |        0
60.68/60.78	c 60.1s |       8 |    10471 |     5836 |    24620      0 |      140 |        0
63.68/63.72	c 63.0s |       8 |    10716 |     6036 |    24620      0 |      140 |        0
66.08/66.14	c 65.4s |       8 |    10952 |     6236 |    24620      0 |      140 |        0
68.67/68.72	c 68.0s |       8 |    11299 |     6536 |    24620      0 |      140 |        0
71.97/72.05	c 71.3s |       8 |    11542 |     6736 |    24620      0 |      140 |        0
75.08/75.15	c 74.4s |       8 |    11790 |     6936 |    24620      0 |      140 |        0
77.77/77.89	c 77.2s |       8 |    12064 |     7136 |    24620      0 |      140 |        0
80.48/80.51	c 79.8s |       8 |    12401 |     7336 |    24620      0 |      140 |        0
81.87/81.96	c 81.3s |       9 |    12587 |     7506 |    27083      0 |      140 |        0
84.37/84.42	c 83.7s |       9 |    12876 |     7706 |    27083      0 |      140 |        0
86.87/86.99	c 86.3s |       9 |    13212 |     7906 |    27083      0 |      140 |        0
90.67/90.76	c 90.1s |       9 |    13444 |     8106 |    27083      0 |      140 |        0
92.78/92.81	c 92.1s |       9 |    13725 |     8306 |    27083      0 |      140 |        0
95.48/95.58	c 94.9s |       9 |    13991 |     8506 |    27083      0 |      140 |        0
97.98/98.06	c 97.4s |       9 |    14233 |     8706 |    27083      0 |      140 |        0
100.08/100.15	c 99.4s |       9 |    14478 |     8906 |    27083      0 |      140 |        0
103.68/103.77	c  103s |       9 |    14712 |     9106 |    27083      0 |      140 |        0
106.17/106.25	c  105s |       9 |    15048 |     9406 |    27083      0 |      140 |        0
109.18/109.23	c  108s |       9 |    15279 |     9606 |    27083      0 |      140 |        0
111.87/111.91	c  111s |       9 |    15524 |     9806 |    27083      0 |      140 |        0
114.37/114.40	c  113s |       9 |    15863 |    10106 |    27083      0 |      140 |        0
117.27/117.32	c  116s |       9 |    16095 |    10306 |    27083      0 |      140 |        0
120.27/120.32	c  119s |       9 |    16359 |    10506 |    27083      0 |      140 |        0
123.27/123.37	c  122s |       9 |    16579 |    10706 |    27083      0 |      140 |        0
126.17/126.29	c  125s |       9 |    16912 |    10906 |    27083      0 |      140 |        0
129.37/129.45	c  128s |       9 |    17145 |    11106 |    27083      0 |      140 |        0
132.77/132.81	c  132s |       9 |    17367 |    11306 |    29792      0 |      140 |        0
133.17/133.23	c  132s |      10 |    17427 |    11361 |    29792      0 |      140 |        0
135.47/135.56	c  134s |      10 |    17589 |    11461 |    29792      0 |      140 |        0
138.87/138.97	c  138s |      10 |    17938 |    11661 |    29792      0 |      140 |        0
142.37/142.42	c  141s |      10 |    18205 |    11861 |    29792      0 |      140 |        0
144.37/144.49	c  143s |      10 |    18343 |    11961 |    29792      0 |      140 |        0
147.76/147.83	c  147s |      10 |    18575 |    12161 |    29792      0 |      140 |        0
150.87/150.95	c  150s |      10 |    18842 |    12361 |    29792      0 |      140 |        0
154.56/154.62	c  153s |      10 |    19081 |    12561 |    29792      0 |      140 |        0
157.76/157.81	c  157s |      10 |    19318 |    12761 |    29792      0 |      140 |        0
160.96/161.01	c  160s |      10 |    19718 |    13061 |    29792      0 |      140 |        0
164.26/164.33	c  163s |      10 |    19957 |    13261 |    29792      0 |      140 |        0
168.06/168.14	c  167s |      10 |    20272 |    13461 |    29792      0 |      140 |        0
170.36/170.46	c  169s |      10 |    20515 |    13661 |    29792      0 |      140 |        0
172.46/172.52	c  171s |      10 |    20631 |    13761 |    29792      0 |      140 |        0
174.86/174.93	c  174s |      10 |    20944 |    14061 |    29792      0 |      140 |        0
177.66/177.71	c  176s |      10 |    21321 |    14361 |    29792      0 |      140 |        0
180.06/180.14	c  179s |      10 |    21531 |    14561 |    29792      0 |      140 |        0
182.56/182.61	c  181s |      10 |    21772 |    14761 |    29792      0 |      140 |        0
184.96/185.08	c  184s |      10 |    22017 |    14961 |    29792      0 |      140 |        0
188.56/188.61	c  187s |      10 |    22227 |    15161 |    29792      0 |      140 |        0
190.76/190.80	c  190s |      10 |    22556 |    15361 |    29792      0 |      140 |        0
193.76/193.82	c  193s |      10 |    22883 |    15661 |    29792      0 |      140 |        0
196.56/196.69	c  195s |      10 |    23123 |    15861 |    29792      0 |      140 |        0
200.36/200.45	c  199s |      10 |    23337 |    16061 |    29792      0 |      140 |        0
203.26/203.36	c  202s |      10 |    23612 |    16261 |    29792      0 |      140 |        0
205.65/205.76	c  205s |      10 |    23964 |    16561 |    29792      0 |      140 |        0
207.65/207.79	c  207s |      10 |    24276 |    16861 |    29792      0 |      140 |        0
209.45/209.51	c  208s |      11 |    24595 |    17144 |    32772      0 |      140 |        0
211.55/211.62	c  210s |      11 |    24790 |    17244 |    32772      0 |      140 |        0
214.35/214.43	c  213s |      11 |    25039 |    17444 |    32772      0 |      140 |        0
217.96/218.09	c  217s |      11 |    25274 |    17644 |    32772      0 |      140 |        0
220.95/221.03	c  220s |      11 |    25522 |    17844 |    32772      0 |      140 |        0
224.05/224.12	c  223s |      11 |    25775 |    18044 |    32772      0 |      140 |        0
227.25/227.37	c  226s |      11 |    25998 |    18244 |    32772      0 |      140 |        0
230.85/230.91	c  230s |      11 |    26251 |    18444 |    32772      0 |      140 |        0
234.25/234.39	c  233s |      11 |    26477 |    18644 |    32772      0 |      140 |        0
237.65/237.71	c  237s |      11 |    26704 |    18844 |    32772      0 |      140 |        0
241.05/241.13	c  240s |      11 |    26939 |    19044 |    32772      0 |      140 |        0
244.05/244.12	c  243s |      11 |    27212 |    19244 |    32772      0 |      140 |        0
247.65/247.76	c  247s |      11 |    27534 |    19444 |    32772      0 |      140 |        0
249.85/249.94	c  249s |      11 |    27749 |    19644 |    32772      0 |      140 |        0
253.15/253.21	c  252s |      11 |    28010 |    19844 |    32772      0 |      140 |        0
255.94/256.03	c  255s |      11 |    28251 |    20044 |    32772      0 |      140 |        0
257.94/258.04	c  257s |      11 |    28348 |    20144 |    32772      0 |      140 |        0
261.04/261.14	c  260s |      11 |    28569 |    20344 |    32772      0 |      140 |        0
264.55/264.67	c  263s |      11 |    28781 |    20544 |    32772      0 |      140 |        0
267.25/267.38	c  266s |      11 |    29126 |    20744 |    32772      0 |      140 |        0
269.85/269.96	c  269s |      11 |    29363 |    20944 |    32772      0 |      140 |        0
273.35/273.47	c  272s |      11 |    29582 |    21144 |    32772      0 |      140 |        0
275.45/275.56	c  274s |      11 |    29781 |    21344 |    32772      0 |      140 |        0
278.56/278.60	c  277s |      11 |    29997 |    21544 |    32772      0 |      140 |        0
281.15/281.21	c  280s |      11 |    30256 |    21744 |    32772      0 |      140 |        0
283.95/284.04	c  283s |      11 |    30468 |    21944 |    32772      0 |      140 |        0
286.95/287.08	c  286s |      11 |    30700 |    22144 |    32772      0 |      140 |        0
289.95/290.04	c  289s |      11 |    30904 |    22344 |    32772      0 |      140 |        0
293.25/293.33	c  292s |      11 |    31220 |    22644 |    32772      0 |      140 |        0
296.15/296.20	c  295s |      11 |    31520 |    22944 |    32772      0 |      140 |        0
299.35/299.50	c  298s |      11 |    31732 |    23144 |    32772      0 |      140 |        0
302.24/302.32	c  301s |      11 |    32074 |    23444 |    32772      0 |      140 |        0
305.14/305.22	c  304s |      11 |    32289 |    23644 |    32772      0 |      140 |        0
308.84/308.95	c  308s |      11 |    32522 |    23844 |    32772      0 |      140 |        0
311.24/311.36	c  310s |      11 |    32815 |    24144 |    32772      0 |      140 |        0
314.44/314.55	c  313s |      11 |    33018 |    24344 |    32772      0 |      140 |        0
318.24/318.30	c  317s |      11 |    33235 |    24544 |    32772      0 |      140 |        0
321.45/321.55	c  320s |      11 |    33442 |    24744 |    32772      0 |      140 |        0
323.65/323.72	c  323s |      11 |    33562 |    24844 |    32772      0 |      140 |        0
326.74/326.85	c  326s |      11 |    33818 |    25044 |    32772      0 |      140 |        0
329.84/329.96	c  329s |      11 |    34280 |    25244 |    32772      0 |      140 |        0
332.24/332.36	c  331s |      11 |    34381 |    25344 |    32772      0 |      140 |        0
335.44/335.54	c  334s |      11 |    34642 |    25544 |    32772      0 |      140 |        0
338.74/338.88	c  338s |      11 |    34887 |    25744 |    36050      0 |      140 |        0
340.44/340.57	c  339s |      12 |    34958 |    25819 |    36050      0 |      140 |        0
342.94/343.07	c  342s |      12 |    35136 |    25919 |    36050      0 |      140 |        0
346.34/346.43	c  345s |      12 |    35381 |    26119 |    36050      0 |      140 |        0
348.54/348.69	c  347s |      12 |    35630 |    26319 |    36050      0 |      140 |        0
351.63/351.77	c  351s |      12 |    35867 |    26519 |    36050      0 |      140 |        0
354.93/355.05	c  354s |      12 |    36107 |    26719 |    36050      0 |      140 |        0
358.03/358.19	c  357s |      12 |    36307 |    26919 |    36050      0 |      140 |        0
361.33/361.47	c  360s |      12 |    36593 |    27119 |    36050      0 |      140 |        0
364.83/364.98	c  364s |      12 |    36843 |    27319 |    36050      0 |      140 |        0
368.53/368.68	c  367s |      12 |    37114 |    27519 |    36050      0 |      140 |        0
371.83/371.93	c  371s |      12 |    37337 |    27719 |    36050      0 |      140 |        0
375.13/375.29	c  374s |      12 |    37585 |    27919 |    36050      0 |      140 |        0
377.93/378.07	c  377s |      12 |    37976 |    28119 |    36050      0 |      140 |        0
380.53/380.60	c  379s |      12 |    38191 |    28319 |    36050      0 |      140 |        0
383.04/383.14	c  382s |      12 |    38427 |    28519 |    36050      0 |      140 |        0
385.63/385.70	c  384s |      12 |    38681 |    28719 |    36050      0 |      140 |        0
389.03/389.14	c  388s |      12 |    38942 |    28919 |    36050      0 |      140 |        0
392.33/392.49	c  391s |      12 |    39167 |    29119 |    36050      0 |      140 |        0
395.82/395.93	c  395s |      12 |    39390 |    29319 |    36050      0 |      140 |        0
399.22/399.37	c  398s |      12 |    39630 |    29519 |    36050      0 |      140 |        0
402.92/403.09	c  402s |      12 |    39858 |    29719 |    36050      0 |      140 |        0
406.32/406.46	c  405s |      12 |    40103 |    29919 |    36050      0 |      140 |        0
409.72/409.84	c  409s |      12 |    40326 |    30119 |    36050      0 |      140 |        0
413.22/413.33	c  412s |      12 |    40592 |    30319 |    36050      0 |      140 |        0
415.72/415.83	c  415s |      12 |    40818 |    30519 |    36050      0 |      140 |        0
419.12/419.27	c  418s |      12 |    41047 |    30719 |    36050      0 |      140 |        0
422.72/422.83	c  422s |      12 |    41275 |    30919 |    36050      0 |      140 |        0
426.12/426.24	c  425s |      12 |    41514 |    31119 |    36050      0 |      140 |        0
428.52/428.60	c  427s |      12 |    41755 |    31319 |    36050      0 |      140 |        0
430.72/430.82	c  430s |      12 |    41973 |    31519 |    36050      0 |      140 |        0
434.52/434.63	c  433s |      12 |    42192 |    31719 |    36050      0 |      140 |        0
438.02/438.12	c  437s |      12 |    42416 |    31919 |    36050      0 |      140 |        0
441.51/441.66	c  440s |      12 |    42669 |    32119 |    36050      0 |      140 |        0
444.42/444.60	c  443s |      12 |    42995 |    32419 |    36050      0 |      140 |        0
448.02/448.17	c  447s |      12 |    43213 |    32619 |    36050      0 |      140 |        0
451.52/451.68	c  450s |      12 |    43492 |    32819 |    36050      0 |      140 |        0
455.42/455.55	c  454s |      12 |    43698 |    33019 |    36050      0 |      140 |        0
459.12/459.26	c  458s |      12 |    44015 |    33219 |    36050      0 |      140 |        0
462.72/462.83	c  462s |      12 |    44262 |    33419 |    36050      0 |      140 |        0
466.32/466.45	c  465s |      12 |    44486 |    33619 |    36050      0 |      140 |        0
469.62/469.73	c  469s |      12 |    44715 |    33819 |    36050      0 |      140 |        0
472.52/472.67	c  471s |      12 |    44944 |    34019 |    36050      0 |      140 |        0
475.82/475.94	c  475s |      12 |    45160 |    34219 |    36050      0 |      140 |        0
478.52/478.67	c  477s |      12 |    45414 |    34419 |    36050      0 |      140 |        0
481.21/481.37	c  480s |      12 |    45786 |    34619 |    36050      0 |      140 |        0
483.51/483.63	c  482s |      12 |    45894 |    34719 |    36050      0 |      140 |        0
487.11/487.22	c  486s |      12 |    46143 |    34919 |    36050      0 |      140 |        0
490.11/490.23	c  489s |      12 |    46355 |    35119 |    36050      0 |      140 |        0
492.21/492.35	c  491s |      12 |    46575 |    35319 |    36050      0 |      140 |        0
495.61/495.77	c  495s |      12 |    46813 |    35519 |    36050      0 |      140 |        0
499.01/499.11	c  498s |      12 |    47039 |    35719 |    36050      0 |      140 |        0
503.01/503.16	c  502s |      12 |    47288 |    35919 |    36050      0 |      140 |        0
505.21/505.33	c  504s |      12 |    47397 |    36019 |    36050      0 |      140 |        0
508.91/509.02	c  508s |      12 |    47610 |    36219 |    36050      0 |      140 |        0
512.72/512.86	c  512s |      12 |    47836 |    36419 |    36050      0 |      140 |        0
516.41/516.57	c  515s |      12 |    48101 |    36619 |    36050      0 |      140 |        0
520.31/520.41	c  519s |      12 |    48395 |    36819 |    36050      0 |      140 |        0
523.91/524.05	c  523s |      12 |    48611 |    37019 |    36050      0 |      140 |        0
526.91/527.10	c  526s |      12 |    48875 |    37219 |    36050      0 |      140 |        0
529.31/529.49	c  528s |      12 |    49191 |    37519 |    36050      0 |      140 |        0
531.71/531.89	c  531s |      12 |    49531 |    37819 |    36050      0 |      140 |        0
534.01/534.18	c  533s |      12 |    49891 |    38019 |    36050      0 |      140 |        0
537.10/537.27	c  536s |      12 |    50260 |    38219 |    36050      0 |      140 |        0
539.11/539.29	c  538s |      12 |    50475 |    38419 |    36050      0 |      140 |        0
542.70/542.80	c  542s |      12 |    50847 |    38719 |    39655      0 |      140 |        0
545.20/545.38	c  544s |      12 |    50962 |    38819 |    39655      0 |      140 |        0
545.50/545.69	c  544s |      13 |    50977 |    38832 |    39655      0 |      140 |        0
547.60/547.73	c  547s |      13 |    51310 |    39032 |    39655      0 |      140 |        0
550.11/550.27	c  549s |      13 |    51991 |    39532 |    39655      0 |      140 |        0
552.50/552.63	c  551s |      13 |    52524 |    40032 |    39655      0 |      140 |        0
554.70/554.85	c  554s |      13 |    53278 |    40432 |    39655      0 |      140 |        0
557.20/557.39	c  556s |      13 |    53677 |    40832 |    39655      0 |      140 |        0
559.40/559.59	c  558s |      13 |    54161 |    41232 |    39655      0 |      140 |        0
561.70/561.82	c  561s |      13 |    54475 |    41532 |    39655      0 |      140 |        0
564.30/564.44	c  563s |      13 |    55021 |    42032 |    39655      0 |      140 |        0
566.60/566.75	c  566s |      13 |    55593 |    42532 |    39655      0 |      140 |        0
568.90/569.05	c  568s |      13 |    56225 |    43132 |    39655      0 |      140 |        0
571.40/571.55	c  570s |      13 |    56858 |    43732 |    39655      0 |      140 |        0
573.50/573.66	c  572s |      13 |    57273 |    44132 |    39655      0 |      140 |        0
575.50/575.68	c  574s |      13 |    57769 |    44632 |    39655      0 |      140 |        0
577.60/577.72	c  577s |      13 |    58268 |    45132 |    39655      0 |      140 |        0
579.90/580.03	c  579s |      13 |    58773 |    45632 |    39655      0 |      140 |        0
582.20/582.38	c  581s |      13 |    59373 |    46232 |    39655      0 |      140 |        0
584.40/584.57	c  583s |      13 |    59886 |    46732 |    39655      0 |      140 |        0
586.50/586.67	c  585s |      13 |    60441 |    47232 |    39655      0 |      140 |        0
588.49/588.67	c  587s |      13 |    60989 |    47732 |    39655      0 |      140 |        0
590.59/590.73	c  590s |      13 |    61422 |    48132 |    39655      0 |      140 |        0
592.69/592.82	c  592s |      13 |    61996 |    48532 |    39655      0 |      140 |        0
594.89/595.03	c  594s |      13 |    62440 |    48932 |    39655      0 |      140 |        0
597.30/597.43	c  596s |      13 |    63047 |    49332 |    39655      0 |      140 |        0
604.60/604.73	c  604s |      13 |    63361 |    49632 |    39655      1 |      140 |        0
606.90/607.07	c  606s |      13 |    63668 |    49932 |    39655      1 |      140 |        0
609.30/609.45	c  608s |      13 |    64147 |    50332 |    39655      1 |      140 |        0
611.40/611.50	c  610s |      13 |    64575 |    50732 |    39655      1 |      140 |        0
613.50/613.62	c  612s |      13 |    64920 |    51032 |    39655      1 |      140 |        0
615.50/615.67	c  614s |      13 |    65416 |    51432 |    39655      1 |      140 |        0
618.00/618.15	c  617s |      13 |    66017 |    51932 |    39655      1 |      140 |        0
620.60/620.78	c  620s |      13 |    66453 |    52332 |    39655      1 |      140 |        0
622.70/622.86	c  622s |      13 |    66773 |    52632 |    39655      1 |      140 |        0
625.00/625.17	c  624s |      13 |    67242 |    53032 |    39655      1 |      140 |        0
627.10/627.21	c  626s |      13 |    67786 |    53532 |    39655      1 |      140 |        0
629.30/629.44	c  628s |      13 |    68315 |    54032 |    39655      1 |      140 |        0
631.39/631.59	c  630s |      13 |    68867 |    54532 |    39655      1 |      140 |        0
633.80/633.99	c  633s |      13 |    69476 |    55132 |    39655      1 |      140 |        0
635.90/636.05	c  635s |      13 |    69907 |    55532 |    39655      1 |      140 |        0
638.10/638.26	c  637s |      13 |    70467 |    56032 |    39655      1 |      140 |        0
640.49/640.66	c  639s |      13 |    71031 |    56532 |    39655      1 |      140 |        0
642.60/642.78	c  642s |      13 |    71799 |    57032 |    39655      1 |      140 |        0
645.19/645.31	c  644s |      13 |    72344 |    57532 |    39655      1 |      140 |        0
647.49/647.67	c  646s |      13 |    72763 |    57932 |    39655      1 |      140 |        0
649.69/649.87	c  649s |      13 |    73223 |    58332 |    43621      1 |      140 |        0
649.79/649.99	c  649s |      14 |    73257 |    58352 |    43621      1 |      140 |        0
651.99/652.15	c  651s |      14 |    73428 |    58452 |    43621      1 |      140 |        0
654.28/654.43	c  653s |      14 |    73681 |    58652 |    43621      1 |      140 |        0
656.38/656.53	c  655s |      14 |    74025 |    58852 |    43621      1 |      140 |        0
658.88/659.04	c  658s |      14 |    74278 |    59052 |    43621      1 |      140 |        0
661.68/661.81	c  661s |      14 |    74525 |    59252 |    43621      1 |      140 |        0
664.49/664.61	c  663s |      14 |    74913 |    59552 |    43621      1 |      140 |        0
667.68/667.83	c  667s |      14 |    75141 |    59752 |    43621      1 |      140 |        0
671.28/671.40	c  670s |      14 |    75390 |    59952 |    43621      1 |      140 |        0
673.58/673.79	c  673s |      14 |    75856 |    60352 |    43621      1 |      140 |        0
676.08/676.20	c  675s |      14 |    76429 |    60852 |    43621      1 |      140 |        0
678.58/678.73	c  678s |      14 |    77006 |    61352 |    43621      1 |      140 |        0
680.88/681.05	c  680s |      14 |    77461 |    61752 |    43621      1 |      140 |        0
682.88/683.06	c  682s |      14 |    77699 |    61952 |    43621      1 |      140 |        0
685.28/685.48	c  684s |      14 |    77930 |    62152 |    43621      1 |      140 |        0
688.29/688.41	c  687s |      14 |    78386 |    62552 |    43621      1 |      140 |        0
690.29/690.41	c  689s |      14 |    78606 |    62752 |    43621      1 |      140 |        0
693.19/693.31	c  692s |      14 |    78842 |    62952 |    43621      1 |      140 |        0
695.79/695.90	c  695s |      14 |    79131 |    63152 |    43621      1 |      140 |        0
698.88/699.00	c  698s |      14 |    79347 |    63352 |    43621      1 |      140 |        0
701.58/701.71	c  701s |      14 |    79579 |    63552 |    43621      1 |      140 |        0
703.98/704.13	c  703s |      14 |    79815 |    63752 |    43621      1 |      140 |        0
706.68/706.81	c  706s |      14 |    80196 |    64052 |    43621      1 |      140 |        0
709.69/709.82	c  709s |      14 |    80417 |    64252 |    43621      1 |      140 |        0
711.68/711.85	c  711s |      14 |    80633 |    64452 |    43621      1 |      140 |        0
715.09/715.22	c  714s |      14 |    81096 |    64752 |    43621      1 |      140 |        0
718.08/718.26	c  717s |      14 |    81305 |    64952 |    43621      1 |      140 |        0
721.08/721.20	c  720s |      14 |    81772 |    65352 |    43621      1 |      140 |        0
723.68/723.89	c  723s |      14 |    82018 |    65552 |    43621      1 |      140 |        0
726.28/726.44	c  725s |      14 |    82121 |    65652 |    43621      1 |      140 |        0
729.28/729.45	c  728s |      14 |    82341 |    65852 |    43621      1 |      140 |        0
732.18/732.37	c  731s |      14 |    82541 |    66052 |    43621      1 |      140 |        0
735.68/735.86	c  735s |      14 |    82766 |    66252 |    43621      1 |      140 |        0
738.28/738.47	c  737s |      14 |    82980 |    66452 |    43621      1 |      140 |        0
741.07/741.21	c  740s |      14 |    83206 |    66652 |    43621      1 |      140 |        0
743.27/743.46	c  742s |      14 |    83551 |    66952 |    43621      1 |      140 |        0
746.77/746.94	c  746s |      14 |    83783 |    67152 |    43621      1 |      140 |        0
748.97/749.17	c  748s |      14 |    83894 |    67252 |    43621      1 |      140 |        0
751.77/751.99	c  751s |      14 |    84323 |    67652 |    43621      1 |      140 |        0
754.68/754.85	c  754s |      14 |    84589 |    67852 |    43621      1 |      140 |        0
757.67/757.89	c  757s |      14 |    84811 |    68052 |    43621      1 |      140 |        0
760.67/760.86	c  760s |      14 |    85019 |    68252 |    43621      1 |      140 |        0
764.07/764.24	c  763s |      14 |    85261 |    68452 |    43621      1 |      140 |        0
767.98/768.11	c  767s |      14 |    85495 |    68652 |    43621      1 |      140 |        0
771.17/771.39	c  770s |      14 |    85708 |    68852 |    43621      1 |      140 |        0
774.27/774.47	c  773s |      14 |    85927 |    69052 |    43621      1 |      140 |        0
776.96/777.16	c  776s |      14 |    86147 |    69252 |    43621      1 |      140 |        0
779.16/779.38	c  778s |      14 |    86474 |    69552 |    43621      1 |      140 |        0
781.57/781.74	c  781s |      14 |    86752 |    69752 |    43621      1 |      140 |        0
783.96/784.16	c  783s |      14 |    86956 |    69952 |    43621      1 |      140 |        0
787.26/787.45	c  786s |      14 |    87159 |    70152 |    43621      1 |      140 |        0
789.87/790.04	c  789s |      14 |    87497 |    70452 |    43621      1 |      140 |        0
792.86/793.04	c  792s |      14 |    87863 |    70752 |    43621      1 |      140 |        0
795.06/795.28	c  794s |      14 |    88085 |    70952 |    43621      1 |      140 |        0
798.68/798.90	c  798s |      14 |    88281 |    71152 |    43621      1 |      140 |        0
800.98/801.13	c  800s |      14 |    88393 |    71252 |    43621      1 |      140 |        0
804.28/804.43	c  803s |      14 |    88619 |    71452 |    43621      1 |      140 |        0
808.37/808.56	c  807s |      14 |    88866 |    71652 |    43621      2 |      140 |        0
811.06/811.28	c  810s |      14 |    88969 |    71752 |    43621      2 |      140 |        0
813.96/814.11	c  813s |      14 |    89169 |    71952 |    43621      2 |      140 |        0
816.86/817.03	c  816s |      14 |    89416 |    72152 |    43621      2 |      140 |        0
819.16/819.36	c  818s |      14 |    89617 |    72352 |    43621      2 |      140 |        0
821.46/821.65	c  820s |      14 |    89869 |    72552 |    43621      2 |      140 |        0
824.86/825.06	c  824s |      14 |    90190 |    72852 |    43621      2 |      140 |        0
827.36/827.53	c  826s |      14 |    90453 |    73052 |    43621      2 |      140 |        0
830.46/830.68	c  829s |      14 |    90740 |    73252 |    43621      2 |      140 |        0
833.06/833.28	c  832s |      14 |    91107 |    73552 |    43621      2 |      140 |        0
835.86/836.05	c  835s |      14 |    91405 |    73852 |    43621      2 |      140 |        0
838.56/838.76	c  838s |      14 |    91624 |    74052 |    43621      2 |      140 |        0
841.16/841.39	c  840s |      14 |    91863 |    74252 |    43621      2 |      140 |        0
844.96/845.16	c  844s |      14 |    92295 |    74552 |    43621      2 |      140 |        0
850.16/850.33	c  849s |      14 |    92563 |    74752 |    43621      2 |      140 |        0
853.16/853.37	c  852s |      14 |    92670 |    74852 |    43621      2 |      140 |        0
857.07/857.26	c  856s |      14 |    92821 |    74952 |    43621      2 |      140 |        0
860.06/860.24	c  859s |      14 |    93036 |    75152 |    43621      2 |      140 |        0
862.46/862.69	c  861s |      14 |    93266 |    75352 |    43621      2 |      140 |        0
865.36/865.50	c  864s |      14 |    93536 |    75552 |    43621      2 |      140 |        0
868.36/868.54	c  867s |      14 |    93896 |    75852 |    43621      2 |      140 |        0
870.55/870.75	c  870s |      14 |    94125 |    76052 |    43621      2 |      140 |        0
872.55/872.75	c  872s |      14 |    94219 |    76152 |    43621      2 |      140 |        0
874.56/874.80	c  874s |      14 |    94334 |    76252 |    43621      2 |      140 |        0
876.95/877.15	c  876s |      14 |    94440 |    76352 |    43621      2 |      140 |        0
879.16/879.35	c  878s |      14 |    94572 |    76452 |    43621      2 |      140 |        0
882.26/882.47	c  881s |      14 |    94793 |    76652 |    43621      2 |      140 |        0
884.35/884.56	c  883s |      14 |    94875 |    76752 |    43621      2 |      140 |        0
886.45/886.69	c  885s |      14 |    94992 |    76852 |    43621      2 |      140 |        0
888.85/889.01	c  888s |      14 |    95092 |    76952 |    43621      2 |      140 |        0
892.16/892.39	c  891s |      14 |    95317 |    77152 |    43621      2 |      140 |        0
894.85/895.08	c  894s |      14 |    95436 |    77252 |    43621      2 |      140 |        0
898.15/898.38	c  897s |      14 |    95656 |    77452 |    43621      2 |      140 |        0
901.25/901.44	c  900s |      14 |    95888 |    77652 |    43621      2 |      140 |        0
904.45/904.68	c  903s |      14 |    96100 |    77852 |    43621      2 |      140 |        0
907.35/907.57	c  906s |      14 |    96321 |    78052 |    43621      2 |      140 |        0
909.65/909.88	c  909s |      14 |    96555 |    78252 |    43621      2 |      140 |        0
913.55/913.73	c  913s |      14 |    96773 |    78452 |    43621      2 |      140 |        0
915.85/916.10	c  915s |      14 |    96876 |    78552 |    43621      2 |      140 |        0
917.95/918.15	c  917s |      14 |    96977 |    78652 |    43621      2 |      140 |        0
919.95/920.15	c  919s |      14 |    97089 |    78752 |    43621      2 |      140 |        0
922.34/922.52	c  921s |      14 |    97190 |    78852 |    43621      2 |      140 |        0
925.16/925.37	c  924s |      14 |    97301 |    78952 |    43621      2 |      140 |        0
928.35/928.56	c  927s |      14 |    97407 |    79052 |    43621      2 |      140 |        0
930.75/930.97	c  930s |      14 |    97532 |    79152 |    43621      2 |      140 |        0
933.44/933.61	c  932s |      14 |    97635 |    79252 |    43621      2 |      140 |        0
936.74/936.99	c  936s |      14 |    97895 |    79452 |    43621      2 |      140 |        0
939.75/939.98	c  939s |      14 |    98035 |    79552 |    43621      2 |      140 |        0
942.34/942.54	c  941s |      14 |    98144 |    79652 |    43621      2 |      140 |        0
944.95/945.11	c  944s |      14 |    98261 |    79752 |    43621      2 |      140 |        0
949.24/949.43	c  948s |      14 |    98515 |    79952 |    43621      2 |      140 |        0
952.65/952.90	c  952s |      14 |    98636 |    80052 |    43621      2 |      140 |        0
955.44/955.67	c  954s |      14 |    98745 |    80152 |    43621      2 |      140 |        0
958.25/958.44	c  957s |      14 |    98856 |    80252 |    43621      2 |      140 |        0
960.74/960.97	c  960s |      14 |    98958 |    80352 |    43621      2 |      140 |        0
963.24/963.42	c  962s |      14 |    99089 |    80452 |    43621      2 |      140 |        0
966.23/966.43	c  965s |      14 |    99187 |    80552 |    43621      2 |      140 |        0
970.35/970.53	c  969s |      14 |    99300 |    80652 |    43621      2 |      140 |        0
973.14/973.39	c  972s |      14 |    99405 |    80752 |    43621      2 |      140 |        0
976.03/976.25	c  975s |      14 |    99516 |    80852 |    43621      2 |      140 |        0
978.34/978.56	c  977s |      14 |    99625 |    80952 |    43621      2 |      140 |        0
983.04/983.28	c  982s |      14 |    99862 |    81152 |    43621      2 |      140 |        0
986.53/986.73	c  986s |      14 |    99979 |    81252 |    43621      2 |      140 |        0
989.04/989.29	c  988s |      14 |   100083 |    81352 |    43621      2 |      140 |        0
991.93/992.11	c  991s |      14 |   100187 |    81452 |    43621      2 |      140 |        0
994.44/994.68	c  993s |      14 |   100312 |    81552 |    43621      2 |      140 |        0
997.33/997.59	c  996s |      14 |   100427 |    81652 |    43621      2 |      140 |        0
1000.73/1000.94	c 1000s |      14 |   100526 |    81752 |    43621      2 |      140 |        0
1003.93/1004.17	c 1003s |      14 |   100647 |    81852 |    43621      2 |      140 |        0
1006.73/1006.98	c 1006s |      14 |   100749 |    81952 |    43621      2 |      140 |        0
1009.43/1009.67	c 1008s |      14 |   100864 |    82052 |    43621      2 |      140 |        0
1012.43/1012.68	c 1011s |      14 |   100983 |    82152 |    43621      2 |      140 |        0
1015.62/1015.86	c 1015s |      14 |   101081 |    82252 |    43621      2 |      140 |        0
1018.53/1018.73	c 1018s |      14 |   101179 |    82352 |    43621      2 |      140 |        0
1022.13/1022.39	c 1021s |      14 |   101292 |    82452 |    43621      2 |      140 |        0
1025.13/1025.31	c 1024s |      14 |   101428 |    82552 |    43621      2 |      140 |        0
1027.82/1028.02	c 1027s |      14 |   101535 |    82652 |    43621      2 |      140 |        0
1030.63/1030.85	c 1030s |      14 |   101654 |    82752 |    43621      2 |      140 |        0
1033.82/1034.01	c 1033s |      14 |   101752 |    82852 |    43621      2 |      140 |        0
1037.33/1037.58	c 1036s |      14 |   101863 |    82952 |    43621      2 |      140 |        0
1040.72/1040.99	c 1040s |      14 |   101974 |    83052 |    43621      2 |      140 |        0
1043.32/1043.56	c 1042s |      14 |   102090 |    83152 |    43621      2 |      140 |        0
1045.52/1045.79	c 1045s |      14 |   102206 |    83252 |    43621      2 |      140 |        0
1048.61/1048.86	c 1048s |      14 |   102322 |    83352 |    43621      2 |      140 |        0
1051.92/1052.12	c 1051s |      14 |   102439 |    83452 |    43621      2 |      140 |        0
1054.92/1055.20	c 1054s |      14 |   102538 |    83552 |    43621      2 |      140 |        0
1057.01/1057.22	c 1056s |      14 |   102656 |    83652 |    43621      2 |      140 |        0
1059.32/1059.53	c 1058s |      14 |   102751 |    83752 |    43621      2 |      140 |        0
1061.52/1061.74	c 1061s |      14 |   102853 |    83852 |    43621      2 |      140 |        0
1063.91/1064.15	c 1063s |      14 |   102981 |    83952 |    43621      2 |      140 |        0
1067.02/1067.28	c 1066s |      14 |   103096 |    84052 |    43621      2 |      140 |        0
1069.51/1069.77	c 1069s |      14 |   103206 |    84152 |    43621      2 |      140 |        0
1072.01/1072.25	c 1071s |      14 |   103607 |    84552 |    43621      2 |      140 |        0
1075.01/1075.22	c 1074s |      14 |   103858 |    84752 |    43621      2 |      140 |        0
1077.91/1078.17	c 1077s |      14 |   104071 |    84952 |    43621      2 |      140 |        0
1080.60/1080.82	c 1080s |      14 |   104339 |    85152 |    43621      2 |      140 |        0
1084.00/1084.24	c 1083s |      14 |   104561 |    85352 |    43621      2 |      140 |        0
1087.20/1087.48	c 1086s |      14 |   104793 |    85552 |    43621      2 |      140 |        0
1089.90/1090.13	c 1089s |      14 |   105012 |    85752 |    43621      2 |      140 |        0
1092.30/1092.57	c 1091s |      14 |   105307 |    85952 |    43621      2 |      140 |        0
1095.49/1095.79	c 1095s |      14 |   105512 |    86152 |    43621      2 |      140 |        0
1098.69/1098.91	c 1098s |      14 |   105739 |    86352 |    43621      2 |      140 |        0
1101.59/1101.85	c 1101s |      14 |   105960 |    86552 |    43621      2 |      140 |        0
1104.69/1104.92	c 1104s |      14 |   106196 |    86752 |    43621      2 |      140 |        0
1107.89/1108.18	c 1107s |      14 |   106437 |    86952 |    43621      2 |      140 |        0
1111.00/1111.24	c 1110s |      14 |   106690 |    87152 |    47984      2 |      140 |        0
1114.19/1114.44	c 1113s |      14 |   106916 |    87352 |    47984      2 |      140 |        0
1116.78/1117.01	c 1116s |      14 |   107142 |    87552 |    47984      2 |      140 |        0
1118.28/1118.51	c 1117s |      15 |   107245 |    87632 |    47984      2 |      140 |        0
1121.29/1121.56	c 1120s |      15 |   107672 |    87732 |    47984      2 |      140 |        0
1124.59/1124.87	c 1124s |      15 |   108012 |    88032 |    47984      2 |      140 |        0
1126.98/1127.28	c 1126s |      15 |   108265 |    88232 |    47984      2 |      140 |        0
1129.69/1129.94	c 1129s |      15 |   108493 |    88432 |    47984      2 |      140 |        0
1132.68/1132.91	c 1132s |      15 |   108727 |    88632 |    47984      2 |      140 |        0
1135.58/1135.83	c 1135s |      15 |   108943 |    88832 |    47984      2 |      140 |        0
1138.08/1138.30	c 1137s |      15 |   109420 |    89232 |    47984      2 |      140 |        0
1140.58/1140.86	c 1140s |      15 |   109648 |    89432 |    47984      2 |      140 |        0
1143.08/1143.40	c 1142s |      15 |   109873 |    89632 |    47984      2 |      140 |        0
1145.27/1145.58	c 1144s |      15 |   110086 |    89832 |    47984      2 |      140 |        0
1147.97/1148.25	c 1147s |      15 |   110313 |    90032 |    47984      2 |      140 |        0
1150.07/1150.39	c 1149s |      15 |   110523 |    90232 |    47984      2 |      140 |        0
1153.17/1153.46	c 1152s |      15 |   110950 |    90632 |    47984      2 |      140 |        0
1155.27/1155.53	c 1154s |      15 |   111186 |    90832 |    47984      2 |      140 |        0
1158.28/1158.54	c 1157s |      15 |   111527 |    91132 |    47984      2 |      140 |        0
1160.48/1160.76	c 1160s |      15 |   111879 |    91432 |    47984      2 |      140 |        0
1162.87/1163.19	c 1162s |      15 |   112210 |    91732 |    47984      2 |      140 |        0
1165.66/1165.99	c 1165s |      15 |   112416 |    91932 |    47984      2 |      140 |        0
1168.06/1168.39	c 1167s |      15 |   112772 |    92232 |    47984      2 |      140 |        0
1170.47/1170.72	c 1170s |      15 |   113064 |    92432 |    47984      2 |      140 |        0
1173.26/1173.54	c 1172s |      15 |   113380 |    92732 |    47984      2 |      140 |        0
1175.36/1175.69	c 1174s |      15 |   113693 |    92932 |    47984      2 |      140 |        0
1178.36/1178.64	c 1177s |      15 |   114073 |    93232 |    47984      2 |      140 |        0
1180.76/1181.01	c 1180s |      15 |   114427 |    93532 |    47984      2 |      140 |        0
1183.76/1184.00	c 1183s |      15 |   114651 |    93732 |    47984      2 |      140 |        0
1185.95/1186.20	c 1185s |      15 |   114993 |    94032 |    47984      2 |      140 |        0
1188.35/1188.64	c 1187s |      15 |   115212 |    94232 |    47984      2 |      140 |        0
1190.55/1190.82	c 1190s |      15 |   115442 |    94432 |    47984      2 |      140 |        0
1193.75/1194.02	c 1193s |      15 |   115809 |    94732 |    47984      2 |      140 |        0
1196.35/1196.67	c 1195s |      15 |   116052 |    94932 |    47984      2 |      140 |        0
1199.05/1199.36	c 1198s |      15 |   116384 |    95232 |    47984      2 |      140 |        0
1201.65/1201.90	c 1201s |      15 |   116615 |    95432 |    47984      2 |      140 |        0
1204.35/1204.65	c 1203s |      15 |   116822 |    95632 |    47984      2 |      140 |        0
1206.85/1207.15	c 1206s |      15 |   117169 |    95932 |    47984      2 |      140 |        0
1210.34/1210.61	c 1209s |      15 |   117496 |    96232 |    47984      2 |      140 |        0
1213.54/1213.89	c 1213s |      15 |   117707 |    96432 |    47984      2 |      140 |        0
1217.44/1217.79	c 1217s |      15 |   117934 |    96632 |    47984      2 |      140 |        0
1221.14/1221.48	c 1220s |      15 |   118169 |    96832 |    47984      2 |      140 |        0
1223.64/1223.96	c 1223s |      15 |   118399 |    97032 |    47984      2 |      140 |        0
1226.44/1226.78	c 1226s |      15 |   118730 |    97332 |    47984      2 |      140 |        0
1229.84/1230.14	c 1229s |      15 |   118957 |    97532 |    47984      2 |      140 |        0
1233.44/1233.76	c 1233s |      15 |   119184 |    97732 |    47984      2 |      140 |        0
1237.13/1237.41	c 1236s |      15 |   119415 |    97932 |    47984      2 |      140 |        0
1239.94/1240.23	c 1239s |      15 |   119665 |    98132 |    47984      2 |      140 |        0
1242.54/1242.85	c 1242s |      15 |   119886 |    98332 |    47984      2 |      140 |        0
1245.53/1245.82	c 1245s |      15 |   120224 |    98632 |    47984      2 |      140 |        0
1249.33/1249.69	c 1248s |      15 |   120432 |    98832 |    47984      2 |      140 |        0
1251.53/1251.88	c 1251s |      15 |   120655 |    99032 |    47984      2 |      140 |        0
1254.43/1254.76	c 1254s |      15 |   120983 |    99332 |    47984      2 |      140 |        0
1256.73/1257.09	c 1256s |      15 |   121198 |    99532 |    47984      2 |      140 |        0
1259.83/1260.11	c 1259s |      15 |   121407 |    99732 |    47984      2 |      140 |        0
1262.63/1262.92	c 1262s |      15 |   121627 |    99932 |    47984      2 |      140 |        0
1264.83/1265.17	c 1264s |      15 |   121858 |   100132 |    47984      2 |      140 |        0
1267.03/1267.35	c 1266s |      15 |   122081 |   100332 |    47984      2 |      140 |        0
1270.13/1270.44	c 1269s |      15 |   122409 |   100632 |    47984      2 |      140 |        0
1272.43/1272.78	c 1272s |      15 |   122631 |   100832 |    47984      2 |      140 |        0
1274.93/1275.25	c 1274s |      15 |   122858 |   101032 |    47984      2 |      140 |        0
1277.52/1277.84	c 1277s |      15 |   123082 |   101232 |    47984      2 |      140 |        0
1280.82/1281.14	c 1280s |      15 |   123202 |   101332 |    47984      3 |      140 |        0
1283.32/1283.63	c 1282s |      15 |   123462 |   101532 |    47984      3 |      140 |        0
1286.01/1286.35	c 1285s |      15 |   123676 |   101732 |    47984      3 |      140 |        0
1288.31/1288.62	c 1287s |      15 |   123920 |   101932 |    47984      3 |      140 |        0
1290.61/1290.94	c 1290s |      15 |   124141 |   102132 |    47984      3 |      140 |        0
1293.01/1293.39	c 1292s |      15 |   124399 |   102332 |    47984      3 |      140 |        0
1296.31/1296.66	c 1295s |      15 |   124877 |   102732 |    47984      3 |      140 |        0
1298.30/1298.67	c 1297s |      15 |   125117 |   102932 |    47984      3 |      140 |        0
1301.70/1302.09	c 1301s |      15 |   125347 |   103132 |    47984      3 |      140 |        0
1304.70/1305.09	c 1304s |      15 |   125597 |   103332 |    47984      3 |      140 |        0
1307.50/1307.84	c 1307s |      15 |   125830 |   103532 |    47984      3 |      140 |        0
1311.10/1311.46	c 1310s |      15 |   126030 |   103732 |    47984      3 |      140 |        0
1314.50/1314.84	c 1314s |      15 |   126251 |   103932 |    47984      3 |      140 |        0
1317.89/1318.22	c 1317s |      15 |   126471 |   104132 |    47984      3 |      140 |        0
1321.00/1321.33	c 1320s |      15 |   126917 |   104532 |    47984      3 |      140 |        0
1324.09/1324.44	c 1323s |      15 |   127119 |   104732 |    47984      3 |      140 |        0
1327.19/1327.55	c 1326s |      15 |   127317 |   104932 |    47984      3 |      140 |        0
1329.29/1329.61	c 1328s |      15 |   127642 |   105232 |    47984      3 |      140 |        0
1331.59/1331.94	c 1331s |      15 |   127944 |   105532 |    47984      3 |      140 |        0
1334.39/1334.71	c 1334s |      15 |   128235 |   105732 |    47984      3 |      140 |        0
1336.69/1337.06	c 1336s |      15 |   128458 |   105932 |    47984      3 |      140 |        0
1338.70/1339.06	c 1338s |      15 |   128821 |   106232 |    47984      3 |      140 |        0
1341.69/1342.09	c 1341s |      15 |   129027 |   106432 |    47984      3 |      140 |        0
1344.89/1345.28	c 1344s |      15 |   129254 |   106632 |    47984      3 |      140 |        0
1348.18/1348.59	c 1347s |      15 |   129461 |   106832 |    47984      3 |      140 |        0
1351.68/1352.05	c 1351s |      15 |   129680 |   107032 |    47984      3 |      140 |        0
1354.18/1354.55	c 1353s |      15 |   129889 |   107232 |    47984      3 |      140 |        0
1357.48/1357.80	c 1357s |      15 |   130104 |   107432 |    47984      3 |      140 |        0
1359.98/1360.36	c 1359s |      15 |   130411 |   107732 |    47984      3 |      140 |        0
1362.78/1363.15	c 1362s |      15 |   130626 |   107932 |    47984      3 |      140 |        0
1365.47/1365.82	c 1365s |      15 |   130847 |   108132 |    47984      3 |      140 |        0
1367.57/1367.96	c 1367s |      15 |   131162 |   108432 |    47984      3 |      140 |        0
1370.17/1370.55	c 1369s |      15 |   131530 |   108732 |    47984      3 |      140 |        0
1373.17/1373.56	c 1372s |      15 |   131762 |   108932 |    47984      3 |      140 |        0
1376.46/1376.84	c 1376s |      15 |   131977 |   109132 |    47984      3 |      140 |        0
1379.76/1380.17	c 1379s |      15 |   132207 |   109332 |    47984      3 |      140 |        0
1382.96/1383.34	c 1382s |      15 |   132439 |   109532 |    47984      3 |      140 |        0
1385.76/1386.11	c 1385s |      15 |   132666 |   109732 |    47984      3 |      140 |        0
1389.16/1389.59	c 1388s |      15 |   133011 |   110032 |    47984      3 |      140 |        0
1392.56/1392.91	c 1392s |      15 |   133236 |   110232 |    47984      3 |      140 |        0
1396.05/1396.44	c 1395s |      15 |   133469 |   110432 |    47984      3 |      140 |        0
1398.55/1398.90	c 1398s |      15 |   133696 |   110632 |    47984      3 |      140 |        0
1400.75/1401.11	c 1400s |      15 |   133927 |   110832 |    47984      3 |      140 |        0
1403.95/1404.37	c 1403s |      15 |   134163 |   111032 |    47984      3 |      140 |        0
1407.74/1408.15	c 1407s |      15 |   134371 |   111232 |    47984      3 |      140 |        0
1411.44/1411.86	c 1411s |      15 |   134586 |   111432 |    47984      3 |      140 |        0
1414.34/1414.70	c 1413s |      15 |   134837 |   111632 |    47984      3 |      140 |        0
1416.94/1417.33	c 1416s |      15 |   135051 |   111832 |    47984      3 |      140 |        0
1419.75/1420.16	c 1419s |      15 |   135293 |   112032 |    47984      3 |      140 |        0
1422.64/1423.08	c 1422s |      15 |   135630 |   112332 |    47984      3 |      140 |        0
1425.34/1425.79	c 1425s |      15 |   135845 |   112532 |    47984      3 |      140 |        0
1428.44/1428.88	c 1428s |      15 |   136077 |   112732 |    47984      3 |      140 |        0
1430.54/1430.94	c 1430s |      15 |   136298 |   112932 |    47984      3 |      140 |        0
1433.44/1433.81	c 1433s |      15 |   136649 |   113232 |    47984      3 |      140 |        0
1435.93/1436.36	c 1435s |      15 |   136921 |   113432 |    47984      3 |      140 |        0
1438.53/1438.95	c 1438s |      15 |   137147 |   113632 |    47984      3 |      140 |        0
1440.94/1441.36	c 1440s |      15 |   137362 |   113832 |    47984      3 |      140 |        0
1442.93/1443.38	c 1442s |      15 |   137576 |   114032 |    47984      3 |      140 |        0
1445.93/1446.33	c 1445s |      15 |   137792 |   114232 |    47984      3 |      140 |        0
1448.33/1448.72	c 1448s |      15 |   138019 |   114432 |    47984      3 |      140 |        0
1451.23/1451.64	c 1450s |      15 |   138226 |   114632 |    47984      3 |      140 |        0
1454.72/1455.11	c 1454s |      15 |   138494 |   114832 |    47984      3 |      140 |        0
1457.12/1457.57	c 1456s |      15 |   138712 |   115032 |    47984      3 |      140 |        0
1459.42/1459.80	c 1459s |      15 |   138934 |   115232 |    47984      3 |      140 |        0
1462.01/1462.41	c 1461s |      15 |   139162 |   115432 |    47984      3 |      140 |        0
1465.41/1465.89	c 1465s |      15 |   139396 |   115632 |    47984      3 |      140 |        0
1468.01/1468.47	c 1467s |      15 |   139606 |   115832 |    47984      3 |      140 |        0
1471.01/1471.44	c 1470s |      15 |   139988 |   116132 |    47984      3 |      140 |        0
1474.21/1474.69	c 1473s |      15 |   140200 |   116332 |    47984      3 |      140 |        0
1477.31/1477.73	c 1477s |      15 |   140410 |   116532 |    47984      3 |      140 |        0
1480.30/1480.71	c 1480s |      15 |   140612 |   116732 |    47984      3 |      140 |        0
1482.40/1482.88	c 1482s |      15 |   140715 |   116832 |    47984      3 |      140 |        0
1485.20/1485.63	c 1484s |      15 |   141006 |   117032 |    47984      3 |      140 |        0
1488.30/1488.78	c 1488s |      15 |   141217 |   117232 |    47984      3 |      140 |        0
1491.60/1492.03	c 1491s |      15 |   141423 |   117432 |    47984      3 |      140 |        0
1494.20/1494.67	c 1493s |      15 |   141632 |   117632 |    47984      3 |      140 |        0
1496.29/1496.71	c 1496s |      15 |   141970 |   117932 |    47984      3 |      140 |        0
1499.49/1499.97	c 1499s |      15 |   142216 |   118132 |    47984      3 |      140 |        0
1503.19/1503.61	c 1502s |      15 |   142434 |   118332 |    47984      3 |      140 |        0
1506.19/1506.60	c 1505s |      15 |   142643 |   118532 |    47984      3 |      140 |        0
1509.58/1510.06	c 1509s |      15 |   142880 |   118732 |    47984      3 |      140 |        0
1512.68/1513.15	c 1512s |      15 |   143097 |   118932 |    47984      3 |      140 |        0
1515.38/1515.83	c 1515s |      15 |   143436 |   119132 |    47984      3 |      140 |        0
1518.18/1518.61	c 1517s |      15 |   143638 |   119332 |    47984      3 |      140 |        0
1521.38/1521.83	c 1521s |      15 |   144148 |   119732 |    47984      3 |      140 |        0
1523.98/1524.45	c 1523s |      15 |   144359 |   119932 |    47984      3 |      140 |        0
1527.08/1527.58	c 1526s |      15 |   144683 |   120232 |    47984      3 |      140 |        0
1530.58/1531.06	c 1530s |      15 |   144895 |   120432 |    47984      3 |      140 |        0
1533.89/1534.39	c 1533s |      15 |   145132 |   120632 |    47984      3 |      140 |        0
1537.39/1537.85	c 1537s |      15 |   145330 |   120832 |    47984      3 |      140 |        0
1540.39/1540.84	c 1540s |      15 |   145541 |   121032 |    47984      3 |      140 |        0
1543.09/1543.60	c 1542s |      15 |   145777 |   121232 |    47984      3 |      140 |        0
1545.89/1546.35	c 1545s |      15 |   146106 |   121532 |    47984      3 |      140 |        0
1549.09/1549.59	c 1548s |      15 |   146318 |   121732 |    47984      3 |      140 |        0
1551.19/1551.60	c 1550s |      15 |   146431 |   121832 |    47984      3 |      140 |        0
1554.38/1554.86	c 1554s |      15 |   146648 |   122032 |    47984      3 |      140 |        0
1556.78/1557.21	c 1556s |      15 |   147009 |   122332 |    47984      3 |      140 |        0
1559.88/1560.39	c 1559s |      15 |   147215 |   122532 |    47984      3 |      140 |        0
1562.58/1563.09	c 1562s |      15 |   147446 |   122732 |    47984      3 |      140 |        0
1565.48/1565.91	c 1565s |      15 |   147765 |   123032 |    47984      3 |      140 |        0
1568.39/1568.83	c 1568s |      15 |   147989 |   123232 |    47984      3 |      140 |        0
1571.48/1571.95	c 1571s |      15 |   148208 |   123432 |    47984      3 |      140 |        0
1574.68/1575.13	c 1574s |      15 |   148441 |   123632 |    47984      3 |      140 |        0
1577.78/1578.29	c 1577s |      15 |   148653 |   123832 |    47984      3 |      140 |        0
1580.59/1581.05	c 1580s |      15 |   148868 |   124032 |    47984      3 |      140 |        0
1583.68/1584.16	c 1583s |      15 |   149081 |   124232 |    47984      3 |      140 |        0
1586.98/1587.43	c 1586s |      15 |   149294 |   124432 |    47984      3 |      140 |        0
1589.88/1590.38	c 1589s |      15 |   149509 |   124632 |    47984      3 |      140 |        0
1592.58/1593.09	c 1592s |      15 |   149748 |   124832 |    47984      3 |      140 |        0
1595.58/1596.04	c 1595s |      15 |   149962 |   125032 |    47984      3 |      140 |        0
1598.47/1598.97	c 1598s |      15 |   150182 |   125232 |    47984      3 |      140 |        0
1601.17/1601.69	c 1600s |      15 |   150389 |   125432 |    47984      3 |      140 |        0
1603.77/1604.24	c 1603s |      15 |   150611 |   125632 |    47984      3 |      140 |        0
1606.17/1606.62	c 1605s |      15 |   150819 |   125832 |    47984      3 |      140 |        0
1609.37/1609.89	c 1609s |      15 |   151036 |   126032 |    47984      3 |      140 |        0
1611.97/1612.49	c 1611s |      15 |   151254 |   126232 |    47984      3 |      140 |        0
1614.47/1614.90	c 1614s |      15 |   151465 |   126432 |    47984      3 |      140 |        0
1617.77/1618.21	c 1617s |      15 |   151808 |   126732 |    47984      3 |      140 |        0
1620.77/1621.28	c 1620s |      15 |   152019 |   126932 |    47984      3 |      140 |        0
1623.97/1624.49	c 1623s |      15 |   152238 |   127132 |    47984      3 |      140 |        0
1626.77/1627.22	c 1626s |      15 |   152495 |   127332 |    47984      3 |      140 |        0
1629.37/1629.87	c 1629s |      15 |   152728 |   127532 |    47984      3 |      140 |        0
1632.67/1633.14	c 1632s |      15 |   152941 |   127732 |    47984      3 |      140 |        0
1637.27/1637.79	c 1637s |      15 |   153037 |   127832 |    47984      4 |      140 |        0
1640.37/1640.81	c 1640s |      15 |   153247 |   128032 |    47984      4 |      140 |        0
1643.77/1644.28	c 1643s |      15 |   153450 |   128232 |    47984      4 |      140 |        0
1646.97/1647.40	c 1646s |      15 |   153705 |   128432 |    47984      4 |      140 |        0
1650.47/1650.95	c 1650s |      15 |   153908 |   128632 |    47984      4 |      140 |        0
1653.46/1653.95	c 1653s |      15 |   154115 |   128832 |    47984      4 |      140 |        0
1656.06/1656.59	c 1655s |      15 |   154345 |   129032 |    47984      4 |      140 |        0
1659.16/1659.68	c 1658s |      15 |   154561 |   129232 |    47984      4 |      140 |        0
1661.76/1662.25	c 1661s |      15 |   154783 |   129432 |    47984      4 |      140 |        0
1663.96/1664.46	c 1663s |      15 |   155111 |   129732 |    47984      4 |      140 |        0
1667.37/1667.81	c 1667s |      15 |   155323 |   129932 |    47984      4 |      140 |        0
1669.96/1670.48	c 1669s |      15 |   155755 |   130232 |    47984      4 |      140 |        0
1672.16/1672.66	c 1671s |      15 |   155969 |   130432 |    47984      4 |      140 |        0
1675.56/1676.09	c 1675s |      15 |   156184 |   130632 |    47984      4 |      140 |        0
1678.67/1679.19	c 1678s |      15 |   156394 |   130832 |    52783      4 |      140 |        0
1682.47/1682.93	c 1682s |      15 |   156605 |   131032 |    52783      4 |      140 |        0
1685.26/1685.75	c 1685s |      15 |   156832 |   131232 |    52783      4 |      140 |        0
1687.36/1687.88	c 1687s |      15 |   157154 |   131532 |    52783      4 |      140 |        0
1687.67/1688.11	c 1687s |      16 |   157169 |   131552 |    52783      4 |      140 |        0
1691.96/1692.43	c 1691s |      16 |   157406 |   131652 |    52783      4 |      140 |        0
1695.26/1695.72	c 1695s |      16 |   157698 |   131852 |    52783      4 |      140 |        0
1700.16/1700.62	c 1699s |      16 |   157791 |   131952 |    52783      4 |      140 |        0
1702.76/1703.24	c 1702s |      16 |   157904 |   132052 |    52783      4 |      140 |        0
1704.76/1705.28	c 1704s |      16 |   158008 |   132152 |    52783      4 |      140 |        0
1707.36/1707.89	c 1707s |      16 |   158099 |   132252 |    52783      4 |      140 |        0
1710.66/1711.12	c 1710s |      16 |   158202 |   132352 |    52783      4 |      140 |        0
1714.46/1714.96	c 1714s |      16 |   158293 |   132452 |    52783      4 |      140 |        0
1718.75/1719.22	c 1718s |      16 |   158410 |   132552 |    52783      4 |      140 |        0
1722.06/1722.59	c 1721s |      16 |   158494 |   132652 |    52783      4 |      140 |        0
1726.46/1726.94	c 1726s |      16 |   158594 |   132752 |    52783      4 |      140 |        0
1731.36/1731.81	c 1731s |      16 |   158707 |   132852 |    52783      4 |      140 |        0
1735.56/1736.09	c 1735s |      16 |   158795 |   132952 |    52783      4 |      140 |        0
1740.75/1741.22	c 1740s |      16 |   158889 |   133052 |    52783      4 |      140 |        0
1745.36/1745.88	c 1745s |      16 |   158992 |   133152 |    52783      4 |      140 |        0
1749.15/1749.63	c 1748s |      16 |   159100 |   133252 |    52783      4 |      140 |        0
1753.06/1753.52	c 1752s |      16 |   159189 |   133352 |    52783      4 |      140 |        0
1757.66/1758.16	c 1757s |      16 |   159303 |   133452 |    52783      4 |      140 |        0
1761.15/1761.66	c 1760s |      16 |   159402 |   133552 |    52783      4 |      140 |        0
1766.25/1766.73	c 1766s |      16 |   159496 |   133652 |    52783      4 |      140 |        0
1773.84/1774.36	c 1773s |      16 |   159604 |   133752 |    52783      4 |      140 |        0
1779.15/1779.69	c 1778s |      16 |   159692 |   133852 |    52783      4 |      140 |        0
1787.26/1787.78	c 1787s |      16 |   159798 |   133952 |    52783      4 |      140 |        0
1793.15/1793.62	c 1792s |      16 |   159886 |   134052 |    52783      4 |      140 |        0
1798.44/1798.94	c 1798s |      16 |   159997 |   134152 |    52783      4 |      140 |        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-4079304-1465331881/watcher-4079304-1465331881 -o /tmp/evaluation-result-4079304-1465331881/solver-4079304-1465331881 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079304-1465331881.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.32 2.27 3/179 21835
/proc/meminfo: memFree=28300172/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=648636 CPUtime=0 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 2404 0 0 0 0 0 0 0 20 0 4 0 115120468 664203264 3275 33554432000 4194304 16246674 140734394526688 140734394526112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 162671 3285 441 2943 0 159565 0
[pid=21835/tid=21836] ppid=21832 vsize=666044 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 682029056 3342 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=669116 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 685174784 3357 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 690417664 3374 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.28 2.32 2.27 3/179 21835
/proc/meminfo: memFree=28300172/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 29174 0 0 0 5 4 0 0 20 0 4 0 115120468 1334382592 29984 33554432000 4194304 16246674 140734394526688 140734394526000 7378241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 325777 30000 800 2943 0 322671 0
[pid=21835/tid=21836] ppid=21832 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1334382592 30011 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1334382592 30022 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1334382592 30033 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200617 s]
/proc/loadavg: 2.28 2.32 2.27 3/179 21835
/proc/meminfo: memFree=28300172/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 51019 0 0 0 13 6 0 0 20 0 4 0 115120468 1344868352 52339 33554432000 4194304 16246674 140734394526688 140734394526000 5703988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 328337 52339 807 2943 0 325231 0
[pid=21835/tid=21836] ppid=21832 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1344868352 52339 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1344868352 52339 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1344868352 52339 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.30048 s]
/proc/loadavg: 2.28 2.32 2.27 3/179 21835
/proc/meminfo: memFree=28300172/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 51051 0 0 0 23 6 0 0 20 0 4 0 115120468 1344868352 52371 33554432000 4194304 16246674 140734394526688 140734394526000 6935128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 328337 52371 838 2943 0 325231 0
[pid=21835/tid=21836] ppid=21832 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1344868352 52371 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1344868352 52371 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1344868352 52371 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700428 s]
/proc/loadavg: 2.28 2.32 2.27 3/179 21835
/proc/meminfo: memFree=28300172/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=0.69 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 92954 0 0 0 56 13 0 0 20 0 4 0 115120468 1358499840 94274 33554432000 4194304 16246674 140734394526688 140734394526000 5873840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 94274 842 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94274 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94274 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94274 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1326660

[startup+1.50043 s]
/proc/loadavg: 2.26 2.32 2.27 3/183 21839
/proc/meminfo: memFree=27924312/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 93002 0 0 0 136 13 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 140734394508608 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 94322 890 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10045 s]
/proc/loadavg: 2.26 2.32 2.27 3/183 21839
/proc/meminfo: memFree=27923692/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=3.09 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 93002 0 0 0 296 13 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 140734394508608 5711318 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 94322 890 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

[startup+6.30043 s]
/proc/loadavg: 2.32 2.33 2.28 3/183 21839
/proc/meminfo: memFree=27924172/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=6.29 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 93002 0 0 0 616 13 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 140734394508608 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 94322 890 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.29 2.32 2.27 3/183 21839
/proc/meminfo: memFree=27924628/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=12.69 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 93002 0 0 0 1256 13 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 140734394508608 6845816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 94322 890 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 94322 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5004 s]
/proc/loadavg: 2.25 2.31 2.27 4/183 21839
/proc/meminfo: memFree=27716076/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=25.49 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 145248 0 0 0 2529 20 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 140734394508608 5717656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 146568 894 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1004 s]
/proc/loadavg: 2.35 2.33 2.28 3/183 21839
/proc/meminfo: memFree=27716168/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=51.08 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 145248 0 0 0 5088 20 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 140734394508608 12477791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 146568 894 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.27 2.31 2.27 3/183 21840
/proc/meminfo: memFree=27715468/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1326660 CPUtime=102.27 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 145248 0 0 0 10206 21 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 140734394508608 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 331665 146568 894 2943 0 328559 0
[pid=21835/tid=21836] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1358499840 146568 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1369668

[startup+1362.3 s]
/proc/loadavg: 2.50 2.37 2.29 3/184 21924
/proc/meminfo: memFree=28635096/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1369668 CPUtime=1361.98 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 262303 0 0 0 136129 69 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 140734394508608 5823975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 342417 284424 899 2943 0 339311 0
[pid=21835/tid=21836] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1369668

[startup+1422.3 s]
/proc/loadavg: 2.30 2.33 2.28 3/184 21948
/proc/meminfo: memFree=28634700/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1369668 CPUtime=1421.94 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 262343 0 0 0 142124 70 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 140734394508608 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 342417 284424 899 2943 0 339311 0
[pid=21835/tid=21836] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284424 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1369668

[startup+1482.3 s]
/proc/loadavg: 2.41 2.36 2.29 4/183 21949
/proc/meminfo: memFree=28626868/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1369668 CPUtime=1481.9 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 262387 0 0 0 148120 70 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 140734394525864 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 342417 284425 900 2943 0 339311 0
[pid=21835/tid=21836] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1369668

[startup+1542.3 s]
/proc/loadavg: 2.31 2.34 2.28 3/183 21950
/proc/meminfo: memFree=28615220/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1369668 CPUtime=1541.89 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 262404 0 0 0 154118 71 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 140734394508608 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 342417 284425 900 2943 0 339311 0
[pid=21835/tid=21836] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1369668

[startup+1602.3 s]
/proc/loadavg: 2.26 2.32 2.27 3/183 21951
/proc/meminfo: memFree=28495328/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1369668 CPUtime=1601.87 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 262404 0 0 0 160116 71 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 140734394508608 13820919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 342417 284425 900 2943 0 339311 0
[pid=21835/tid=21836] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1402540032 284425 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1369668

[startup+1662.3 s]
/proc/loadavg: 2.20 2.29 2.27 4/183 21953
/proc/meminfo: memFree=28366812/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1401412 CPUtime=1661.87 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 270269 0 0 0 166114 73 0 0 20 0 4 0 115120468 1435045888 292290 33554432000 4194304 16246674 140734394526688 140734394508608 12483411 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 350353 292290 900 2943 0 347247 0
[pid=21835/tid=21836] ppid=21832 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1435045888 292290 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1435045888 292290 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1401412 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1435045888 292290 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1401412

[startup+1722.3 s]
/proc/loadavg: 2.39 2.32 2.28 3/183 21954
/proc/meminfo: memFree=28184484/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1487428 CPUtime=1721.86 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 291646 0 0 0 172105 81 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 140734394508608 12415785 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 371857 313667 901 2943 0 368751 0
[pid=21835/tid=21836] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1487428

[startup+1782.31 s]
/proc/loadavg: 2.30 2.31 2.27 3/183 21955
/proc/meminfo: memFree=28008724/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1487428 CPUtime=1781.85 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 291646 0 0 0 178098 87 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 140734394508608 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 371857 313667 901 2943 0 368751 0
[pid=21835/tid=21836] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1487428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 21955
/proc/meminfo: memFree=27976468/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1487428 CPUtime=1800.04 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 291646 0 0 0 179916 88 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 140734394524736 5677160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 371857 313667 901 2943 0 368751 0
[pid=21835/tid=21836] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1487428

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 21955
/proc/meminfo: memFree=27976468/32872528 swapFree=16636/1570076
[pid=21835] ppid=21832 vsize=1487428 CPUtime=1800.04 cores=1,3,5,7
/proc/21835/stat : 21835 (toysat) R 21832 21835 2168 0 -1 4202496 291646 0 0 0 179916 88 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 140734394524736 5677160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 371857 313667 901 2943 0 368751 0
[pid=21835/tid=21836] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21836/stat : 21836 (toysat) S 21832 21835 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881546231024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21835/tid=21837] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21837/stat : 21837 (toysat) S 21832 21835 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881535741168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21835/tid=21838] ppid=21832 vsize=1487428 CPUtime=0 cores=1,3,5,7
/proc/21835/task/21838/stat : 21838 (toysat) S 21832 21835 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115120468 1523126272 313667 33554432000 4194304 16246674 140734394526688 139881447681200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1487428

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.17
CPU system time (s): 0.898863
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1487428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.898863
maximum resident set size= 1254668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291646
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= 300
involuntary context switches= 1957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.473 second user time and 15.7376 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 22:38:01
IDJOB=4079304
IDBENCH=92725
IDSOLVER=2542
FILE ID=node140/4079304-1465331881
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079304-1465331881/watcher-4079304-1465331881 -o /tmp/evaluation-result-4079304-1465331881/solver-4079304-1465331881 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079304-1465331881.opb

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

MD5SUM BENCH= b9760eca078029bee17418839cb4525f
RANDOM SEED=1736586199

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28300552 kB
Buffers:           65824 kB
Cached:           239708 kB
SwapCached:         1660 kB
Active:          2106260 kB
Inactive:         144600 kB
Active(anon):    1940124 kB
Inactive(anon):     7028 kB
Active(file):     166136 kB
Inactive(file):   137572 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       3514108 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             613968 kB
SReclaimable:      57964 kB
SUnreclaim:       556004 kB
KernelStack:        1520 kB
PageTables:        10956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3657268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2088960 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= 71708 MiB
End job on node140 at 2016-06-07 23:08:02