Trace number 4079288

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat100_4_32_3.opb
MD5SUM96fec7ce232e48bab56f85f395e33fea
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9945255
Best CPU time to get the best result obtained on this benchmark1800.19
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20200
Total number of constraints30206
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints30000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 19900
Biggest coefficient in the objective function 164566592
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 193952320580
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 164566592
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 193952320580
Number of bits of the biggest sum of numbers38
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-08T00:08:04+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079288-1465337284.opb"]
0.00/0.01	c use --random-gen="3129580225 55857606 2083477962 2940732643 3639307895 546029069 891442540 1947618456 2995050948 270250378 4046096926 4014807391 602258761 3063943999 3690435810 4063514643 2377980914 3202007130 3831025863 4270402391 3597050355 2119937579 3637268668 4242190629 1593805669 4226562564 1605582251 2800659725 4014915901 2358068749 2779911808 1878637294 2743832145 2593743276 541155801 2674897960 2549962213 1178137577 1225442215 1563954192 2987509490 2872594904 1024654525 3680290475 3324815241 1523252124 251863069 2263648829 3483445750 1971151226 407464240 2329630670 2315684526 1770379247 1176770306 2411441390 3779499352 3985603106 1652654922 418066535 1444208364 3979274690 2581830245 2455363625 4182558752 3115526304 188017060 2474834485 4130190674 2658586516 1390762865 1849450859 1527891803 1650679702 2700963183 782830787 2472404522 3943578755 1517858591 1339582730 3830181495 3347277864 3536016997 3327914116 1436978027 1904735762 1079913357 3887112669 4198886205 3302196293 1901110231 2365815740 4010324176 2672377317 3550120291 1297850856 2885602981 374097230 3844840819 1077033891 2783967228 1369149138 1477573844 2970395038 656072845 4255509360 3490912079 645378972 1028674176 3998399417 2308771565 2188254285 169708435 2134287291 1650751985 1920192462 193012913 139501148 3965252002 3482205326 1225960135 3579898057 2982248567 1567189627 2192012339 3455170105 2944887810 125698413 176652131 3811833448 1928763236 3448233884 911094838 658809270 1977991350 2152228409 2091465616 331903477 1544618350 86557246 2308327296 1196105795 2994417668 2730076698 1588562284 2368350864 3756112796 3299354838 691330346 2635167672 255017408 3766206203 2188632873 20101047 1613832015 2988616556 347531627 2819612522 361589081 947552880 2330819053 3302436106 4294128955 3309968784 1346484922 3347995987 2574639354 2777406978 251538568 1910324534 3578761915 3187449458 1448067241 2990011690 3895113615 1293279683 3441175605 2602126491 4225635514 533110669 2471651848 3830058241 4127379856 4088810816 3409905117 1280900752 3423372898 208429060 915184248 663641214 518773154 1541402034 2536959442 297961364 1832822970 918151357 3667760303 3146991274 763897157 1158111070 2087319897 1892686551 3701945929 1249688281 652952979 1172284682 966695891 1566704833 2744224688 3052076122 4080439014 1269632273 1280006137 1514431455 3057742281 3253111196 3023929760 2260976060 1293561858 1434826390 1543334259 3441839070 2308334306 3659181343 3751141394 3956861722 4005820770 1608449392 2772047016 4081717757 3021320671 1004378421 1528097438 2473170556 249594353 113277049 3632745394 4158277140 352847322 3634554069 3570443972 4225940936 3487969731 254987119 1458169629 4209197386 4072394266 3944560522 3557791500 2890811487 2087646132 587278083 2134722005 627213763 3455006438 1802059642 255 362436" option to reproduce the execution
0.29/0.34	c #vars 20200
0.29/0.34	c #constraints 30206
1.39/1.42	c BCD2: Hardening is enabled.
1.39/1.42	c BCD2: BiasedSearch is enabled.
1.39/1.42	c Solving starts ...
1.39/1.42	c ============================[ Search Statistics ]============================
1.39/1.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.39/1.42	c       |         |          |          |    Limit     GC | Var      | Constra 
1.39/1.42	c =============================================================================
1.39/1.43	c  0.0s |       0 |        0 |        0 |    23402      0 |      200 |        0
2.09/2.13	c  0.7s |       1 |      180 |      100 |    23402      0 |      200 |        0
5.59/5.61	c  4.2s |       1 |     1879 |      200 |    25743      0 |      200 |        0
6.89/6.91	c  5.5s |       2 |     1913 |      250 |    25743      0 |      200 |        0
10.49/10.53	c  9.1s |       2 |     2142 |      350 |    28318      0 |      200 |        0
14.19/14.26	c 12.8s |       2 |     2248 |      450 |    28318      0 |      200 |        0
14.78/14.89	c 13.5s |       3 |     2271 |      475 |    28318      0 |      200 |        0
17.79/17.88	c 16.4s |       3 |     2528 |      575 |    31150      0 |      200 |        0
20.28/20.35	c 18.9s |       3 |     2669 |      675 |    31150      0 |      200 |        0
23.08/23.11	c 21.7s |       4 |     2809 |      813 |    31150      0 |      200 |        0
27.69/27.70	c 26.3s |       4 |     3145 |     1013 |    34265      0 |      200 |        0
30.28/30.38	c 28.9s |       4 |     3265 |     1113 |    34265      0 |      200 |        0
32.88/32.90	c 31.5s |       4 |     3386 |     1213 |    34265      0 |      200 |        0
36.78/36.82	c 35.4s |       4 |     3502 |     1313 |    34265      0 |      200 |        0
37.08/37.19	c 35.8s |       5 |     3502 |     1320 |    34265      0 |      200 |        0
40.38/40.48	c 39.0s |       5 |     3692 |     1420 |    37692      0 |      200 |        0
43.58/43.68	c 42.3s |       5 |     3820 |     1520 |    37692      0 |      200 |        0
46.39/46.46	c 45.0s |       5 |     3929 |     1620 |    37692      0 |      200 |        0
49.38/49.48	c 48.1s |       5 |     4023 |     1720 |    37692      0 |      200 |        0
51.48/51.54	c 50.1s |       5 |     4186 |     1820 |    37692      0 |      200 |        0
54.28/54.30	c 52.9s |       5 |     4286 |     1920 |    37692      0 |      200 |        0
56.48/56.56	c 55.1s |       5 |     4403 |     2020 |    37692      0 |      200 |        0
57.98/58.08	c 56.6s |       6 |     4471 |     2081 |    41462      0 |      200 |        0
60.88/60.95	c 59.5s |       6 |     4910 |     2281 |    41462      0 |      200 |        0
63.98/64.00	c 62.6s |       6 |     5129 |     2481 |    41462      0 |      200 |        0
65.98/66.05	c 64.6s |       6 |     5251 |     2581 |    41462      0 |      200 |        0
69.38/69.49	c 68.1s |       6 |     5447 |     2781 |    41462      0 |      200 |        0
72.48/72.57	c 71.1s |       6 |     5667 |     2981 |    41462      0 |      200 |        0
75.18/75.28	c 73.8s |       6 |     5862 |     3181 |    41462      0 |      200 |        0
75.68/75.78	c 74.3s |       7 |     5895 |     3223 |    45609      0 |      200 |        0
78.28/78.35	c 76.9s |       7 |     6133 |     3323 |    45609      0 |      200 |        0
80.67/80.79	c 79.4s |       7 |     6239 |     3423 |    45609      0 |      200 |        0
83.27/83.35	c 81.9s |       7 |     6350 |     3523 |    45609      0 |      200 |        0
86.87/86.94	c 85.5s |       7 |     6578 |     3723 |    45609      0 |      200 |        0
89.57/89.66	c 88.2s |       7 |     6782 |     3923 |    45609      0 |      200 |        0
91.67/91.72	c 90.3s |       7 |     6890 |     4023 |    45609      0 |      200 |        0
95.07/95.11	c 93.7s |       7 |     7152 |     4223 |    45609      0 |      200 |        0
98.67/98.78	c 97.3s |       7 |     7348 |     4423 |    45609      0 |      200 |        0
101.17/101.20	c 99.8s |       7 |     7565 |     4623 |    45609      0 |      200 |        0
103.68/103.74	c  102s |       7 |     7783 |     4823 |    45609      0 |      200 |        0
104.97/105.09	c  103s |       8 |     7895 |     4936 |    50170      0 |      200 |        0
108.37/108.44	c  107s |       8 |     8269 |     5136 |    50170      0 |      200 |        0
110.67/110.75	c  109s |       8 |     8488 |     5336 |    50170      0 |      200 |        0
112.67/112.77	c  111s |       8 |     8701 |     5536 |    50170      0 |      200 |        0
115.57/115.60	c  114s |       8 |     8917 |     5736 |    50170      0 |      200 |        0
117.97/118.08	c  116s |       8 |     9123 |     5936 |    50170      0 |      200 |        0
121.07/121.17	c  119s |       8 |     9350 |     6136 |    50170      0 |      200 |        0
124.17/124.27	c  122s |       8 |     9627 |     6336 |    50170      0 |      200 |        0
128.26/128.34	c  126s |       8 |     9877 |     6536 |    50170      0 |      200 |        0
131.66/131.70	c  130s |       8 |    10125 |     6736 |    50170      0 |      200 |        0
133.86/133.99	c  132s |       8 |    10241 |     6836 |    50170      0 |      200 |        0
137.86/137.91	c  136s |       8 |    10449 |     7036 |    50170      0 |      200 |        0
140.98/141.04	c  139s |       8 |    10659 |     7236 |    50170      0 |      200 |        0
143.47/143.52	c  142s |       8 |    10778 |     7336 |    50170      0 |      200 |        0
146.77/146.82	c  145s |       8 |    10896 |     7436 |    50170      0 |      200 |        0
148.57/148.69	c  147s |       9 |    10981 |     7506 |    55188      0 |      200 |        0
151.87/151.93	c  150s |       9 |    11180 |     7606 |    55188      0 |      200 |        0
156.17/156.28	c  154s |       9 |    11420 |     7806 |    55188      0 |      200 |        0
159.68/159.74	c  158s |       9 |    11525 |     7906 |    55188      0 |      200 |        0
163.27/163.32	c  161s |       9 |    11616 |     8006 |    55188      0 |      200 |        0
166.77/166.88	c  165s |       9 |    11735 |     8106 |    55188      0 |      200 |        0
170.27/170.34	c  168s |       9 |    11840 |     8206 |    55188      0 |      200 |        0
173.97/174.01	c  172s |       9 |    11948 |     8306 |    55188      0 |      200 |        0
177.37/177.44	c  176s |       9 |    12024 |     8406 |    55188      0 |      200 |        0
179.87/179.97	c  178s |       9 |    12121 |     8506 |    55188      0 |      200 |        0
183.67/183.73	c  182s |       9 |    12241 |     8606 |    55188      0 |      200 |        0
186.96/187.05	c  185s |       9 |    12334 |     8706 |    55188      0 |      200 |        0
190.26/190.35	c  188s |       9 |    12446 |     8806 |    55188      0 |      200 |        0
193.46/193.52	c  192s |       9 |    12549 |     8906 |    55188      0 |      200 |        0
195.97/196.03	c  194s |       9 |    12656 |     9006 |    55188      0 |      200 |        0
199.56/199.66	c  198s |       9 |    12870 |     9206 |    55188      0 |      200 |        0
201.96/202.05	c  200s |       9 |    12964 |     9306 |    55188      0 |      200 |        0
205.56/205.66	c  204s |       9 |    13077 |     9406 |    55188      0 |      200 |        0
208.86/208.99	c  207s |       9 |    13192 |     9506 |    55188      0 |      200 |        0
211.37/211.42	c  209s |       9 |    13317 |     9606 |    55188      0 |      200 |        0
213.86/213.98	c  212s |       9 |    13428 |     9706 |    55188      0 |      200 |        0
215.96/216.01	c  214s |       9 |    13579 |     9806 |    55188      0 |      200 |        0
218.07/218.11	c  216s |       9 |    13696 |     9906 |    55188      0 |      200 |        0
220.56/220.60	c  219s |       9 |    13794 |    10006 |    55188      0 |      200 |        0
223.16/223.24	c  221s |       9 |    13916 |    10106 |    55188      0 |      200 |        0
225.16/225.27	c  223s |       9 |    14054 |    10206 |    55188      0 |      200 |        0
228.46/228.54	c  227s |       9 |    14274 |    10406 |    55188      0 |      200 |        0
231.56/231.66	c  230s |       9 |    14472 |    10606 |    55188      0 |      200 |        0
235.96/236.02	c  234s |       9 |    14664 |    10806 |    55188      0 |      200 |        0
238.36/238.48	c  237s |       9 |    14771 |    10906 |    55188      0 |      200 |        0
241.56/241.62	c  240s |       9 |    14870 |    11006 |    55188      0 |      200 |        0
244.36/244.41	c  242s |       9 |    14986 |    11106 |    55188      0 |      200 |        0
247.05/247.14	c  245s |       9 |    15085 |    11206 |    55188      0 |      200 |        0
249.45/249.54	c  248s |       9 |    15197 |    11306 |    60707      0 |      200 |        0
251.06/251.16	c  249s |      10 |    15258 |    11361 |    60707      0 |      200 |        0
256.25/256.37	c  254s |      10 |    15577 |    11561 |    60707      0 |      200 |        0
258.76/258.81	c  257s |      10 |    15684 |    11661 |    60707      0 |      200 |        0
261.15/261.25	c  259s |      10 |    15797 |    11761 |    60707      0 |      200 |        0
264.26/264.38	c  262s |      10 |    16038 |    11961 |    60707      0 |      200 |        0
267.35/267.49	c  266s |      10 |    16246 |    12161 |    60707      0 |      200 |        0
270.65/270.79	c  269s |      10 |    16461 |    12361 |    60707      0 |      200 |        0
274.16/274.28	c  272s |      10 |    16705 |    12561 |    60707      0 |      200 |        0
277.65/277.78	c  276s |      10 |    16925 |    12761 |    60707      0 |      200 |        0
280.35/280.47	c  279s |      10 |    17156 |    12961 |    60707      0 |      200 |        0
283.55/283.67	c  282s |      10 |    17356 |    13161 |    60707      0 |      200 |        0
286.95/287.03	c  285s |      10 |    17568 |    13361 |    60707      0 |      200 |        0
290.25/290.37	c  288s |      10 |    17775 |    13561 |    60707      0 |      200 |        0
294.25/294.36	c  292s |      10 |    18041 |    13761 |    60707      0 |      200 |        0
297.35/297.40	c  295s |      10 |    18234 |    13961 |    60707      0 |      200 |        0
300.05/300.16	c  298s |      10 |    18450 |    14161 |    60707      0 |      200 |        0
302.95/303.01	c  301s |      10 |    18649 |    14361 |    60707      0 |      200 |        0
305.85/305.91	c  304s |      10 |    18860 |    14561 |    60707      0 |      200 |        0
308.65/308.78	c  307s |      10 |    19080 |    14761 |    60707      0 |      200 |        0
311.64/311.74	c  310s |      10 |    19278 |    14961 |    60707      0 |      200 |        0
314.34/314.46	c  313s |      10 |    19481 |    15161 |    60707      0 |      200 |        0
318.54/318.66	c  317s |      10 |    19703 |    15361 |    60707      0 |      200 |        0
321.84/321.97	c  320s |      10 |    19946 |    15561 |    60707      0 |      200 |        0
326.04/326.19	c  324s |      10 |    20181 |    15761 |    60707      0 |      200 |        0
328.44/328.52	c  327s |      10 |    20274 |    15861 |    60707      0 |      200 |        0
331.04/331.19	c  329s |      10 |    20374 |    15961 |    60707      0 |      200 |        0
333.55/333.61	c  332s |      10 |    20481 |    16061 |    60707      0 |      200 |        0
335.54/335.62	c  334s |      10 |    20599 |    16161 |    60707      0 |      200 |        0
338.14/338.29	c  336s |      10 |    20787 |    16361 |    60707      0 |      200 |        0
340.64/340.72	c  339s |      10 |    20935 |    16461 |    60707      0 |      200 |        0
343.04/343.17	c  341s |      10 |    21141 |    16561 |    60707      0 |      200 |        0
346.75/346.81	c  345s |      10 |    21249 |    16661 |    60707      0 |      200 |        0
350.94/351.04	c  349s |      10 |    21469 |    16861 |    60707      0 |      200 |        0
353.14/353.29	c  351s |      10 |    21571 |    16961 |    60707      0 |      200 |        0
356.34/356.40	c  354s |      11 |    21762 |    17144 |    66778      0 |      200 |        0
358.94/359.05	c  357s |      11 |    21988 |    17244 |    66778      0 |      200 |        0
361.63/361.77	c  360s |      11 |    22085 |    17344 |    66778      0 |      200 |        0
364.03/364.11	c  362s |      11 |    22205 |    17444 |    66778      0 |      200 |        0
366.13/366.29	c  364s |      11 |    22314 |    17544 |    66778      0 |      200 |        0
370.53/370.63	c  369s |      11 |    22561 |    17744 |    66778      0 |      200 |        0
373.43/373.54	c  372s |      11 |    22675 |    17844 |    66778      0 |      200 |        0
377.03/377.12	c  375s |      11 |    22784 |    17944 |    66778      0 |      200 |        0
379.83/379.99	c  378s |      11 |    22886 |    18044 |    66778      0 |      200 |        0
382.94/383.04	c  381s |      11 |    23014 |    18144 |    66778      0 |      200 |        0
386.34/386.44	c  385s |      11 |    23156 |    18244 |    66778      0 |      200 |        0
388.63/388.70	c  387s |      11 |    23257 |    18344 |    66778      0 |      200 |        0
391.33/391.47	c  390s |      11 |    23390 |    18444 |    66778      0 |      200 |        0
394.63/394.73	c  393s |      11 |    23517 |    18544 |    66778      0 |      200 |        0
397.53/397.67	c  396s |      11 |    23628 |    18644 |    66778      0 |      200 |        0
400.83/400.94	c  399s |      11 |    23716 |    18744 |    66778      0 |      200 |        0
402.93/403.09	c  401s |      11 |    23815 |    18844 |    66778      0 |      200 |        0
405.03/405.13	c  403s |      11 |    23935 |    18944 |    66778      0 |      200 |        0
408.12/408.26	c  406s |      11 |    24184 |    19144 |    66778      0 |      200 |        0
410.32/410.46	c  409s |      11 |    24301 |    19244 |    66778      0 |      200 |        0
413.92/414.08	c  412s |      11 |    24397 |    19344 |    66778      0 |      200 |        0
416.72/416.88	c  415s |      11 |    24509 |    19444 |    66778      0 |      200 |        0
418.92/419.04	c  417s |      11 |    24645 |    19544 |    66778      0 |      200 |        0
421.32/421.43	c  419s |      11 |    24756 |    19644 |    66778      0 |      200 |        0
424.32/424.44	c  423s |      11 |    24835 |    19744 |    66778      0 |      200 |        0
428.03/428.13	c  426s |      11 |    25094 |    19944 |    66778      0 |      200 |        0
432.62/432.77	c  431s |      11 |    25297 |    20144 |    66778      0 |      200 |        0
435.83/435.97	c  434s |      11 |    25415 |    20244 |    66778      0 |      200 |        0
438.32/438.48	c  437s |      11 |    25539 |    20344 |    66778      0 |      200 |        0
440.42/440.50	c  439s |      11 |    25634 |    20444 |    66778      0 |      200 |        0
443.02/443.17	c  441s |      11 |    25770 |    20544 |    66778      0 |      200 |        0
447.22/447.37	c  445s |      11 |    26132 |    20744 |    66778      0 |      200 |        0
449.32/449.43	c  447s |      11 |    26253 |    20844 |    66778      0 |      200 |        0
451.92/452.08	c  450s |      11 |    26355 |    20944 |    66778      0 |      200 |        0
454.22/454.32	c  452s |      11 |    26463 |    21044 |    66778      0 |      200 |        0
458.12/458.21	c  456s |      11 |    26575 |    21144 |    66778      0 |      200 |        0
460.52/460.65	c  459s |      11 |    26677 |    21244 |    66778      0 |      200 |        0
464.21/464.32	c  462s |      11 |    26891 |    21444 |    66778      0 |      200 |        0
468.11/468.26	c  466s |      11 |    27099 |    21644 |    66778      0 |      200 |        0
470.71/470.85	c  469s |      11 |    27190 |    21744 |    66778      0 |      200 |        0
473.41/473.58	c  472s |      11 |    27283 |    21844 |    66778      0 |      200 |        0
476.01/476.14	c  474s |      11 |    27396 |    21944 |    66778      0 |      200 |        0
479.41/479.59	c  478s |      11 |    27591 |    22144 |    66778      0 |      200 |        0
483.41/483.58	c  482s |      11 |    27793 |    22344 |    66778      0 |      200 |        0
485.91/486.07	c  484s |      11 |    27895 |    22444 |    66778      0 |      200 |        0
489.72/489.81	c  488s |      11 |    28235 |    22644 |    66778      0 |      200 |        0
493.51/493.65	c  492s |      11 |    28566 |    22844 |    66778      0 |      200 |        0
497.01/497.18	c  495s |      11 |    28798 |    23044 |    66778      0 |      200 |        0
500.51/500.61	c  499s |      11 |    29012 |    23244 |    66778      0 |      200 |        0
502.92/503.09	c  501s |      11 |    29116 |    23344 |    66778      0 |      200 |        0
506.12/506.28	c  504s |      11 |    29378 |    23544 |    66778      0 |      200 |        0
509.31/509.48	c  508s |      11 |    29606 |    23744 |    66778      0 |      200 |        0
513.11/513.21	c  511s |      11 |    29825 |    23944 |    66778      0 |      200 |        0
515.21/515.31	c  513s |      11 |    29930 |    24044 |    66778      0 |      200 |        0
518.71/518.83	c  517s |      11 |    30168 |    24244 |    66778      0 |      200 |        0
520.71/520.83	c  519s |      11 |    30276 |    24344 |    66778      0 |      200 |        0
524.61/524.73	c  523s |      11 |    30493 |    24544 |    66778      0 |      200 |        0
528.50/528.61	c  527s |      11 |    30699 |    24744 |    66778      0 |      200 |        0
530.60/530.74	c  529s |      11 |    30787 |    24844 |    66778      0 |      200 |        0
533.71/533.87	c  532s |      11 |    30987 |    25044 |    66778      0 |      200 |        0
537.50/537.60	c  536s |      11 |    31201 |    25244 |    66778      0 |      200 |        0
539.50/539.70	c  538s |      11 |    31325 |    25344 |    66778      0 |      200 |        0
541.91/542.01	c  540s |      11 |    31430 |    25444 |    66778      0 |      200 |        0
544.21/544.30	c  542s |      11 |    31541 |    25544 |    66778      0 |      200 |        0
547.31/547.46	c  546s |      11 |    31636 |    25644 |    66778      0 |      200 |        0
550.22/550.36	c  548s |      11 |    31740 |    25744 |    73456      0 |      200 |        0
552.21/552.32	c  550s |      12 |    31800 |    25819 |    73456      0 |      200 |        0
554.91/555.02	c  553s |      12 |    32030 |    25919 |    73456      0 |      200 |        0
558.31/558.41	c  556s |      12 |    32127 |    26019 |    73456      0 |      200 |        0
561.51/561.67	c  560s |      12 |    32278 |    26119 |    73456      0 |      200 |        0
564.41/564.56	c  563s |      12 |    32409 |    26219 |    73456      0 |      200 |        0
567.81/567.92	c  566s |      12 |    32517 |    26319 |    73456      0 |      200 |        0
570.91/571.01	c  569s |      12 |    32642 |    26419 |    73456      0 |      200 |        0
573.90/574.07	c  572s |      12 |    32792 |    26519 |    73456      0 |      200 |        0
576.51/576.66	c  575s |      12 |    32993 |    26619 |    73456      0 |      200 |        0
578.81/578.93	c  577s |      12 |    33093 |    26719 |    73456      0 |      200 |        0
580.91/581.04	c  579s |      12 |    33203 |    26819 |    73456      0 |      200 |        0
583.21/583.35	c  581s |      12 |    33322 |    26919 |    73456      0 |      200 |        0
585.80/585.97	c  584s |      12 |    33426 |    27019 |    73456      0 |      200 |        0
588.40/588.57	c  587s |      12 |    33505 |    27119 |    73456      0 |      200 |        0
591.10/591.20	c  589s |      12 |    33609 |    27219 |    73456      0 |      200 |        0
593.70/593.85	c  592s |      12 |    33716 |    27319 |    73456      0 |      200 |        0
597.30/597.47	c  596s |      12 |    34013 |    27519 |    73456      0 |      200 |        0
600.00/600.10	c  598s |      12 |    34116 |    27619 |    73456      0 |      200 |        0
602.90/603.05	c  601s |      12 |    34211 |    27719 |    73456      0 |      200 |        0
605.00/605.19	c  603s |      12 |    34331 |    27819 |    73456      0 |      200 |        0
607.50/607.64	c  606s |      12 |    34441 |    27919 |    73456      0 |      200 |        0
610.00/610.10	c  608s |      12 |    34555 |    28019 |    73456      0 |      200 |        0
612.39/612.50	c  611s |      12 |    34754 |    28119 |    73456      0 |      200 |        0
615.39/615.56	c  614s |      12 |    34866 |    28219 |    73456      0 |      200 |        0
617.79/617.92	c  616s |      12 |    35014 |    28319 |    73456      0 |      200 |        0
622.59/622.74	c  621s |      12 |    35240 |    28519 |    73456      0 |      200 |        0
625.59/625.77	c  624s |      12 |    35359 |    28619 |    73456      0 |      200 |        0
628.69/628.87	c  627s |      12 |    35479 |    28719 |    73456      0 |      200 |        0
631.39/631.58	c  630s |      12 |    35669 |    28819 |    73456      0 |      200 |        0
633.99/634.15	c  632s |      12 |    35764 |    28919 |    73456      0 |      200 |        0
636.49/636.62	c  635s |      12 |    35874 |    29019 |    73456      0 |      200 |        0
639.20/639.36	c  637s |      12 |    35994 |    29119 |    73456      0 |      200 |        0
642.60/642.75	c  641s |      12 |    36225 |    29319 |    73456      0 |      200 |        0
645.09/645.21	c  643s |      12 |    36331 |    29419 |    73456      0 |      200 |        0
648.10/648.24	c  646s |      12 |    36451 |    29519 |    73456      0 |      200 |        0
650.49/650.68	c  649s |      12 |    36598 |    29619 |    73456      0 |      200 |        0
653.19/653.34	c  651s |      12 |    36692 |    29719 |    73456      0 |      200 |        0
655.69/655.83	c  654s |      12 |    36819 |    29819 |    73456      0 |      200 |        0
658.19/658.38	c  656s |      12 |    36934 |    29919 |    73456      0 |      200 |        0
660.39/660.56	c  659s |      12 |    37011 |    30019 |    73456      0 |      200 |        0
662.39/662.59	c  661s |      12 |    37116 |    30119 |    73456      0 |      200 |        0
665.88/666.08	c  664s |      12 |    37361 |    30319 |    73456      0 |      200 |        0
668.18/668.39	c  666s |      12 |    37468 |    30419 |    73456      0 |      200 |        0
673.39/673.51	c  672s |      12 |    37722 |    30619 |    73456      0 |      200 |        0
676.38/676.53	c  675s |      12 |    37857 |    30719 |    73456      0 |      200 |        0
679.18/679.30	c  677s |      12 |    37975 |    30819 |    73456      0 |      200 |        0
681.88/682.00	c  680s |      12 |    38086 |    30919 |    73456      0 |      200 |        0
684.29/684.44	c  683s |      12 |    38192 |    31019 |    73456      0 |      200 |        0
686.59/686.75	c  685s |      12 |    38292 |    31119 |    73456      0 |      200 |        0
689.58/689.72	c  688s |      12 |    38414 |    31219 |    73456      0 |      200 |        0
692.48/692.60	c  691s |      12 |    38527 |    31319 |    73456      0 |      200 |        0
694.88/695.07	c  693s |      12 |    38636 |    31419 |    73456      0 |      200 |        0
697.49/697.61	c  696s |      12 |    38780 |    31519 |    73456      0 |      200 |        0
699.58/699.77	c  698s |      12 |    38893 |    31619 |    73456      0 |      200 |        0
703.88/704.06	c  702s |      12 |    39127 |    31819 |    73456      0 |      200 |        0
706.78/706.97	c  705s |      12 |    39325 |    32019 |    73456      0 |      200 |        0
710.88/711.03	c  709s |      12 |    39539 |    32219 |    73456      0 |      200 |        0
713.48/713.64	c  712s |      12 |    39638 |    32319 |    73456      0 |      200 |        0
715.78/715.93	c  714s |      12 |    39753 |    32419 |    73456      0 |      200 |        0
718.98/719.19	c  717s |      12 |    39982 |    32619 |    73456      0 |      200 |        0
722.68/722.84	c  721s |      12 |    40188 |    32819 |    73456      0 |      200 |        0
726.27/726.41	c  724s |      12 |    40391 |    33019 |    73456      0 |      200 |        0
729.77/729.99	c  728s |      12 |    40595 |    33219 |    73456      0 |      200 |        0
732.78/732.92	c  731s |      12 |    40812 |    33419 |    73456      0 |      200 |        0
734.88/735.02	c  733s |      12 |    40913 |    33519 |    73456      0 |      200 |        0
737.08/737.29	c  735s |      12 |    41041 |    33619 |    73456      0 |      200 |        0
739.17/739.38	c  737s |      12 |    41139 |    33719 |    73456      0 |      200 |        0
742.37/742.50	c  741s |      12 |    41342 |    33919 |    73456      0 |      200 |        0
744.67/744.82	c  743s |      12 |    41447 |    34019 |    73456      0 |      200 |        0
747.37/747.53	c  746s |      12 |    41574 |    34119 |    73456      0 |      200 |        0
749.67/749.89	c  748s |      12 |    41681 |    34219 |    73456      0 |      200 |        0
752.37/752.56	c  751s |      12 |    41804 |    34319 |    73456      0 |      200 |        0
755.17/755.33	c  753s |      12 |    41896 |    34419 |    73456      0 |      200 |        0
757.87/758.10	c  756s |      12 |    41992 |    34519 |    73456      0 |      200 |        0
760.67/760.80	c  759s |      12 |    42102 |    34619 |    73456      0 |      200 |        0
763.07/763.20	c  761s |      12 |    42195 |    34719 |    73456      0 |      200 |        0
765.07/765.29	c  763s |      12 |    42305 |    34819 |    73456      0 |      200 |        0
768.47/768.65	c  767s |      12 |    42513 |    35019 |    73456      0 |      200 |        0
770.57/770.73	c  769s |      12 |    42610 |    35119 |    73456      0 |      200 |        0
772.57/772.76	c  771s |      12 |    42746 |    35219 |    73456      0 |      200 |        0
774.67/774.83	c  773s |      12 |    42838 |    35319 |    73456      0 |      200 |        0
778.17/778.30	c  776s |      12 |    43096 |    35519 |    73456      0 |      200 |        0
781.57/781.79	c  780s |      12 |    43299 |    35719 |    73456      0 |      200 |        0
784.86/785.02	c  783s |      12 |    43401 |    35819 |    73456      0 |      200 |        0
787.46/787.66	c  786s |      12 |    43542 |    35919 |    73456      0 |      200 |        0
789.87/790.09	c  788s |      12 |    43657 |    36019 |    73456      0 |      200 |        0
791.96/792.15	c  790s |      12 |    43748 |    36119 |    73456      0 |      200 |        0
794.06/794.22	c  792s |      12 |    43855 |    36219 |    73456      0 |      200 |        0
796.47/796.64	c  795s |      12 |    43982 |    36319 |    73456      0 |      200 |        0
801.36/801.56	c  800s |      12 |    44336 |    36519 |    73456      0 |      200 |        0
803.96/804.14	c  802s |      12 |    44438 |    36619 |    73456      0 |      200 |        0
807.36/807.53	c  806s |      12 |    44545 |    36719 |    73456      0 |      200 |        0
809.77/809.96	c  808s |      12 |    44648 |    36819 |    73456      0 |      200 |        0
812.26/812.42	c  810s |      12 |    44779 |    36919 |    73456      0 |      200 |        0
815.27/815.44	c  814s |      12 |    44908 |    37019 |    73456      0 |      200 |        0
818.16/818.30	c  816s |      12 |    45023 |    37119 |    73456      0 |      200 |        0
820.57/820.76	c  819s |      12 |    45147 |    37219 |    73456      0 |      200 |        0
823.97/824.13	c  822s |      12 |    45276 |    37319 |    73456      0 |      200 |        0
828.07/828.26	c  826s |      12 |    45378 |    37419 |    73456      0 |      200 |        0
830.57/830.76	c  829s |      12 |    45499 |    37519 |    73456      0 |      200 |        0
832.67/832.83	c  831s |      12 |    45598 |    37619 |    73456      0 |      200 |        0
835.97/836.11	c  834s |      12 |    45704 |    37719 |    73456      0 |      200 |        0
839.26/839.43	c  837s |      12 |    45839 |    37819 |    73456      0 |      200 |        0
842.56/842.75	c  841s |      12 |    45950 |    37919 |    73456      0 |      200 |        0
845.56/845.77	c  844s |      12 |    46048 |    38019 |    73456      0 |      200 |        0
848.46/848.68	c  847s |      12 |    46158 |    38119 |    73456      0 |      200 |        0
850.56/850.73	c  849s |      12 |    46314 |    38219 |    73456      0 |      200 |        0
853.26/853.47	c  852s |      12 |    46448 |    38319 |    73456      0 |      200 |        0
856.66/856.81	c  855s |      12 |    46557 |    38419 |    73456      0 |      200 |        0
859.06/859.27	c  857s |      12 |    46664 |    38519 |    73456      0 |      200 |        0
862.16/862.31	c  860s |      12 |    46789 |    38619 |    80802      0 |      200 |        0
864.86/865.05	c  863s |      12 |    46898 |    38719 |    80802      0 |      200 |        0
866.87/867.05	c  865s |      13 |    47017 |    38832 |    80802      0 |      200 |        0
869.66/869.83	c  868s |      13 |    47255 |    38932 |    80802      0 |      200 |        0
873.26/873.47	c  872s |      13 |    47405 |    39032 |    80802      0 |      200 |        0
876.06/876.22	c  874s |      13 |    47523 |    39132 |    80802      0 |      200 |        0
878.46/878.69	c  877s |      13 |    47621 |    39232 |    80802      0 |      200 |        0
880.86/881.00	c  879s |      13 |    47724 |    39332 |    80802      0 |      200 |        0
883.16/883.31	c  881s |      13 |    47824 |    39432 |    80802      0 |      200 |        0
886.56/886.79	c  885s |      13 |    47942 |    39532 |    80802      0 |      200 |        0
888.86/889.08	c  887s |      13 |    48054 |    39632 |    80802      0 |      200 |        0
891.55/891.76	c  890s |      13 |    48303 |    39832 |    80802      0 |      200 |        0
895.46/895.65	c  894s |      13 |    48524 |    40032 |    80802      0 |      200 |        0
899.65/899.82	c  898s |      13 |    48751 |    40232 |    80802      0 |      200 |        0
903.65/903.81	c  902s |      13 |    48911 |    40332 |    80802      0 |      200 |        0
905.95/906.10	c  904s |      13 |    49013 |    40432 |    80802      0 |      200 |        0
908.85/909.03	c  907s |      13 |    49113 |    40532 |    80802      0 |      200 |        0
911.75/911.96	c  910s |      13 |    49220 |    40632 |    80802      0 |      200 |        0
914.04/914.24	c  912s |      13 |    49323 |    40732 |    80802      0 |      200 |        0
916.45/916.67	c  915s |      13 |    49532 |    40932 |    80802      0 |      200 |        0
920.94/921.19	c  919s |      13 |    49776 |    41132 |    80802      0 |      200 |        0
924.34/924.51	c  923s |      13 |    49901 |    41232 |    80802      0 |      200 |        0
926.64/926.87	c  925s |      13 |    50018 |    41332 |    80802      0 |      200 |        0
930.23/930.45	c  929s |      13 |    50288 |    41532 |    80802      0 |      200 |        0
933.13/933.34	c  931s |      13 |    50514 |    41732 |    80802      0 |      200 |        0
936.24/936.41	c  934s |      13 |    50829 |    41932 |    80802      0 |      200 |        0
939.33/939.56	c  938s |      13 |    51043 |    42132 |    80802      0 |      200 |        0
941.93/942.15	c  940s |      13 |    51248 |    42332 |    80802      0 |      200 |        0
944.03/944.23	c  942s |      13 |    51464 |    42532 |    80802      0 |      200 |        0
946.53/946.72	c  945s |      13 |    51716 |    42732 |    80802      0 |      200 |        0
949.93/950.11	c  948s |      13 |    51934 |    42932 |    80802      0 |      200 |        0
952.03/952.23	c  950s |      13 |    52029 |    43032 |    80802      0 |      200 |        0
954.63/954.80	c  953s |      13 |    52227 |    43232 |    80802      0 |      200 |        0
957.93/958.13	c  956s |      13 |    52443 |    43432 |    80802      0 |      200 |        0
960.23/960.48	c  959s |      13 |    52642 |    43632 |    80802      0 |      200 |        0
964.13/964.33	c  962s |      13 |    52877 |    43832 |    80802      0 |      200 |        0
966.43/966.62	c  965s |      13 |    52993 |    43932 |    80802      0 |      200 |        0
969.33/969.53	c  968s |      13 |    53194 |    44132 |    80802      0 |      200 |        0
972.23/972.43	c  970s |      13 |    53416 |    44332 |    80802      0 |      200 |        0
975.53/975.76	c  974s |      13 |    53651 |    44532 |    80802      0 |      200 |        0
978.93/979.10	c  977s |      13 |    53858 |    44732 |    80802      0 |      200 |        0
982.93/983.11	c  981s |      13 |    54159 |    44932 |    80802      0 |      200 |        0
986.32/986.51	c  985s |      13 |    54367 |    45132 |    80802      0 |      200 |        0
988.82/989.03	c  987s |      13 |    54566 |    45332 |    80802      0 |      200 |        0
992.92/993.17	c  991s |      13 |    54805 |    45532 |    80802      0 |      200 |        0
995.21/995.46	c  994s |      13 |    54913 |    45632 |    80802      0 |      200 |        0
999.31/999.55	c  998s |      13 |    55113 |    45832 |    80802      0 |      200 |        0
1001.81/1002.00	c 1000s |      13 |    55315 |    46032 |    80802      0 |      200 |        0
1003.91/1004.16	c 1002s |      13 |    55429 |    46132 |    80802      0 |      200 |        0
1005.91/1006.16	c 1004s |      13 |    55523 |    46232 |    80802      0 |      200 |        0
1008.51/1008.77	c 1007s |      13 |    55747 |    46432 |    80802      0 |      200 |        0
1011.61/1011.82	c 1010s |      13 |    55947 |    46632 |    80802      0 |      200 |        0
1014.71/1014.99	c 1013s |      13 |    56143 |    46832 |    80802      0 |      200 |        0
1018.31/1018.58	c 1017s |      13 |    56355 |    47032 |    80802      0 |      200 |        0
1020.91/1021.14	c 1019s |      13 |    56549 |    47232 |    80802      0 |      200 |        0
1024.00/1024.20	c 1022s |      13 |    56761 |    47432 |    80802      0 |      200 |        0
1026.00/1026.25	c 1024s |      13 |    56859 |    47532 |    80802      0 |      200 |        0
1030.30/1030.57	c 1029s |      13 |    57072 |    47732 |    80802      0 |      200 |        0
1032.60/1032.83	c 1031s |      13 |    57176 |    47832 |    80802      0 |      200 |        0
1035.80/1036.00	c 1034s |      13 |    57377 |    48032 |    80802      0 |      200 |        0
1038.90/1039.15	c 1037s |      13 |    57600 |    48232 |    80802      0 |      200 |        0
1043.20/1043.43	c 1041s |      13 |    57801 |    48432 |    80802      0 |      200 |        0
1046.60/1046.81	c 1045s |      13 |    58005 |    48632 |    80802      0 |      200 |        0
1049.10/1049.37	c 1047s |      13 |    58207 |    48832 |    80802      0 |      200 |        0
1051.60/1051.86	c 1050s |      13 |    58418 |    49032 |    80802      0 |      200 |        0
1053.90/1054.18	c 1052s |      13 |    58640 |    49232 |    80802      0 |      200 |        0
1056.89/1057.17	c 1055s |      13 |    58842 |    49432 |    80802      0 |      200 |        0
1059.19/1059.49	c 1058s |      13 |    59045 |    49632 |    80802      0 |      200 |        0
1061.99/1062.26	c 1060s |      13 |    59246 |    49832 |    80802      0 |      200 |        0
1064.39/1064.68	c 1063s |      13 |    59443 |    50032 |    80802      0 |      200 |        0
1068.58/1068.86	c 1067s |      13 |    59658 |    50232 |    80802      0 |      200 |        0
1071.18/1071.45	c 1070s |      13 |    59770 |    50332 |    80802      0 |      200 |        0
1073.48/1073.77	c 1072s |      13 |    59869 |    50432 |    80802      0 |      200 |        0
1075.68/1075.93	c 1074s |      13 |    59986 |    50532 |    80802      0 |      200 |        0
1077.99/1078.23	c 1076s |      13 |    60142 |    50632 |    80802      0 |      200 |        0
1079.98/1080.23	c 1078s |      13 |    60259 |    50732 |    80802      0 |      200 |        0
1082.68/1082.96	c 1081s |      13 |    60456 |    50932 |    80802      0 |      200 |        0
1086.08/1086.35	c 1084s |      13 |    60655 |    51132 |    80802      0 |      200 |        0
1088.68/1088.97	c 1087s |      13 |    60792 |    51232 |    80802      0 |      200 |        0
1092.18/1092.41	c 1090s |      13 |    60997 |    51432 |    80802      0 |      200 |        0
1094.67/1094.90	c 1093s |      13 |    61098 |    51532 |    80802      0 |      200 |        0
1096.79/1097.01	c 1095s |      13 |    61201 |    51632 |    80802      0 |      200 |        0
1099.48/1099.77	c 1098s |      13 |    61405 |    51832 |    80802      0 |      200 |        0
1103.29/1103.56	c 1102s |      13 |    61634 |    52032 |    80802      0 |      200 |        0
1106.97/1107.25	c 1105s |      13 |    61834 |    52232 |    80802      0 |      200 |        0
1109.88/1110.14	c 1108s |      13 |    62036 |    52432 |    80802      0 |      200 |        0
1112.37/1112.61	c 1111s |      13 |    62225 |    52632 |    80802      0 |      200 |        0
1114.97/1115.22	c 1113s |      13 |    62436 |    52832 |    80802      0 |      200 |        0
1117.77/1118.01	c 1116s |      13 |    62633 |    53032 |    80802      0 |      200 |        0
1120.37/1120.64	c 1119s |      13 |    62825 |    53232 |    80802      0 |      200 |        0
1124.66/1124.96	c 1123s |      13 |    63054 |    53432 |    80802      0 |      200 |        0
1127.06/1127.30	c 1125s |      13 |    63166 |    53532 |    80802      0 |      200 |        0
1131.06/1131.33	c 1129s |      13 |    63536 |    53732 |    80802      0 |      200 |        0
1133.76/1134.03	c 1132s |      13 |    63728 |    53932 |    80802      0 |      200 |        0
1136.06/1136.32	c 1134s |      13 |    63948 |    54132 |    80802      0 |      200 |        0
1138.36/1138.65	c 1137s |      13 |    64129 |    54232 |    80802      0 |      200 |        0
1141.25/1141.52	c 1140s |      13 |    64237 |    54332 |    80802      0 |      200 |        0
1144.65/1144.96	c 1143s |      13 |    64439 |    54532 |    80802      0 |      200 |        0
1147.15/1147.41	c 1145s |      13 |    64647 |    54732 |    80802      0 |      200 |        0
1150.85/1151.11	c 1149s |      13 |    64840 |    54932 |    80802      0 |      200 |        0
1154.45/1154.71	c 1153s |      13 |    65062 |    55132 |    80802      0 |      200 |        0
1156.94/1157.20	c 1155s |      13 |    65174 |    55232 |    80802      0 |      200 |        0
1159.54/1159.88	c 1158s |      13 |    65259 |    55332 |    80802      0 |      200 |        0
1162.04/1162.31	c 1160s |      13 |    65386 |    55432 |    80802      0 |      200 |        0
1164.74/1165.09	c 1163s |      13 |    65479 |    55532 |    80802      0 |      200 |        0
1169.14/1169.46	c 1168s |      13 |    65736 |    55732 |    80802      0 |      200 |        0
1171.74/1172.04	c 1170s |      13 |    65850 |    55832 |    80802      0 |      200 |        0
1173.84/1174.11	c 1172s |      13 |    65959 |    55932 |    80802      0 |      200 |        0
1176.73/1177.05	c 1175s |      13 |    66150 |    56132 |    80802      0 |      200 |        0
1180.43/1180.78	c 1179s |      13 |    66360 |    56332 |    80802      0 |      200 |        0
1183.54/1183.84	c 1182s |      13 |    66557 |    56532 |    80802      0 |      200 |        0
1185.84/1186.10	c 1184s |      13 |    66767 |    56732 |    80802      0 |      200 |        0
1188.73/1189.07	c 1187s |      13 |    66871 |    56832 |    80802      0 |      200 |        0
1191.63/1191.99	c 1190s |      13 |    67078 |    57032 |    80802      0 |      200 |        0
1194.33/1194.66	c 1193s |      13 |    67199 |    57132 |    80802      0 |      200 |        0
1196.74/1197.10	c 1195s |      13 |    67300 |    57232 |    80802      0 |      200 |        0
1199.93/1200.30	c 1198s |      13 |    67534 |    57432 |    80802      0 |      200 |        0
1203.43/1203.71	c 1202s |      13 |    67664 |    57532 |    80802      0 |      200 |        0
1206.42/1206.72	c 1205s |      13 |    67760 |    57632 |    80802      0 |      200 |        0
1209.52/1209.88	c 1208s |      13 |    67868 |    57732 |    80802      0 |      200 |        0
1211.82/1212.18	c 1210s |      13 |    67972 |    57832 |    80802      0 |      200 |        0
1215.52/1215.84	c 1214s |      13 |    68088 |    57932 |    80802      0 |      200 |        0
1219.22/1219.51	c 1218s |      13 |    68337 |    58132 |    88883      0 |      200 |        0
1221.32/1221.60	c 1220s |      13 |    68446 |    58232 |    88883      0 |      200 |        0
1223.42/1223.73	c 1222s |      14 |    68558 |    58352 |    88883      0 |      200 |        0
1227.41/1227.77	c 1226s |      14 |    68749 |    58452 |    88883      0 |      200 |        0
1229.82/1230.14	c 1228s |      14 |    68869 |    58552 |    88883      0 |      200 |        0
1233.12/1233.47	c 1232s |      14 |    68998 |    58652 |    88883      0 |      200 |        0
1236.11/1236.43	c 1234s |      14 |    69110 |    58752 |    88883      0 |      200 |        0
1240.21/1240.57	c 1239s |      14 |    69218 |    58852 |    88883      0 |      200 |        0
1244.30/1244.64	c 1243s |      14 |    69376 |    58952 |    88883      0 |      200 |        0
1248.41/1248.71	c 1247s |      14 |    69504 |    59052 |    88883      0 |      200 |        0
1252.50/1252.80	c 1251s |      14 |    69613 |    59152 |    88883      0 |      200 |        0
1256.60/1256.97	c 1255s |      14 |    69725 |    59252 |    88883      0 |      200 |        0
1261.41/1261.75	c 1260s |      14 |    69842 |    59352 |    88883      0 |      200 |        0
1265.61/1265.99	c 1264s |      14 |    69952 |    59452 |    88883      0 |      200 |        0
1268.51/1268.83	c 1267s |      14 |    70027 |    59552 |    88883      0 |      200 |        0
1271.01/1271.33	c 1269s |      14 |    70135 |    59652 |    88883      0 |      200 |        0
1273.41/1273.79	c 1272s |      14 |    70234 |    59752 |    88883      0 |      200 |        0
1275.91/1276.22	c 1274s |      14 |    70331 |    59852 |    88883      0 |      200 |        0
1278.11/1278.47	c 1277s |      14 |    70439 |    59952 |    88883      0 |      200 |        0
1280.20/1280.57	c 1279s |      14 |    70536 |    60052 |    88883      0 |      200 |        0
1283.71/1284.03	c 1282s |      14 |    70729 |    60252 |    88883      0 |      200 |        0
1287.40/1287.74	c 1286s |      14 |    70948 |    60452 |    88883      0 |      200 |        0
1290.10/1290.40	c 1288s |      14 |    71080 |    60552 |    88883      0 |      200 |        0
1292.60/1292.96	c 1291s |      14 |    71195 |    60652 |    88883      0 |      200 |        0
1297.70/1298.10	c 1296s |      14 |    71410 |    60852 |    88883      0 |      200 |        0
1301.10/1301.47	c 1300s |      14 |    71495 |    60952 |    88883      0 |      200 |        0
1304.20/1304.50	c 1303s |      14 |    71611 |    61052 |    88883      0 |      200 |        0
1306.60/1306.91	c 1305s |      14 |    71788 |    61152 |    88883      0 |      200 |        0
1310.01/1310.38	c 1308s |      14 |    71925 |    61252 |    88883      0 |      200 |        0
1312.90/1313.22	c 1311s |      14 |    72016 |    61352 |    88883      0 |      200 |        0
1315.90/1316.20	c 1314s |      14 |    72107 |    61452 |    88883      0 |      200 |        0
1319.00/1319.30	c 1317s |      14 |    72222 |    61552 |    88883      0 |      200 |        0
1323.00/1323.37	c 1321s |      14 |    72335 |    61652 |    88883      0 |      200 |        0
1327.00/1327.32	c 1325s |      14 |    72432 |    61752 |    88883      0 |      200 |        0
1330.50/1330.83	c 1329s |      14 |    72537 |    61852 |    88883      0 |      200 |        0
1333.70/1334.09	c 1332s |      14 |    72648 |    61952 |    88883      0 |      200 |        0
1336.40/1336.78	c 1335s |      14 |    72764 |    62052 |    88883      0 |      200 |        0
1338.60/1338.97	c 1337s |      14 |    72888 |    62152 |    88883      0 |      200 |        0
1340.80/1341.13	c 1339s |      14 |    73103 |    62252 |    88883      0 |      200 |        0
1344.49/1344.82	c 1343s |      14 |    73204 |    62352 |    88883      0 |      200 |        0
1347.19/1347.50	c 1346s |      14 |    73288 |    62452 |    88883      0 |      200 |        0
1350.29/1350.65	c 1349s |      14 |    73436 |    62552 |    88883      0 |      200 |        0
1353.49/1353.89	c 1352s |      14 |    73560 |    62652 |    88883      0 |      200 |        0
1356.30/1356.64	c 1355s |      14 |    73663 |    62752 |    88883      0 |      200 |        0
1359.39/1359.72	c 1358s |      14 |    73804 |    62852 |    88883      0 |      200 |        0
1361.49/1361.88	c 1360s |      14 |    73892 |    62952 |    88883      0 |      200 |        0
1365.10/1365.48	c 1364s |      14 |    74092 |    63152 |    88883      0 |      200 |        0
1368.59/1368.98	c 1367s |      14 |    74306 |    63352 |    88883      0 |      200 |        0
1371.39/1371.75	c 1370s |      14 |    74399 |    63452 |    88883      0 |      200 |        0
1374.49/1374.81	c 1373s |      14 |    74499 |    63552 |    88883      0 |      200 |        0
1376.99/1377.38	c 1375s |      14 |    74612 |    63652 |    88883      0 |      200 |        0
1380.09/1380.43	c 1378s |      14 |    74720 |    63752 |    88883      0 |      200 |        0
1383.18/1383.54	c 1382s |      14 |    74817 |    63852 |    88883      0 |      200 |        0
1385.78/1386.16	c 1384s |      14 |    74945 |    63952 |    88883      0 |      200 |        0
1389.48/1389.87	c 1388s |      14 |    75039 |    64052 |    88883      0 |      200 |        0
1392.68/1393.03	c 1391s |      14 |    75153 |    64152 |    88883      0 |      200 |        0
1395.38/1395.73	c 1394s |      14 |    75258 |    64252 |    88883      0 |      200 |        0
1398.68/1399.09	c 1397s |      14 |    75407 |    64352 |    88883      0 |      200 |        0
1401.98/1402.32	c 1400s |      14 |    75504 |    64452 |    88883      0 |      200 |        0
1404.98/1405.39	c 1403s |      14 |    75617 |    64552 |    88883      0 |      200 |        0
1408.38/1408.79	c 1407s |      14 |    75728 |    64652 |    88883      0 |      200 |        0
1411.08/1411.41	c 1409s |      14 |    75811 |    64752 |    88883      0 |      200 |        0
1414.68/1415.07	c 1413s |      14 |    75916 |    64852 |    88883      0 |      200 |        0
1417.58/1417.93	c 1416s |      14 |    76004 |    64952 |    88883      0 |      200 |        0
1420.18/1420.52	c 1419s |      14 |    76138 |    65052 |    88883      0 |      200 |        0
1423.68/1424.04	c 1422s |      14 |    76261 |    65152 |    88883      0 |      200 |        0
1425.88/1426.29	c 1424s |      14 |    76361 |    65252 |    88883      0 |      200 |        0
1428.28/1428.67	c 1427s |      14 |    76464 |    65352 |    88883      0 |      200 |        0
1431.78/1432.10	c 1430s |      14 |    76569 |    65452 |    88883      0 |      200 |        0
1434.28/1434.62	c 1433s |      14 |    76683 |    65552 |    88883      0 |      200 |        0
1436.27/1436.65	c 1435s |      14 |    76773 |    65652 |    88883      0 |      200 |        0
1439.37/1439.76	c 1438s |      14 |    76883 |    65752 |    88883      0 |      200 |        0
1442.57/1442.92	c 1441s |      14 |    76981 |    65852 |    88883      0 |      200 |        0
1446.67/1447.04	c 1445s |      14 |    77085 |    65952 |    88883      0 |      200 |        0
1449.57/1449.90	c 1448s |      14 |    77178 |    66052 |    88883      0 |      200 |        0
1451.88/1452.24	c 1450s |      14 |    77303 |    66152 |    88883      0 |      200 |        0
1454.37/1454.77	c 1453s |      14 |    77417 |    66252 |    88883      0 |      200 |        0
1456.47/1456.87	c 1455s |      14 |    77536 |    66352 |    88883      0 |      200 |        0
1458.77/1459.19	c 1457s |      14 |    77675 |    66452 |    88883      0 |      200 |        0
1461.37/1461.71	c 1460s |      14 |    77785 |    66552 |    88883      0 |      200 |        0
1463.77/1464.18	c 1462s |      14 |    77898 |    66652 |    88883      0 |      200 |        0
1466.28/1466.69	c 1465s |      14 |    77999 |    66752 |    88883      0 |      200 |        0
1469.17/1469.52	c 1468s |      14 |    78113 |    66852 |    88883      0 |      200 |        0
1471.17/1471.58	c 1470s |      14 |    78241 |    66952 |    88883      0 |      200 |        0
1475.47/1475.87	c 1474s |      14 |    78429 |    67152 |    88883      0 |      200 |        0
1478.07/1478.44	c 1477s |      14 |    78529 |    67252 |    88883      0 |      200 |        0
1482.07/1482.40	c 1480s |      14 |    78735 |    67452 |    88883      0 |      200 |        0
1484.07/1484.49	c 1483s |      14 |    78829 |    67552 |    88883      0 |      200 |        0
1487.76/1488.10	c 1486s |      14 |    79034 |    67752 |    88883      0 |      200 |        0
1489.86/1490.28	c 1488s |      14 |    79261 |    67952 |    88883      0 |      200 |        0
1493.26/1493.65	c 1492s |      14 |    79475 |    68152 |    88883      0 |      200 |        0
1496.36/1496.75	c 1495s |      14 |    79662 |    68352 |    88883      0 |      200 |        0
1499.86/1500.21	c 1498s |      14 |    79872 |    68552 |    88883      0 |      200 |        0
1502.47/1502.86	c 1501s |      14 |    80082 |    68752 |    88883      0 |      200 |        0
1505.56/1505.93	c 1504s |      14 |    80279 |    68952 |    88883      0 |      200 |        0
1508.66/1509.04	c 1507s |      14 |    80487 |    69152 |    88883      0 |      200 |        0
1510.66/1511.06	c 1509s |      14 |    80599 |    69252 |    88883      0 |      200 |        0
1513.86/1514.20	c 1512s |      14 |    80793 |    69452 |    88883      0 |      200 |        0
1516.77/1517.13	c 1515s |      14 |    81077 |    69652 |    88883      0 |      200 |        0
1518.86/1519.22	c 1517s |      14 |    81167 |    69752 |    88883      0 |      200 |        0
1522.16/1522.51	c 1521s |      14 |    81371 |    69952 |    88883      0 |      200 |        0
1524.96/1525.34	c 1523s |      14 |    81579 |    70152 |    88883      0 |      200 |        0
1527.66/1528.05	c 1526s |      14 |    81802 |    70352 |    88883      0 |      200 |        0
1531.76/1532.10	c 1530s |      14 |    82005 |    70552 |    88883      0 |      200 |        0
1535.06/1535.49	c 1534s |      14 |    82197 |    70752 |    88883      0 |      200 |        0
1538.16/1538.55	c 1537s |      14 |    82405 |    70952 |    88883      0 |      200 |        0
1540.76/1541.10	c 1539s |      14 |    82513 |    71052 |    88883      0 |      200 |        0
1542.86/1543.23	c 1541s |      14 |    82614 |    71152 |    88883      0 |      200 |        0
1545.06/1545.45	c 1544s |      14 |    82718 |    71252 |    88883      0 |      200 |        0
1547.67/1548.02	c 1546s |      14 |    82832 |    71352 |    88883      0 |      200 |        0
1549.77/1550.12	c 1548s |      14 |    82929 |    71452 |    88883      0 |      200 |        0
1553.46/1553.82	c 1552s |      14 |    83123 |    71652 |    88883      0 |      200 |        0
1557.06/1557.42	c 1555s |      14 |    83331 |    71852 |    88883      0 |      200 |        0
1559.86/1560.27	c 1558s |      14 |    83423 |    71952 |    88883      0 |      200 |        0
1562.66/1563.01	c 1561s |      14 |    83528 |    72052 |    88883      0 |      200 |        0
1566.46/1566.82	c 1565s |      14 |    83631 |    72152 |    88883      0 |      200 |        0
1568.66/1569.06	c 1567s |      14 |    83738 |    72252 |    88883      0 |      200 |        0
1572.46/1572.80	c 1571s |      14 |    83930 |    72452 |    88883      0 |      200 |        0
1575.06/1575.48	c 1574s |      14 |    84145 |    72652 |    88883      0 |      200 |        0
1577.46/1577.84	c 1576s |      14 |    84242 |    72752 |    88883      0 |      200 |        0
1579.86/1580.27	c 1578s |      14 |    84332 |    72852 |    88883      0 |      200 |        0
1581.96/1582.30	c 1580s |      14 |    84438 |    72952 |    88883      0 |      200 |        0
1585.35/1585.74	c 1584s |      14 |    84631 |    73152 |    88883      0 |      200 |        0
1588.55/1588.99	c 1587s |      14 |    84843 |    73352 |    88883      0 |      200 |        0
1590.75/1591.16	c 1589s |      14 |    84959 |    73452 |    88883      0 |      200 |        0
1592.85/1593.29	c 1591s |      14 |    85056 |    73552 |    88883      0 |      200 |        0
1596.25/1596.64	c 1595s |      14 |    85249 |    73752 |    88883      0 |      200 |        0
1598.65/1599.01	c 1597s |      14 |    85476 |    73952 |    88883      0 |      200 |        0
1601.75/1602.13	c 1600s |      14 |    85681 |    74152 |    88883      0 |      200 |        0
1605.65/1606.09	c 1604s |      14 |    85894 |    74352 |    88883      0 |      200 |        0
1607.85/1608.27	c 1606s |      14 |    85984 |    74452 |    88883      0 |      200 |        0
1610.05/1610.47	c 1609s |      14 |    86088 |    74552 |    88883      0 |      200 |        0
1612.15/1612.50	c 1611s |      14 |    86176 |    74652 |    88883      0 |      200 |        0
1615.45/1615.88	c 1614s |      14 |    86376 |    74852 |    88883      0 |      200 |        0
1618.95/1619.33	c 1617s |      14 |    86591 |    75052 |    88883      0 |      200 |        0
1621.15/1621.53	c 1620s |      14 |    86682 |    75152 |    88883      0 |      200 |        0
1625.05/1625.40	c 1623s |      14 |    86884 |    75352 |    88883      0 |      200 |        0
1627.65/1628.10	c 1626s |      14 |    87097 |    75552 |    88883      0 |      200 |        0
1630.05/1630.48	c 1629s |      14 |    87202 |    75652 |    88883      0 |      200 |        0
1632.25/1632.63	c 1631s |      14 |    87298 |    75752 |    88883      0 |      200 |        0
1635.65/1636.05	c 1634s |      14 |    87493 |    75952 |    88883      0 |      200 |        0
1638.95/1639.35	c 1637s |      14 |    87704 |    76152 |    88883      0 |      200 |        0
1641.34/1641.79	c 1640s |      14 |    87819 |    76252 |    88883      0 |      200 |        0
1643.54/1643.93	c 1642s |      14 |    87913 |    76352 |    88883      0 |      200 |        0
1645.55/1645.96	c 1644s |      14 |    88012 |    76452 |    88883      0 |      200 |        0
1648.44/1648.88	c 1647s |      14 |    88200 |    76652 |    88883      0 |      200 |        0
1652.64/1653.05	c 1651s |      14 |    88420 |    76852 |    88883      0 |      200 |        0
1656.55/1656.98	c 1655s |      14 |    88608 |    77052 |    88883      0 |      200 |        0
1659.44/1659.87	c 1658s |      14 |    88808 |    77252 |    88883      0 |      200 |        0
1661.74/1662.14	c 1660s |      14 |    88920 |    77352 |    88883      0 |      200 |        0
1664.04/1664.46	c 1663s |      14 |    89025 |    77452 |    88883      0 |      200 |        0
1668.04/1668.40	c 1666s |      14 |    89217 |    77652 |    88883      0 |      200 |        0
1670.94/1671.30	c 1669s |      14 |    89420 |    77852 |    88883      0 |      200 |        0
1673.44/1673.84	c 1672s |      14 |    89526 |    77952 |    88883      0 |      200 |        0
1675.74/1676.15	c 1674s |      14 |    89612 |    78052 |    88883      0 |      200 |        0
1677.84/1678.23	c 1676s |      14 |    89717 |    78152 |    88883      0 |      200 |        0
1681.14/1681.54	c 1680s |      14 |    89932 |    78352 |    88883      0 |      200 |        0
1683.84/1684.21	c 1682s |      14 |    90049 |    78452 |    88883      0 |      200 |        0
1686.64/1687.07	c 1685s |      14 |    90156 |    78552 |    88883      0 |      200 |        0
1688.74/1689.11	c 1687s |      14 |    90258 |    78652 |    88883      0 |      200 |        0
1691.74/1692.14	c 1690s |      14 |    90369 |    78752 |    88883      0 |      200 |        0
1694.44/1694.81	c 1693s |      14 |    90474 |    78852 |    88883      0 |      200 |        0
1697.93/1698.30	c 1696s |      14 |    90582 |    78952 |    88883      0 |      200 |        0
1700.63/1701.09	c 1699s |      14 |    90696 |    79052 |    88883      0 |      200 |        0
1702.83/1703.28	c 1701s |      14 |    90790 |    79152 |    88883      0 |      200 |        0
1704.94/1705.38	c 1703s |      14 |    90914 |    79252 |    88883      0 |      200 |        0
1709.24/1709.69	c 1708s |      14 |    91017 |    79352 |    88883      0 |      200 |        0
1712.43/1712.89	c 1711s |      14 |    91131 |    79452 |    88883      0 |      200 |        0
1715.03/1715.47	c 1714s |      14 |    91228 |    79552 |    88883      0 |      200 |        0
1717.43/1717.87	c 1716s |      14 |    91337 |    79652 |    88883      0 |      200 |        0
1719.53/1719.93	c 1718s |      14 |    91427 |    79752 |    88883      0 |      200 |        0
1722.63/1723.04	c 1721s |      14 |    91637 |    79952 |    88883      0 |      200 |        0
1725.74/1726.13	c 1724s |      14 |    91870 |    80152 |    88883      0 |      200 |        0
1728.23/1728.63	c 1727s |      14 |    91966 |    80252 |    88883      0 |      200 |        0
1730.53/1730.95	c 1729s |      14 |    92069 |    80352 |    88883      0 |      200 |        0
1732.73/1733.17	c 1731s |      14 |    92171 |    80452 |    88883      0 |      200 |        0
1736.23/1736.63	c 1735s |      14 |    92362 |    80652 |    88883      0 |      200 |        0
1739.73/1740.18	c 1738s |      14 |    92573 |    80852 |    88883      0 |      200 |        0
1742.43/1742.81	c 1741s |      14 |    92674 |    80952 |    88883      0 |      200 |        0
1744.93/1745.34	c 1743s |      14 |    92767 |    81052 |    88883      0 |      200 |        0
1747.23/1747.61	c 1746s |      14 |    92870 |    81152 |    88883      0 |      200 |        0
1749.42/1749.82	c 1748s |      14 |    92972 |    81252 |    88883      0 |      200 |        0
1752.53/1752.96	c 1751s |      14 |    93170 |    81452 |    88883      0 |      200 |        0
1756.13/1756.51	c 1755s |      14 |    93386 |    81652 |    88883      0 |      200 |        0
1758.63/1759.08	c 1757s |      14 |    93484 |    81752 |    88883      0 |      200 |        0
1761.13/1761.54	c 1760s |      14 |    93597 |    81852 |    88883      0 |      200 |        0
1763.33/1763.70	c 1762s |      14 |    93687 |    81952 |    88883      0 |      200 |        0
1765.34/1765.80	c 1764s |      14 |    93792 |    82052 |    88883      0 |      200 |        0
1768.53/1768.99	c 1767s |      14 |    93987 |    82252 |    88883      0 |      200 |        0
1772.83/1773.30	c 1771s |      14 |    94220 |    82452 |    88883      0 |      200 |        0
1775.24/1775.69	c 1774s |      14 |    94311 |    82552 |    88883      0 |      200 |        0
1777.53/1777.99	c 1776s |      14 |    94413 |    82652 |    88883      0 |      200 |        0
1780.83/1781.21	c 1779s |      14 |    94609 |    82852 |    88883      0 |      200 |        0
1784.93/1785.33	c 1783s |      14 |    94820 |    83052 |    88883      0 |      200 |        0
1787.53/1787.91	c 1786s |      14 |    95092 |    83252 |    88883      0 |      200 |        0
1790.93/1791.33	c 1789s |      14 |    95356 |    83452 |    88883      0 |      200 |        0
1793.43/1793.85	c 1792s |      14 |    95456 |    83552 |    88883      0 |      200 |        0
1795.83/1796.29	c 1794s |      14 |    95565 |    83652 |    88883      0 |      200 |        0
1799.32/1799.77	c 1798s |      14 |    95757 |    83852 |    88883      0 |      200 |        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-4079288-1465337284/watcher-4079288-1465337284 -o /tmp/evaluation-result-4079288-1465337284/solver-4079288-1465337284 -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-4079288-1465337284.opb 

pid=22316
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.19 2.26 2.21 4/179 22319
/proc/meminfo: memFree=29391532/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=690756 CPUtime=0 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 2575 0 0 0 0 0 0 0 20 0 4 0 115660779 707334144 2935 33554432000 4194304 16246674 140735992779376 140735992778800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 173457 2943 442 2943 0 170351 0
[pid=22319/tid=22320] ppid=22316 vsize=708164 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 725159936 3002 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=712260 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 729354240 3017 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=716356 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 733548544 3034 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.19 2.26 2.21 4/179 22319
/proc/meminfo: memFree=29391532/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 28960 0 0 0 6 3 0 0 20 0 4 0 115660779 1334382592 29259 33554432000 4194304 16246674 140735992779376 140735992778688 7361726 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 325777 29276 800 2943 0 322671 0
[pid=22319/tid=22320] ppid=22316 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1334382592 29287 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1334382592 29299 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1334382592 29311 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200547 s]
/proc/loadavg: 2.19 2.26 2.21 4/179 22319
/proc/meminfo: memFree=29391532/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 46802 0 0 0 14 5 0 0 20 0 4 0 115660779 1344868352 47611 33554432000 4194304 16246674 140735992779376 140735992778688 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 328337 47611 801 2943 0 325231 0
[pid=22319/tid=22320] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1344868352 47611 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1344868352 47611 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1344868352 47611 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300414 s]
/proc/loadavg: 2.19 2.26 2.21 4/179 22319
/proc/meminfo: memFree=29391532/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 59913 0 0 0 21 8 0 0 20 0 4 0 115660779 1344868352 60722 33554432000 4194304 16246674 140735992779376 140735992778688 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 328337 60723 802 2943 0 325231 0
[pid=22319/tid=22320] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1344868352 60723 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1344868352 60723 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1344868352 60724 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.7004 s]
/proc/loadavg: 2.19 2.26 2.21 4/179 22319
/proc/meminfo: memFree=29391532/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 95943 0 0 0 56 13 0 0 20 0 4 0 115660779 1344868352 96752 33554432000 4194304 16246674 140735992779376 140735992778688 12457726 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 328337 96760 840 2943 0 325231 0
[pid=22319/tid=22320] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1344868352 96765 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1344868352 96771 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1344868352 96776 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.19 2.26 2.21 4/183 22323
/proc/meminfo: memFree=28749516/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1.49 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 166970 0 0 0 125 24 0 0 20 0 4 0 115660779 1381568512 167779 33554432000 4194304 16246674 140735992779376 140735992778688 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 167779 875 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167779 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167779 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 167779 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1349188

[startup+3.10042 s]
/proc/loadavg: 2.19 2.26 2.21 4/183 22323
/proc/meminfo: memFree=28720748/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=3.09 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 166989 0 0 0 285 24 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140735992778552 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 167798 892 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1349188

[startup+6.3004 s]
/proc/loadavg: 2.25 2.27 2.21 3/183 22323
/proc/meminfo: memFree=28704680/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=6.29 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 166989 0 0 0 605 24 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140735992761280 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 167798 892 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1349188

[startup+12.7004 s]
/proc/loadavg: 2.23 2.27 2.21 3/183 22323
/proc/meminfo: memFree=28704448/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=12.69 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 166989 0 0 0 1245 24 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140735992761280 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 167798 892 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1349188

[startup+25.5004 s]
/proc/loadavg: 2.18 2.26 2.20 3/183 22323
/proc/meminfo: memFree=28672684/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=25.49 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 166989 0 0 0 2525 24 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140735992778552 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 167798 892 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 167798 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1349188

[startup+51.1004 s]
/proc/loadavg: 2.27 2.27 2.21 3/183 22323
/proc/meminfo: memFree=28640800/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=51.08 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 166992 0 0 0 5084 24 0 0 20 0 4 0 115660779 1381568512 167801 33554432000 4194304 16246674 140735992779376 140735992761280 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 167801 895 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167801 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167801 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 167801 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1349188

[startup+102.3 s]
/proc/loadavg: 2.11 2.22 2.19 3/183 22324
/proc/meminfo: memFree=28559936/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=102.27 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 166993 0 0 0 10203 24 0 0 20 0 4 0 115660779 1381568512 167802 33554432000 4194304 16246674 140735992779376 140735992761280 5711423 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 167802 895 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167802 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 167802 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 167802 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1349188


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

/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1349188

[startup+1302.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/183 22403
/proc/meminfo: memFree=28442392/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1302 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 130171 29 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992778552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/184 22407
/proc/meminfo: memFree=28345884/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1361.99 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 136170 29 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992762368 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 2.34 2.26 2.19 3/183 22408
/proc/meminfo: memFree=28248876/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1421.98 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 142169 29 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992778472 5721352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/183 22410
/proc/meminfo: memFree=28151940/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1481.97 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 148168 29 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992761280 5711326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1349188

[startup+1542.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 22411
/proc/meminfo: memFree=28055240/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1541.96 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 154166 30 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992761280 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 22412
/proc/meminfo: memFree=28022916/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1601.95 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 160165 30 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992761280 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1349188

[startup+1662.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 22413
/proc/meminfo: memFree=28023016/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1661.95 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 166165 30 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992761280 13780624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 22414
/proc/meminfo: memFree=28022576/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1721.93 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 172163 30 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992761280 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1349188

[startup+1782.31 s]
/proc/loadavg: 2.03 2.15 2.16 3/183 22416
/proc/meminfo: memFree=28021996/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1781.93 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 178162 31 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992761280 5711992 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.15 2.16 3/183 22416
/proc/meminfo: memFree=28022216/32872528 swapFree=16636/1570076
[pid=22319] ppid=22316 vsize=1349188 CPUtime=1800.02 cores=1,3,5,7
/proc/22319/stat : 22319 (toysat) R 22316 22319 2168 0 -1 4202496 167146 0 0 0 179971 31 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140735992761280 5822171 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22319/statm: 337297 279048 897 2943 0 334191 0
[pid=22319/tid=22320] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22320/stat : 22320 (toysat) S 22316 22319 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324969098480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22319/tid=22321] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22321/stat : 22321 (toysat) S 22316 22319 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115660779 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324958608624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22319/tid=22322] ppid=22316 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/22319/task/22322/stat : 22322 (toysat) S 22316 22319 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115660780 1381568512 279048 33554432000 4194304 16246674 140735992779376 140324835945648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1349188

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.72
CPU system time (s): 0.312952
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.312952
maximum resident set size= 1116192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167146
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= 168
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55831 second user time and 6.97294 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-08 00:08:04
IDJOB=4079288
IDBENCH=92755
IDSOLVER=2542
FILE ID=node140/4079288-1465337284
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079288-1465337284/watcher-4079288-1465337284 -o /tmp/evaluation-result-4079288-1465337284/solver-4079288-1465337284 -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-4079288-1465337284.opb

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

MD5SUM BENCH= 96fec7ce232e48bab56f85f395e33fea
RANDOM SEED=1698132515

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:        29391912 kB
Buffers:           73036 kB
Cached:           220332 kB
SwapCached:         1660 kB
Active:          1007544 kB
Inactive:         152936 kB
Active(anon):     863412 kB
Inactive(anon):     5988 kB
Active(file):     144132 kB
Inactive(file):   146948 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             17972 kB
Writeback:             0 kB
AnonPages:       2438676 kB
Mapped:            10760 kB
Shmem:                 0 kB
Slab:             614412 kB
SReclaimable:      58088 kB
SUnreclaim:       556324 kB
KernelStack:        1472 kB
PageTables:         9432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2832088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1761280 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-08 00:38:05