Trace number 4093303

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM9dd19a07ee6b8e6f4864d631925ae108
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1.43878
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables300
Total number of constraints50
Number of soft constraints35
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 1837
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1836
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T13:49:33+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093303-1466077773.wbo"]
0.00/0.01	c use --random-gen="3332292653 1011891821 3257225156 2818690841 2571330602 2203260599 852199863 4275935198 434894154 995171798 3079693791 2015798742 3287578582 3562079964 1722804194 678845040 3887872462 1441940786 4055736550 3569929366 1956263891 4035169098 1960296635 4017046381 2613676349 2203634041 4108166916 2169529160 2835618548 1131501823 4137593005 486655098 88770545 2655627253 35924815 1495895109 66196579 1707156836 1683634254 2372679179 4203307545 755299406 1025511655 624963004 1396454218 3021194238 2889757941 64827566 4105910901 2056797309 330312252 3772040165 2734206563 3650520610 1959832755 826200587 1356599926 576112970 2879794234 3957416053 2411092320 3156906662 230293506 3943436144 578607102 3490494016 1442164139 3694190132 657344954 2740512340 2662221208 544524019 2755199295 732415340 1043355502 1003206031 2228032364 50529096 507333119 2696166281 107265352 1739574596 4134739729 240404574 1990705447 3855371974 413948976 1887712869 214325444 3032571287 863460999 213321920 3655424519 831145272 2320202908 3671136749 792537783 1941339766 3246165636 3871951856 1572720573 2428029898 2558549243 3321068963 4132496789 2905089435 2885542075 3510266991 1681986190 422230378 515655910 4049428992 1897032076 3395905764 257189854 1599860713 2732710136 2966035739 584035250 4224952029 1634091755 3592701660 2063890651 30874854 2002978221 2023022847 2713417407 4078464646 2718613327 3806766490 1915266359 1463439643 2454869243 1556099776 3160386245 2810289006 1289329257 1277183045 803980192 2207230190 3071866181 890550714 1694968297 796235485 1386485287 563604309 4293295563 2327474942 3524808441 3976070839 2107811293 2470065735 2169750992 216983895 1893772996 2289698201 3180038921 370303954 3723851348 2844447403 1973863343 2828249313 1948114776 3585831984 2848133279 638756541 2179882381 3212685938 2269101141 2462620601 1245823059 919343358 3613646997 1842875764 2845561967 715583066 2868551125 3818667601 3783370252 2891627971 282802871 4285544959 1095530853 661786572 3147630629 1836260762 2965378875 184748572 1210683055 3932103052 2407696765 1044053351 2984879765 681814216 3378837731 2826290858 3961826426 3264872653 706302491 1550869381 774198690 3497940137 1374709319 1156037981 1246986640 1045962225 784879175 3301894500 3760169411 2788176276 3436894832 864722900 832734419 1294136817 849265452 3061983499 3260487842 2567886575 2758254114 3147979407 156665762 3246826237 718529701 3794445817 2465566573 381486186 763056105 1463277759 808854313 1124347078 3581891288 2097683052 1988456439 3479602667 1160629315 2664140364 2841247917 1075422048 3341535240 2549143135 1289751656 1284806039 227769639 3123467312 528992847 3929958373 1338882756 464121147 3649617819 4123942460 1390892750 2277469766 2139296622 809692883 2043335823 1497993095 255 362436" option to reproduce the execution
0.00/0.02	c #vars 300
0.00/0.02	c #constraints 50
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      128      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |      103 |       40 |      128      0 |        0 |        0
0.00/0.03	c #cpu_time = 0.005s
0.00/0.03	c #wall_clock_time = 0.005s
0.00/0.03	c #decision = 103
0.00/0.03	c #random_decision = 1
0.00/0.03	c #conflict = 40
0.00/0.03	c #restart = 0
0.00/0.03	o 1056
0.00/0.03	c BCD2: updating upper bound: 1836 -> 1055
0.00/0.03	c BCD2: 0 <= obj <= 1055
0.00/0.03	c BCD2: #cores=0, #unrelaxed=35, #relaxed=0, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      128      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      244 |      100 |      141      0 |        0 |        0
0.00/0.08	c  0.0s |       2 |      509 |      250 |      156      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      947 |      475 |      172      2 |        0 |        0
0.18/0.21	c  0.2s |       4 |     1528 |      813 |      190      4 |        0 |        0
0.29/0.33	c  0.3s |       5 |     2321 |     1320 |      210      8 |        0 |        0
0.49/0.52	c  0.5s |       6 |     3359 |     2081 |      232     12 |        0 |        0
0.69/0.79	c  0.8s |       7 |     5050 |     3223 |      256     19 |        0 |        0
0.99/1.09	c  1.1s |       8 |     7274 |     4936 |      282     29 |        0 |        0
1.49/1.53	c  1.5s |       9 |    10338 |     7506 |      311     43 |        0 |        0
2.09/2.16	c  2.1s |      10 |    14960 |    11361 |      343     62 |        0 |        0
2.98/3.09	c  3.1s |      11 |    21713 |    17144 |      378     88 |        0 |        0
4.68/4.77	c  4.7s |      12 |    32736 |    25819 |      416    125 |        0 |        0
6.69/6.79	c  6.8s |      12 |    46311 |    37319 |      416    171 |        0 |        0
6.98/7.05	c  7.0s |      13 |    48051 |    38832 |      458    177 |        0 |        0
8.98/9.06	c  9.0s |      13 |    61265 |    50332 |      458    220 |        0 |        0
10.48/10.58	c 10.6s |      14 |    70601 |    58352 |      504    248 |        0 |        0
12.49/12.59	c 12.6s |      14 |    83289 |    68852 |      504    283 |        0 |        0
14.59/14.62	c 14.6s |      14 |    95164 |    78752 |      504    315 |        0 |        0
16.39/16.48	c 16.5s |      15 |   105584 |    87632 |      555    344 |        0 |        0
18.39/18.49	c 18.5s |      15 |   118364 |    98532 |      555    378 |        0 |        0
20.49/20.50	c 20.5s |      15 |   131499 |   110032 |      555    414 |        0 |        0
22.49/22.51	c 22.5s |      15 |   142840 |   120032 |      555    444 |        0 |        0
24.49/24.51	c 24.5s |      15 |   154188 |   130132 |      555    475 |        0 |        0
24.69/24.79	c 24.8s |      16 |   155789 |   131552 |      611    479 |        0 |        0
26.69/26.79	c 26.8s |      16 |   168636 |   142352 |      611    509 |        0 |        0
28.79/28.81	c 28.8s |      16 |   179951 |   152352 |      611    538 |        0 |        0
30.80/30.83	c 30.8s |      16 |   191478 |   162552 |      611    566 |        0 |        0
32.79/32.83	c 32.8s |      16 |   203271 |   173152 |      611    597 |        0 |        0
34.79/34.83	c 34.8s |      16 |   215141 |   183652 |      611    627 |        0 |        0
36.79/36.84	c 36.8s |      16 |   226906 |   194152 |      611    657 |        0 |        0
37.39/37.50	c 37.5s |      17 |   230673 |   197432 |      673    666 |        0 |        0
39.49/39.51	c 39.5s |      17 |   241993 |   207232 |      673    691 |        0 |        0
41.49/41.53	c 41.5s |      17 |   253164 |   217032 |      673    717 |        0 |        0
43.49/43.54	c 43.5s |      17 |   264822 |   227032 |      673    742 |        0 |        0
45.48/45.55	c 45.5s |      17 |   276021 |   236832 |      673    768 |        0 |        0
47.48/47.55	c 47.5s |      17 |   287925 |   247232 |      673    795 |        0 |        0
49.49/49.55	c 49.5s |      17 |   298501 |   256532 |      673    819 |        0 |        0
51.48/51.56	c 51.5s |      17 |   308846 |   265632 |      673    842 |        0 |        0
53.48/53.58	c 53.6s |      17 |   318962 |   274632 |      673    866 |        0 |        0
55.58/55.60	c 55.6s |      17 |   329514 |   284032 |      673    890 |        0 |        0
57.58/57.60	c 57.6s |      17 |   340259 |   293432 |      673    914 |        0 |        0
58.18/58.22	c 58.2s |      18 |   343412 |   296252 |      741    921 |        0 |        0
60.18/60.24	c 60.2s |      18 |   354773 |   305952 |      741    945 |        0 |        0
62.18/62.24	c 62.2s |      18 |   365066 |   315052 |      741    966 |        0 |        0
64.18/64.25	c 64.2s |      18 |   374416 |   323452 |      741    986 |        0 |        0
66.18/66.27	c 66.2s |      18 |   383759 |   331852 |      741   1006 |        0 |        0
68.18/68.29	c 68.3s |      18 |   393399 |   340352 |      741   1027 |        0 |        0
70.28/70.30	c 70.3s |      18 |   403982 |   349552 |      741   1049 |        0 |        0
72.28/72.31	c 72.3s |      18 |   413221 |   357752 |      741   1068 |        0 |        0
74.27/74.31	c 74.3s |      18 |   423602 |   366852 |      741   1090 |        0 |        0
76.27/76.33	c 76.3s |      18 |   433783 |   375952 |      741   1112 |        0 |        0
78.27/78.34	c 78.3s |      18 |   443762 |   384652 |      741   1132 |        0 |        0
80.28/80.34	c 80.3s |      18 |   453674 |   393452 |      741   1153 |        0 |        0
82.27/82.36	c 82.3s |      18 |   462974 |   401652 |      741   1173 |        0 |        0
84.27/84.37	c 84.3s |      18 |   472725 |   410152 |      741   1193 |        0 |        0
86.27/86.37	c 86.3s |      18 |   482104 |   418552 |      741   1213 |        0 |        0
88.28/88.38	c 88.4s |      18 |   491142 |   426652 |      741   1232 |        0 |        0
90.29/90.39	c 90.4s |      18 |   500134 |   434552 |      741   1251 |        0 |        0
92.28/92.39	c 92.4s |      18 |   509297 |   442752 |      816   1270 |        0 |        0
92.78/92.86	c 92.8s |      19 |   511200 |   444482 |      816   1274 |        0 |        0
94.78/94.88	c 94.9s |      19 |   521792 |   453482 |      816   1294 |        0 |        0
96.78/96.90	c 96.9s |      19 |   532320 |   462482 |      816   1314 |        0 |        0
98.88/98.91	c 98.9s |      19 |   542740 |   471582 |      816   1334 |        0 |        0
100.88/100.93	c  100s |      19 |   551833 |   479782 |      816   1352 |        0 |        0
102.88/102.93	c  102s |      19 |   561291 |   488282 |      816   1371 |        0 |        0
104.88/104.94	c  104s |      19 |   571074 |   496882 |      816   1390 |        0 |        0
106.88/106.96	c  106s |      19 |   580906 |   505482 |      816   1409 |        0 |        0
108.88/108.96	c  108s |      19 |   589787 |   513382 |      816   1426 |        0 |        0
110.88/110.98	c  110s |      19 |   599485 |   521982 |      816   1445 |        0 |        0
112.87/112.99	c  112s |      19 |   609006 |   530282 |      816   1463 |        0 |        0
114.97/115.00	c  114s |      19 |   618434 |   538382 |      816   1481 |        0 |        0
116.97/117.02	c  116s |      19 |   629165 |   547682 |      816   1502 |        0 |        0
118.97/119.02	c  118s |      19 |   638655 |   556082 |      816   1520 |        0 |        0
120.98/121.05	c  121s |      19 |   647745 |   564182 |      816   1538 |        0 |        0
122.97/123.06	c  123s |      19 |   657242 |   572582 |      816   1556 |        0 |        0
124.97/125.08	c  125s |      19 |   666643 |   581082 |      816   1575 |        0 |        0
126.97/127.08	c  127s |      19 |   675560 |   589082 |      816   1593 |        0 |        0
128.97/129.09	c  129s |      19 |   684815 |   597382 |      816   1611 |        0 |        0
130.98/131.09	c  131s |      19 |   693304 |   605082 |      816   1628 |        0 |        0
132.97/133.09	c  133s |      19 |   702621 |   613282 |      816   1646 |        0 |        0
135.07/135.12	c  135s |      19 |   711403 |   621082 |      816   1664 |        0 |        0
137.07/137.13	c  137s |      19 |   720429 |   629082 |      816   1681 |        0 |        0
139.07/139.14	c  139s |      19 |   730872 |   638082 |      816   1701 |        0 |        0
141.07/141.15	c  141s |      19 |   740876 |   646782 |      816   1720 |        0 |        0
143.08/143.16	c  143s |      19 |   750417 |   655082 |      816   1739 |        0 |        0
145.07/145.17	c  145s |      19 |   759740 |   663282 |      898   1756 |        0 |        0
145.97/146.09	c  146s |      20 |   763922 |   666827 |      898   1763 |        0 |        0
147.97/148.09	c  148s |      20 |   775400 |   675727 |      898   1781 |        0 |        0
150.07/150.11	c  150s |      20 |   785987 |   684627 |      898   1799 |        0 |        0
152.07/152.14	c  152s |      20 |   796390 |   693227 |      898   1816 |        0 |        0
154.07/154.14	c  154s |      20 |   805994 |   701527 |      898   1833 |        0 |        0
156.06/156.15	c  156s |      20 |   815618 |   709827 |      898   1849 |        0 |        0
158.06/158.15	c  158s |      20 |   825410 |   718027 |      898   1866 |        0 |        0
160.06/160.17	c  160s |      20 |   835552 |   726427 |      898   1883 |        0 |        0
162.06/162.18	c  162s |      20 |   845257 |   734627 |      898   1899 |        0 |        0
164.06/164.19	c  164s |      20 |   855290 |   743527 |      898   1917 |        0 |        0
166.07/166.20	c  166s |      20 |   865543 |   752527 |      898   1935 |        0 |        0
168.16/168.20	c  168s |      20 |   875185 |   761027 |      898   1952 |        0 |        0
170.16/170.22	c  170s |      20 |   885152 |   769427 |      898   1969 |        0 |        0
172.16/172.24	c  172s |      20 |   895138 |   778027 |      898   1986 |        0 |        0
174.16/174.25	c  174s |      20 |   904591 |   786227 |      898   2002 |        0 |        0
176.16/176.26	c  176s |      20 |   913745 |   794327 |      898   2019 |        0 |        0
178.17/178.26	c  178s |      20 |   923285 |   802627 |      898   2035 |        0 |        0
180.16/180.29	c  180s |      20 |   932240 |   810527 |      898   2051 |        0 |        0
182.26/182.30	c  182s |      20 |   941514 |   818727 |      898   2067 |        0 |        0
184.26/184.30	c  184s |      20 |   950371 |   826627 |      898   2083 |        0 |        0
186.26/186.31	c  186s |      20 |   959513 |   834827 |      898   2099 |        0 |        0
188.26/188.33	c  188s |      20 |   968697 |   843027 |      898   2116 |        0 |        0
190.26/190.35	c  190s |      20 |   978107 |   851327 |      898   2132 |        0 |        0
192.26/192.35	c  192s |      20 |   987071 |   859027 |      898   2148 |        0 |        0
194.26/194.36	c  194s |      20 |   996329 |   867227 |      898   2164 |        0 |        0
196.26/196.38	c  196s |      20 |  1006019 |   875827 |      898   2181 |        0 |        0
198.26/198.39	c  198s |      20 |  1015908 |   884527 |      898   2198 |        0 |        0
200.36/200.40	c  200s |      20 |  1026032 |   893427 |      898   2216 |        0 |        0
202.36/202.41	c  202s |      20 |  1035665 |   901927 |      898   2233 |        0 |        0
204.35/204.43	c  204s |      20 |  1045277 |   910427 |      898   2250 |        0 |        0
206.35/206.44	c  206s |      20 |  1055742 |   919227 |      898   2267 |        0 |        0
208.35/208.46	c  208s |      20 |  1065499 |   927927 |      898   2285 |        0 |        0
210.35/210.48	c  210s |      20 |  1075071 |   936527 |      898   2302 |        0 |        0
212.37/212.49	c  212s |      20 |  1084383 |   944927 |      898   2318 |        0 |        0
214.36/214.50	c  214s |      20 |  1093881 |   953427 |      898   2335 |        0 |        0
216.46/216.52	c  216s |      20 |  1104348 |   962827 |      898   2354 |        0 |        0
218.46/218.54	c  218s |      20 |  1114767 |   972027 |      898   2372 |        0 |        0
220.46/220.55	c  220s |      20 |  1124921 |   981027 |      898   2390 |        0 |        0
222.46/222.57	c  222s |      20 |  1134494 |   989627 |      898   2407 |        0 |        0
224.47/224.58	c  224s |      20 |  1143606 |   997927 |      988   2423 |        0 |        0
225.16/225.21	c  225s |      21 |  1146310 |  1000345 |      988   2427 |        0 |        0
227.16/227.22	c  227s |      21 |  1157781 |  1009445 |      988   2444 |        0 |        0
229.16/229.24	c  229s |      21 |  1167574 |  1018045 |      988   2460 |        0 |        0
231.16/231.25	c  231s |      21 |  1176695 |  1026145 |      988   2475 |        0 |        0
233.16/233.26	c  233s |      21 |  1185425 |  1033545 |      988   2488 |        0 |        0
235.16/235.28	c  235s |      21 |  1193193 |  1040345 |      988   2501 |        0 |        0
237.16/237.29	c  237s |      21 |  1202860 |  1048745 |      988   2516 |        0 |        0
239.25/239.31	c  239s |      21 |  1212128 |  1056845 |      988   2531 |        0 |        0
241.25/241.33	c  241s |      21 |  1221139 |  1064845 |      988   2545 |        0 |        0
243.25/243.34	c  243s |      21 |  1230520 |  1073145 |      988   2561 |        0 |        0
245.26/245.36	c  245s |      21 |  1241138 |  1082445 |      988   2578 |        0 |        0
247.25/247.37	c  247s |      21 |  1250881 |  1091145 |      988   2594 |        0 |        0
249.25/249.39	c  249s |      21 |  1260547 |  1099545 |      988   2609 |        0 |        0
251.35/251.40	c  251s |      21 |  1269562 |  1107445 |      988   2623 |        0 |        0
253.35/253.42	c  253s |      21 |  1278697 |  1115245 |      988   2638 |        0 |        0
255.35/255.42	c  255s |      21 |  1287130 |  1122545 |      988   2651 |        0 |        0
257.36/257.43	c  257s |      21 |  1297226 |  1130745 |      988   2666 |        0 |        0
259.35/259.43	c  259s |      21 |  1305815 |  1138045 |      988   2680 |        0 |        0
261.35/261.45	c  261s |      21 |  1313844 |  1145145 |      988   2693 |        0 |        0
263.35/263.47	c  263s |      21 |  1321982 |  1152445 |      988   2706 |        0 |        0
265.35/265.49	c  265s |      21 |  1331418 |  1160445 |      988   2721 |        0 |        0
267.45/267.50	c  267s |      21 |  1340522 |  1168445 |      988   2735 |        0 |        0
269.46/269.52	c  269s |      21 |  1349419 |  1176045 |      988   2749 |        0 |        0
271.45/271.52	c  271s |      21 |  1358452 |  1184045 |      988   2764 |        0 |        0
273.45/273.54	c  273s |      21 |  1368115 |  1192545 |      988   2779 |        0 |        0
275.45/275.56	c  275s |      21 |  1378024 |  1201045 |      988   2795 |        0 |        0
277.45/277.57	c  277s |      21 |  1387298 |  1209145 |      988   2810 |        0 |        0
279.45/279.58	c  279s |      21 |  1396626 |  1217345 |      988   2825 |        0 |        0
281.45/281.60	c  281s |      21 |  1405664 |  1225345 |      988   2840 |        0 |        0
283.54/283.61	c  283s |      21 |  1414117 |  1232745 |      988   2854 |        0 |        0
285.54/285.62	c  285s |      21 |  1423001 |  1240545 |      988   2868 |        0 |        0
287.54/287.63	c  287s |      21 |  1431580 |  1248045 |      988   2882 |        0 |        0
289.54/289.64	c  289s |      21 |  1439921 |  1255445 |      988   2895 |        0 |        0
291.55/291.64	c  291s |      21 |  1448668 |  1262945 |      988   2909 |        0 |        0
293.54/293.64	c  293s |      21 |  1457803 |  1270945 |      988   2924 |        0 |        0
295.54/295.65	c  295s |      21 |  1466982 |  1278945 |      988   2938 |        0 |        0
297.54/297.67	c  297s |      21 |  1476725 |  1287445 |      988   2954 |        0 |        0
299.64/299.70	c  299s |      21 |  1485453 |  1295045 |      988   2968 |        0 |        0
301.64/301.74	c  301s |      21 |  1494498 |  1302945 |      988   2983 |        0 |        0
303.65/303.75	c  303s |      21 |  1503453 |  1310745 |      988   2997 |        0 |        0
305.64/305.76	c  305s |      21 |  1511617 |  1317845 |      988   3010 |        0 |        0
307.64/307.77	c  307s |      21 |  1521368 |  1326145 |      988   3025 |        0 |        0
309.64/309.78	c  309s |      21 |  1530270 |  1334045 |      988   3040 |        0 |        0
311.64/311.79	c  311s |      21 |  1540409 |  1342745 |      988   3056 |        0 |        0
313.74/313.80	c  313s |      21 |  1549972 |  1351145 |      988   3071 |        0 |        0
315.74/315.82	c  315s |      21 |  1559923 |  1359745 |      988   3087 |        0 |        0
317.74/317.83	c  317s |      21 |  1569268 |  1367845 |      988   3102 |        0 |        0
319.74/319.85	c  319s |      21 |  1579245 |  1376445 |      988   3118 |        0 |        0
321.74/321.85	c  321s |      21 |  1588653 |  1384845 |      988   3133 |        0 |        0
323.74/323.87	c  323s |      21 |  1599043 |  1393945 |      988   3150 |        0 |        0
325.74/325.87	c  325s |      21 |  1608536 |  1402445 |      988   3165 |        0 |        0
327.75/327.88	c  327s |      21 |  1618125 |  1411045 |      988   3181 |        0 |        0
329.74/329.89	c  329s |      21 |  1628317 |  1420145 |      988   3198 |        0 |        0
331.84/331.90	c  331s |      21 |  1638674 |  1429345 |      988   3215 |        0 |        0
333.84/333.90	c  333s |      21 |  1649258 |  1438645 |      988   3232 |        0 |        0
335.84/335.90	c  335s |      21 |  1659658 |  1447845 |      988   3249 |        0 |        0
337.84/337.92	c  337s |      21 |  1669995 |  1457045 |      988   3266 |        0 |        0
339.85/339.93	c  339s |      21 |  1680463 |  1466245 |      988   3282 |        0 |        0
341.84/341.94	c  341s |      21 |  1690067 |  1474545 |      988   3298 |        0 |        0
343.84/343.95	c  343s |      21 |  1699409 |  1482645 |      988   3313 |        0 |        0
345.84/345.96	c  345s |      21 |  1708386 |  1490645 |     1087   3327 |        0 |        0
347.84/347.98	c  347s |      21 |  1717192 |  1498545 |     1087   3340 |        0 |        0
348.44/348.56	c  348s |      22 |  1719456 |  1500622 |     1087   3344 |        0 |        0
350.44/350.58	c  350s |      22 |  1728930 |  1508822 |     1087   3358 |        0 |        0
352.44/352.59	c  352s |      22 |  1737989 |  1516922 |     1087   3371 |        0 |        0
354.54/354.61	c  354s |      22 |  1746731 |  1524622 |     1087   3384 |        0 |        0
356.54/356.64	c  356s |      22 |  1755373 |  1532322 |     1087   3397 |        0 |        0
358.54/358.64	c  358s |      22 |  1763041 |  1539322 |     1087   3409 |        0 |        0
360.54/360.65	c  360s |      22 |  1770945 |  1546522 |     1087   3421 |        0 |        0
362.53/362.67	c  362s |      22 |  1779929 |  1554522 |     1087   3435 |        0 |        0
364.53/364.68	c  364s |      22 |  1788876 |  1562522 |     1087   3448 |        0 |        0
366.63/366.71	c  366s |      22 |  1798358 |  1570922 |     1087   3463 |        0 |        0
368.63/368.71	c  368s |      22 |  1808270 |  1579722 |     1087   3477 |        0 |        0
370.64/370.72	c  370s |      22 |  1818013 |  1588322 |     1087   3492 |        0 |        0
372.63/372.74	c  372s |      22 |  1828066 |  1597222 |     1087   3507 |        0 |        0
374.63/374.76	c  374s |      22 |  1838009 |  1605922 |     1087   3522 |        0 |        0
376.63/376.78	c  376s |      22 |  1847472 |  1614322 |     1087   3536 |        0 |        0
378.63/378.79	c  378s |      22 |  1857092 |  1622722 |     1087   3550 |        0 |        0
380.64/380.79	c  380s |      22 |  1865660 |  1630122 |     1087   3563 |        0 |        0
382.74/382.81	c  382s |      22 |  1874299 |  1637822 |     1087   3576 |        0 |        0
384.73/384.82	c  384s |      22 |  1882970 |  1645522 |     1087   3589 |        0 |        0
386.73/386.84	c  386s |      22 |  1892442 |  1654022 |     1087   3603 |        0 |        0
388.73/388.86	c  388s |      22 |  1901888 |  1662422 |     1087   3617 |        0 |        0
390.73/390.87	c  390s |      22 |  1911159 |  1670722 |     1087   3631 |        0 |        0
392.74/392.88	c  392s |      22 |  1920574 |  1679122 |     1087   3645 |        0 |        0
394.73/394.90	c  394s |      22 |  1929745 |  1687322 |     1087   3659 |        0 |        0
396.83/396.91	c  396s |      22 |  1939207 |  1695622 |     1087   3673 |        0 |        0
398.83/398.93	c  398s |      22 |  1947419 |  1703022 |     1087   3685 |        0 |        0
400.83/400.93	c  400s |      22 |  1955724 |  1710422 |     1087   3697 |        0 |        0
402.83/402.94	c  402s |      22 |  1963555 |  1717422 |     1087   3709 |        0 |        0
404.83/404.96	c  404s |      22 |  1971602 |  1724622 |     1087   3721 |        0 |        0
406.83/406.97	c  406s |      22 |  1979493 |  1731722 |     1087   3733 |        0 |        0
408.82/408.98	c  408s |      22 |  1988179 |  1739422 |     1087   3746 |        0 |        0
410.92/411.00	c  410s |      22 |  1997142 |  1747422 |     1087   3760 |        0 |        0
412.92/413.02	c  412s |      22 |  2006063 |  1755322 |     1087   3773 |        0 |        0
414.92/415.02	c  414s |      22 |  2014816 |  1763122 |     1087   3786 |        0 |        0
416.93/417.03	c  417s |      22 |  2023302 |  1770722 |     1087   3799 |        0 |        0
418.92/419.06	c  419s |      22 |  2031628 |  1778222 |     1087   3812 |        0 |        0
420.92/421.07	c  421s |      22 |  2040345 |  1785922 |     1087   3825 |        0 |        0
422.92/423.08	c  423s |      22 |  2048781 |  1793422 |     1087   3837 |        0 |        0
424.92/425.09	c  425s |      22 |  2057074 |  1800722 |     1087   3850 |        0 |        0
427.02/427.12	c  427s |      22 |  2066304 |  1808822 |     1087   3863 |        0 |        0
429.03/429.12	c  429s |      22 |  2075169 |  1816722 |     1087   3877 |        0 |        0
431.02/431.14	c  431s |      22 |  2083746 |  1824322 |     1087   3890 |        0 |        0
433.02/433.14	c  433s |      22 |  2092569 |  1832122 |     1087   3903 |        0 |        0
435.02/435.16	c  435s |      22 |  2101984 |  1840422 |     1087   3917 |        0 |        0
437.02/437.19	c  437s |      22 |  2110572 |  1848022 |     1087   3930 |        0 |        0
439.12/439.22	c  439s |      22 |  2119130 |  1855522 |     1087   3942 |        0 |        0
441.13/441.24	c  441s |      22 |  2127035 |  1862522 |     1087   3954 |        0 |        0
443.12/443.26	c  443s |      22 |  2135032 |  1869622 |     1087   3966 |        0 |        0
445.12/445.26	c  445s |      22 |  2142965 |  1876422 |     1087   3978 |        0 |        0
447.12/447.28	c  447s |      22 |  2151991 |  1884222 |     1087   3991 |        0 |        0
449.12/449.29	c  449s |      22 |  2161299 |  1892222 |     1087   4004 |        0 |        0
451.22/451.30	c  451s |      22 |  2170034 |  1900022 |     1087   4018 |        0 |        0
453.22/453.32	c  453s |      22 |  2178975 |  1908022 |     1087   4031 |        0 |        0
455.22/455.33	c  455s |      22 |  2187745 |  1915822 |     1087   4044 |        0 |        0
457.22/457.34	c  457s |      22 |  2196905 |  1924022 |     1087   4058 |        0 |        0
459.22/459.35	c  459s |      22 |  2205699 |  1931822 |     1087   4071 |        0 |        0
461.21/461.37	c  461s |      22 |  2214346 |  1939522 |     1087   4084 |        0 |        0
463.32/463.40	c  463s |      22 |  2222576 |  1946922 |     1087   4097 |        0 |        0
465.33/465.41	c  465s |      22 |  2230195 |  1953822 |     1087   4108 |        0 |        0
467.32/467.43	c  467s |      22 |  2239441 |  1961822 |     1087   4122 |        0 |        0
469.32/469.45	c  469s |      22 |  2248523 |  1969722 |     1087   4135 |        0 |        0
471.32/471.47	c  471s |      22 |  2257503 |  1977622 |     1087   4149 |        0 |        0
473.32/473.49	c  473s |      22 |  2266108 |  1985322 |     1087   4162 |        0 |        0
475.42/475.50	c  475s |      22 |  2274756 |  1993022 |     1087   4174 |        0 |        0
477.43/477.52	c  477s |      22 |  2283609 |  2000822 |     1087   4188 |        0 |        0
479.42/479.54	c  479s |      22 |  2292170 |  2008422 |     1087   4200 |        0 |        0
481.42/481.55	c  481s |      22 |  2300552 |  2015922 |     1087   4213 |        0 |        0
483.42/483.57	c  483s |      22 |  2308804 |  2023322 |     1087   4226 |        0 |        0
485.42/485.60	c  485s |      22 |  2317772 |  2031322 |     1087   4239 |        0 |        0
487.52/487.60	c  487s |      22 |  2325922 |  2038522 |     1087   4251 |        0 |        0
489.52/489.61	c  489s |      22 |  2335214 |  2046522 |     1087   4265 |        0 |        0
491.52/491.64	c  491s |      22 |  2343711 |  2054022 |     1087   4277 |        0 |        0
493.52/493.66	c  493s |      22 |  2351493 |  2061022 |     1087   4289 |        0 |        0
495.51/495.68	c  495s |      22 |  2359205 |  2068022 |     1087   4301 |        0 |        0
497.61/497.70	c  497s |      22 |  2367289 |  2075222 |     1087   4313 |        0 |        0
499.61/499.72	c  499s |      22 |  2375614 |  2082322 |     1087   4325 |        0 |        0
501.62/501.74	c  501s |      22 |  2383149 |  2089122 |     1087   4337 |        0 |        0
503.61/503.74	c  503s |      22 |  2391141 |  2096222 |     1087   4349 |        0 |        0
505.61/505.75	c  505s |      22 |  2399200 |  2103322 |     1087   4361 |        0 |        0
507.61/507.76	c  507s |      22 |  2407488 |  2110622 |     1087   4373 |        0 |        0
509.61/509.78	c  509s |      22 |  2415856 |  2118022 |     1087   4386 |        0 |        0
511.61/511.79	c  511s |      22 |  2424266 |  2125322 |     1087   4398 |        0 |        0
513.62/513.80	c  513s |      22 |  2432085 |  2132122 |     1087   4410 |        0 |        0
515.71/515.82	c  515s |      22 |  2439590 |  2138822 |     1087   4421 |        0 |        0
517.71/517.83	c  517s |      22 |  2446920 |  2145422 |     1087   4432 |        0 |        0
519.71/519.84	c  519s |      22 |  2454530 |  2152222 |     1087   4444 |        0 |        0
521.71/521.87	c  521s |      22 |  2462505 |  2159222 |     1087   4455 |        0 |        0
523.71/523.89	c  523s |      22 |  2470575 |  2166222 |     1087   4467 |        0 |        0
525.71/525.90	c  525s |      22 |  2478162 |  2172922 |     1087   4478 |        0 |        0
527.81/527.90	c  527s |      22 |  2485377 |  2179322 |     1087   4489 |        0 |        0
529.81/529.91	c  529s |      22 |  2491860 |  2185022 |     1087   4499 |        0 |        0
531.81/531.92	c  531s |      22 |  2499744 |  2192022 |     1087   4511 |        0 |        0
533.80/533.93	c  533s |      22 |  2507294 |  2198822 |     1087   4522 |        0 |        0
535.80/535.95	c  535s |      22 |  2514911 |  2205722 |     1087   4534 |        0 |        0
537.81/537.96	c  537s |      22 |  2522461 |  2212422 |     1087   4545 |        0 |        0
539.80/539.97	c  539s |      22 |  2530431 |  2219422 |     1087   4557 |        0 |        0
541.80/541.99	c  541s |      22 |  2538154 |  2226122 |     1087   4569 |        0 |        0
543.90/544.00	c  543s |      22 |  2545746 |  2232922 |     1087   4580 |        0 |        0
545.91/546.03	c  546s |      22 |  2553526 |  2239922 |     1196   4591 |        0 |        0
547.91/548.03	c  548s |      22 |  2560413 |  2246222 |     1196   4601 |        0 |        0
549.51/549.66	c  549s |      23 |  2565701 |  2251038 |     1196   4608 |        0 |        0
551.51/551.67	c  551s |      23 |  2574385 |  2258238 |     1196   4619 |        0 |        0
553.61/553.70	c  553s |      23 |  2582135 |  2265038 |     1196   4630 |        0 |        0
555.61/555.73	c  555s |      23 |  2590107 |  2272138 |     1196   4641 |        0 |        0
557.62/557.73	c  557s |      23 |  2598651 |  2279538 |     1196   4652 |        0 |        0
559.61/559.74	c  559s |      23 |  2607233 |  2287038 |     1196   4664 |        0 |        0
561.61/561.74	c  561s |      23 |  2616123 |  2294838 |     1196   4676 |        0 |        0
563.61/563.75	c  563s |      23 |  2624772 |  2302338 |     1196   4688 |        0 |        0
565.61/565.76	c  565s |      23 |  2633654 |  2310138 |     1196   4700 |        0 |        0
567.61/567.76	c  567s |      23 |  2641766 |  2317438 |     1196   4711 |        0 |        0
569.61/569.78	c  569s |      23 |  2649514 |  2324338 |     1196   4722 |        0 |        0
571.61/571.79	c  571s |      23 |  2658243 |  2331938 |     1196   4734 |        0 |        0
573.60/573.79	c  573s |      23 |  2666589 |  2339238 |     1196   4745 |        0 |        0
575.60/575.79	c  575s |      23 |  2674751 |  2346438 |     1196   4756 |        0 |        0
577.60/577.80	c  577s |      23 |  2682981 |  2353638 |     1196   4767 |        0 |        0
579.71/579.81	c  579s |      23 |  2691325 |  2360938 |     1196   4779 |        0 |        0
581.70/581.82	c  581s |      23 |  2700391 |  2369038 |     1196   4791 |        0 |        0
583.70/583.85	c  583s |      23 |  2709305 |  2377038 |     1196   4804 |        0 |        0
585.70/585.86	c  585s |      23 |  2717712 |  2384538 |     1196   4815 |        0 |        0
587.70/587.89	c  587s |      23 |  2726494 |  2392138 |     1196   4827 |        0 |        0
589.80/589.90	c  589s |      23 |  2734000 |  2398838 |     1196   4838 |        0 |        0
591.81/591.92	c  591s |      23 |  2742059 |  2405938 |     1196   4849 |        0 |        0
593.80/593.92	c  593s |      23 |  2749956 |  2412838 |     1196   4859 |        0 |        0
595.80/595.93	c  595s |      23 |  2758834 |  2420638 |     1196   4871 |        0 |        0
597.80/597.95	c  597s |      23 |  2767365 |  2428338 |     1196   4883 |        0 |        0
599.80/599.96	c  599s |      23 |  2775595 |  2435638 |     1196   4895 |        0 |        0
601.80/601.98	c  601s |      23 |  2783307 |  2442538 |     1196   4905 |        0 |        0
603.80/604.00	c  603s |      23 |  2790857 |  2449238 |     1196   4916 |        0 |        0
605.90/606.02	c  605s |      23 |  2800048 |  2457338 |     1196   4928 |        0 |        0
607.90/608.04	c  608s |      23 |  2808971 |  2465238 |     1196   4941 |        0 |        0
609.90/610.05	c  610s |      23 |  2817345 |  2472738 |     1196   4952 |        0 |        0
611.89/612.05	c  612s |      23 |  2825282 |  2479838 |     1196   4963 |        0 |        0
613.89/614.07	c  614s |      23 |  2833388 |  2487038 |     1196   4975 |        0 |        0
615.90/616.08	c  616s |      23 |  2841408 |  2494238 |     1196   4986 |        0 |        0
617.89/618.09	c  618s |      23 |  2849602 |  2501538 |     1196   4997 |        0 |        0
619.99/620.10	c  620s |      23 |  2858215 |  2509238 |     1196   5009 |        0 |        0
621.99/622.12	c  622s |      23 |  2866611 |  2516738 |     1196   5021 |        0 |        0
623.99/624.13	c  624s |      23 |  2875212 |  2524238 |     1196   5032 |        0 |        0
625.99/626.14	c  626s |      23 |  2883261 |  2531338 |     1196   5043 |        0 |        0
628.00/628.16	c  628s |      23 |  2891095 |  2538338 |     1196   5054 |        0 |        0
629.99/630.17	c  630s |      23 |  2898765 |  2545138 |     1196   5065 |        0 |        0
631.99/632.17	c  632s |      23 |  2906620 |  2552138 |     1196   5076 |        0 |        0
633.99/634.18	c  634s |      23 |  2914962 |  2559538 |     1196   5087 |        0 |        0
636.09/636.21	c  636s |      23 |  2922918 |  2566638 |     1196   5098 |        0 |        0
638.09/638.22	c  638s |      23 |  2930496 |  2573438 |     1196   5109 |        0 |        0
640.10/640.23	c  640s |      23 |  2938701 |  2580638 |     1196   5120 |        0 |        0
642.09/642.23	c  642s |      23 |  2946569 |  2587738 |     1196   5131 |        0 |        0
644.09/644.24	c  644s |      23 |  2954314 |  2594738 |     1196   5142 |        0 |        0
646.10/646.25	c  646s |      23 |  2962168 |  2601738 |     1196   5153 |        0 |        0
648.09/648.25	c  648s |      23 |  2970066 |  2608638 |     1196   5163 |        0 |        0
650.10/650.27	c  650s |      23 |  2977980 |  2615638 |     1196   5174 |        0 |        0
652.09/652.29	c  652s |      23 |  2985776 |  2622638 |     1196   5185 |        0 |        0
654.19/654.30	c  654s |      23 |  2993388 |  2629438 |     1196   5196 |        0 |        0
656.19/656.31	c  656s |      23 |  3000925 |  2636238 |     1196   5206 |        0 |        0
658.19/658.31	c  658s |      23 |  3009214 |  2643538 |     1196   5217 |        0 |        0
660.19/660.34	c  660s |      23 |  3017687 |  2651038 |     1196   5229 |        0 |        0
662.20/662.35	c  662s |      23 |  3026303 |  2658538 |     1196   5241 |        0 |        0
664.19/664.36	c  664s |      23 |  3034759 |  2666038 |     1196   5252 |        0 |        0
666.19/666.38	c  666s |      23 |  3042814 |  2673238 |     1196   5263 |        0 |        0
668.29/668.40	c  668s |      23 |  3051100 |  2680638 |     1196   5275 |        0 |        0
670.29/670.41	c  670s |      23 |  3059570 |  2688238 |     1196   5286 |        0 |        0
672.29/672.43	c  672s |      23 |  3067832 |  2695638 |     1196   5298 |        0 |        0
674.29/674.45	c  674s |      23 |  3075265 |  2702338 |     1196   5308 |        0 |        0
676.29/676.46	c  676s |      23 |  3082469 |  2708838 |     1196   5318 |        0 |        0
678.29/678.48	c  678s |      23 |  3089522 |  2715338 |     1196   5328 |        0 |        0
680.29/680.48	c  680s |      23 |  3097143 |  2722138 |     1196   5338 |        0 |        0
682.39/682.50	c  682s |      23 |  3104647 |  2728838 |     1196   5349 |        0 |        0
684.39/684.50	c  684s |      23 |  3112174 |  2735438 |     1196   5359 |        0 |        0
686.39/686.52	c  686s |      23 |  3119666 |  2742138 |     1196   5369 |        0 |        0
688.38/688.53	c  688s |      23 |  3126879 |  2748638 |     1196   5379 |        0 |        0
690.38/690.55	c  690s |      23 |  3134759 |  2755638 |     1196   5390 |        0 |        0
692.38/692.56	c  692s |      23 |  3142021 |  2762138 |     1196   5400 |        0 |        0
694.38/694.58	c  694s |      23 |  3149412 |  2768638 |     1196   5410 |        0 |        0
696.38/696.60	c  696s |      23 |  3157035 |  2775338 |     1196   5420 |        0 |        0
698.49/698.60	c  698s |      23 |  3164417 |  2781938 |     1196   5430 |        0 |        0
700.48/700.61	c  700s |      23 |  3171649 |  2788338 |     1196   5440 |        0 |        0
702.48/702.62	c  702s |      23 |  3178865 |  2794838 |     1196   5450 |        0 |        0
704.49/704.65	c  704s |      23 |  3185358 |  2800738 |     1196   5459 |        0 |        0
706.48/706.67	c  706s |      23 |  3193093 |  2807638 |     1196   5470 |        0 |        0
708.48/708.68	c  708s |      23 |  3200087 |  2814038 |     1196   5480 |        0 |        0
710.49/710.69	c  710s |      23 |  3206942 |  2820238 |     1196   5489 |        0 |        0
712.58/712.71	c  712s |      23 |  3215229 |  2827338 |     1196   5500 |        0 |        0
714.58/714.74	c  714s |      23 |  3223738 |  2834638 |     1196   5512 |        0 |        0
716.58/716.75	c  716s |      23 |  3231682 |  2841638 |     1196   5522 |        0 |        0
718.58/718.77	c  718s |      23 |  3239574 |  2848638 |     1196   5533 |        0 |        0
720.58/720.79	c  720s |      23 |  3247462 |  2855538 |     1196   5544 |        0 |        0
722.68/722.81	c  722s |      23 |  3255260 |  2862438 |     1196   5554 |        0 |        0
724.68/724.83	c  724s |      23 |  3262979 |  2869038 |     1196   5565 |        0 |        0
726.67/726.84	c  726s |      23 |  3270423 |  2875738 |     1196   5575 |        0 |        0
728.67/728.84	c  728s |      23 |  3277972 |  2882438 |     1196   5585 |        0 |        0
730.67/730.85	c  730s |      23 |  3285237 |  2888938 |     1196   5596 |        0 |        0
732.67/732.86	c  732s |      23 |  3292553 |  2895538 |     1196   5606 |        0 |        0
734.68/734.88	c  734s |      23 |  3299882 |  2902138 |     1196   5616 |        0 |        0
736.77/736.91	c  736s |      23 |  3307074 |  2908538 |     1196   5626 |        0 |        0
738.77/738.92	c  738s |      23 |  3314003 |  2914738 |     1196   5635 |        0 |        0
740.77/740.93	c  740s |      23 |  3320700 |  2920638 |     1196   5644 |        0 |        0
742.77/742.94	c  742s |      23 |  3329919 |  2928438 |     1196   5656 |        0 |        0
744.77/744.95	c  744s |      23 |  3338576 |  2936038 |     1196   5668 |        0 |        0
746.77/746.97	c  746s |      23 |  3347003 |  2943438 |     1196   5680 |        0 |        0
748.76/748.98	c  748s |      23 |  3354743 |  2950338 |     1196   5690 |        0 |        0
750.76/750.99	c  750s |      23 |  3362617 |  2957338 |     1196   5701 |        0 |        0
752.86/753.01	c  752s |      23 |  3370643 |  2964438 |     1196   5712 |        0 |        0
754.86/755.03	c  755s |      23 |  3378394 |  2971338 |     1196   5723 |        0 |        0
756.86/757.05	c  757s |      23 |  3386313 |  2978338 |     1196   5734 |        0 |        0
758.86/759.05	c  759s |      23 |  3394236 |  2985338 |     1196   5745 |        0 |        0
760.86/761.07	c  761s |      23 |  3401636 |  2991938 |     1196   5755 |        0 |        0
762.96/763.10	c  763s |      23 |  3409955 |  2999338 |     1196   5766 |        0 |        0
764.95/765.11	c  765s |      23 |  3417509 |  3006138 |     1196   5777 |        0 |        0
766.95/767.13	c  767s |      23 |  3425893 |  3013738 |     1196   5789 |        0 |        0
768.95/769.16	c  769s |      23 |  3434451 |  3021438 |     1196   5800 |        0 |        0
770.96/771.18	c  771s |      23 |  3442863 |  3029038 |     1196   5812 |        0 |        0
773.05/773.20	c  773s |      23 |  3451580 |  3036838 |     1196   5824 |        0 |        0
775.05/775.22	c  775s |      23 |  3459584 |  3043938 |     1196   5835 |        0 |        0
777.04/777.23	c  777s |      23 |  3467684 |  3051138 |     1196   5846 |        0 |        0
779.04/779.25	c  779s |      23 |  3475301 |  3057938 |     1196   5857 |        0 |        0
781.04/781.25	c  781s |      23 |  3482830 |  3064638 |     1196   5867 |        0 |        0
783.05/783.26	c  783s |      23 |  3490743 |  3071738 |     1196   5878 |        0 |        0
785.04/785.28	c  785s |      23 |  3498380 |  3078538 |     1196   5889 |        0 |        0
787.04/787.29	c  787s |      23 |  3506214 |  3085538 |     1196   5900 |        0 |        0
789.14/789.31	c  789s |      23 |  3513535 |  3092138 |     1196   5910 |        0 |        0
791.14/791.32	c  791s |      23 |  3521421 |  3099038 |     1196   5920 |        0 |        0
793.14/793.33	c  793s |      23 |  3529011 |  3105738 |     1196   5931 |        0 |        0
795.14/795.36	c  795s |      23 |  3536651 |  3112538 |     1196   5941 |        0 |        0
797.13/797.38	c  797s |      23 |  3544850 |  3119838 |     1196   5952 |        0 |        0
799.23/799.41	c  799s |      23 |  3552509 |  3126638 |     1196   5963 |        0 |        0
801.23/801.45	c  801s |      23 |  3560261 |  3133538 |     1196   5974 |        0 |        0
803.23/803.46	c  803s |      23 |  3567817 |  3140338 |     1196   5984 |        0 |        0
805.23/805.48	c  805s |      23 |  3575837 |  3147438 |     1196   5995 |        0 |        0
807.23/807.50	c  807s |      23 |  3583536 |  3154238 |     1196   6006 |        0 |        0
809.33/809.52	c  809s |      23 |  3590962 |  3160938 |     1196   6016 |        0 |        0
811.33/811.52	c  811s |      23 |  3598685 |  3167838 |     1196   6027 |        0 |        0
813.33/813.53	c  813s |      23 |  3605959 |  3174338 |     1196   6037 |        0 |        0
815.33/815.53	c  815s |      23 |  3613246 |  3180938 |     1196   6047 |        0 |        0
817.32/817.53	c  817s |      23 |  3620800 |  3187738 |     1196   6057 |        0 |        0
819.33/819.55	c  819s |      23 |  3628570 |  3194738 |     1196   6068 |        0 |        0
821.32/821.58	c  821s |      23 |  3636000 |  3201438 |     1196   6078 |        0 |        0
823.32/823.59	c  823s |      23 |  3643772 |  3208438 |     1196   6089 |        0 |        0
825.42/825.61	c  825s |      23 |  3651081 |  3215038 |     1196   6099 |        0 |        0
827.42/827.64	c  827s |      23 |  3658391 |  3221638 |     1196   6110 |        0 |        0
829.41/829.66	c  829s |      23 |  3665577 |  3228138 |     1196   6120 |        0 |        0
831.42/831.67	c  831s |      23 |  3672724 |  3234638 |     1196   6130 |        0 |        0
833.42/833.68	c  833s |      23 |  3680557 |  3241338 |     1196   6140 |        0 |        0
835.52/835.70	c  835s |      23 |  3688368 |  3248238 |     1196   6151 |        0 |        0
837.52/837.72	c  837s |      23 |  3695897 |  3255038 |     1196   6161 |        0 |        0
839.52/839.72	c  839s |      23 |  3703840 |  3262138 |     1196   6172 |        0 |        0
841.52/841.75	c  841s |      23 |  3711327 |  3268938 |     1196   6183 |        0 |        0
843.53/843.77	c  843s |      23 |  3718878 |  3275738 |     1196   6193 |        0 |        0
845.52/845.79	c  845s |      23 |  3726656 |  3282738 |     1196   6204 |        0 |        0
847.61/847.80	c  847s |      23 |  3734297 |  3289538 |     1196   6214 |        0 |        0
849.61/849.82	c  849s |      23 |  3742164 |  3296538 |     1196   6225 |        0 |        0
851.61/851.83	c  851s |      23 |  3749530 |  3303138 |     1196   6235 |        0 |        0
853.61/853.83	c  853s |      23 |  3756737 |  3309638 |     1196   6245 |        0 |        0
855.62/855.85	c  855s |      23 |  3764593 |  3316438 |     1196   6256 |        0 |        0
857.61/857.88	c  857s |      23 |  3772774 |  3323738 |     1196   6267 |        0 |        0
859.61/859.89	c  859s |      23 |  3781081 |  3331038 |     1196   6279 |        0 |        0
861.71/861.90	c  861s |      23 |  3789669 |  3338638 |     1196   6290 |        0 |        0
863.71/863.91	c  863s |      23 |  3798298 |  3346238 |     1196   6302 |        0 |        0
865.71/865.93	c  865s |      23 |  3806375 |  3353538 |     1316   6313 |        0 |        0
867.71/867.94	c  867s |      23 |  3813983 |  3360338 |     1316   6323 |        0 |        0
869.70/869.95	c  869s |      23 |  3821783 |  3367338 |     1316   6332 |        0 |        0
871.70/871.98	c  871s |      23 |  3829469 |  3374238 |     1316   6342 |        0 |        0
872.50/872.75	c  872s |      24 |  3832164 |  3376662 |     1316   6346 |        0 |        0
874.50/874.75	c  874s |      24 |  3840717 |  3383962 |     1316   6356 |        0 |        0
876.51/876.77	c  876s |      24 |  3848667 |  3391062 |     1316   6366 |        0 |        0
878.50/878.78	c  878s |      24 |  3856573 |  3397962 |     1316   6376 |        0 |        0
880.50/880.79	c  880s |      24 |  3864899 |  3405062 |     1316   6386 |        0 |        0
882.60/882.82	c  882s |      24 |  3873006 |  3412162 |     1316   6396 |        0 |        0
884.60/884.82	c  884s |      24 |  3881822 |  3419262 |     1316   6406 |        0 |        0
886.60/886.83	c  886s |      24 |  3889865 |  3426062 |     1316   6415 |        0 |        0
888.60/888.84	c  888s |      24 |  3897502 |  3432662 |     1316   6425 |        0 |        0
890.59/890.85	c  890s |      24 |  3905531 |  3439462 |     1316   6434 |        0 |        0
892.59/892.88	c  892s |      24 |  3913632 |  3446662 |     1316   6445 |        0 |        0
894.69/894.90	c  894s |      24 |  3920796 |  3453162 |     1316   6454 |        0 |        0
896.69/896.93	c  896s |      24 |  3928171 |  3459562 |     1316   6463 |        0 |        0
898.69/898.95	c  898s |      24 |  3936185 |  3466662 |     1316   6473 |        0 |        0
900.69/900.96	c  900s |      24 |  3943719 |  3473362 |     1316   6482 |        0 |        0
902.68/902.96	c  902s |      24 |  3951108 |  3479862 |     1316   6491 |        0 |        0
904.68/904.98	c  904s |      24 |  3958628 |  3486562 |     1316   6501 |        0 |        0
906.68/906.98	c  906s |      24 |  3966698 |  3493662 |     1316   6511 |        0 |        0
908.68/908.99	c  908s |      24 |  3974882 |  3500862 |     1316   6521 |        0 |        0
910.69/910.99	c  910s |      24 |  3982632 |  3507762 |     1316   6531 |        0 |        0
912.79/913.01	c  912s |      24 |  3991026 |  3515162 |     1316   6542 |        0 |        0
914.78/915.03	c  914s |      24 |  3999226 |  3522462 |     1316   6552 |        0 |        0
916.78/917.05	c  917s |      24 |  4006840 |  3529362 |     1316   6562 |        0 |        0
918.78/919.05	c  919s |      24 |  4014962 |  3536362 |     1316   6572 |        0 |        0
920.77/921.06	c  921s |      24 |  4022190 |  3542762 |     1316   6581 |        0 |        0
922.78/923.07	c  923s |      24 |  4029962 |  3549762 |     1316   6591 |        0 |        0
924.77/925.07	c  925s |      24 |  4037337 |  3556462 |     1316   6600 |        0 |        0
926.77/927.09	c  927s |      24 |  4044599 |  3562862 |     1316   6609 |        0 |        0
928.87/929.12	c  929s |      24 |  4052152 |  3569562 |     1316   6618 |        0 |        0
930.87/931.13	c  931s |      24 |  4060133 |  3576662 |     1316   6628 |        0 |        0
932.87/933.15	c  933s |      24 |  4067874 |  3583562 |     1316   6638 |        0 |        0
934.87/935.18	c  935s |      24 |  4075438 |  3590362 |     1316   6648 |        0 |        0
936.97/937.21	c  937s |      24 |  4082593 |  3596862 |     1316   6657 |        0 |        0
938.96/939.22	c  939s |      24 |  4089900 |  3603462 |     1316   6666 |        0 |        0
940.96/941.24	c  941s |      24 |  4097174 |  3610062 |     1316   6676 |        0 |        0
942.96/943.25	c  943s |      24 |  4104959 |  3616962 |     1316   6685 |        0 |        0
944.97/945.25	c  945s |      24 |  4112684 |  3623962 |     1316   6695 |        0 |        0
946.97/947.27	c  947s |      24 |  4120517 |  3630962 |     1316   6705 |        0 |        0
948.96/949.28	c  949s |      24 |  4128524 |  3638062 |     1316   6715 |        0 |        0
951.06/951.30	c  951s |      24 |  4135705 |  3644462 |     1316   6724 |        0 |        0
953.06/953.31	c  953s |      24 |  4143492 |  3651362 |     1316   6734 |        0 |        0
955.06/955.33	c  955s |      24 |  4151481 |  3658562 |     1316   6744 |        0 |        0
957.06/957.34	c  957s |      24 |  4159307 |  3665562 |     1316   6754 |        0 |        0
959.06/959.36	c  959s |      24 |  4166984 |  3672462 |     1316   6764 |        0 |        0
961.06/961.39	c  961s |      24 |  4174573 |  3679262 |     1316   6774 |        0 |        0
963.16/963.41	c  963s |      24 |  4182421 |  3686262 |     1316   6783 |        0 |        0
965.16/965.43	c  965s |      24 |  4190061 |  3693162 |     1316   6793 |        0 |        0
967.15/967.44	c  967s |      24 |  4197618 |  3699962 |     1316   6803 |        0 |        0
969.15/969.46	c  969s |      24 |  4205613 |  3707062 |     1316   6813 |        0 |        0
971.16/971.48	c  971s |      24 |  4213502 |  3714162 |     1316   6823 |        0 |        0
973.15/973.48	c  973s |      24 |  4220895 |  3720862 |     1316   6832 |        0 |        0
975.15/975.50	c  975s |      24 |  4228188 |  3727362 |     1316   6841 |        0 |        0
977.25/977.52	c  977s |      24 |  4235873 |  3734262 |     1316   6851 |        0 |        0
979.25/979.54	c  979s |      24 |  4243427 |  3740962 |     1316   6861 |        0 |        0
981.25/981.55	c  981s |      24 |  4250851 |  3747662 |     1316   6870 |        0 |        0
983.25/983.57	c  983s |      24 |  4257946 |  3753962 |     1316   6879 |        0 |        0
985.25/985.57	c  985s |      24 |  4264984 |  3760362 |     1316   6888 |        0 |        0
987.24/987.58	c  987s |      24 |  4271843 |  3766462 |     1316   6897 |        0 |        0
989.34/989.60	c  989s |      24 |  4279578 |  3773262 |     1316   6906 |        0 |        0
991.34/991.62	c  991s |      24 |  4287848 |  3780762 |     1316   6917 |        0 |        0
993.34/993.62	c  993s |      24 |  4296024 |  3788062 |     1316   6927 |        0 |        0
995.35/995.63	c  995s |      24 |  4304008 |  3795162 |     1316   6938 |        0 |        0
997.34/997.65	c  997s |      24 |  4311989 |  3802262 |     1316   6948 |        0 |        0
999.34/999.67	c  999s |      24 |  4320187 |  3809462 |     1316   6958 |        0 |        0
1001.34/1001.67	c 1001s |      24 |  4328699 |  3817162 |     1316   6969 |        0 |        0
1003.34/1003.67	c 1003s |      24 |  4337651 |  3825162 |     1316   6980 |        0 |        0
1005.34/1005.68	c 1005s |      24 |  4346493 |  3833062 |     1316   6991 |        0 |        0
1007.34/1007.70	c 1007s |      24 |  4354541 |  3840162 |     1316   7001 |        0 |        0
1009.43/1009.71	c 1009s |      24 |  4363306 |  3847862 |     1316   7012 |        0 |        0
1011.43/1011.73	c 1011s |      24 |  4371627 |  3855262 |     1316   7023 |        0 |        0
1013.43/1013.75	c 1013s |      24 |  4379820 |  3862662 |     1316   7033 |        0 |        0
1015.43/1015.75	c 1015s |      24 |  4387736 |  3869862 |     1316   7044 |        0 |        0
1017.42/1017.76	c 1017s |      24 |  4396071 |  3877262 |     1316   7054 |        0 |        0
1019.43/1019.78	c 1019s |      24 |  4404122 |  3884462 |     1316   7064 |        0 |        0
1021.42/1021.79	c 1021s |      24 |  4411955 |  3891462 |     1316   7074 |        0 |        0
1023.52/1023.80	c 1023s |      24 |  4420704 |  3899062 |     1316   7085 |        0 |        0
1025.52/1025.80	c 1025s |      24 |  4429107 |  3906562 |     1316   7096 |        0 |        0
1027.53/1027.83	c 1027s |      24 |  4437416 |  3914062 |     1316   7107 |        0 |        0
1029.53/1029.85	c 1029s |      24 |  4445505 |  3921362 |     1316   7117 |        0 |        0
1031.53/1031.86	c 1031s |      24 |  4453681 |  3928762 |     1316   7127 |        0 |        0
1033.53/1033.87	c 1033s |      24 |  4461686 |  3936062 |     1316   7138 |        0 |        0
1035.63/1035.90	c 1035s |      24 |  4470733 |  3944262 |     1316   7149 |        0 |        0
1037.62/1037.91	c 1037s |      24 |  4479024 |  3951762 |     1316   7160 |        0 |        0
1039.62/1039.93	c 1039s |      24 |  4487466 |  3959462 |     1316   7171 |        0 |        0
1041.62/1041.95	c 1041s |      24 |  4495587 |  3966862 |     1316   7182 |        0 |        0
1043.63/1043.97	c 1043s |      24 |  4504062 |  3974562 |     1316   7192 |        0 |        0
1045.62/1045.98	c 1045s |      24 |  4512205 |  3981962 |     1316   7203 |        0 |        0
1047.71/1048.00	c 1047s |      24 |  4520779 |  3989762 |     1316   7214 |        0 |        0
1049.71/1050.02	c 1049s |      24 |  4529392 |  3997562 |     1316   7225 |        0 |        0
1051.71/1052.04	c 1052s |      24 |  4538161 |  4005462 |     1316   7236 |        0 |        0
1053.71/1054.04	c 1054s |      24 |  4546117 |  4012662 |     1316   7246 |        0 |        0
1055.72/1056.05	c 1056s |      24 |  4554124 |  4019862 |     1316   7257 |        0 |        0
1057.71/1058.06	c 1058s |      24 |  4561915 |  4026962 |     1316   7267 |        0 |        0
1059.71/1060.08	c 1060s |      24 |  4569639 |  4033962 |     1316   7277 |        0 |        0
1061.71/1062.08	c 1062s |      24 |  4577288 |  4040862 |     1316   7286 |        0 |        0
1063.71/1064.09	c 1064s |      24 |  4584446 |  4047362 |     1316   7296 |        0 |        0
1065.81/1066.11	c 1066s |      24 |  4592305 |  4054462 |     1316   7306 |        0 |        0
1067.81/1068.14	c 1068s |      24 |  4600307 |  4061662 |     1316   7316 |        0 |        0
1069.81/1070.16	c 1070s |      24 |  4607839 |  4068462 |     1316   7325 |        0 |        0
1071.81/1072.19	c 1072s |      24 |  4615125 |  4075062 |     1316   7335 |        0 |        0
1073.80/1074.19	c 1074s |      24 |  4622290 |  4081562 |     1316   7344 |        0 |        0
1075.80/1076.19	c 1076s |      24 |  4629296 |  4087962 |     1316   7353 |        0 |        0
1077.81/1078.19	c 1078s |      24 |  4637460 |  4095162 |     1316   7363 |        0 |        0
1079.80/1080.20	c 1080s |      24 |  4645756 |  4102662 |     1316   7374 |        0 |        0
1081.90/1082.21	c 1082s |      24 |  4654062 |  4110162 |     1316   7385 |        0 |        0
1083.90/1084.22	c 1084s |      24 |  4662100 |  4117362 |     1316   7395 |        0 |        0
1085.90/1086.24	c 1086s |      24 |  4670142 |  4124662 |     1316   7405 |        0 |        0
1087.89/1088.25	c 1088s |      24 |  4677638 |  4131462 |     1316   7415 |        0 |        0
1089.90/1090.27	c 1090s |      24 |  4684461 |  4137562 |     1316   7423 |        0 |        0
1091.89/1092.28	c 1092s |      24 |  4691799 |  4144162 |     1316   7433 |        0 |        0
1093.99/1094.31	c 1094s |      24 |  4700284 |  4151662 |     1316   7443 |        0 |        0
1095.99/1096.31	c 1096s |      24 |  4708857 |  4159362 |     1316   7454 |        0 |        0
1097.99/1098.34	c 1098s |      24 |  4717762 |  4167262 |     1316   7466 |        0 |        0
1099.99/1100.36	c 1100s |      24 |  4726424 |  4175062 |     1316   7477 |        0 |        0
1102.00/1102.36	c 1102s |      24 |  4734718 |  4182462 |     1316   7487 |        0 |        0
1103.99/1104.40	c 1104s |      24 |  4743073 |  4189962 |     1316   7498 |        0 |        0
1106.09/1106.40	c 1106s |      24 |  4751640 |  4197662 |     1316   7509 |        0 |        0
1108.09/1108.43	c 1108s |      24 |  4759635 |  4204962 |     1316   7519 |        0 |        0
1110.09/1110.45	c 1110s |      24 |  4767921 |  4212462 |     1316   7530 |        0 |        0
1112.09/1112.47	c 1112s |      24 |  4776086 |  4219862 |     1316   7540 |        0 |        0
1114.09/1114.47	c 1114s |      24 |  4785003 |  4227662 |     1316   7551 |        0 |        0
1116.08/1116.48	c 1116s |      24 |  4794554 |  4236162 |     1316   7563 |        0 |        0
1118.08/1118.49	c 1118s |      24 |  4804217 |  4244762 |     1316   7575 |        0 |        0
1120.18/1120.51	c 1120s |      24 |  4813669 |  4253262 |     1316   7587 |        0 |        0
1122.18/1122.52	c 1122s |      24 |  4822516 |  4261162 |     1316   7599 |        0 |        0
1124.18/1124.52	c 1124s |      24 |  4831225 |  4268862 |     1316   7610 |        0 |        0
1126.18/1126.53	c 1126s |      24 |  4839925 |  4276562 |     1316   7620 |        0 |        0
1128.17/1128.56	c 1128s |      24 |  4848704 |  4284362 |     1316   7632 |        0 |        0
1130.17/1130.58	c 1130s |      24 |  4857893 |  4292562 |     1316   7643 |        0 |        0
1132.17/1132.58	c 1132s |      24 |  4866173 |  4299962 |     1316   7654 |        0 |        0
1134.27/1134.61	c 1134s |      24 |  4874555 |  4307462 |     1316   7664 |        0 |        0
1136.27/1136.63	c 1136s |      24 |  4883362 |  4315362 |     1316   7676 |        0 |        0
1138.27/1138.65	c 1138s |      24 |  4892122 |  4323162 |     1316   7687 |        0 |        0
1140.26/1140.66	c 1140s |      24 |  4901311 |  4331462 |     1316   7698 |        0 |        0
1142.26/1142.68	c 1142s |      24 |  4909343 |  4338762 |     1316   7709 |        0 |        0
1144.36/1144.70	c 1144s |      24 |  4917674 |  4346262 |     1316   7719 |        0 |        0
1146.36/1146.71	c 1146s |      24 |  4925862 |  4353562 |     1316   7730 |        0 |        0
1148.36/1148.73	c 1148s |      24 |  4933404 |  4360362 |     1316   7739 |        0 |        0
1150.36/1150.75	c 1150s |      24 |  4940846 |  4367062 |     1316   7749 |        0 |        0
1152.36/1152.76	c 1152s |      24 |  4948580 |  4373962 |     1316   7759 |        0 |        0
1154.36/1154.79	c 1154s |      24 |  4955934 |  4380562 |     1316   7768 |        0 |        0
1156.45/1156.81	c 1156s |      24 |  4963298 |  4387262 |     1316   7778 |        0 |        0
1158.45/1158.84	c 1158s |      24 |  4970921 |  4394162 |     1316   7787 |        0 |        0
1160.45/1160.86	c 1160s |      24 |  4978399 |  4400962 |     1316   7797 |        0 |        0
1162.46/1162.90	c 1162s |      24 |  4986680 |  4408362 |     1316   7808 |        0 |        0
1164.56/1164.91	c 1164s |      24 |  4994542 |  4415462 |     1316   7818 |        0 |        0
1166.54/1166.91	c 1166s |      24 |  5002892 |  4422962 |     1316   7828 |        0 |        0
1168.54/1168.93	c 1168s |      24 |  5011812 |  4430862 |     1316   7839 |        0 |        0
1170.54/1170.94	c 1170s |      24 |  5020888 |  4438862 |     1316   7851 |        0 |        0
1172.54/1172.96	c 1172s |      24 |  5029870 |  4446762 |     1316   7862 |        0 |        0
1174.55/1174.96	c 1174s |      24 |  5038423 |  4454462 |     1316   7873 |        0 |        0
1176.54/1176.98	c 1176s |      24 |  5047008 |  4462062 |     1316   7884 |        0 |        0
1178.54/1178.99	c 1178s |      24 |  5055618 |  4469762 |     1316   7895 |        0 |        0
1180.65/1181.02	c 1180s |      24 |  5063724 |  4476962 |     1316   7905 |        0 |        0
1182.65/1183.03	c 1183s |      24 |  5071982 |  4484362 |     1316   7915 |        0 |        0
1184.65/1185.03	c 1185s |      24 |  5080480 |  4492062 |     1316   7926 |        0 |        0
1186.65/1187.05	c 1187s |      24 |  5088612 |  4499462 |     1316   7937 |        0 |        0
1188.64/1189.05	c 1189s |      24 |  5097648 |  4507362 |     1316   7948 |        0 |        0
1190.64/1191.06	c 1191s |      24 |  5106159 |  4514962 |     1316   7959 |        0 |        0
1192.64/1193.06	c 1193s |      24 |  5115257 |  4523162 |     1316   7970 |        0 |        0
1194.64/1195.07	c 1195s |      24 |  5124205 |  4531162 |     1316   7982 |        0 |        0
1196.64/1197.08	c 1197s |      24 |  5132853 |  4538962 |     1316   7993 |        0 |        0
1198.74/1199.12	c 1199s |      24 |  5141691 |  4546662 |     1316   8004 |        0 |        0
1200.74/1201.13	c 1201s |      24 |  5150261 |  4554262 |     1316   8014 |        0 |        0
1202.74/1203.14	c 1203s |      24 |  5158930 |  4562062 |     1316   8025 |        0 |        0
1204.74/1205.15	c 1205s |      24 |  5167607 |  4569862 |     1316   8036 |        0 |        0
1206.73/1207.16	c 1207s |      24 |  5175633 |  4577062 |     1316   8047 |        0 |        0
1208.73/1209.17	c 1209s |      24 |  5184323 |  4584762 |     1316   8057 |        0 |        0
1210.74/1211.19	c 1211s |      24 |  5193514 |  4593062 |     1316   8069 |        0 |        0
1212.73/1213.19	c 1213s |      24 |  5202483 |  4601062 |     1316   8081 |        0 |        0
1214.83/1215.20	c 1215s |      24 |  5211561 |  4609162 |     1316   8092 |        0 |        0
1216.83/1217.22	c 1217s |      24 |  5220705 |  4617262 |     1316   8104 |        0 |        0
1218.83/1219.24	c 1219s |      24 |  5229695 |  4625262 |     1316   8115 |        0 |        0
1220.83/1221.24	c 1221s |      24 |  5238505 |  4633162 |     1316   8126 |        0 |        0
1221.13/1221.56	c 1221s |      24 |  5239671 |  4634207 |     1316   8128 |        0 |        0
1221.13/1221.56	c #cpu_time = 1218.178s
1221.13/1221.56	c #wall_clock_time = 1221.531s
1221.13/1221.56	c #decision = 5239671
1221.13/1221.56	c #random_decision = 22044
1221.13/1221.56	c #conflict = 4634207
1221.13/1221.56	c #restart = 24
1221.13/1221.56	c BCD2: found a new core of size 17: cost of the new core is >=1
1221.13/1221.56	c lower bound updated to 1
1221.13/1221.56	c BCD2: 1 <= obj <= 1055
1221.13/1221.56	c BCD2: #cores=1, #unrelaxed=18, #relaxed=17, #hardened=0
1221.13/1221.56	c BCD2: #sat=1 #unsat=2 bias=2/3
1221.13/1221.56	c Solving starts ...
1221.13/1221.56	c ============================[ Search Statistics ]============================
1221.13/1221.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1221.13/1221.56	c       |         |          |          |    Limit     GC | Var      | Constra 
1221.13/1221.56	c =============================================================================
1221.13/1221.56	c  0.0s |       0 |        0 |        0 |     1316      0 |        0 |        0
1221.13/1221.57	c  0.0s |       1 |      283 |      100 |     1316      0 |        0 |        0
1221.13/1221.60	c  0.0s |       2 |      554 |      250 |     1316      0 |        0 |        0
1221.23/1221.63	c  0.1s |       3 |      878 |      475 |     1316      0 |        0 |        0
1221.33/1221.71	c  0.1s |       4 |     1627 |      813 |     1316      1 |        0 |        0
1221.43/1221.83	c  0.3s |       5 |     2321 |     1320 |     1316      2 |        0 |        0
1221.63/1222.03	c  0.5s |       6 |     3293 |     2081 |     1316      3 |        0 |        0
1221.83/1222.29	c  0.7s |       7 |     4659 |     3223 |     1316      4 |        0 |        0
1222.33/1222.77	c  1.2s |       8 |     6714 |     4936 |     1316      7 |        0 |        0
1223.03/1223.40	c  1.8s |       9 |     9645 |     7506 |     1316     10 |        0 |        0
1224.03/1224.41	c  2.8s |      10 |    14309 |    11361 |     1316     16 |        0 |        0
1225.42/1225.87	c  4.3s |      11 |    21156 |    17144 |     1316     24 |        0 |        0
1227.42/1227.89	c  6.3s |      11 |    30441 |    25044 |     1316     35 |        0 |        0
1227.72/1228.10	c  6.5s |      12 |    31305 |    25819 |     1316     36 |        0 |        0
1229.72/1230.12	c  8.6s |      12 |    40916 |    34219 |     1316     48 |        0 |        0
1230.82/1231.23	c  9.7s |      13 |    46104 |    38832 |     1316     55 |        0 |        0
1232.82/1233.25	c 11.7s |      13 |    55456 |    46832 |     1316     66 |        0 |        0
1234.82/1235.27	c 13.7s |      13 |    63402 |    54032 |     1316     77 |        0 |        0
1236.12/1236.50	c 14.9s |      14 |    68171 |    58352 |     1316     83 |        0 |        0
1238.11/1238.51	c 16.9s |      14 |    77718 |    66552 |     1316     94 |        0 |        0
1240.11/1240.53	c 19.0s |      14 |    87623 |    75052 |     1316    107 |        0 |        0
1242.11/1242.55	c 21.0s |      14 |    97569 |    83552 |     1316    119 |        0 |        0
1243.11/1243.55	c 22.0s |      15 |   102294 |    87632 |     1316    125 |        0 |        0
1245.11/1245.57	c 24.0s |      15 |   112061 |    96032 |     1316    137 |        0 |        0
1247.11/1247.58	c 26.0s |      15 |   121912 |   104732 |     1316    149 |        0 |        0
1249.21/1249.60	c 28.0s |      15 |   130629 |   112432 |     1316    160 |        0 |        0
1251.20/1251.62	c 30.1s |      15 |   139544 |   120432 |     1316    172 |        0 |        0
1253.20/1253.64	c 32.1s |      15 |   149114 |   128632 |     1316    183 |        0 |        0
1253.90/1254.39	c 32.8s |      16 |   152512 |   131552 |     1316    188 |        0 |        0
1256.00/1256.41	c 34.9s |      16 |   162116 |   139752 |     1316    199 |        0 |        0
1258.01/1258.43	c 36.9s |      16 |   170812 |   147452 |     1316    210 |        0 |        0
1260.00/1260.44	c 38.9s |      16 |   179090 |   154752 |     1316    221 |        0 |        0
1262.00/1262.45	c 40.9s |      16 |   187822 |   162452 |     1316    232 |        0 |        0
1264.00/1264.45	c 42.9s |      16 |   195791 |   169652 |     1316    242 |        0 |        0
1266.00/1266.47	c 44.9s |      16 |   204256 |   177052 |     1316    253 |        0 |        0
1268.00/1268.49	c 46.9s |      16 |   212380 |   184252 |     1316    263 |        0 |        0
1270.10/1270.50	c 48.9s |      16 |   220832 |   191752 |     1316    274 |        0 |        0
1271.69/1272.13	c 50.6s |      17 |   227290 |   197432 |     1316    282 |        0 |        0
1273.69/1274.13	c 52.6s |      17 |   236635 |   205532 |     1316    294 |        0 |        0
1275.70/1276.14	c 54.6s |      17 |   245760 |   213532 |     1316    305 |        0 |        0
1277.69/1278.14	c 56.6s |      17 |   254588 |   221332 |     1316    317 |        0 |        0
1279.69/1280.15	c 58.6s |      17 |   263706 |   229432 |     1316    328 |        0 |        0
1281.69/1282.16	c 60.6s |      17 |   272302 |   237032 |     1316    339 |        0 |        0
1283.69/1284.16	c 62.6s |      17 |   280756 |   244532 |     1316    350 |        0 |        0
1285.69/1286.17	c 64.6s |      17 |   289434 |   252032 |     1316    361 |        0 |        0
1287.69/1288.18	c 66.6s |      17 |   297238 |   258732 |     1316    371 |        0 |        0
1289.68/1290.19	c 68.6s |      17 |   305579 |   265832 |     1316    381 |        0 |        0
1291.78/1292.20	c 70.6s |      17 |   314660 |   273832 |     1316    392 |        0 |        0
1293.78/1294.20	c 72.6s |      17 |   322297 |   280832 |     1316    402 |        0 |        0
1295.78/1296.22	c 74.7s |      17 |   331367 |   288832 |     1316    414 |        0 |        0
1297.69/1298.14	c 76.6s |      18 |   339732 |   296252 |     1316    424 |        0 |        0
1299.69/1300.15	c 78.6s |      18 |   349675 |   304852 |     1316    436 |        0 |        0
1301.69/1302.17	c 80.6s |      18 |   358934 |   313152 |     1316    448 |        0 |        0
1303.68/1304.18	c 82.6s |      18 |   367912 |   321252 |     1316    460 |        0 |        0
1305.78/1306.20	c 84.6s |      18 |   376648 |   329052 |     1316    471 |        0 |        0
1307.78/1308.22	c 86.7s |      18 |   385585 |   336852 |     1316    482 |        0 |        0
1309.78/1310.24	c 88.7s |      18 |   393627 |   344052 |     1316    492 |        0 |        0
1311.78/1312.27	c 90.7s |      18 |   401763 |   351352 |     1316    503 |        0 |        0
1313.78/1314.29	c 92.7s |      18 |   409941 |   358652 |     1316    513 |        0 |        0
1315.88/1316.30	c 94.7s |      18 |   418067 |   365852 |     1316    523 |        0 |        0
1317.87/1318.30	c 96.7s |      18 |   425279 |   372252 |     1316    532 |        0 |        0
1319.87/1320.33	c 98.8s |      18 |   432871 |   379052 |     1316    542 |        0 |        0
1321.88/1322.34	c  100s |      18 |   440654 |   386052 |     1316    552 |        0 |        0
1323.87/1324.35	c  102s |      18 |   449005 |   393552 |     1316    563 |        0 |        0
1325.87/1326.37	c  104s |      18 |   457017 |   400652 |     1448    572 |        0 |        0
1327.86/1328.37	c  106s |      18 |   465784 |   408452 |     1448    582 |        0 |        0
1329.86/1330.37	c  108s |      18 |   475076 |   416752 |     1448    593 |        0 |        0
1331.86/1332.38	c  110s |      18 |   484235 |   424952 |     1448    604 |        0 |        0
1333.96/1334.40	c  112s |      18 |   493159 |   432952 |     1448    614 |        0 |        0
1335.96/1336.41	c  114s |      18 |   501710 |   440552 |     1448    624 |        0 |        0
1336.95/1337.48	c  115s |      19 |   506241 |   444482 |     1448    629 |        0 |        0
1339.05/1339.51	c  117s |      19 |   515350 |   452382 |     1448    639 |        0 |        0
1341.05/1341.51	c  119s |      19 |   524345 |   460282 |     1448    650 |        0 |        0
1343.05/1343.52	c  121s |      19 |   532758 |   467682 |     1448    659 |        0 |        0
1345.05/1345.52	c  123s |      19 |   540998 |   474982 |     1448    669 |        0 |        0
1347.06/1347.52	c  125s |      19 |   549724 |   482582 |     1448    679 |        0 |        0
1349.05/1349.53	c  127s |      19 |   558485 |   489982 |     1448    689 |        0 |        0
1351.05/1351.55	c  129s |      19 |   567226 |   497682 |     1448    699 |        0 |        0
1353.05/1353.55	c  131s |      19 |   575817 |   505182 |     1448    709 |        0 |        0
1355.05/1355.58	c  134s |      19 |   583890 |   512382 |     1448    718 |        0 |        0
1357.06/1357.59	c  136s |      19 |   591626 |   519282 |     1448    727 |        0 |        0
1359.16/1359.60	c  138s |      19 |   600709 |   527182 |     1448    737 |        0 |        0
1361.15/1361.61	c  140s |      19 |   609109 |   534682 |     1448    747 |        0 |        0
1363.15/1363.64	c  142s |      19 |   617078 |   541782 |     1448    757 |        0 |        0
1365.15/1365.66	c  144s |      19 |   624841 |   548782 |     1448    766 |        0 |        0
1367.15/1367.66	c  146s |      19 |   632375 |   555582 |     1448    775 |        0 |        0
1369.16/1369.67	c  148s |      19 |   640298 |   562682 |     1448    784 |        0 |        0
1371.15/1371.69	c  150s |      19 |   648876 |   570282 |     1448    794 |        0 |        0
1373.25/1373.71	c  152s |      19 |   657562 |   577982 |     1448    804 |        0 |        0
1375.25/1375.72	c  154s |      19 |   666493 |   585882 |     1448    814 |        0 |        0
1377.25/1377.73	c  156s |      19 |   675250 |   593582 |     1448    825 |        0 |        0
1379.25/1379.75	c  158s |      19 |   684494 |   601782 |     1448    835 |        0 |        0
1381.25/1381.76	c  160s |      19 |   694058 |   610182 |     1448    846 |        0 |        0
1383.25/1383.77	c  162s |      19 |   703022 |   618082 |     1448    857 |        0 |        0
1385.25/1385.77	c  164s |      19 |   712248 |   626282 |     1448    868 |        0 |        0
1387.35/1387.80	c  166s |      19 |   721591 |   634682 |     1448    878 |        0 |        0
1389.34/1389.82	c  168s |      19 |   730609 |   642682 |     1448    889 |        0 |        0
1391.34/1391.84	c  170s |      19 |   738722 |   649982 |     1448    898 |        0 |        0
1393.35/1393.86	c  172s |      19 |   746935 |   657282 |     1448    908 |        0 |        0
1395.34/1395.86	c  174s |      19 |   754880 |   664482 |     1448    917 |        0 |        0
1396.04/1396.56	c  174s |      20 |   757532 |   666827 |     1448    920 |        0 |        0
1398.04/1398.57	c  177s |      20 |   766129 |   674227 |     1448    930 |        0 |        0
1400.04/1400.58	c  179s |      20 |   775021 |   682027 |     1448    940 |        0 |        0
1402.05/1402.60	c  181s |      20 |   783237 |   689327 |     1448    950 |        0 |        0
1404.14/1404.61	c  183s |      20 |   791403 |   696627 |     1448    959 |        0 |        0
1406.14/1406.63	c  185s |      20 |   799891 |   704027 |     1448    969 |        0 |        0
1408.14/1408.63	c  187s |      20 |   809205 |   712227 |     1448    979 |        0 |        0
1410.14/1410.64	c  189s |      20 |   818137 |   720027 |     1448    990 |        0 |        0
1412.14/1412.65	c  191s |      20 |   827251 |   728127 |     1448   1000 |        0 |        0
1414.15/1414.67	c  193s |      20 |   836376 |   735927 |     1448   1010 |        0 |        0
1416.14/1416.69	c  195s |      20 |   845324 |   743827 |     1448   1021 |        0 |        0
1418.24/1418.70	c  197s |      20 |   854018 |   751527 |     1448   1031 |        0 |        0
1420.24/1420.70	c  199s |      20 |   862941 |   759327 |     1448   1041 |        0 |        0
1422.24/1422.72	c  201s |      20 |   871584 |   767027 |     1448   1051 |        0 |        0
1424.24/1424.74	c  203s |      20 |   879625 |   774227 |     1448   1060 |        0 |        0
1426.24/1426.76	c  205s |      20 |   887987 |   781627 |     1448   1070 |        0 |        0
1428.24/1428.76	c  207s |      20 |   895989 |   788727 |     1448   1079 |        0 |        0
1430.24/1430.78	c  209s |      20 |   903900 |   795827 |     1448   1089 |        0 |        0
1432.24/1432.79	c  211s |      20 |   911522 |   802727 |     1448   1098 |        0 |        0
1434.34/1434.80	c  213s |      20 |   919553 |   809827 |     1448   1107 |        0 |        0
1436.34/1436.81	c  215s |      20 |   926606 |   816227 |     1448   1115 |        0 |        0
1438.34/1438.81	c  217s |      20 |   933759 |   822627 |     1448   1124 |        0 |        0
1440.34/1440.81	c  219s |      20 |   941208 |   829227 |     1448   1132 |        0 |        0
1442.33/1442.83	c  221s |      20 |   948628 |   835827 |     1448   1141 |        0 |        0
1444.33/1444.84	c  223s |      20 |   955704 |   842127 |     1448   1149 |        0 |        0
1446.33/1446.87	c  225s |      20 |   962643 |   848327 |     1448   1158 |        0 |        0
1448.34/1448.88	c  227s |      20 |   969663 |   854527 |     1448   1166 |        0 |        0
1450.33/1450.89	c  229s |      20 |   977364 |   861327 |     1448   1174 |        0 |        0
1452.43/1452.91	c  231s |      20 |   985405 |   868427 |     1448   1184 |        0 |        0
1454.43/1454.92	c  233s |      20 |   992816 |   874927 |     1448   1192 |        0 |        0
1456.43/1456.92	c  235s |      20 |  1000645 |   881827 |     1448   1201 |        0 |        0
1458.43/1458.92	c  237s |      20 |  1007965 |   888327 |     1448   1210 |        0 |        0
1460.44/1460.94	c  239s |      20 |  1015893 |   895327 |     1448   1219 |        0 |        0
1462.43/1462.95	c  241s |      20 |  1023094 |   901627 |     1448   1227 |        0 |        0
1464.43/1464.98	c  243s |      20 |  1029838 |   907727 |     1448   1235 |        0 |        0
1466.53/1467.01	c  245s |      20 |  1036225 |   913527 |     1448   1243 |        0 |        0
1468.53/1469.04	c  247s |      20 |  1044240 |   920327 |     1448   1252 |        0 |        0
1470.53/1471.05	c  249s |      20 |  1052293 |   927227 |     1448   1261 |        0 |        0
1472.54/1473.05	c  251s |      20 |  1061001 |   934727 |     1448   1270 |        0 |        0
1474.53/1475.06	c  253s |      20 |  1068415 |   941227 |     1448   1279 |        0 |        0
1476.53/1477.09	c  255s |      20 |  1075198 |   947127 |     1448   1286 |        0 |        0
1478.63/1479.13	c  257s |      20 |  1082336 |   953327 |     1448   1295 |        0 |        0
1480.63/1481.14	c  259s |      20 |  1090082 |   960127 |     1448   1303 |        0 |        0
1482.63/1483.17	c  261s |      20 |  1097242 |   966327 |     1448   1312 |        0 |        0
1484.63/1485.20	c  263s |      20 |  1104588 |   972727 |     1448   1320 |        0 |        0
1486.63/1487.20	c  265s |      20 |  1111552 |   978827 |     1448   1328 |        0 |        0
1488.73/1489.23	c  267s |      20 |  1119146 |   985527 |     1448   1337 |        0 |        0
1490.73/1491.24	c  269s |      20 |  1126555 |   992027 |     1448   1345 |        0 |        0
1492.73/1493.27	c  271s |      20 |  1133483 |   998227 |     1448   1353 |        0 |        0
1493.44/1493.98	c  272s |      21 |  1135864 |  1000345 |     1448   1356 |        0 |        0
1495.43/1495.99	c  274s |      21 |  1145564 |  1007445 |     1448   1365 |        0 |        0
1497.53/1498.00	c  276s |      21 |  1153395 |  1014045 |     1448   1374 |        0 |        0
1499.53/1500.04	c  278s |      21 |  1160256 |  1020045 |     1448   1381 |        0 |        0
1501.53/1502.06	c  280s |      21 |  1166727 |  1025745 |     1448   1389 |        0 |        0
1503.53/1504.09	c  282s |      21 |  1173220 |  1031345 |     1448   1396 |        0 |        0
1505.54/1506.09	c  284s |      21 |  1181291 |  1038345 |     1448   1405 |        0 |        0
1507.53/1508.10	c  286s |      21 |  1188672 |  1044945 |     1448   1414 |        0 |        0
1509.63/1510.12	c  288s |      21 |  1196126 |  1051245 |     1448   1422 |        0 |        0
1511.63/1512.13	c  290s |      21 |  1204182 |  1058245 |     1448   1431 |        0 |        0
1513.63/1514.16	c  292s |      21 |  1212406 |  1065545 |     1448   1441 |        0 |        0
1515.63/1516.17	c  294s |      21 |  1220732 |  1072845 |     1448   1450 |        0 |        0
1517.63/1518.19	c  296s |      21 |  1228545 |  1079745 |     1448   1459 |        0 |        0
1519.63/1520.20	c  298s |      21 |  1235490 |  1085945 |     1448   1467 |        0 |        0
1521.73/1522.23	c  300s |      21 |  1242101 |  1091845 |     1448   1475 |        0 |        0
1523.73/1524.25	c  302s |      21 |  1248371 |  1097545 |     1448   1482 |        0 |        0
1525.73/1526.25	c  304s |      21 |  1254845 |  1103445 |     1448   1490 |        0 |        0
1527.72/1528.26	c  306s |      21 |  1260732 |  1108745 |     1448   1497 |        0 |        0
1529.73/1530.28	c  308s |      21 |  1268372 |  1115445 |     1448   1505 |        0 |        0
1531.72/1532.29	c  310s |      21 |  1276968 |  1123145 |     1448   1516 |        0 |        0
1533.82/1534.30	c  312s |      21 |  1285569 |  1130745 |     1448   1525 |        0 |        0
1535.82/1536.31	c  314s |      21 |  1293049 |  1137445 |     1448   1534 |        0 |        0
1537.82/1538.31	c  316s |      21 |  1300281 |  1143945 |     1448   1543 |        0 |        0
1539.82/1540.33	c  318s |      21 |  1308119 |  1150845 |     1448   1552 |        0 |        0
1541.83/1542.35	c  320s |      21 |  1316078 |  1157745 |     1448   1561 |        0 |        0
1543.82/1544.38	c  322s |      21 |  1323851 |  1164545 |     1448   1570 |        0 |        0
1545.82/1546.38	c  324s |      21 |  1331915 |  1171645 |     1448   1579 |        0 |        0
1547.82/1548.38	c  326s |      21 |  1339279 |  1178145 |     1448   1587 |        0 |        0
1549.92/1550.41	c  328s |      21 |  1346334 |  1184445 |     1448   1596 |        0 |        0
1551.92/1552.43	c  330s |      21 |  1353707 |  1190845 |     1448   1604 |        0 |        0
1553.93/1554.44	c  332s |      21 |  1360511 |  1196845 |     1448   1612 |        0 |        0
1555.92/1556.46	c  334s |      21 |  1367364 |  1203045 |     1448   1620 |        0 |        0
1557.92/1558.47	c  336s |      21 |  1374607 |  1209545 |     1448   1628 |        0 |        0
1559.92/1560.49	c  338s |      21 |  1382380 |  1216445 |     1448   1637 |        0 |        0
1562.02/1562.50	c  340s |      21 |  1389732 |  1223045 |     1448   1646 |        0 |        0
1564.02/1564.53	c  342s |      21 |  1397213 |  1229745 |     1448   1655 |        0 |        0
1566.02/1566.53	c  344s |      21 |  1404586 |  1236245 |     1448   1663 |        0 |        0
1568.02/1568.53	c  346s |      21 |  1411204 |  1242045 |     1448   1671 |        0 |        0
1570.02/1570.54	c  348s |      21 |  1418430 |  1248345 |     1448   1679 |        0 |        0
1572.02/1572.56	c  351s |      21 |  1426238 |  1255145 |     1448   1688 |        0 |        0
1574.02/1574.57	c  353s |      21 |  1433631 |  1261545 |     1448   1696 |        0 |        0
1576.01/1576.57	c  355s |      21 |  1440513 |  1267645 |     1448   1704 |        0 |        0
1578.02/1578.59	c  357s |      21 |  1447551 |  1273745 |     1448   1712 |        0 |        0
1580.11/1580.60	c  359s |      21 |  1454853 |  1280045 |     1448   1720 |        0 |        0
1582.11/1582.60	c  361s |      21 |  1462880 |  1286945 |     1448   1729 |        0 |        0
1584.11/1584.62	c  363s |      21 |  1469763 |  1292945 |     1448   1737 |        0 |        0
1586.11/1586.64	c  365s |      21 |  1476712 |  1299045 |     1448   1745 |        0 |        0
1588.11/1588.65	c  367s |      21 |  1483595 |  1305045 |     1448   1753 |        0 |        0
1590.12/1590.66	c  369s |      21 |  1490244 |  1310845 |     1448   1760 |        0 |        0
1592.11/1592.68	c  371s |      21 |  1497261 |  1316945 |     1448   1768 |        0 |        0
1594.22/1594.70	c  373s |      21 |  1504988 |  1323645 |     1448   1777 |        0 |        0
1596.22/1596.70	c  375s |      21 |  1512467 |  1330245 |     1448   1786 |        0 |        0
1598.22/1598.73	c  377s |      21 |  1519912 |  1336845 |     1448   1794 |        0 |        0
1600.22/1600.75	c  379s |      21 |  1527407 |  1343345 |     1448   1803 |        0 |        0
1602.22/1602.76	c  381s |      21 |  1535002 |  1350045 |     1448   1812 |        0 |        0
1604.22/1604.76	c  383s |      21 |  1543090 |  1356845 |     1448   1821 |        0 |        0
1606.22/1606.77	c  385s |      21 |  1550643 |  1363445 |     1448   1829 |        0 |        0
1608.21/1608.77	c  387s |      21 |  1558324 |  1370145 |     1448   1838 |        0 |        0
1610.21/1610.78	c  389s |      21 |  1565761 |  1376545 |     1448   1846 |        0 |        0
1612.31/1612.81	c  391s |      21 |  1572836 |  1382645 |     1448   1854 |        0 |        0
1614.32/1614.84	c  393s |      21 |  1579682 |  1388645 |     1448   1862 |        0 |        0
1616.31/1616.86	c  395s |      21 |  1588269 |  1395945 |     1448   1871 |        0 |        0
1618.31/1618.88	c  397s |      21 |  1596850 |  1403345 |     1448   1881 |        0 |        0
1620.31/1620.89	c  399s |      21 |  1604897 |  1410445 |     1448   1890 |        0 |        0
1622.41/1622.90	c  401s |      21 |  1613336 |  1418045 |     1448   1900 |        0 |        0
1624.41/1624.93	c  403s |      21 |  1621147 |  1425045 |     1448   1909 |        0 |        0
1626.42/1626.95	c  405s |      21 |  1628799 |  1431945 |     1448   1918 |        0 |        0
1628.41/1628.95	c  407s |      21 |  1636333 |  1438745 |     1448   1927 |        0 |        0
1630.41/1630.95	c  409s |      21 |  1644383 |  1446045 |     1448   1937 |        0 |        0
1632.41/1632.96	c  411s |      21 |  1652381 |  1453145 |     1448   1946 |        0 |        0
1634.41/1634.98	c  413s |      21 |  1660657 |  1460445 |     1448   1956 |        0 |        0
1636.41/1636.99	c  415s |      21 |  1669862 |  1468245 |     1448   1966 |        0 |        0
1638.41/1639.00	c  417s |      21 |  1678953 |  1476045 |     1448   1976 |        0 |        0
1640.51/1641.01	c  419s |      21 |  1688409 |  1484245 |     1448   1987 |        0 |        0
1642.51/1643.02	c  421s |      21 |  1696378 |  1491145 |     1448   1996 |        0 |        0
1644.50/1645.02	c  423s |      21 |  1703983 |  1497845 |     1448   2004 |        0 |        0
1645.30/1645.88	c  424s |      22 |  1707164 |  1500622 |     1448   2008 |        0 |        0
1647.31/1647.90	c  426s |      22 |  1715456 |  1507822 |     1448   2018 |        0 |        0
1649.40/1649.91	c  428s |      22 |  1723451 |  1514722 |     1448   2027 |        0 |        0
1651.40/1651.94	c  430s |      22 |  1731579 |  1521722 |     1448   2036 |        0 |        0
1653.40/1653.95	c  432s |      22 |  1739556 |  1528622 |     1448   2045 |        0 |        0
1655.40/1655.97	c  434s |      22 |  1747043 |  1535122 |     1448   2053 |        0 |        0
1657.40/1657.99	c  436s |      22 |  1755159 |  1542022 |     1448   2062 |        0 |        0
1659.41/1659.99	c  438s |      22 |  1763818 |  1549622 |     1448   2072 |        0 |        0
1661.50/1662.03	c  440s |      22 |  1771620 |  1556522 |     1448   2081 |        0 |        0
1663.50/1664.03	c  442s |      22 |  1779817 |  1563622 |     1448   2091 |        0 |        0
1665.50/1666.05	c  444s |      22 |  1787622 |  1570522 |     1448   2100 |        0 |        0
1667.50/1668.08	c  446s |      22 |  1795417 |  1577522 |     1448   2109 |        0 |        0
1669.50/1670.08	c  448s |      22 |  1802946 |  1584122 |     1448   2117 |        0 |        0
1671.51/1672.10	c  450s |      22 |  1810985 |  1591322 |     1448   2127 |        0 |        0
1673.60/1674.12	c  452s |      22 |  1818368 |  1597922 |     1448   2135 |        0 |        0
1675.60/1676.14	c  454s |      22 |  1826190 |  1604922 |     1448   2144 |        0 |        0
1677.60/1678.14	c  456s |      22 |  1833891 |  1611722 |     1448   2153 |        0 |        0
1679.60/1680.16	c  458s |      22 |  1840617 |  1617822 |     1448   2161 |        0 |        0
1681.60/1682.17	c  460s |      22 |  1847971 |  1624422 |     1448   2170 |        0 |        0
1683.60/1684.17	c  462s |      22 |  1855481 |  1631122 |     1448   2178 |        0 |        0
1685.60/1686.18	c  464s |      22 |  1862995 |  1637822 |     1448   2187 |        0 |        0
1687.70/1688.20	c  466s |      22 |  1869952 |  1644122 |     1448   2195 |        0 |        0
1689.70/1690.20	c  468s |      22 |  1877426 |  1650622 |     1448   2204 |        0 |        0
1691.69/1692.20	c  470s |      22 |  1884826 |  1657122 |     1448   2212 |        0 |        0
1693.69/1694.23	c  472s |      22 |  1892256 |  1663722 |     1448   2221 |        0 |        0
1695.70/1696.25	c  474s |      22 |  1899830 |  1670422 |     1448   2229 |        0 |        0
1697.69/1698.28	c  476s |      22 |  1907522 |  1677222 |     1448   2238 |        0 |        0
1699.69/1700.29	c  478s |      22 |  1915421 |  1684222 |     1448   2247 |        0 |        0
1701.79/1702.30	c  480s |      22 |  1923458 |  1691322 |     1448   2257 |        0 |        0
1703.79/1704.30	c  482s |      22 |  1931605 |  1698322 |     1448   2266 |        0 |        0
1705.79/1706.30	c  484s |      22 |  1940019 |  1705622 |     1448   2275 |        0 |        0
1707.80/1708.33	c  486s |      22 |  1947595 |  1712122 |     1448   2284 |        0 |        0
1709.79/1710.34	c  488s |      22 |  1955347 |  1718822 |     1448   2293 |        0 |        0
1711.79/1712.36	c  490s |      22 |  1963385 |  1725822 |     1448   2302 |        0 |        0
1713.79/1714.38	c  492s |      22 |  1971294 |  1732822 |     1448   2311 |        0 |        0
1715.90/1716.40	c  494s |      22 |  1979685 |  1740322 |     1448   2321 |        0 |        0
1717.90/1718.42	c  496s |      22 |  1987810 |  1747422 |     1448   2330 |        0 |        0
1719.91/1720.43	c  498s |      22 |  1997203 |  1755622 |     1448   2341 |        0 |        0
1721.90/1722.43	c  500s |      22 |  2005907 |  1763222 |     1448   2351 |        0 |        0
1723.90/1724.45	c  502s |      22 |  2014338 |  1770522 |     1448   2360 |        0 |        0
1725.90/1726.45	c  504s |      22 |  2023093 |  1778222 |     1448   2371 |        0 |        0
1727.89/1728.45	c  506s |      22 |  2030919 |  1785222 |     1448   2380 |        0 |        0
1729.90/1730.45	c  508s |      22 |  2039157 |  1792622 |     1448   2389 |        0 |        0
1731.89/1732.45	c  510s |      22 |  2047388 |  1799922 |     1448   2399 |        0 |        0
1733.89/1734.48	c  512s |      22 |  2055724 |  1807322 |     1448   2409 |        0 |        0
1735.89/1736.49	c  514s |      22 |  2063769 |  1814422 |     1448   2418 |        0 |        0
1737.99/1738.50	c  516s |      22 |  2072018 |  1821622 |     1448   2427 |        0 |        0
1739.99/1740.52	c  518s |      22 |  2080465 |  1829122 |     1448   2437 |        0 |        0
1742.00/1742.55	c  520s |      22 |  2088593 |  1836422 |     1448   2447 |        0 |        0
1743.99/1744.58	c  523s |      22 |  2096808 |  1843822 |     1448   2456 |        0 |        0
1746.09/1746.60	c  525s |      22 |  2105172 |  1851222 |     1448   2466 |        0 |        0
1748.09/1748.61	c  527s |      22 |  2113853 |  1858922 |     1448   2476 |        0 |        0
1750.09/1750.62	c  529s |      22 |  2121659 |  1865922 |     1448   2485 |        0 |        0
1752.09/1752.62	c  531s |      22 |  2129177 |  1872622 |     1448   2494 |        0 |        0
1754.09/1754.63	c  533s |      22 |  2136705 |  1879422 |     1448   2502 |        0 |        0
1756.09/1756.65	c  535s |      22 |  2144830 |  1886622 |     1448   2512 |        0 |        0
1758.09/1758.67	c  537s |      22 |  2153145 |  1894022 |     1448   2521 |        0 |        0
1760.09/1760.68	c  539s |      22 |  2161453 |  1901422 |     1448   2531 |        0 |        0
1762.19/1762.71	c  541s |      22 |  2169466 |  1908622 |     1448   2540 |        0 |        0
1764.19/1764.72	c  543s |      22 |  2177343 |  1915722 |     1448   2550 |        0 |        0
1766.19/1766.73	c  545s |      22 |  2184862 |  1922422 |     1448   2559 |        0 |        0
1768.18/1768.74	c  547s |      22 |  2192440 |  1929122 |     1448   2567 |        0 |        0
1770.18/1770.75	c  549s |      22 |  2200636 |  1936322 |     1448   2577 |        0 |        0
1772.18/1772.77	c  551s |      22 |  2207972 |  1942922 |     1448   2585 |        0 |        0
1774.18/1774.78	c  553s |      22 |  2215851 |  1950022 |     1448   2594 |        0 |        0
1776.18/1776.78	c  555s |      22 |  2223284 |  1956822 |     1448   2603 |        0 |        0
1778.29/1778.80	c  557s |      22 |  2231689 |  1964322 |     1448   2613 |        0 |        0
1780.28/1780.83	c  559s |      22 |  2240216 |  1971722 |     1448   2623 |        0 |        0
1782.28/1782.83	c  561s |      22 |  2248512 |  1979022 |     1448   2632 |        0 |        0
1784.28/1784.83	c  563s |      22 |  2256347 |  1985922 |     1448   2641 |        0 |        0
1786.28/1786.85	c  565s |      22 |  2263794 |  1992522 |     1448   2650 |        0 |        0
1788.28/1788.87	c  567s |      22 |  2271633 |  1999522 |     1448   2659 |        0 |        0
1790.29/1790.88	c  569s |      22 |  2279153 |  2006222 |     1448   2668 |        0 |        0
1792.28/1792.89	c  571s |      22 |  2286807 |  2013122 |     1448   2677 |        0 |        0
1794.28/1794.89	c  573s |      22 |  2294561 |  2020122 |     1448   2686 |        0 |        0
1796.38/1796.92	c  575s |      22 |  2302301 |  2027122 |     1448   2695 |        0 |        0
1798.38/1798.94	c  577s |      22 |  2310063 |  2034122 |     1448   2704 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093303-1466077773/watcher-4093303-1466077773 -o /tmp/evaluation-result-4093303-1466077773/solver-4093303-1466077773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093303-1466077773.wbo 

pid=10992
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.25 2.24 2.13 3/179 10995
/proc/meminfo: memFree=29663268/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 2775 0 0 0 0 0 0 0 20 0 4 0 9823792 759623680 2624 33554432000 4194304 16246674 140737043400752 140737043400176 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 186223 2634 441 2943 0 183117 0
[pid=10995/tid=10996] ppid=10992 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 777449472 2692 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 782692352 2709 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9823793 786886656 2727 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.25 2.24 2.13 3/179 10995
/proc/meminfo: memFree=29663268/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 26457 0 0 0 5 4 0 0 20 0 4 0 9823792 1247350784 26293 33554432000 4194304 16246674 140737043400752 140737043400176 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 304529 26297 813 2943 0 301423 0
[pid=10995/tid=10996] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 26303 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 26314 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 26321 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200451 s]
/proc/loadavg: 2.25 2.24 2.13 3/179 10995
/proc/meminfo: memFree=29663268/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 52039 0 0 0 10 8 0 0 20 0 4 0 9823792 1247350784 51874 33554432000 4194304 16246674 140737043400752 140737043400176 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 304529 51879 813 2943 0 301423 0
[pid=10995/tid=10996] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 51885 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 51895 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 51904 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 2.25 2.24 2.13 3/179 10995
/proc/meminfo: memFree=29663268/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 78261 0 0 0 17 12 0 0 20 0 4 0 9823792 1247350784 78096 33554432000 4194304 16246674 140737043400752 140737043400176 5662594 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 304529 78111 813 2943 0 301423 0
[pid=10995/tid=10996] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 78118 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 78123 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 78127 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700359 s]
/proc/loadavg: 2.25 2.24 2.13 3/179 10995
/proc/meminfo: memFree=29663268/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 184456 0 0 0 42 27 0 0 20 0 4 0 9823792 1247350784 184292 33554432000 4194304 16246674 140737043400752 140737043400176 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 304529 184305 814 2943 0 301423 0
[pid=10995/tid=10996] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 184316 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 184326 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9823793 1247350784 184333 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.25 2.24 2.13 3/183 10999
/proc/meminfo: memFree=28682032/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 245680 0 0 0 116 33 0 0 20 0 4 0 9823792 1248399360 245493 33554432000 4194304 16246674 140737043400752 140737043400064 13759488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 304785 245493 872 2943 0 301679 0
[pid=10995/tid=10996] ppid=10992 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1248399360 245493 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1248399360 245493 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1248399360 245493 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10035 s]
/proc/loadavg: 2.39 2.27 2.14 3/183 10999
/proc/meminfo: memFree=28594132/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 267500 0 0 0 273 35 0 0 20 0 4 0 9823792 1337528320 267313 33554432000 4194304 16246674 140737043400752 140737043383752 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 326545 267313 872 2943 0 323439 0
[pid=10995/tid=10996] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267313 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267313 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267313 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.39 2.27 2.14 3/183 10999
/proc/meminfo: memFree=28594196/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 267522 0 0 0 593 35 0 0 20 0 4 0 9823792 1337528320 267335 33554432000 4194304 16246674 140737043400752 140737043382656 6842471 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 326545 267335 872 2943 0 323439 0
[pid=10995/tid=10996] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267335 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267335 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267335 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.41 2.28 2.14 3/183 10999
/proc/meminfo: memFree=28593732/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 267610 0 0 0 1233 36 0 0 20 0 4 0 9823792 1337528320 267423 33554432000 4194304 16246674 140737043400752 140737043383752 5823158 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 326545 267423 872 2943 0 323439 0
[pid=10995/tid=10996] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267423 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267423 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267423 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.42 2.28 2.14 3/183 10999
/proc/meminfo: memFree=28594316/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 267611 0 0 0 2513 36 0 0 20 0 4 0 9823792 1337528320 267424 33554432000 4194304 16246674 140737043400752 140737043382656 5553664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 326545 267424 872 2943 0 323439 0
[pid=10995/tid=10996] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267424 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267424 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267424 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.27 2.26 2.14 4/184 11002
/proc/meminfo: memFree=28594056/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 267622 0 0 0 5072 36 0 0 20 0 4 0 9823792 1337528320 267435 33554432000 4194304 16246674 140737043400752 140737043382656 5513032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 326545 267435 875 2943 0 323439 0
[pid=10995/tid=10996] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267435 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267435 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267435 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.18 2.24 2.14 3/183 11003
/proc/meminfo: memFree=28593660/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 267671 0 0 0 10191 37 0 0 20 0 4 0 9823792 1337528320 267484 33554432000 4194304 16246674 140737043400752 140737043382656 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 326545 267484 876 2943 0 323439 0
[pid=10995/tid=10996] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267484 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267484 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1337528320 267484 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1340674048 268395 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.46 2.36 2.24 3/183 11056
/proc/meminfo: memFree=28583420/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1301.89 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 268952 0 0 0 130141 48 0 0 20 0 4 0 9823792 1341722624 268607 33554432000 4194304 16246674 140737043400752 140737043382656 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268607 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268607 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268607 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268607 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.22 2.31 2.23 3/183 11058
/proc/meminfo: memFree=28582984/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1361.85 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 268993 0 0 0 136136 49 0 0 20 0 4 0 9823792 1341722624 268607 33554432000 4194304 16246674 140737043400752 140737043382656 5822687 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268607 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268607 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268607 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268607 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.40 2.34 2.24 3/183 11059
/proc/meminfo: memFree=28582908/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1421.84 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269091 0 0 0 142135 49 0 0 20 0 4 0 9823792 1341722624 268705 33554432000 4194304 16246674 140737043400752 140737043382656 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268705 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.22 2.29 2.23 3/183 11060
/proc/meminfo: memFree=28583128/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1481.83 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269091 0 0 0 148134 49 0 0 20 0 4 0 9823792 1341722624 268705 33554432000 4194304 16246674 140737043400752 140737043383752 12460131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268705 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.20 2.28 2.23 3/183 11061
/proc/meminfo: memFree=28583100/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1541.83 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269091 0 0 0 154133 50 0 0 20 0 4 0 9823792 1341722624 268705 33554432000 4194304 16246674 140737043400752 140737043382656 13198546 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268705 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.24 2.27 2.23 4/183 11062
/proc/meminfo: memFree=28583072/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1601.82 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269091 0 0 0 160131 51 0 0 20 0 4 0 9823792 1341722624 268705 33554432000 4194304 16246674 140737043400752 140737043382656 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268705 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268705 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.24 2.26 2.22 3/183 11064
/proc/meminfo: memFree=28582676/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1661.8 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269159 0 0 0 166129 51 0 0 20 0 4 0 9823792 1341722624 268773 33554432000 4194304 16246674 140737043400752 140737043382656 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268773 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.26 2.26 2.22 4/183 11065
/proc/meminfo: memFree=28582656/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1721.8 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269159 0 0 0 172128 52 0 0 20 0 4 0 9823792 1341722624 268773 33554432000 4194304 16246674 140737043400752 140737043382656 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268773 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.22 3/183 11066
/proc/meminfo: memFree=28582388/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1781.78 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269159 0 0 0 178126 52 0 0 20 0 4 0 9823792 1341722624 268773 33554432000 4194304 16246674 140737043400752 140737043382656 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268773 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.23 2.21 3/183 11115
/proc/meminfo: memFree=28586384/32872528 swapFree=1199460/1313924
[pid=10995] ppid=10992 vsize=1310276 CPUtime=1800.08 cores=0,2,4,6
/proc/10995/stat : 10995 (toysat) R 10992 10995 9104 0 -1 4202496 269159 0 0 0 179956 52 0 0 20 0 4 0 9823792 1341722624 268773 33554432000 4194304 16246674 140737043400752 140737043382656 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10995/statm: 327569 268773 885 2943 0 324463 0
[pid=10995/tid=10996] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10996/stat : 10996 (toysat) S 10992 10995 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163742149872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10995/tid=10997] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10997/stat : 10997 (toysat) S 10992 10995 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163731660016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10995/tid=10998] ppid=10992 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/10995/task/10998/stat : 10998 (toysat) S 10992 10995 9104 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9823793 1341722624 268773 33554432000 4194304 16246674 140737043400752 140163721186480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1310276

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 10995 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.61
CPU time (s): 1800.1
CPU user time (s): 1799.57
CPU system time (s): 0.530919
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.530919
maximum resident set size= 1075092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269159
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= 469
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44932 second user time and 7.07792 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 13:49:33
IDJOB=4093303
IDBENCH=78665
IDSOLVER=2553
FILE ID=node131/4093303-1466077773
RUNJOBID= node131-1466075598-10666
PBS_JOBID= 19904008
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093303-1466077773/watcher-4093303-1466077773 -o /tmp/evaluation-result-4093303-1466077773/solver-4093303-1466077773 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093303-1466077773.wbo

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

MD5SUM BENCH= 9dd19a07ee6b8e6f4864d631925ae108
RANDOM SEED=1196587206

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29664092 kB
Buffers:           19488 kB
Cached:           101460 kB
SwapCached:         1972 kB
Active:          1144704 kB
Inactive:          48796 kB
Active(anon):    1073244 kB
Inactive(anon):     1452 kB
Active(file):      71460 kB
Inactive(file):    47344 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             32844 kB
Writeback:             0 kB
AnonPages:       2385496 kB
Mapped:            10564 kB
Shmem:                 0 kB
Slab:             566672 kB
SReclaimable:      10556 kB
SUnreclaim:       556116 kB
KernelStack:        1472 kB
PageTables:         8360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2529776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node131 at 2016-06-16 14:19:33