Trace number 4100593

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.03 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sierra.opb
MD5SUMbc13f5c9713036f697e6f30ffdababe9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables38715
Total number of constraints3263
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3263
Minimum length of a constraint10
Maximum length of a constraint498
Number of terms in the objective function 36989
Biggest coefficient in the objective function 29466
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 555161
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260604
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 555161
Number of bits of the biggest sum of numbers20
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-18T04:01:29+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-4100593-1466215288.opb"]
0.00/0.01	c use --random-gen="2710878813 3800344143 3029769729 1396185348 1618671991 194663158 2282876616 4138861645 2469480758 3087879182 2427021379 2740933252 2819468438 3501385805 2179691371 3800600841 3873852288 426376731 308254404 2464396060 2605612193 576200349 3182177081 1023765175 1288045838 3349677847 4026063706 1629158296 1162106626 1404165833 2970079801 269058418 3307791182 2448551606 322706754 1778390125 3141110801 3217775689 3092666416 652753844 1628555027 1985650989 2903063508 3413879997 190605140 3776394552 3594726275 1489414218 1203951817 2562585035 3058374813 565265333 415005988 2952675997 2500270494 4007870980 138171413 445076087 1033325417 1360024472 4060123911 4156581155 1537915776 2114500441 2050312208 39991780 260587263 3911120468 786744904 3950499167 2234746595 1870425358 3268993571 170925009 3794229387 495378115 2732165618 148284638 2389396789 1089459792 3018862596 1281383478 2180467867 3973009101 4100359377 940537605 3413163489 2274859514 3757798635 1380201634 3629563414 4223831581 1824156852 1026800995 193978180 2567340780 2764874185 371598638 650236030 933587729 2896061904 3153619447 3023700859 1832533508 1370032708 3803296201 28425221 96536550 3218081081 3498218386 1802400998 1866209075 2637812943 3658773686 2182160943 4125883128 1809617256 3430704898 3465324722 416137626 2075133646 764130560 102823572 224428217 1069334401 3122554409 1496274312 3973038550 2957197633 2423269689 2150188184 3005333493 3547304116 1868680425 2935436832 383155783 1886823521 3212496711 3899075840 1561044440 1931111781 2894856733 1508597469 3682633211 1043748192 1708802031 3966837802 3125841437 1783027723 3052268920 1973633668 2865064262 2180445487 3902461731 3290459635 443294276 242306392 2956814181 2617518479 307474258 1365133782 1207080766 381178005 1121534718 4248642644 1780642782 2513391196 3936454496 3947356997 394614442 2864552133 4107474552 3311348314 2333405722 2998872029 1994669553 210661272 3092957588 1591451698 3248175334 1535141601 1848659600 1602422459 3746522900 1554360740 3959930004 3709981701 3325656102 1676286943 4059231053 1562188080 1814686499 840067359 248934301 2443270440 1348315537 714693319 1358744337 4252770278 3255791495 1226093409 3957816436 2062620384 317175445 746327925 876873690 726181929 2367759548 812957021 3223280134 614420963 1176230741 452776315 2755871773 1307414380 1553100998 3690654542 3286549387 443714265 3401452886 2351821572 2548808895 4810237 1341078264 3299297603 2407643896 859799807 2223592393 2320876877 3880519436 1240864590 3771921863 4101480404 3627037258 69993314 516052198 3484898526 915629346 3772824769 3304513340 2432520816 1882163479 1086028910 2123423397 2679126958 3579052708 2218171013 1582522396 3590602657 356528494 3779806403 3663439451 595242814 100857941 4094562772 2498461460 255 362436" option to reproduce the execution
0.29/0.40	c #vars 38715
0.29/0.40	c #constraints 3263
63.98/64.04	c BCD2: Hardening is enabled.
63.98/64.04	c BCD2: BiasedSearch is enabled.
63.98/64.04	c Solving starts ...
63.98/64.04	c ============================[ Search Statistics ]============================
63.98/64.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
63.98/64.04	c       |         |          |          |    Limit     GC | Var      | Constra 
63.98/64.04	c =============================================================================
63.98/64.09	c  0.0s |       0 |        0 |        0 |    14165      0 |      823 |        0
64.08/64.18	c  0.1s |       1 |     1559 |      100 |    14165      0 |      823 |      208
64.18/64.28	c  0.2s |       2 |     4048 |      250 |    15582      0 |      823 |      208
64.28/64.38	c  0.3s |       3 |     4375 |      475 |    17141      0 |      823 |      208
64.48/64.56	c  0.5s |       4 |     4790 |      813 |    18856      0 |      823 |      208
64.78/64.85	c  0.8s |       5 |     5442 |     1320 |    20742      0 |      823 |      208
65.28/65.33	c  1.2s |       6 |     6419 |     2081 |    25099      0 |      824 |      209
66.09/66.10	c  2.0s |       7 |     7763 |     3223 |    27609      0 |      824 |      209
67.19/67.20	c  3.1s |       8 |     9648 |     4936 |    30370      0 |      824 |      209
68.88/68.92	c  4.8s |       9 |    12418 |     7506 |    33407      0 |      824 |      209
71.18/71.23	c  7.1s |       9 |    26355 |     9906 |    33407      0 |      864 |      221
71.59/71.64	c  7.6s |      10 |    36180 |    11361 |    36748      0 |      864 |      221
73.58/73.65	c  9.6s |      10 |    40221 |    13461 |    36748      0 |      864 |      221
75.58/75.68	c 11.6s |      10 |    42383 |    15361 |    36748      0 |      864 |      221
77.48/77.58	c 13.5s |      11 |    44332 |    17144 |    40423      0 |      864 |      221
79.58/79.64	c 15.5s |      11 |    46998 |    19144 |    40423      0 |      864 |      221
81.68/81.74	c 17.7s |      11 |    49586 |    21144 |    40423      0 |      864 |      221
83.68/83.78	c 19.7s |      11 |    51806 |    22944 |    40423      0 |      864 |      221
85.78/85.86	c 21.8s |      11 |    53987 |    24644 |    40423      0 |      864 |      221
87.17/87.29	c 23.2s |      12 |    55524 |    25819 |    44466      0 |      864 |      221
89.37/89.40	c 25.3s |      12 |    57565 |    27319 |    44466      0 |      864 |      221
91.38/91.49	c 27.4s |      12 |    59511 |    28919 |    44466      0 |      864 |      221
93.48/93.51	c 29.4s |      12 |    61273 |    30419 |    44466      0 |      864 |      221
95.57/95.63	c 31.5s |      12 |    63184 |    31919 |    44466      0 |      864 |      221
97.67/97.73	c 33.6s |      12 |    65002 |    33419 |    44466      0 |      864 |      221
99.77/99.80	c 35.7s |      12 |    66739 |    34819 |    44466      0 |      864 |      221
101.77/101.90	c 37.8s |      12 |    68336 |    36119 |    44466      0 |      864 |      221
103.97/104.06	c 40.0s |      12 |    69830 |    37419 |    44466      0 |      864 |      221
105.97/106.07	c 42.0s |      12 |    71404 |    38719 |    48913      0 |      864 |      221
106.17/106.23	c 42.1s |      13 |    71535 |    38832 |    48913      0 |      864 |      221
108.17/108.27	c 44.2s |      13 |    73170 |    40032 |    48913      0 |      864 |      221
110.37/110.41	c 46.3s |      13 |    75078 |    41532 |    48913      0 |      864 |      221
112.47/112.52	c 48.4s |      13 |    76885 |    42932 |    48913      0 |      864 |      221
114.48/114.54	c 50.4s |      13 |    78485 |    44232 |    48913      0 |      864 |      221
116.47/116.59	c 52.5s |      13 |    80082 |    45532 |    48913      0 |      864 |      221
118.67/118.73	c 54.6s |      13 |    81693 |    46832 |    48913      0 |      864 |      221
120.77/120.84	c 56.7s |      13 |    83171 |    48032 |    48913      0 |      864 |      221
122.77/122.88	c 58.8s |      13 |   122554 |    49032 |    48913      0 |      869 |      226
124.77/124.88	c 60.8s |      13 |   130634 |    56932 |    48913      1 |      869 |      226
125.17/125.25	c 61.2s |      14 |   132072 |    58352 |    53805      1 |      869 |      226
127.17/127.27	c 63.2s |      14 |   136842 |    63052 |    53805      1 |      869 |      226
129.27/129.31	c 65.2s |      14 |   140681 |    66852 |    53805      1 |      869 |      226
131.27/131.34	c 67.2s |      14 |   143903 |    70052 |    53805      1 |      869 |      226
133.27/133.39	c 69.3s |      14 |   146624 |    72752 |    53805      1 |      869 |      226
135.27/135.40	c 71.3s |      14 |   149255 |    75352 |    53805      1 |      869 |      226
137.37/137.42	c 73.3s |      14 |   151467 |    77552 |    53805      1 |      869 |      226
139.36/139.49	c 75.4s |      14 |   153677 |    79752 |    53805      1 |      869 |      226
141.46/141.50	c 77.4s |      14 |   155484 |    81552 |    53805      2 |      869 |      226
143.46/143.60	c 79.5s |      14 |   157814 |    83852 |    53805      2 |      869 |      226
145.56/145.69	c 81.6s |      14 |   159620 |    85652 |    53805      2 |      869 |      226
147.67/147.80	c 83.7s |      14 |   161333 |    87352 |    59186      2 |      869 |      226
148.07/148.15	c 84.1s |      15 |   161616 |    87632 |    59186      2 |      869 |      226
150.07/150.18	c 86.1s |      15 |   163062 |    89032 |    59186      2 |      869 |      226
152.17/152.28	c 88.2s |      15 |   164569 |    90532 |    59186      2 |      869 |      226
154.37/154.45	c 90.4s |      15 |   165975 |    91932 |    59186      2 |      869 |      226
156.47/156.54	c 92.5s |      15 |   167294 |    93232 |    59186      2 |      869 |      226
158.48/158.58	c 94.5s |      15 |   168503 |    94432 |    59186      2 |      869 |      226
160.68/160.75	c 96.7s |      15 |   169706 |    95632 |    59186      2 |      869 |      226
162.78/162.82	c 98.7s |      15 |   170914 |    96832 |    59186      2 |      869 |      226
164.77/164.87	c  100s |      15 |   172016 |    97932 |    59186      2 |      869 |      226
166.97/167.03	c  102s |      15 |   173129 |    99032 |    59186      2 |      869 |      226
168.97/169.03	c  104s |      15 |   174232 |   100132 |    59186      2 |      869 |      226
170.97/171.06	c  106s |      15 |   175236 |   101132 |    59186      2 |      869 |      226
172.97/173.06	c  108s |      15 |   176243 |   102132 |    59186      2 |      869 |      226
175.07/175.19	c  111s |      15 |   177244 |   103132 |    59186      2 |      869 |      226
177.27/177.32	c  113s |      15 |   178252 |   104132 |    59186      2 |      869 |      226
179.37/179.42	c  115s |      15 |   179158 |   105032 |    59186      2 |      869 |      226
181.47/181.58	c  117s |      15 |   180064 |   105932 |    59186      2 |      869 |      226
183.57/183.69	c  119s |      15 |   180968 |   106832 |    59186      2 |      869 |      226
185.67/185.70	c  121s |      15 |   181973 |   107832 |    59186      2 |      869 |      226
187.87/187.94	c  123s |      15 |   182881 |   108732 |    59186      2 |      869 |      226
189.87/189.96	c  125s |      15 |   183688 |   109532 |    59186      2 |      869 |      226
191.96/192.05	c  127s |      15 |   184488 |   110332 |    59186      2 |      869 |      226
194.16/194.25	c  130s |      15 |   185293 |   111132 |    59186      2 |      869 |      226
196.46/196.52	c  132s |      15 |   186092 |   111932 |    59186      2 |      869 |      226
198.56/198.65	c  134s |      15 |   186897 |   112732 |    59186      2 |      869 |      226
201.37/201.48	c  137s |      15 |   187099 |   112932 |    59186      3 |      869 |      226
203.36/203.50	c  139s |      15 |   187902 |   113732 |    59186      3 |      869 |      226
205.56/205.60	c  141s |      15 |   189304 |   115132 |    59186      3 |      869 |      226
207.66/207.75	c  143s |      15 |   190506 |   116332 |    59186      3 |      869 |      226
209.66/209.77	c  145s |      15 |   191616 |   117432 |    59186      3 |      869 |      226
211.76/211.80	c  147s |      15 |   192724 |   118532 |    59186      3 |      869 |      226
218.45/218.55	c  154s |      15 |   193429 |   119232 |    59186      3 |      869 |      226
220.55/220.65	c  156s |      15 |   195142 |   120932 |    59186      3 |      869 |      226
222.65/222.72	c  158s |      15 |   196359 |   122132 |    59186      3 |      869 |      226
224.65/224.75	c  160s |      15 |   197770 |   123532 |    59186      3 |      869 |      226
226.66/226.79	c  162s |      15 |   198877 |   124632 |    59186      3 |      869 |      226
228.76/228.85	c  164s |      15 |   199981 |   125732 |    59186      3 |      869 |      226
230.75/230.87	c  166s |      15 |   200992 |   126732 |    59186      3 |      869 |      226
232.95/233.00	c  168s |      15 |   202603 |   128332 |    59186      3 |      869 |      226
234.95/235.08	c  170s |      15 |   203607 |   129332 |    59186      3 |      869 |      226
237.15/237.21	c  173s |      15 |   204812 |   130532 |    59186      3 |      869 |      226
239.15/239.27	c  175s |      15 |   205719 |   131432 |    65105      3 |      869 |      226
239.45/239.57	c  175s |      16 |   205842 |   131552 |    65105      3 |      869 |      226
241.65/241.78	c  177s |      16 |   206691 |   132352 |    65105      3 |      869 |      226
243.75/243.87	c  179s |      16 |   207495 |   133152 |    65105      3 |      869 |      226
245.75/245.89	c  181s |      16 |   208702 |   134352 |    65105      3 |      869 |      226
247.85/247.95	c  183s |      16 |   209605 |   135252 |    65105      3 |      869 |      226
249.95/250.04	c  185s |      16 |   210509 |   136152 |    65105      3 |      869 |      226
252.15/252.28	c  188s |      16 |   211316 |   136952 |    65105      3 |      869 |      226
254.26/254.38	c  190s |      16 |   212128 |   137752 |    65105      3 |      869 |      226
256.26/256.40	c  192s |      16 |   212831 |   138452 |    65105      3 |      869 |      226
258.46/258.55	c  194s |      16 |   213635 |   139252 |    65105      3 |      869 |      226
260.66/260.80	c  196s |      16 |   214439 |   140052 |    65105      3 |      869 |      226
262.76/262.84	c  198s |      16 |   215144 |   140752 |    65105      3 |      869 |      226
264.95/265.04	c  200s |      16 |   215852 |   141452 |    65105      3 |      869 |      226
267.05/267.18	c  203s |      16 |   216556 |   142152 |    65105      3 |      869 |      226
269.35/269.43	c  205s |      16 |   217260 |   142852 |    65105      3 |      869 |      226
271.45/271.55	c  207s |      16 |   217861 |   143452 |    65105      3 |      869 |      226
273.75/273.81	c  209s |      16 |   218567 |   144152 |    65105      3 |      869 |      226
275.75/275.82	c  211s |      16 |   219272 |   144852 |    65105      3 |      869 |      226
277.75/277.88	c  213s |      16 |   219972 |   145552 |    65105      3 |      869 |      226
279.85/279.91	c  215s |      16 |   220680 |   146252 |    65105      3 |      869 |      226
281.95/282.07	c  217s |      16 |   221380 |   146952 |    65105      3 |      869 |      226
284.25/284.38	c  220s |      16 |   222092 |   147652 |    65105      3 |      869 |      226
286.45/286.59	c  222s |      16 |   222793 |   148352 |    65105      3 |      869 |      226
292.15/292.28	c  228s |      16 |   223396 |   148952 |    65105      4 |      869 |      226
294.64/294.73	c  230s |      16 |   224204 |   149752 |    65105      4 |      869 |      226
297.25/297.36	c  233s |      16 |   225313 |   150852 |    65105      4 |      869 |      226
299.35/299.41	c  235s |      16 |   227125 |   152652 |    65105      4 |      869 |      226
301.85/301.93	c  237s |      16 |   227937 |   153452 |    65105      4 |      869 |      226
308.34/308.42	c  244s |      16 |   228033 |   153552 |    65105      4 |      869 |      226
310.34/310.47	c  246s |      16 |   229741 |   155252 |    65105      4 |      869 |      226
312.35/312.50	c  248s |      16 |   231357 |   156852 |    65105      4 |      869 |      226
314.44/314.53	c  250s |      16 |   232858 |   158352 |    65105      4 |      869 |      226
316.54/316.68	c  252s |      16 |   234366 |   159852 |    65105      4 |      869 |      226
318.54/318.68	c  254s |      16 |   235668 |   161152 |    65105      4 |      869 |      226
320.64/320.80	c  256s |      16 |   237083 |   162552 |    65105      4 |      869 |      226
322.84/322.91	c  258s |      16 |   238185 |   163652 |    65105      4 |      869 |      226
324.94/325.07	c  260s |      16 |   239088 |   164552 |    65105      4 |      869 |      226
327.24/327.30	c  263s |      16 |   240089 |   165552 |    65105      4 |      869 |      226
329.34/329.43	c  265s |      16 |   240994 |   166452 |    65105      4 |      869 |      226
331.54/331.60	c  267s |      16 |   241903 |   167352 |    65105      4 |      869 |      226
333.64/333.72	c  269s |      16 |   242807 |   168252 |    65105      4 |      869 |      226
335.64/335.75	c  271s |      16 |   243613 |   169052 |    65105      4 |      869 |      226
337.93/338.03	c  273s |      16 |   244521 |   169952 |    65105      4 |      869 |      226
340.03/340.14	c  276s |      16 |   245322 |   170752 |    65105      4 |      869 |      226
342.14/342.24	c  278s |      16 |   246130 |   171552 |    65105      4 |      869 |      226
344.43/344.50	c  280s |      16 |   246928 |   172352 |    65105      4 |      869 |      226
346.54/346.66	c  282s |      16 |   247734 |   173152 |    65105      4 |      869 |      226
348.64/348.71	c  284s |      16 |   248435 |   173852 |    65105      4 |      869 |      226
350.63/350.79	c  286s |      16 |   249139 |   174552 |    65105      4 |      869 |      226
352.83/352.93	c  288s |      16 |   249847 |   175252 |    65105      4 |      869 |      226
355.03/355.12	c  291s |      16 |   250650 |   176052 |    65105      4 |      869 |      226
357.03/357.17	c  293s |      16 |   251660 |   177052 |    65105      4 |      869 |      226
359.13/359.22	c  295s |      16 |   252567 |   177952 |    65105      4 |      869 |      226
361.13/361.23	c  297s |      16 |   253467 |   178852 |    65105      4 |      869 |      226
363.23/363.34	c  299s |      16 |   254579 |   179952 |    65105      4 |      869 |      226
365.33/365.40	c  301s |      16 |   255582 |   180952 |    65105      4 |      869 |      226
369.55/369.70	c  305s |      16 |   256687 |   182052 |    65105      5 |      869 |      226
371.94/372.07	c  307s |      16 |   257189 |   182552 |    65105      5 |      869 |      226
374.04/374.16	c  310s |      16 |   258695 |   184052 |    65105      5 |      869 |      226
377.83/377.95	c  313s |      16 |   259309 |   184652 |    65105      5 |      869 |      226
456.92/457.05	c  392s |      16 |   259716 |   185052 |    65105      5 |      869 |      226
459.02/459.17	c  395s |      16 |   261977 |   187252 |    65105      5 |      869 |      226
461.12/461.23	c  397s |      16 |   264312 |   189552 |    65105      5 |      869 |      226
463.13/463.26	c  399s |      16 |   266420 |   191652 |    65105      5 |      869 |      226
465.12/465.30	c  401s |      16 |   268635 |   193852 |    65105      5 |      869 |      226
467.22/467.37	c  403s |      16 |   270751 |   195952 |    65105      5 |      869 |      226
468.92/469.03	c  404s |      17 |   272234 |   197432 |    71616      5 |      869 |      226
471.02/471.12	c  407s |      17 |   273890 |   199032 |    71616      5 |      869 |      226
473.12/473.21	c  409s |      17 |   275600 |   200732 |    71616      5 |      869 |      226
475.12/475.27	c  411s |      17 |   277207 |   202332 |    71616      5 |      869 |      226
477.22/477.30	c  413s |      17 |   278714 |   203832 |    71616      5 |      869 |      226
479.22/479.34	c  415s |      17 |   280323 |   205432 |    71616      5 |      869 |      226
481.32/481.41	c  417s |      17 |   281829 |   206932 |    71616      5 |      869 |      226
483.42/483.55	c  419s |      17 |   283540 |   208632 |    71616      5 |      869 |      226
485.42/485.57	c  421s |      17 |   284940 |   210032 |    71616      5 |      869 |      226
487.52/487.68	c  423s |      17 |   286745 |   211832 |    71616      5 |      869 |      226
489.62/489.78	c  425s |      17 |   288355 |   213432 |    71616      5 |      869 |      226
491.72/491.84	c  427s |      17 |   289761 |   214832 |    71616      5 |      869 |      226
493.82/493.96	c  429s |      17 |   291272 |   216332 |    71616      5 |      869 |      226
495.91/496.09	c  431s |      17 |   292576 |   217632 |    71616      5 |      869 |      226
498.01/498.14	c  434s |      17 |   293587 |   218632 |    71616      5 |      869 |      226
500.11/500.20	c  436s |      17 |   294584 |   219632 |    71616      5 |      869 |      226
502.31/502.41	c  438s |      17 |   295597 |   220632 |    71616      5 |      869 |      226
504.71/504.89	c  440s |      17 |   296609 |   221632 |    71616      6 |      869 |      226
506.91/507.02	c  442s |      17 |   297215 |   222232 |    71616      6 |      869 |      226
508.91/509.06	c  444s |      17 |   298427 |   223432 |    71616      6 |      869 |      226
511.01/511.13	c  447s |      17 |   299634 |   224632 |    71616      6 |      869 |      226
513.11/513.24	c  449s |      17 |   300934 |   225932 |    71616      6 |      869 |      226
515.21/515.34	c  451s |      17 |   301947 |   226932 |    71616      6 |      869 |      226
517.41/517.55	c  453s |      17 |   302951 |   227932 |    71616      6 |      869 |      226
519.51/519.69	c  455s |      17 |   303956 |   228932 |    71616      6 |      869 |      226
521.81/521.92	c  457s |      17 |   304967 |   229932 |    71616      6 |      869 |      226
523.91/524.00	c  459s |      17 |   306069 |   231032 |    71616      6 |      869 |      226
526.01/526.14	c  462s |      17 |   306974 |   231932 |    71616      6 |      869 |      226
528.01/528.19	c  464s |      17 |   307783 |   232732 |    71616      6 |      869 |      226
530.31/530.40	c  466s |      17 |   308687 |   233632 |    71616      6 |      869 |      226
532.41/532.56	c  468s |      17 |   309699 |   234632 |    71616      6 |      869 |      226
534.61/534.71	c  470s |      17 |   310902 |   235832 |    71616      6 |      869 |      226
536.60/536.73	c  472s |      17 |   312008 |   236932 |    71616      6 |      869 |      226
538.60/538.74	c  474s |      17 |   312919 |   237832 |    71616      6 |      869 |      226
540.80/540.92	c  476s |      17 |   314035 |   238932 |    71616      6 |      869 |      226
542.91/543.04	c  478s |      17 |   315438 |   240332 |    71616      6 |      869 |      226
544.91/545.05	c  480s |      17 |   316646 |   241532 |    71616      6 |      869 |      226
547.11/547.26	c  483s |      17 |   317752 |   242632 |    71616      6 |      869 |      226
549.31/549.47	c  485s |      17 |   318551 |   243432 |    71616      6 |      869 |      226
551.41/551.53	c  487s |      17 |   319355 |   244232 |    71616      6 |      869 |      226
553.51/553.63	c  489s |      17 |   320255 |   245132 |    71616      6 |      869 |      226
555.61/555.74	c  491s |      17 |   321063 |   245932 |    71616      6 |      869 |      226
557.81/557.93	c  493s |      17 |   321872 |   246732 |    71616      6 |      869 |      226
560.01/560.10	c  496s |      17 |   322688 |   247532 |    71616      6 |      869 |      226
562.12/562.28	c  498s |      17 |   323388 |   248232 |    71616      6 |      869 |      226
564.41/564.52	c  500s |      17 |   324296 |   249132 |    71616      6 |      869 |      226
566.51/566.65	c  502s |      17 |   325192 |   250032 |    71616      6 |      869 |      226
568.61/568.72	c  504s |      17 |   326198 |   251032 |    71616      6 |      869 |      226
570.71/570.89	c  506s |      17 |   327205 |   252032 |    71616      6 |      869 |      226
572.81/572.92	c  508s |      17 |   328009 |   252832 |    71616      6 |      869 |      226
574.91/575.02	c  510s |      17 |   328915 |   253732 |    71616      6 |      869 |      226
577.11/577.21	c  513s |      17 |   329818 |   254632 |    71616      6 |      869 |      226
579.41/579.52	c  515s |      17 |   330729 |   255532 |    71616      6 |      869 |      226
581.71/581.86	c  517s |      17 |   331431 |   256232 |    71616      6 |      869 |      226
583.81/583.98	c  519s |      17 |   332029 |   256832 |    71616      6 |      869 |      226
586.10/586.26	c  522s |      17 |   332735 |   257532 |    71616      6 |      869 |      226
590.80/590.94	c  526s |      17 |   333140 |   257932 |    71616      7 |      869 |      226
592.91/593.06	c  528s |      17 |   334648 |   259432 |    71616      7 |      869 |      226
595.01/595.16	c  531s |      17 |   336058 |   260832 |    71616      7 |      869 |      226
597.10/597.29	c  533s |      17 |   337269 |   262032 |    71616      7 |      869 |      226
599.20/599.34	c  535s |      17 |   338579 |   263332 |    71616      7 |      869 |      226
601.30/601.44	c  537s |      17 |   339783 |   264532 |    71616      7 |      869 |      226
603.30/603.45	c  539s |      17 |   340885 |   265632 |    71616      7 |      869 |      226
605.50/605.60	c  541s |      17 |   341492 |   266232 |    71616      7 |      869 |      226
607.50/607.61	c  543s |      17 |   342595 |   267332 |    71616      7 |      869 |      226
609.60/609.75	c  545s |      17 |   343799 |   268532 |    71616      7 |      869 |      226
611.70/611.89	c  547s |      17 |   344909 |   269632 |    71616      7 |      869 |      226
613.80/613.99	c  549s |      17 |   346114 |   270832 |    71616      7 |      869 |      226
616.00/616.15	c  552s |      17 |   347319 |   272032 |    71616      7 |      869 |      226
618.10/618.28	c  554s |      17 |   348530 |   273232 |    71616      7 |      869 |      226
620.20/620.38	c  556s |      17 |   349634 |   274332 |    71616      7 |      869 |      226
622.40/622.53	c  558s |      17 |   350638 |   275332 |    71616      7 |      869 |      226
624.40/624.59	c  560s |      17 |   351547 |   276232 |    71616      7 |      869 |      226
651.50/651.68	c  587s |      17 |   351956 |   276632 |    71616      7 |      869 |      226
653.69/653.82	c  589s |      17 |   352860 |   277532 |    71616      7 |      869 |      226
655.89/656.06	c  591s |      17 |   353867 |   278532 |    71616      7 |      869 |      226
657.99/658.13	c  594s |      17 |   354765 |   279432 |    71616      7 |      869 |      226
660.09/660.29	c  596s |      17 |   355776 |   280432 |    71616      7 |      869 |      226
662.29/662.44	c  598s |      17 |   356782 |   281432 |    71616      7 |      869 |      226
664.49/664.61	c  600s |      17 |   357784 |   282432 |    71616      7 |      869 |      226
666.69/666.84	c  602s |      17 |   358698 |   283332 |    71616      7 |      869 |      226
668.80/668.98	c  604s |      17 |   359703 |   284332 |    71616      7 |      869 |      226
670.90/671.02	c  606s |      17 |   360715 |   285332 |    71616      7 |      869 |      226
672.89/673.04	c  608s |      17 |   361727 |   286332 |    71616      7 |      869 |      226
674.99/675.13	c  611s |      17 |   362631 |   287232 |    71616      7 |      869 |      226
676.99/677.15	c  613s |      17 |   363433 |   288032 |    71616      7 |      869 |      226
679.19/679.35	c  615s |      17 |   364435 |   289032 |    71616      7 |      869 |      226
681.29/681.45	c  617s |      17 |   365443 |   290032 |    71616      7 |      869 |      226
683.49/683.66	c  619s |      17 |   366355 |   290932 |    71616      7 |      869 |      226
685.69/685.85	c  621s |      17 |   367158 |   291732 |    71616      7 |      869 |      226
687.69/687.86	c  623s |      17 |   367963 |   292532 |    71616      7 |      869 |      226
689.70/689.86	c  625s |      17 |   368675 |   293232 |    71616      7 |      869 |      226
691.69/691.89	c  627s |      17 |   369380 |   293932 |    71616      7 |      869 |      226
694.99/695.15	c  631s |      17 |   369682 |   294232 |    78778      8 |      869 |      226
697.18/697.39	c  633s |      17 |   369988 |   294532 |    78778      8 |      869 |      226
702.68/702.89	c  638s |      17 |   371293 |   295832 |    78778      8 |      869 |      226
703.48/703.62	c  639s |      18 |   371711 |   296252 |    78778      8 |      869 |      226
705.58/705.75	c  641s |      18 |   372962 |   297452 |    78778      8 |      869 |      226
707.68/707.81	c  643s |      18 |   374266 |   298752 |    78778      8 |      869 |      226
709.68/709.84	c  645s |      18 |   375469 |   299952 |    78778      8 |      869 |      226
753.38/753.53	c  689s |      18 |   375880 |   300352 |    78778      8 |      869 |      226
755.58/755.75	c  691s |      18 |   376386 |   300852 |    78778      8 |      869 |      226
757.67/757.89	c  693s |      18 |   377295 |   301752 |    78778      8 |      869 |      226
759.77/759.97	c  695s |      18 |   378190 |   302652 |    78778      8 |      869 |      226
761.77/761.99	c  697s |      18 |   379312 |   303752 |    78778      8 |      869 |      226
763.87/764.08	c  699s |      18 |   380621 |   305052 |    78778      8 |      869 |      226
766.07/766.26	c  702s |      18 |   381931 |   306352 |    78778      8 |      869 |      226
768.17/768.31	c  704s |      18 |   383443 |   307852 |    78778      8 |      869 |      226
770.27/770.40	c  706s |      18 |   385155 |   309552 |    78778      8 |      869 |      226
772.37/772.50	c  708s |      18 |   386462 |   310852 |    78778      8 |      869 |      226
774.37/774.55	c  710s |      18 |   387674 |   312052 |    78778      8 |      869 |      226
776.47/776.60	c  712s |      18 |   388981 |   313352 |    78778      8 |      869 |      226
778.56/778.74	c  714s |      18 |   390294 |   314652 |    78778      8 |      869 |      226
780.66/780.88	c  716s |      18 |   391713 |   316052 |    78778      8 |      869 |      226
782.76/782.93	c  718s |      18 |   392821 |   317152 |    78778      8 |      869 |      226
784.86/785.09	c  721s |      18 |   394031 |   318352 |    78778      8 |      869 |      226
787.16/787.35	c  723s |      18 |   395135 |   319452 |    78778      8 |      869 |      226
789.27/789.46	c  725s |      18 |   395940 |   320252 |    78778      8 |      869 |      226
791.47/791.60	c  727s |      18 |   397151 |   321452 |    78778      8 |      869 |      226
793.47/793.62	c  729s |      18 |   398362 |   322652 |    78778      8 |      869 |      226
795.57/795.72	c  731s |      18 |   399776 |   324052 |    78778      8 |      869 |      226
797.67/797.84	c  733s |      18 |   401086 |   325352 |    78778      8 |      869 |      226
799.76/799.94	c  735s |      18 |   402287 |   326552 |    78778      8 |      869 |      226
801.87/802.07	c  737s |      18 |   403396 |   327652 |    78778      8 |      869 |      226
804.07/804.26	c  740s |      18 |   404402 |   328652 |    78778      8 |      869 |      226
806.27/806.47	c  742s |      18 |   405413 |   329652 |    78778      8 |      869 |      226
808.47/808.64	c  744s |      18 |   406321 |   330552 |    78778      8 |      869 |      226
810.46/810.67	c  746s |      18 |   407236 |   331452 |    78778      8 |      869 |      226
812.46/812.69	c  748s |      18 |   408140 |   332352 |    78778      8 |      869 |      226
814.56/814.72	c  750s |      18 |   409045 |   333252 |    78778      8 |      869 |      226
816.66/816.80	c  752s |      18 |   409954 |   334152 |    78778      8 |      869 |      226
818.65/818.88	c  754s |      18 |   410965 |   335152 |    78778      8 |      869 |      226
820.85/821.01	c  756s |      18 |   411975 |   336152 |    78778      8 |      869 |      226
823.05/823.25	c  759s |      18 |   412883 |   337052 |    78778      8 |      869 |      226
827.85/828.02	c  763s |      18 |   413484 |   337652 |    78778      9 |      869 |      226
829.85/830.04	c  765s |      18 |   414592 |   338752 |    78778      9 |      869 |      226
834.64/834.90	c  770s |      18 |   415301 |   339452 |    78778      9 |      869 |      226
837.24/837.44	c  773s |      18 |   416100 |   340252 |    78778      9 |      869 |      226
839.34/839.59	c  775s |      18 |   417110 |   341252 |    78778      9 |      869 |      226
841.44/841.61	c  777s |      18 |   418419 |   342552 |    78778      9 |      869 |      226
843.44/843.70	c  779s |      18 |   419532 |   343652 |    78778      9 |      869 |      226
845.54/845.75	c  781s |      18 |   420637 |   344752 |    78778      9 |      869 |      226
847.55/847.78	c  783s |      18 |   421538 |   345652 |    78778      9 |      869 |      226
849.64/849.81	c  785s |      18 |   422650 |   346752 |    78778      9 |      869 |      226
851.64/851.84	c  787s |      18 |   423657 |   347752 |    78778      9 |      869 |      226
853.74/853.99	c  789s |      18 |   424670 |   348752 |    78778      9 |      869 |      226
855.84/856.07	c  791s |      18 |   425679 |   349752 |    78778      9 |      869 |      226
857.85/858.08	c  793s |      18 |   426587 |   350652 |    78778      9 |      869 |      226
859.94/860.11	c  796s |      18 |   427490 |   351552 |    78778      9 |      869 |      226
861.94/862.16	c  798s |      18 |   428393 |   352452 |    78778      9 |      869 |      226
864.14/864.34	c  800s |      18 |   429299 |   353352 |    78778      9 |      869 |      226
866.14/866.39	c  802s |      18 |   430202 |   354252 |    78778      9 |      869 |      226
868.33/868.50	c  804s |      18 |   431012 |   355052 |    78778      9 |      869 |      226
870.33/870.51	c  806s |      18 |   431821 |   355852 |    78778      9 |      869 |      226
872.33/872.53	c  808s |      18 |   432627 |   356652 |    78778      9 |      869 |      226
874.53/874.70	c  810s |      18 |   433437 |   357452 |    78778      9 |      869 |      226
876.64/876.84	c  812s |      18 |   434236 |   358252 |    78778      9 |      869 |      226
878.84/879.05	c  814s |      18 |   435043 |   359052 |    78778      9 |      869 |      226
880.94/881.11	c  817s |      18 |   435847 |   359852 |    78778      9 |      869 |      226
883.03/883.28	c  819s |      18 |   436651 |   360652 |    78778      9 |      869 |      226
885.23/885.42	c  821s |      18 |   437457 |   361452 |    78778      9 |      869 |      226
887.33/887.57	c  823s |      18 |   438257 |   362252 |    78778      9 |      869 |      226
889.43/889.67	c  825s |      18 |   439062 |   363052 |    78778      9 |      869 |      226
891.73/891.92	c  827s |      18 |   439872 |   363852 |    78778      9 |      869 |      226
893.83/894.03	c  829s |      18 |   440573 |   364552 |    78778      9 |      869 |      226
896.03/896.24	c  832s |      18 |   441284 |   365252 |    78778      9 |      869 |      226
898.12/898.32	c  834s |      18 |   441988 |   365952 |    78778      9 |      869 |      226
900.22/900.41	c  836s |      18 |   442684 |   366652 |    78778      9 |      869 |      226
902.42/902.63	c  838s |      18 |   443396 |   367352 |    78778      9 |      869 |      226
904.72/904.90	c  840s |      18 |   444100 |   368052 |    78778      9 |      869 |      226
906.72/906.96	c  842s |      18 |   444707 |   368652 |    78778      9 |      869 |      226
908.72/908.96	c  844s |      18 |   445308 |   369252 |    78778      9 |      869 |      226
910.82/911.00	c  846s |      18 |   445906 |   369852 |    78778      9 |      869 |      226
912.83/913.00	c  848s |      18 |   446610 |   370552 |    78778      9 |      869 |      226
915.02/915.30	c  851s |      18 |   447316 |   371252 |    78778      9 |      869 |      226
917.12/917.38	c  853s |      18 |   447920 |   371852 |    78778      9 |      869 |      226
919.42/919.63	c  855s |      18 |   448523 |   372452 |    78778      9 |      869 |      226
921.72/921.97	c  857s |      18 |   449125 |   373052 |    78778      9 |      869 |      226
923.71/923.97	c  859s |      18 |   449630 |   373552 |    78778      9 |      869 |      226
926.12/926.30	c  862s |      18 |   450238 |   374152 |    78778      9 |      869 |      226
928.41/928.67	c  864s |      18 |   450842 |   374752 |    78778      9 |      869 |      226
930.71/930.95	c  866s |      18 |   451442 |   375352 |    78778      9 |      869 |      226
932.71/932.96	c  868s |      18 |   451946 |   375852 |    78778      9 |      869 |      226
939.00/939.20	c  875s |      18 |   452449 |   376352 |    78778      9 |      869 |      226
941.30/941.57	c  877s |      18 |   452958 |   376852 |    78778      9 |      869 |      226
943.50/943.74	c  879s |      18 |   453458 |   377352 |    78778      9 |      869 |      226
949.90/950.13	c  886s |      18 |   453670 |   377552 |    78778     10 |      869 |      226
952.00/952.29	c  888s |      18 |   454571 |   378452 |    78778     10 |      869 |      226
954.10/954.31	c  890s |      18 |   455775 |   379652 |    78778     10 |      869 |      226
956.20/956.41	c  892s |      18 |   457483 |   381352 |    78778     10 |      869 |      226
958.20/958.45	c  894s |      18 |   459287 |   383152 |    78778     10 |      869 |      226
960.40/960.60	c  896s |      18 |   460799 |   384652 |    78778     10 |      869 |      226
962.50/962.75	c  898s |      18 |   462399 |   386252 |    78778     10 |      869 |      226
964.70/964.94	c  900s |      18 |   463502 |   387352 |    78778     10 |      869 |      226
966.71/966.95	c  902s |      18 |   464614 |   388452 |    78778     10 |      869 |      226
968.80/969.07	c  904s |      18 |   465728 |   389552 |    78778     10 |      869 |      226
971.00/971.23	c  907s |      18 |   467030 |   390852 |    78778     10 |      869 |      226
973.20/973.40	c  909s |      18 |   468233 |   392052 |    78778     10 |      869 |      226
975.30/975.55	c  911s |      18 |   469444 |   393252 |    78778     10 |      869 |      226
977.30/977.59	c  913s |      18 |   470456 |   394252 |    78778     10 |      869 |      226
979.40/979.67	c  915s |      18 |   471467 |   395252 |    78778     10 |      869 |      226
981.69/981.92	c  917s |      18 |   472566 |   396352 |    78778     10 |      869 |      226
983.79/984.09	c  919s |      18 |   473677 |   397452 |    78778     10 |      869 |      226
985.99/986.25	c  922s |      18 |   474780 |   398552 |    78778     10 |      869 |      226
988.19/988.40	c  924s |      18 |   475888 |   399652 |    78778     10 |      869 |      226
990.39/990.62	c  926s |      18 |   476997 |   400752 |    78778     10 |      869 |      226
1090.67/1090.90	c 1026s |      18 |   477107 |   400852 |    78778     10 |      869 |      226
1093.07/1093.30	c 1029s |      18 |   477910 |   401652 |    78778     10 |      869 |      226
1095.27/1095.50	c 1031s |      18 |   478618 |   402352 |    78778     10 |      869 |      226
1097.47/1097.72	c 1033s |      18 |   479323 |   403052 |    78778     10 |      869 |      226
1099.67/1099.97	c 1035s |      18 |   480028 |   403752 |    78778     10 |      869 |      226
1101.77/1102.08	c 1037s |      18 |   480736 |   404452 |    78778     10 |      869 |      226
1103.87/1104.17	c 1040s |      18 |   481539 |   405252 |    78778     10 |      869 |      226
1106.07/1106.34	c 1042s |      18 |   482542 |   406252 |    78778     10 |      869 |      226
1108.07/1108.34	c 1044s |      18 |   483450 |   407152 |    78778     10 |      869 |      226
1110.17/1110.49	c 1046s |      18 |   484459 |   408152 |    78778     10 |      869 |      226
1112.27/1112.56	c 1048s |      18 |   485359 |   409052 |    78778     10 |      869 |      226
1114.47/1114.78	c 1050s |      18 |   486262 |   409952 |    78778     10 |      869 |      226
1116.67/1116.99	c 1052s |      18 |   487067 |   410752 |    78778     10 |      869 |      226
1118.76/1119.09	c 1054s |      18 |   487873 |   411552 |    78778     10 |      869 |      226
1120.86/1121.18	c 1057s |      18 |   488577 |   412252 |    78778     10 |      869 |      226
1123.06/1123.37	c 1059s |      18 |   489381 |   413052 |    78778     10 |      869 |      226
1125.17/1125.45	c 1061s |      18 |   490186 |   413852 |    78778     10 |      869 |      226
1127.27/1127.57	c 1063s |      18 |   490989 |   414652 |    78778     10 |      869 |      226
1129.47/1129.75	c 1065s |      18 |   491791 |   415452 |    78778     10 |      869 |      226
1131.46/1131.76	c 1067s |      18 |   492497 |   416152 |    78778     10 |      869 |      226
1133.66/1133.97	c 1069s |      18 |   493196 |   416852 |    78778     10 |      869 |      226
1139.36/1139.61	c 1075s |      18 |   493801 |   417452 |    78778     11 |      869 |      226
1141.76/1142.01	c 1077s |      18 |   493905 |   417552 |    78778     11 |      869 |      226
1145.06/1145.35	c 1081s |      18 |   495419 |   419052 |    78778     11 |      869 |      226
1147.16/1147.46	c 1083s |      18 |   496917 |   420552 |    78778     11 |      869 |      226
1149.15/1149.46	c 1085s |      18 |   498222 |   421852 |    78778     11 |      869 |      226
1151.25/1151.59	c 1087s |      18 |   499925 |   423552 |    78778     11 |      869 |      226
1153.45/1153.77	c 1089s |      18 |   500035 |   423652 |    78778     11 |      869 |      226
1155.45/1155.79	c 1091s |      18 |   501039 |   424652 |    78778     11 |      869 |      226
1157.55/1157.86	c 1093s |      18 |   502051 |   425652 |    78778     11 |      869 |      226
1159.65/1159.96	c 1095s |      18 |   503565 |   427152 |    78778     11 |      869 |      226
1161.75/1162.06	c 1097s |      18 |   504970 |   428552 |    78778     11 |      869 |      226
1163.85/1164.12	c 1100s |      18 |   506078 |   429652 |    78778     11 |      869 |      226
1165.85/1166.15	c 1102s |      18 |   507181 |   430752 |    78778     11 |      869 |      226
1167.95/1168.30	c 1104s |      18 |   508297 |   431852 |    78778     11 |      869 |      226
1170.15/1170.43	c 1106s |      18 |   509600 |   433152 |    78778     11 |      869 |      226
1172.24/1172.60	c 1108s |      18 |   510907 |   434452 |    78778     11 |      869 |      226
1174.55/1174.80	c 1110s |      18 |   512015 |   435552 |    78778     11 |      869 |      226
1176.54/1176.83	c 1112s |      18 |   513124 |   436652 |    78778     11 |      869 |      226
1178.64/1178.96	c 1114s |      18 |   514128 |   437652 |    78778     11 |      869 |      226
1180.74/1181.02	c 1116s |      18 |   515231 |   438752 |    78778     11 |      869 |      226
1182.94/1183.21	c 1119s |      18 |   516345 |   439852 |    78778     11 |      869 |      226
1185.04/1185.37	c 1121s |      18 |   517248 |   440752 |    78778     11 |      869 |      226
1187.24/1187.52	c 1123s |      18 |   518155 |   441652 |    86656     11 |      869 |      226
1189.24/1189.56	c 1125s |      18 |   519170 |   442652 |    86656     11 |      869 |      226
1191.44/1191.74	c 1127s |      18 |   520271 |   443752 |    86656     11 |      869 |      226
1192.84/1193.15	c 1129s |      19 |   521008 |   444482 |    86656     11 |      869 |      226
1194.94/1195.24	c 1131s |      19 |   521354 |   444782 |    86656     11 |      869 |      226
1197.14/1197.46	c 1133s |      19 |   522062 |   445482 |    86656     11 |      869 |      226
1199.54/1199.83	c 1135s |      19 |   522760 |   446182 |    86656     11 |      869 |      226
1201.64/1201.97	c 1137s |      19 |   523360 |   446782 |    86656     11 |      869 |      226
1203.74/1204.07	c 1139s |      19 |   524372 |   447782 |    86656     11 |      869 |      226
1205.84/1206.16	c 1142s |      19 |   525070 |   448482 |    86656     11 |      869 |      226
1208.04/1208.32	c 1144s |      19 |   525873 |   449282 |    86656     11 |      869 |      226
1210.14/1210.42	c 1146s |      19 |   526486 |   449882 |    86656     11 |      869 |      226
1212.34/1212.64	c 1148s |      19 |   527192 |   450582 |    86656     11 |      869 |      226
1214.34/1214.66	c 1150s |      19 |   527896 |   451282 |    86656     11 |      869 |      226
1216.64/1216.97	c 1152s |      19 |   528699 |   452082 |    86656     11 |      869 |      226
1218.94/1219.25	c 1155s |      19 |   529405 |   452782 |    86656     11 |      869 |      226
1221.14/1221.42	c 1157s |      19 |   530105 |   453482 |    86656     11 |      869 |      226
1223.14/1223.48	c 1159s |      19 |   530808 |   454182 |    86656     11 |      869 |      226
1225.34/1225.61	c 1161s |      19 |   531408 |   454782 |    86656     11 |      869 |      226
1230.13/1230.46	c 1166s |      19 |   532122 |   455482 |    86656     11 |      869 |      226
1232.53/1232.82	c 1168s |      19 |   532842 |   456182 |    86656     11 |      869 |      226
1234.73/1235.05	c 1170s |      19 |   533440 |   456782 |    86656     11 |      869 |      226
1236.93/1237.24	c 1173s |      19 |   534044 |   457382 |    86656     11 |      869 |      226
1239.13/1239.42	c 1175s |      19 |   534647 |   457982 |    86656     11 |      869 |      226
1241.33/1241.64	c 1177s |      19 |   535350 |   458682 |    86656     11 |      869 |      226
1243.53/1243.83	c 1179s |      19 |   536053 |   459382 |    86656     11 |      869 |      226
1245.73/1246.00	c 1181s |      19 |   536653 |   459982 |    86656     11 |      869 |      226
1248.03/1248.33	c 1184s |      19 |   537359 |   460682 |    86656     11 |      869 |      226
1250.03/1250.38	c 1186s |      19 |   537961 |   461282 |    86656     11 |      869 |      226
1252.23/1252.54	c 1188s |      19 |   538563 |   461882 |    86656     11 |      869 |      226
1254.43/1254.72	c 1190s |      19 |   539174 |   462482 |    86656     11 |      869 |      226
1256.53/1256.88	c 1192s |      19 |   540076 |   463382 |    86656     11 |      869 |      226
1258.92/1259.25	c 1195s |      19 |   540675 |   463982 |    86656     11 |      869 |      226
1261.02/1261.31	c 1197s |      19 |   541177 |   464482 |    86656     11 |      869 |      226
1263.22/1263.51	c 1199s |      19 |   541783 |   465082 |    86656     11 |      869 |      226
1266.22/1266.54	c 1202s |      19 |   541879 |   465182 |    86656     12 |      869 |      226
1269.82/1270.12	c 1206s |      19 |   541983 |   465282 |    86656     12 |      869 |      226
1272.22/1272.57	c 1208s |      19 |   542790 |   466082 |    86656     12 |      869 |      226
1274.32/1274.60	c 1210s |      19 |   544096 |   467382 |    86656     12 |      869 |      226
1276.32/1276.63	c 1212s |      19 |   545303 |   468582 |    86656     12 |      869 |      226
1278.52/1278.84	c 1214s |      19 |   546713 |   469982 |    86656     12 |      869 |      226
1280.82/1281.19	c 1217s |      19 |   547819 |   471082 |    86656     12 |      869 |      226
1282.92/1283.29	c 1219s |      19 |   549038 |   472282 |    86656     12 |      869 |      226
1285.01/1285.31	c 1221s |      19 |   550144 |   473382 |    86656     12 |      869 |      226
1313.01/1313.35	c 1249s |      19 |   550855 |   474082 |    86656     12 |      869 |      226
1339.01/1339.36	c 1275s |      19 |   551353 |   474582 |    86656     12 |      869 |      226
1341.11/1341.48	c 1277s |      19 |   552669 |   475882 |    86656     12 |      869 |      226
1343.31/1343.66	c 1279s |      19 |   553677 |   476882 |    86656     12 |      869 |      226
1345.51/1345.85	c 1281s |      19 |   554885 |   478082 |    86656     12 |      869 |      226
1347.51/1347.89	c 1283s |      19 |   555991 |   479182 |    86656     12 |      869 |      226
1349.60/1349.94	c 1285s |      19 |   557302 |   480482 |    86656     12 |      869 |      226
1351.71/1352.07	c 1287s |      19 |   558405 |   481582 |    86656     12 |      869 |      226
1354.00/1354.32	c 1290s |      19 |   559414 |   482582 |    86656     12 |      869 |      226
1356.20/1356.57	c 1292s |      19 |   560324 |   483482 |    86656     12 |      869 |      226
1358.21/1358.60	c 1294s |      19 |   561332 |   484482 |    86656     12 |      869 |      226
1360.30/1360.60	c 1296s |      19 |   562231 |   485382 |    86656     12 |      869 |      226
1362.50/1362.80	c 1298s |      19 |   563241 |   486382 |    86656     12 |      869 |      226
1364.60/1364.90	c 1300s |      19 |   563947 |   487082 |    86656     12 |      869 |      226
1366.70/1367.05	c 1302s |      19 |   564548 |   487682 |    86656     12 |      869 |      226
1368.80/1369.15	c 1305s |      19 |   565152 |   488282 |    86656     12 |      869 |      226
1370.80/1371.19	c 1307s |      19 |   565755 |   488882 |    86656     12 |      869 |      226
1373.10/1373.41	c 1309s |      19 |   566363 |   489482 |    86656     12 |      869 |      226
1375.20/1375.60	c 1311s |      19 |   566961 |   490082 |    86656     12 |      869 |      226
1377.30/1377.66	c 1313s |      19 |   567560 |   490682 |    86656     12 |      869 |      226
1379.29/1379.67	c 1315s |      19 |   568164 |   491282 |    86656     12 |      869 |      226
1381.40/1381.72	c 1317s |      19 |   568766 |   491882 |    86656     12 |      869 |      226
1383.60/1383.94	c 1319s |      19 |   569568 |   492682 |    86656     12 |      869 |      226
1385.70/1386.06	c 1321s |      19 |   570475 |   493582 |    86656     12 |      869 |      226
1387.79/1388.11	c 1324s |      19 |   571284 |   494382 |    86656     12 |      869 |      226
1389.89/1390.29	c 1326s |      19 |   571991 |   495082 |    86656     12 |      869 |      226
1391.99/1392.31	c 1328s |      19 |   572591 |   495682 |    86656     12 |      869 |      226
1393.99/1394.32	c 1330s |      19 |   573195 |   496282 |    86656     12 |      869 |      226
1396.09/1396.49	c 1332s |      19 |   573798 |   496882 |    86656     12 |      869 |      226
1398.48/1398.84	c 1334s |      19 |   574500 |   497582 |    86656     12 |      869 |      226
1400.78/1401.11	c 1337s |      19 |   575102 |   498182 |    86656     12 |      869 |      226
1402.88/1403.27	c 1339s |      19 |   575708 |   498782 |    86656     12 |      869 |      226
1405.08/1405.42	c 1341s |      19 |   576211 |   499282 |    86656     12 |      869 |      226
1407.38/1407.75	c 1343s |      19 |   576717 |   499782 |    86656     12 |      869 |      226
1409.48/1409.88	c 1345s |      19 |   577221 |   500282 |    86656     12 |      869 |      226
1411.68/1412.07	c 1347s |      19 |   577718 |   500782 |    86656     12 |      869 |      226
1413.98/1414.36	c 1350s |      19 |   578227 |   501282 |    86656     12 |      869 |      226
1416.18/1416.54	c 1352s |      19 |   578723 |   501782 |    86656     12 |      869 |      226
1418.58/1418.94	c 1354s |      19 |   579232 |   502282 |    86656     12 |      869 |      226
1420.78/1421.16	c 1357s |      19 |   579630 |   502682 |    86656     12 |      869 |      226
1422.98/1423.34	c 1359s |      19 |   580032 |   503082 |    86656     12 |      869 |      226
1424.98/1425.37	c 1361s |      19 |   580436 |   503482 |    86656     12 |      869 |      226
1427.18/1427.56	c 1363s |      19 |   580834 |   503882 |    86656     12 |      869 |      226
1429.57/1429.90	c 1365s |      19 |   581236 |   504282 |    86656     12 |      869 |      226
1431.98/1432.36	c 1368s |      19 |   581741 |   504782 |    86656     12 |      869 |      226
1434.37/1434.75	c 1370s |      19 |   582241 |   505282 |    86656     12 |      869 |      226
1436.47/1436.83	c 1372s |      19 |   582646 |   505682 |    86656     12 |      869 |      226
1438.97/1439.31	c 1375s |      19 |   583148 |   506182 |    86656     12 |      869 |      226
1440.97/1441.34	c 1377s |      19 |   583550 |   506582 |    86656     12 |      869 |      226
1443.47/1443.82	c 1379s |      19 |   584056 |   507082 |    86656     12 |      869 |      226
1445.47/1445.84	c 1381s |      19 |   584455 |   507482 |    86656     12 |      869 |      226
1447.57/1447.94	c 1383s |      19 |   584855 |   507882 |    86656     12 |      869 |      226
1449.87/1450.20	c 1386s |      19 |   585259 |   508282 |    86656     12 |      869 |      226
1451.97/1452.36	c 1388s |      19 |   585660 |   508682 |    86656     12 |      869 |      226
1459.47/1459.89	c 1395s |      19 |   586060 |   509082 |    86656     13 |      869 |      226
1461.57/1461.92	c 1397s |      19 |   586461 |   509482 |    86656     13 |      869 |      226
1463.67/1464.06	c 1399s |      19 |   587069 |   510082 |    86656     13 |      869 |      226
1465.97/1466.32	c 1402s |      19 |   587970 |   510982 |    86656     13 |      869 |      226
1468.07/1468.48	c 1404s |      19 |   588873 |   511882 |    86656     13 |      869 |      226
1470.37/1470.71	c 1406s |      19 |   589881 |   512882 |    86656     13 |      869 |      226
1472.47/1472.86	c 1408s |      19 |   590685 |   513682 |    86656     13 |      869 |      226
1474.56/1474.93	c 1410s |      19 |   591587 |   514582 |    86656     13 |      869 |      226
1476.76/1477.12	c 1413s |      19 |   592598 |   515582 |    86656     13 |      869 |      226
1478.86/1479.23	c 1415s |      19 |   593503 |   516482 |    86656     13 |      869 |      226
1480.86/1481.27	c 1417s |      19 |   594303 |   517282 |    86656     13 |      869 |      226
1482.96/1483.34	c 1419s |      19 |   595004 |   517982 |    86656     13 |      869 |      226
1485.16/1485.55	c 1421s |      19 |   595807 |   518782 |    86656     13 |      869 |      226
1488.16/1488.56	c 1424s |      19 |   596611 |   519582 |    86656     13 |      869 |      226
1490.46/1490.87	c 1426s |      19 |   597312 |   520282 |    86656     13 |      869 |      226
1492.56/1492.90	c 1428s |      19 |   598012 |   520982 |    86656     13 |      869 |      226
1494.57/1494.95	c 1430s |      19 |   598717 |   521682 |    86656     13 |      869 |      226
1496.56/1496.95	c 1432s |      19 |   599420 |   522382 |    86656     13 |      869 |      226
1498.56/1498.99	c 1434s |      19 |   600127 |   523082 |    86656     13 |      869 |      226
1500.86/1501.24	c 1437s |      19 |   601126 |   524082 |    86656     13 |      869 |      226
1502.96/1503.36	c 1439s |      19 |   601834 |   524782 |    86656     13 |      869 |      226
1504.96/1505.36	c 1441s |      19 |   602640 |   525582 |    86656     13 |      869 |      226
1507.06/1507.40	c 1443s |      19 |   603638 |   526582 |    86656     13 |      869 |      226
1509.16/1509.59	c 1445s |      19 |   604540 |   527482 |    86656     13 |      869 |      226
1511.36/1511.76	c 1447s |      19 |   605445 |   528382 |    86656     13 |      869 |      226
1513.56/1513.94	c 1449s |      19 |   606151 |   529082 |    86656     13 |      869 |      226
1515.56/1515.99	c 1451s |      19 |   606853 |   529782 |    86656     13 |      869 |      226
1517.76/1518.15	c 1454s |      19 |   607556 |   530482 |    86656     13 |      869 |      226
1519.86/1520.21	c 1456s |      19 |   608262 |   531182 |    86656     13 |      869 |      226
1522.06/1522.47	c 1458s |      19 |   609165 |   532082 |    86656     13 |      869 |      226
1524.06/1524.48	c 1460s |      19 |   609872 |   532782 |    86656     13 |      869 |      226
1526.36/1526.70	c 1462s |      19 |   610580 |   533482 |    86656     13 |      869 |      226
1528.55/1528.94	c 1464s |      19 |   611376 |   534282 |    86656     13 |      869 |      226
1530.86/1531.25	c 1467s |      19 |   612084 |   534982 |    86656     13 |      869 |      226
1532.95/1533.33	c 1469s |      19 |   612684 |   535582 |    86656     13 |      869 |      226
1535.15/1535.55	c 1471s |      19 |   613389 |   536282 |    86656     13 |      869 |      226
1537.46/1537.86	c 1473s |      19 |   614194 |   537082 |    86656     13 |      869 |      226
1539.85/1540.24	c 1476s |      19 |   614904 |   537782 |    86656     13 |      869 |      226
1541.86/1542.27	c 1478s |      19 |   615605 |   538482 |    86656     13 |      869 |      226
1543.95/1544.40	c 1480s |      19 |   616207 |   539082 |    86656     13 |      869 |      226
1546.15/1546.56	c 1482s |      19 |   616811 |   539682 |    86656     13 |      869 |      226
1548.25/1548.67	c 1484s |      19 |   617410 |   540282 |    86656     13 |      869 |      226
1550.25/1550.69	c 1486s |      19 |   617913 |   540782 |    86656     13 |      869 |      226
1552.55/1552.93	c 1488s |      19 |   618514 |   541382 |    86656     13 |      869 |      226
1554.65/1555.07	c 1490s |      19 |   619220 |   542082 |    86656     13 |      869 |      226
1556.85/1557.20	c 1493s |      19 |   619927 |   542782 |    86656     13 |      869 |      226
1558.95/1559.38	c 1495s |      19 |   620542 |   543382 |    86656     13 |      869 |      226
1561.35/1561.71	c 1497s |      19 |   621147 |   543982 |    86656     13 |      869 |      226
1563.45/1563.80	c 1499s |      19 |   621657 |   544482 |    86656     13 |      869 |      226
1565.45/1565.85	c 1501s |      19 |   622150 |   544982 |    86656     13 |      869 |      226
1567.75/1568.14	c 1504s |      19 |   622662 |   545482 |    86656     13 |      869 |      226
1570.15/1570.53	c 1506s |      19 |   623172 |   545982 |    86656     13 |      869 |      226
1572.35/1572.77	c 1508s |      19 |   623680 |   546482 |    86656     13 |      869 |      226
1574.44/1574.82	c 1510s |      19 |   624184 |   546982 |    86656     13 |      869 |      226
1576.74/1577.11	c 1513s |      19 |   624787 |   547582 |    86656     13 |      869 |      226
1578.94/1579.31	c 1515s |      19 |   625488 |   548282 |    86656     13 |      869 |      226
1581.14/1581.52	c 1517s |      19 |   626088 |   548882 |    86656     13 |      869 |      226
1583.54/1583.92	c 1519s |      19 |   626691 |   549482 |    86656     13 |      869 |      226
1585.74/1586.10	c 1522s |      19 |   627209 |   549982 |    86656     13 |      869 |      226
1587.74/1588.12	c 1524s |      19 |   627714 |   550482 |    86656     13 |      869 |      226
1589.84/1590.27	c 1526s |      19 |   628413 |   551182 |    86656     13 |      869 |      226
1592.04/1592.44	c 1528s |      19 |   629026 |   551782 |    86656     13 |      869 |      226
1594.24/1594.65	c 1530s |      19 |   629740 |   552482 |    86656     13 |      869 |      226
1599.85/1600.24	c 1536s |      19 |   630047 |   552782 |    86656     14 |      869 |      226
1602.64/1603.05	c 1538s |      19 |   630451 |   553182 |    86656     14 |      869 |      226
1604.74/1605.12	c 1541s |      19 |   631758 |   554482 |    86656     14 |      869 |      226
1606.85/1607.25	c 1543s |      19 |   632861 |   555582 |    86656     14 |      869 |      226
1608.95/1609.32	c 1545s |      19 |   634068 |   556782 |    86656     14 |      869 |      226
1611.04/1611.45	c 1547s |      19 |   635169 |   557882 |    86656     14 |      869 |      226
1614.64/1615.09	c 1550s |      19 |   636176 |   558882 |    86656     14 |      869 |      226
1616.74/1617.18	c 1553s |      19 |   636978 |   559682 |    86656     14 |      869 |      226
1620.34/1620.75	c 1556s |      19 |   637782 |   560482 |    86656     14 |      869 |      226
1729.12/1729.50	c 1665s |      19 |   637991 |   560682 |    86656     14 |      869 |      226
1731.32/1731.74	c 1667s |      19 |   638794 |   561482 |    86656     14 |      869 |      226
1733.62/1734.04	c 1669s |      19 |   639495 |   562182 |    86656     14 |      869 |      226
1735.82/1736.20	c 1672s |      19 |   640097 |   562782 |    86656     14 |      869 |      226
1737.92/1738.32	c 1674s |      19 |   640700 |   563382 |    86656     14 |      869 |      226
1739.93/1740.34	c 1676s |      19 |   641311 |   563982 |    86656     14 |      869 |      226
1742.13/1742.55	c 1678s |      19 |   641913 |   564582 |    86656     14 |      869 |      226
1744.42/1744.82	c 1680s |      19 |   642515 |   565182 |    86656     14 |      869 |      226
1746.82/1747.20	c 1683s |      19 |   643114 |   565782 |    86656     14 |      869 |      226
1749.02/1749.49	c 1685s |      19 |   643716 |   566382 |    86656     14 |      869 |      226
1751.12/1751.53	c 1687s |      19 |   644217 |   566882 |    86656     14 |      869 |      226
1753.32/1753.73	c 1689s |      19 |   644824 |   567482 |    86656     14 |      869 |      226
1755.32/1755.76	c 1691s |      19 |   645322 |   567982 |    86656     14 |      869 |      226
1757.32/1757.79	c 1693s |      19 |   645825 |   568482 |    86656     14 |      869 |      226
1759.42/1759.88	c 1695s |      19 |   646426 |   569082 |    86656     14 |      869 |      226
1761.42/1761.88	c 1697s |      19 |   647028 |   569682 |    86656     14 |      869 |      226
1763.52/1763.93	c 1699s |      19 |   647731 |   570382 |    86656     14 |      869 |      226
1765.71/1766.14	c 1702s |      19 |   648334 |   570982 |    86656     14 |      869 |      226
1767.81/1768.27	c 1704s |      19 |   649037 |   571682 |    86656     14 |      869 |      226
1770.02/1770.43	c 1706s |      19 |   649634 |   572282 |    86656     14 |      869 |      226
1772.02/1772.46	c 1708s |      19 |   650141 |   572782 |    86656     14 |      869 |      226
1774.12/1774.58	c 1710s |      19 |   650747 |   573382 |    86656     14 |      869 |      226
1776.13/1776.60	c 1712s |      19 |   651250 |   573882 |    86656     14 |      869 |      226
1778.52/1778.90	c 1714s |      19 |   651851 |   574482 |    86656     14 |      869 |      226
1780.72/1781.15	c 1717s |      19 |   652555 |   575182 |    86656     14 |      869 |      226
1782.83/1783.28	c 1719s |      19 |   653057 |   575682 |    86656     14 |      869 |      226
1785.12/1785.55	c 1721s |      19 |   653556 |   576182 |    86656     14 |      869 |      226
1787.23/1787.64	c 1723s |      19 |   654059 |   576682 |    86656     14 |      869 |      226
1789.33/1789.76	c 1725s |      19 |   654661 |   577282 |    86656     14 |      869 |      226
1791.63/1792.04	c 1727s |      19 |   655267 |   577882 |    86656     14 |      869 |      226
1793.73/1794.16	c 1730s |      19 |   655867 |   578482 |    86656     14 |      869 |      226
1796.03/1796.44	c 1732s |      19 |   656473 |   579082 |    86656     14 |      869 |      226
1798.02/1798.45	c 1734s |      19 |   656975 |   579582 |    86656     14 |      869 |      226

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

pid=3144
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.22 2.24 2.18 2/180 3147
/proc/meminfo: memFree=30051152/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 2817 0 0 0 0 0 0 0 20 0 4 0 23578093 772206592 3178 33554432000 4194304 16246674 140735682253744 140735682253168 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 189039 3185 441 2943 0 185933 0
[pid=3147/tid=3148] ppid=3144 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 790032384 3248 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 794226688 3265 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23578094 798420992 3281 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.22 2.24 2.18 2/180 3147
/proc/meminfo: memFree=30051152/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1300036 CPUtime=0.09 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 27352 0 0 0 6 3 0 0 20 0 4 0 23578093 1331236864 27650 33554432000 4194304 16246674 140735682253744 140735682253056 7368729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 325009 27666 798 2943 0 321903 0
[pid=3147/tid=3148] ppid=3144 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1331236864 27678 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1331236864 27688 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1331236864 27700 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200525 s]
/proc/loadavg: 2.22 2.24 2.18 2/180 3147
/proc/meminfo: memFree=30051152/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 45721 0 0 0 13 6 0 0 20 0 4 0 23578093 1341722624 46530 33554432000 4194304 16246674 140735682253744 140735682253056 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 327569 46530 800 2943 0 324463 0
[pid=3147/tid=3148] ppid=3144 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1341722624 46530 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1341722624 46530 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1341722624 46530 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300497 s]
/proc/loadavg: 2.22 2.24 2.18 2/180 3147
/proc/meminfo: memFree=30051152/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 50711 0 0 0 23 6 0 0 20 0 4 0 23578093 1343819776 51520 33554432000 4194304 16246674 140735682253744 140735682253056 7368729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 328081 51520 801 2943 0 324975 0
[pid=3147/tid=3148] ppid=3144 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1343819776 51520 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1343819776 51520 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1343819776 51520 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700413 s]
/proc/loadavg: 2.22 2.24 2.18 2/180 3147
/proc/meminfo: memFree=30051152/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=0.69 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 104420 0 0 0 55 14 0 0 20 0 4 0 23578093 1356402688 105230 33554432000 4194304 16246674 140735682253744 140735682253056 12652961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 105239 832 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 105244 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 105250 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 105255 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1324612

[startup+1.50042 s]
/proc/loadavg: 2.22 2.24 2.18 4/184 3151
/proc/meminfo: memFree=29237792/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=1.49 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 271768 0 0 0 114 35 0 0 20 0 4 0 23578093 1356402688 272577 33554432000 4194304 16246674 140735682253744 140735682253056 12449151 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 272577 833 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1324612

[startup+3.10043 s]
/proc/loadavg: 2.28 2.25 2.19 4/184 3151
/proc/meminfo: memFree=28961892/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=3.09 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 271768 0 0 0 274 35 0 0 20 0 4 0 23578093 1356402688 272577 33554432000 4194304 16246674 140735682253744 140735682235648 12655183 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 272577 833 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1324612

[startup+6.30043 s]
/proc/loadavg: 2.28 2.25 2.19 3/184 3151
/proc/meminfo: memFree=28961840/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=6.29 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 271768 0 0 0 594 35 0 0 20 0 4 0 23578093 1356402688 272577 33554432000 4194304 16246674 140735682253744 140735682235648 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 272577 833 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.24 2.24 2.18 3/184 3151
/proc/meminfo: memFree=28962132/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=12.69 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 271768 0 0 0 1234 35 0 0 20 0 4 0 23578093 1356402688 272577 33554432000 4194304 16246674 140735682253744 140735682251584 12371230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 272577 833 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1324612

[startup+25.5005 s]
/proc/loadavg: 2.20 2.23 2.18 3/184 3151
/proc/meminfo: memFree=28962332/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=25.49 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 271768 0 0 0 2514 35 0 0 20 0 4 0 23578093 1356402688 272577 33554432000 4194304 16246674 140735682253744 140735682235648 13949825 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 272577 833 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 3151
/proc/meminfo: memFree=28962176/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 271768 0 0 0 5073 35 0 0 20 0 4 0 23578093 1356402688 272577 33554432000 4194304 16246674 140735682253744 140735682235648 12656213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 272577 833 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272577 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.301 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 3152
/proc/meminfo: memFree=28962092/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1324612 CPUtime=102.28 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 271840 0 0 0 10193 35 0 0 20 0 4 0 23578093 1356402688 272649 33554432000 4194304 16246674 140735682253744 140735682236744 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 331153 272649 898 2943 0 328047 0
[pid=3147/tid=3148] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272649 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272649 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1356402688 272649 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1430084

[startup+1302.3 s]
/proc/loadavg: 2.14 2.14 2.14 3/183 3182
/proc/meminfo: memFree=28493364/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1302.02 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298347 0 0 0 130121 81 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682252840 13898695 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1430084

[startup+1362.3 s]
/proc/loadavg: 2.17 2.14 2.14 3/183 3183
/proc/meminfo: memFree=28493752/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1362 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298355 0 0 0 136114 86 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682235648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1430084

[startup+1422.3 s]
/proc/loadavg: 2.06 2.11 2.13 4/183 3184
/proc/meminfo: memFree=28493808/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1421.98 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298379 0 0 0 142112 86 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682235648 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1430084

[startup+1482.3 s]
/proc/loadavg: 2.11 2.12 2.12 3/183 3185
/proc/meminfo: memFree=28494108/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1481.96 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298386 0 0 0 148109 87 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682235648 6836149 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1430084

[startup+1542.31 s]
/proc/loadavg: 2.07 2.11 2.12 3/183 3187
/proc/meminfo: memFree=28494856/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1541.96 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298386 0 0 0 154109 87 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682235648 5677228 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1430084

[startup+1602.3 s]
/proc/loadavg: 2.02 2.08 2.11 3/183 3188
/proc/meminfo: memFree=28494592/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1601.94 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298386 0 0 0 160106 88 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682252840 13885029 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1430084

[startup+1662.3 s]
/proc/loadavg: 2.10 2.10 2.11 4/183 3238
/proc/meminfo: memFree=29230936/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1661.93 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298386 0 0 0 166100 93 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682251584 4220495 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1430084

[startup+1722.3 s]
/proc/loadavg: 2.04 2.08 2.10 3/184 3242
/proc/meminfo: memFree=28899256/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1721.93 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298386 0 0 0 172092 101 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682251584 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1430084

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.09 3/183 3243
/proc/meminfo: memFree=28833112/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1781.92 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298386 0 0 0 178090 102 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682235648 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1430084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 3244
/proc/meminfo: memFree=28833748/32872528 swapFree=681964/737152
[pid=3147] ppid=3144 vsize=1430084 CPUtime=1800.02 cores=1,3,5,7
/proc/3147/stat : 3147 (toysat) R 3144 3147 1377 0 -1 4202496 298386 0 0 0 179900 102 0 0 20 0 4 0 23578093 1464406016 299022 33554432000 4194304 16246674 140735682253744 140735682235648 5672209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3147/statm: 357521 299022 900 2943 0 354415 0
[pid=3147/tid=3148] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3148/stat : 3148 (toysat) S 3144 3147 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009055169776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3147/tid=3149] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3149/stat : 3149 (toysat) S 3144 3147 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009044679920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3147/tid=3150] ppid=3144 vsize=1430084 CPUtime=0 cores=1,3,5,7
/proc/3147/task/3150/stat : 3150 (toysat) S 3144 3147 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23578094 1464406016 299022 33554432000 4194304 16246674 140735682253744 140009034206384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1430084

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 3147 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.03
CPU user time (s): 1799.01
CPU system time (s): 1.01884
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 1430084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.01885
maximum resident set size= 1196088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298386
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= 281
involuntary context switches= 1832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78227 second user time and 6.71198 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 04:01:29
IDJOB=4100593
IDBENCH=1637
IDSOLVER=2542
FILE ID=node112/4100593-1466215288
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sierra.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100593-1466215288/watcher-4100593-1466215288 -o /tmp/evaluation-result-4100593-1466215288/solver-4100593-1466215288 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100593-1466215288.opb

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

MD5SUM BENCH= bc13f5c9713036f697e6f30ffdababe9
RANDOM SEED=1715384099

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30051804 kB
Buffers:           88320 kB
Cached:           119144 kB
SwapCached:         1916 kB
Active:          1238216 kB
Inactive:         110136 kB
Active(anon):    1141180 kB
Inactive(anon):     1572 kB
Active(file):      97036 kB
Inactive(file):   108564 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096988 kB
Dirty:             18776 kB
Writeback:             0 kB
AnonPages:       1876680 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             601016 kB
SReclaimable:      44300 kB
SUnreclaim:       556716 kB
KernelStack:        1472 kB
PageTables:         7592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2018904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node112 at 2016-06-18 04:31:29