Trace number 4122394

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-02UNSAT 1445.59 1446.12

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-extracted.pb.metafix.opb
MD5SUM1f8ccce1230a0525bdb0e1b5cce7649d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.009998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables117
Total number of constraints116
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)116
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
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-30T21:56:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4122394-1467316562.opb"]
0.00/0.01	c use --random-gen="2694746161 1806511370 931534335 4224932334 1565267161 1021645153 526740576 460523464 2194472835 826906262 697757555 4056260817 280677350 4198509653 3497199347 1961625668 3021276390 1402118976 1228351819 3150380949 2536052548 3875737219 3518176942 732122042 1986752254 2056264057 1694398844 1068891051 3501183475 583366812 137252648 2494684716 2142194635 3616700836 1828521206 3640222396 1901668407 2464867236 2455142820 2458576178 3066530386 2875314371 1539773580 2585075161 58394840 2063463630 1156163500 1138992468 385069916 3688837449 3574639804 651581983 1670848606 2465402404 2342933377 1375872729 1194696608 4217969700 3274725230 704334705 459090797 2360903807 685670382 852013618 2814450815 1093398803 1614725356 2501026098 178994105 2983635841 3399125404 4046115988 3298375348 4175325446 2561999502 2165906573 1086723145 187543555 1520578605 2497980445 2778506599 2504004872 2883443803 3267002865 391623318 1584744546 3182263132 1936987416 1502765399 2440179599 894421349 3130711180 471382542 893543241 141227545 2182343950 344207930 692655889 601688303 942375493 3624510237 1123677948 3024286574 704281307 2142131293 2947811821 3494251131 76643165 2082804479 1003780832 1585796784 335451148 3322594525 1100616923 2793671563 557015350 1262699185 1345790412 466267596 3393140916 3322171006 3779379022 3621631239 3270682659 1404937749 2344252856 3017246234 4161993441 986605596 2967138910 1196976609 3387787725 258305038 3431201805 3047064264 2958054082 1872151042 1081862910 2563179680 4209715785 3416223702 1869195747 2980644186 1284227413 3627364975 3654940078 476046360 3534807979 832916231 960981257 1265451593 1715541261 182838906 2061253335 2174439567 1147831601 4093798739 265149482 2194904363 2358407627 3713118587 3017375159 1126876463 3813362938 194966614 1361850376 3173631150 653126652 1185611831 122193185 2339002072 3970334097 1183193482 1601871580 2933617353 195530326 2794886876 3525992967 2764965497 227354374 3992495475 2056326269 1391800693 2028376785 2487675302 3957833982 3582850961 3185423957 2656094633 1294427290 3923556728 3212334089 3252862139 2967637546 4261054754 2476263391 3812895718 2418529109 2492459180 570614788 3133016600 3116961499 3856674996 3368775102 624189572 2511510264 2857929172 2852891137 505923961 1666361153 2436713382 2705469492 2291667026 1852397290 3352836272 805690383 2519047272 3777748364 2535507560 3985520760 3616824265 2157152768 2540993250 1316817943 1328564094 1899933103 1502590848 3189939685 885870153 1566268891 446928024 4166721211 473979548 679848908 2333980730 2075131958 4192871624 1544122684 3979924597 415808738 2333480676 1211382664 319889693 1072625102 385843266 4082867520 627602133 3342782367 525237297 3293270613 2297815790 1815814156 37138172 3125131060 2198699948 290443285 255 362436" option to reproduce the execution
0.00/0.02	c #vars 117
0.00/0.02	c #constraints 116
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 |       77      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      139 |      100 |       77      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      397 |      250 |       85      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      757 |      475 |       94      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1293 |      813 |      104     12 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2145 |     1320 |      115     18 |        0 |        0
0.19/0.21	c  0.2s |       6 |     3210 |     2081 |      140     28 |        0 |        0
0.28/0.32	c  0.3s |       7 |     4899 |     3223 |      154     41 |        0 |        0
0.39/0.46	c  0.4s |       8 |     7704 |     4936 |      170     61 |        0 |        0
0.58/0.69	c  0.7s |       9 |    11834 |     7506 |      188     86 |        0 |        0
0.98/1.03	c  1.0s |      10 |    18380 |    11361 |      207    123 |        0 |        0
1.38/1.45	c  1.4s |      11 |    26705 |    17144 |      228    174 |        0 |        0
1.98/2.06	c  2.0s |      12 |    39301 |    25819 |      251    242 |        0 |        0
2.88/2.90	c  2.9s |      13 |    59255 |    38832 |      277    337 |        0 |        0
4.08/4.15	c  4.1s |      14 |    89807 |    58352 |      305    469 |        0 |        0
6.08/6.12	c  6.1s |      15 |   131048 |    87632 |      336    648 |        0 |        0
8.08/8.13	c  8.1s |      15 |   173919 |   117032 |      336    813 |        0 |        0
9.08/9.12	c  9.1s |      16 |   194836 |   131552 |      370    895 |        0 |        0
11.08/11.13	c 11.1s |      16 |   237371 |   159852 |      370   1041 |        0 |        0
13.08/13.13	c 13.1s |      16 |   273725 |   185952 |      370   1174 |        0 |        0
13.88/13.95	c 13.9s |      17 |   291780 |   197432 |      408   1233 |        0 |        0
15.88/15.96	c 15.9s |      17 |   326775 |   223332 |      408   1355 |        0 |        0
17.87/17.96	c 17.9s |      17 |   361582 |   249232 |      408   1477 |        0 |        0
19.88/19.96	c 19.9s |      17 |   396412 |   276032 |      408   1604 |        0 |        0
21.37/21.49	c 21.5s |      18 |   423012 |   296252 |      449   1698 |        0 |        0
23.47/23.50	c 23.5s |      18 |   459919 |   322852 |      449   1810 |        0 |        0
25.47/25.50	c 25.5s |      18 |   493778 |   348752 |      449   1921 |        0 |        0
27.37/27.50	c 27.5s |      18 |   531283 |   376352 |      449   2039 |        0 |        0
29.47/29.50	c 29.5s |      18 |   567794 |   403252 |      449   2155 |        0 |        0
31.47/31.51	c 31.5s |      18 |   606902 |   430452 |      449   2271 |        0 |        0
32.57/32.65	c 32.6s |      19 |   624870 |   444482 |      494   2329 |        0 |        0
34.57/34.65	c 34.6s |      19 |   659676 |   470682 |      494   2431 |        0 |        0
36.57/36.66	c 36.6s |      19 |   692988 |   496182 |      494   2531 |        0 |        0
38.58/38.66	c 38.6s |      19 |   726125 |   521882 |      494   2632 |        0 |        0
40.58/40.67	c 40.7s |      19 |   759913 |   547982 |      494   2734 |        0 |        0
42.58/42.67	c 42.7s |      19 |   794878 |   573882 |      494   2836 |        0 |        0
44.58/44.67	c 44.7s |      19 |   828811 |   599682 |      494   2938 |        0 |        0
46.57/46.67	c 46.7s |      19 |   862674 |   625582 |      494   3040 |        0 |        0
48.57/48.67	c 48.7s |      19 |   898139 |   652082 |      494   3144 |        0 |        0
49.77/49.80	c 49.8s |      20 |   918235 |   666827 |      544   3199 |        0 |        0
51.68/51.80	c 51.8s |      20 |   950428 |   691527 |      544   3287 |        0 |        0
53.77/53.80	c 53.8s |      20 |   983572 |   716127 |      544   3375 |        0 |        0
55.77/55.80	c 55.8s |      20 |  1013444 |   740027 |      544   3461 |        0 |        0
57.77/57.81	c 57.8s |      20 |  1043665 |   763427 |      544   3544 |        0 |        0
59.77/59.81	c 59.8s |      20 |  1073602 |   786527 |      544   3626 |        0 |        0
61.77/61.82	c 61.8s |      20 |  1107401 |   812227 |      544   3718 |        0 |        0
63.78/63.82	c 63.8s |      20 |  1138499 |   836727 |      544   3806 |        0 |        0
65.77/65.83	c 65.8s |      20 |  1168170 |   859927 |      544   3889 |        0 |        0
67.77/67.83	c 67.8s |      20 |  1199916 |   883827 |      544   3975 |        0 |        0
69.77/69.83	c 69.8s |      20 |  1227230 |   906227 |      544   4054 |        0 |        0
71.76/71.84	c 71.8s |      20 |  1256872 |   929327 |      544   4137 |        0 |        0
73.77/73.85	c 73.8s |      20 |  1290714 |   954227 |      544   4226 |        0 |        0
75.76/75.85	c 75.8s |      20 |  1325690 |   979427 |      544   4316 |        0 |        0
77.56/77.63	c 77.6s |      21 |  1352874 |  1000345 |      599   4389 |        0 |        0
79.56/79.63	c 79.6s |      21 |  1384274 |  1023845 |      599   4465 |        0 |        0
81.56/81.64	c 81.6s |      21 |  1416113 |  1047045 |      599   4541 |        0 |        0
83.58/83.64	c 83.6s |      21 |  1450034 |  1072045 |      599   4622 |        0 |        0
85.57/85.64	c 85.6s |      21 |  1486256 |  1097445 |      599   4705 |        0 |        0
87.57/87.64	c 87.6s |      21 |  1516295 |  1121045 |      599   4782 |        0 |        0
89.57/89.64	c 89.6s |      21 |  1547050 |  1144945 |      599   4860 |        0 |        0
91.56/91.65	c 91.6s |      21 |  1577104 |  1168545 |      599   4937 |        0 |        0
93.57/93.66	c 93.6s |      21 |  1607322 |  1192445 |      599   5015 |        0 |        0
95.56/95.66	c 95.6s |      21 |  1640123 |  1216245 |      599   5093 |        0 |        0
97.56/97.67	c 97.6s |      21 |  1667597 |  1237745 |      599   5163 |        0 |        0
99.56/99.67	c 99.7s |      21 |  1699455 |  1261245 |      599   5239 |        0 |        0
101.56/101.67	c  101s |      21 |  1735464 |  1285945 |      599   5320 |        0 |        0
103.56/103.68	c  103s |      21 |  1765863 |  1309045 |      599   5396 |        0 |        0
105.57/105.68	c  105s |      21 |  1795319 |  1331845 |      599   5469 |        0 |        0
107.57/107.69	c  107s |      21 |  1824705 |  1355045 |      599   5545 |        0 |        0
109.57/109.69	c  109s |      21 |  1856686 |  1378945 |      599   5623 |        0 |        0
111.57/111.70	c  111s |      21 |  1885690 |  1401445 |      599   5696 |        0 |        0
113.66/113.70	c  113s |      21 |  1915967 |  1424745 |      599   5772 |        0 |        0
115.66/115.70	c  115s |      21 |  1946712 |  1448345 |      599   5849 |        0 |        0
117.67/117.70	c  117s |      21 |  1975476 |  1470945 |      599   5922 |        0 |        0
119.66/119.71	c  119s |      21 |  2004172 |  1493945 |      659   5996 |        0 |        0
120.26/120.30	c  120s |      22 |  2012178 |  1500622 |      659   6016 |        0 |        0
122.26/122.31	c  122s |      22 |  2040849 |  1523022 |      659   6082 |        0 |        0
124.27/124.31	c  124s |      22 |  2071788 |  1546622 |      659   6152 |        0 |        0
126.26/126.31	c  126s |      22 |  2102492 |  1570322 |      659   6222 |        0 |        0
128.26/128.32	c  128s |      22 |  2131621 |  1593122 |      659   6289 |        0 |        0
130.26/130.32	c  130s |      22 |  2162741 |  1616822 |      659   6359 |        0 |        0
132.26/132.32	c  132s |      22 |  2191543 |  1639722 |      659   6426 |        0 |        0
134.26/134.33	c  134s |      22 |  2221378 |  1663022 |      659   6495 |        0 |        0
136.26/136.33	c  136s |      22 |  2251238 |  1686522 |      659   6565 |        0 |        0
138.26/138.34	c  138s |      22 |  2281434 |  1709822 |      659   6634 |        0 |        0
140.26/140.34	c  140s |      22 |  2307830 |  1731622 |      659   6698 |        0 |        0
142.26/142.35	c  142s |      22 |  2333299 |  1752722 |      659   6760 |        0 |        0
144.25/144.35	c  144s |      22 |  2361309 |  1774522 |      659   6825 |        0 |        0
146.26/146.36	c  146s |      22 |  2387980 |  1796222 |      659   6889 |        0 |        0
148.25/148.36	c  148s |      22 |  2412966 |  1817222 |      659   6951 |        0 |        0
150.26/150.36	c  150s |      22 |  2442188 |  1839822 |      659   7018 |        0 |        0
152.26/152.37	c  152s |      22 |  2470276 |  1862222 |      659   7085 |        0 |        0
154.26/154.37	c  154s |      22 |  2497493 |  1884722 |      659   7151 |        0 |        0
156.27/156.37	c  156s |      22 |  2525632 |  1907922 |      659   7220 |        0 |        0
158.26/158.38	c  158s |      22 |  2554126 |  1931422 |      659   7290 |        0 |        0
160.26/160.39	c  160s |      22 |  2582126 |  1954422 |      659   7358 |        0 |        0
162.26/162.39	c  162s |      22 |  2608301 |  1976322 |      659   7423 |        0 |        0
164.26/164.40	c  164s |      22 |  2636977 |  1999522 |      659   7492 |        0 |        0
166.35/166.40	c  166s |      22 |  2664622 |  2022622 |      659   7561 |        0 |        0
168.36/168.41	c  168s |      22 |  2691333 |  2044922 |      659   7627 |        0 |        0
170.35/170.41	c  170s |      22 |  2718108 |  2066422 |      659   7691 |        0 |        0
172.35/172.42	c  172s |      22 |  2744824 |  2088522 |      659   7756 |        0 |        0
174.35/174.43	c  174s |      22 |  2772034 |  2110822 |      659   7823 |        0 |        0
176.35/176.43	c  176s |      22 |  2798697 |  2132622 |      659   7888 |        0 |        0
178.35/178.44	c  178s |      22 |  2825632 |  2154222 |      659   7952 |        0 |        0
180.35/180.44	c  180s |      22 |  2850047 |  2174822 |      659   8013 |        0 |        0
182.35/182.45	c  182s |      22 |  2873237 |  2194622 |      659   8072 |        0 |        0
184.35/184.45	c  184s |      22 |  2896907 |  2214722 |      659   8132 |        0 |        0
186.35/186.46	c  186s |      22 |  2923777 |  2236522 |      725   8196 |        0 |        0
187.75/187.82	c  187s |      23 |  2942220 |  2251038 |      725   8235 |        0 |        0
189.75/189.82	c  189s |      23 |  2973420 |  2275038 |      725   8300 |        0 |        0
191.75/191.82	c  191s |      23 |  3003578 |  2298238 |      725   8362 |        0 |        0
193.75/193.83	c  193s |      23 |  3031426 |  2320738 |      725   8423 |        0 |        0
195.75/195.84	c  195s |      23 |  3058090 |  2342338 |      725   8482 |        0 |        0
197.75/197.84	c  197s |      23 |  3086531 |  2364738 |      725   8542 |        0 |        0
199.75/199.85	c  199s |      23 |  3115994 |  2387238 |      725   8603 |        0 |        0
201.74/201.85	c  201s |      23 |  3143967 |  2409538 |      725   8664 |        0 |        0
203.74/203.86	c  203s |      23 |  3172029 |  2431538 |      725   8723 |        0 |        0
205.76/205.87	c  205s |      23 |  3201652 |  2454638 |      725   8786 |        0 |        0
207.75/207.87	c  207s |      23 |  3230719 |  2476938 |      725   8846 |        0 |        0
209.75/209.87	c  209s |      23 |  3261587 |  2500638 |      725   8911 |        0 |        0
211.75/211.88	c  211s |      23 |  3294252 |  2524938 |      725   8976 |        0 |        0
213.75/213.88	c  213s |      23 |  3326058 |  2548738 |      725   9041 |        0 |        0
215.75/215.89	c  215s |      23 |  3357303 |  2572338 |      725   9105 |        0 |        0
217.75/217.90	c  217s |      23 |  3385888 |  2594738 |      725   9166 |        0 |        0
219.85/219.90	c  219s |      23 |  3415757 |  2617638 |      725   9227 |        0 |        0
221.85/221.90	c  221s |      23 |  3445792 |  2641038 |      725   9291 |        0 |        0
223.85/223.90	c  223s |      23 |  3474331 |  2663738 |      725   9353 |        0 |        0
225.84/225.91	c  225s |      23 |  3503485 |  2686738 |      725   9415 |        0 |        0
227.84/227.91	c  227s |      23 |  3531304 |  2708838 |      725   9475 |        0 |        0
229.85/229.92	c  229s |      23 |  3557908 |  2730638 |      725   9534 |        0 |        0
231.84/231.92	c  231s |      23 |  3585821 |  2752838 |      725   9594 |        0 |        0
233.84/233.92	c  233s |      23 |  3613513 |  2775238 |      725   9655 |        0 |        0
235.84/235.92	c  235s |      23 |  3639852 |  2797138 |      725   9714 |        0 |        0
237.84/237.92	c  237s |      23 |  3668127 |  2819838 |      725   9776 |        0 |        0
239.85/239.93	c  239s |      23 |  3695627 |  2842038 |      725   9836 |        0 |        0
241.84/241.93	c  241s |      23 |  3723323 |  2864738 |      725   9898 |        0 |        0
243.84/243.93	c  243s |      23 |  3751704 |  2887538 |      725   9960 |        0 |        0
245.84/245.94	c  245s |      23 |  3779680 |  2910338 |      725  10022 |        0 |        0
247.84/247.95	c  247s |      23 |  3807931 |  2932938 |      725  10084 |        0 |        0
249.84/249.95	c  249s |      23 |  3834021 |  2954738 |      725  10143 |        0 |        0
251.85/251.96	c  251s |      23 |  3860695 |  2976638 |      725  10202 |        0 |        0
253.84/253.96	c  253s |      23 |  3885652 |  2998238 |      725  10261 |        0 |        0
255.84/255.96	c  255s |      23 |  3912056 |  3020338 |      725  10321 |        0 |        0
257.84/257.97	c  257s |      23 |  3937633 |  3041138 |      725  10378 |        0 |        0
259.84/259.98	c  259s |      23 |  3963218 |  3062238 |      725  10435 |        0 |        0
261.84/261.98	c  261s |      23 |  3988079 |  3083138 |      725  10492 |        0 |        0
263.84/263.98	c  263s |      23 |  4012586 |  3104138 |      725  10549 |        0 |        0
265.84/265.99	c  265s |      23 |  4038272 |  3125838 |      725  10608 |        0 |        0
267.84/267.99	c  267s |      23 |  4067240 |  3148338 |      725  10670 |        0 |        0
269.84/269.99	c  269s |      23 |  4092657 |  3170038 |      725  10729 |        0 |        0
271.93/272.00	c  271s |      23 |  4122907 |  3193938 |      725  10794 |        0 |        0
273.94/274.01	c  273s |      23 |  4152793 |  3217538 |      725  10858 |        0 |        0
275.93/276.01	c  275s |      23 |  4179834 |  3239738 |      725  10918 |        0 |        0
277.93/278.02	c  278s |      23 |  4206996 |  3262238 |      725  10980 |        0 |        0
279.93/280.03	c  280s |      23 |  4234938 |  3285338 |      725  11043 |        0 |        0
281.93/282.03	c  282s |      23 |  4264814 |  3309038 |      725  11107 |        0 |        0
283.93/284.04	c  284s |      23 |  4295825 |  3333338 |      725  11174 |        0 |        0
285.94/286.05	c  286s |      23 |  4324075 |  3355838 |      798  11234 |        0 |        0
287.73/287.85	c  287s |      24 |  4350100 |  3376662 |      798  11286 |        0 |        0
289.73/289.86	c  289s |      24 |  4375687 |  3397262 |      798  11336 |        0 |        0
291.73/291.86	c  291s |      24 |  4404135 |  3419262 |      798  11390 |        0 |        0
293.73/293.86	c  293s |      24 |  4432947 |  3440862 |      798  11443 |        0 |        0
295.73/295.87	c  295s |      24 |  4461128 |  3462262 |      798  11496 |        0 |        0
297.73/297.87	c  297s |      24 |  4487770 |  3483262 |      798  11547 |        0 |        0
299.72/299.87	c  299s |      24 |  4518334 |  3505662 |      798  11602 |        0 |        0
301.72/301.88	c  301s |      24 |  4545698 |  3526962 |      798  11654 |        0 |        0
303.72/303.88	c  303s |      24 |  4575653 |  3549062 |      798  11709 |        0 |        0
305.72/305.89	c  305s |      24 |  4607996 |  3572262 |      798  11766 |        0 |        0
307.72/307.89	c  307s |      24 |  4639258 |  3595162 |      798  11822 |        0 |        0
309.81/309.90	c  309s |      24 |  4670438 |  3618462 |      798  11880 |        0 |        0
311.81/311.90	c  311s |      24 |  4701174 |  3641262 |      798  11936 |        0 |        0
313.81/313.90	c  313s |      24 |  4731412 |  3664262 |      798  11993 |        0 |        0
315.81/315.90	c  315s |      24 |  4759301 |  3686062 |      798  12047 |        0 |        0
317.82/317.91	c  317s |      24 |  4788350 |  3708862 |      798  12103 |        0 |        0
319.81/319.92	c  319s |      24 |  4817383 |  3731862 |      798  12160 |        0 |        0
321.81/321.92	c  321s |      24 |  4846741 |  3754762 |      798  12216 |        0 |        0
323.80/323.93	c  323s |      24 |  4876391 |  3777362 |      798  12272 |        0 |        0
325.80/325.93	c  325s |      24 |  4907041 |  3800662 |      798  12330 |        0 |        0
327.81/327.93	c  327s |      24 |  4936778 |  3823762 |      798  12387 |        0 |        0
329.80/329.94	c  329s |      24 |  4962715 |  3845362 |      798  12440 |        0 |        0
331.80/331.95	c  331s |      24 |  4988849 |  3866762 |      798  12493 |        0 |        0
333.80/333.95	c  333s |      24 |  5017123 |  3889062 |      798  12548 |        0 |        0
335.80/335.96	c  335s |      24 |  5043373 |  3910662 |      798  12602 |        0 |        0
337.79/337.96	c  337s |      24 |  5074634 |  3934262 |      798  12660 |        0 |        0
339.79/339.97	c  339s |      24 |  5105351 |  3957362 |      798  12718 |        0 |        0
341.79/341.98	c  341s |      24 |  5136384 |  3980662 |      798  12775 |        0 |        0
343.79/343.98	c  343s |      24 |  5169390 |  4004362 |      798  12834 |        0 |        0
345.79/345.98	c  345s |      24 |  5199349 |  4027462 |      798  12891 |        0 |        0
347.79/347.99	c  347s |      24 |  5232687 |  4051262 |      798  12950 |        0 |        0
349.80/349.99	c  349s |      24 |  5260654 |  4073462 |      798  13005 |        0 |        0
351.79/352.00	c  351s |      24 |  5289363 |  4096162 |      798  13061 |        0 |        0
353.89/354.00	c  353s |      24 |  5318530 |  4118362 |      798  13116 |        0 |        0
355.89/356.01	c  355s |      24 |  5346681 |  4140762 |      798  13172 |        0 |        0
357.89/358.02	c  358s |      24 |  5374267 |  4162562 |      798  13226 |        0 |        0
359.88/360.03	c  360s |      24 |  5401344 |  4183962 |      798  13278 |        0 |        0
361.89/362.03	c  362s |      24 |  5428720 |  4205362 |      798  13331 |        0 |        0
363.88/364.04	c  364s |      24 |  5453401 |  4225762 |      798  13381 |        0 |        0
365.88/366.04	c  366s |      24 |  5475612 |  4244862 |      798  13428 |        0 |        0
367.88/368.05	c  368s |      24 |  5505091 |  4267462 |      798  13483 |        0 |        0
369.87/370.05	c  370s |      24 |  5533581 |  4289562 |      798  13538 |        0 |        0
371.87/372.06	c  372s |      24 |  5562750 |  4311562 |      798  13592 |        0 |        0
373.88/374.07	c  374s |      24 |  5591132 |  4333062 |      798  13645 |        0 |        0
375.88/376.07	c  376s |      24 |  5621096 |  4355962 |      798  13702 |        0 |        0
377.88/378.08	c  378s |      24 |  5650260 |  4378362 |      798  13757 |        0 |        0
379.87/380.08	c  380s |      24 |  5679458 |  4400762 |      798  13812 |        0 |        0
381.87/382.09	c  382s |      24 |  5706737 |  4422162 |      798  13865 |        0 |        0
383.97/384.10	c  384s |      24 |  5736486 |  4444562 |      798  13920 |        0 |        0
385.87/386.10	c  386s |      24 |  5762336 |  4465462 |      798  13972 |        0 |        0
387.97/388.10	c  388s |      24 |  5786129 |  4485062 |      798  14020 |        0 |        0
389.96/390.10	c  390s |      24 |  5812905 |  4505962 |      798  14072 |        0 |        0
391.96/392.11	c  392s |      24 |  5842720 |  4528462 |      798  14127 |        0 |        0
393.96/394.11	c  394s |      24 |  5870868 |  4550462 |      798  14181 |        0 |        0
395.97/396.12	c  396s |      24 |  5897170 |  4571262 |      798  14232 |        0 |        0
397.96/398.12	c  398s |      24 |  5925781 |  4592962 |      798  14286 |        0 |        0
399.96/400.13	c  400s |      24 |  5955143 |  4615062 |      798  14340 |        0 |        0
401.95/402.13	c  402s |      24 |  5982047 |  4636062 |      798  14392 |        0 |        0
403.95/404.13	c  404s |      24 |  6009760 |  4657562 |      798  14445 |        0 |        0
405.95/406.14	c  406s |      24 |  6036205 |  4678562 |      798  14496 |        0 |        0
407.96/408.14	c  408s |      24 |  6064139 |  4700362 |      798  14550 |        0 |        0
409.95/410.15	c  410s |      24 |  6089412 |  4720962 |      798  14601 |        0 |        0
411.95/412.15	c  412s |      24 |  6114930 |  4741462 |      798  14652 |        0 |        0
413.95/414.15	c  414s |      24 |  6141613 |  4762462 |      798  14704 |        0 |        0
415.95/416.16	c  416s |      24 |  6170306 |  4784462 |      798  14758 |        0 |        0
417.96/418.16	c  418s |      24 |  6196261 |  4805062 |      798  14809 |        0 |        0
419.95/420.17	c  420s |      24 |  6221580 |  4825262 |      798  14859 |        0 |        0
421.95/422.17	c  422s |      24 |  6245059 |  4844662 |      798  14906 |        0 |        0
423.95/424.17	c  424s |      24 |  6268161 |  4863862 |      798  14954 |        0 |        0
425.95/426.18	c  426s |      24 |  6293139 |  4883962 |      798  15003 |        0 |        0
427.95/428.19	c  428s |      24 |  6317649 |  4903762 |      798  15052 |        0 |        0
429.95/430.20	c  430s |      24 |  6341144 |  4922862 |      798  15099 |        0 |        0
432.04/432.20	c  432s |      24 |  6365393 |  4942362 |      798  15147 |        0 |        0
434.04/434.20	c  434s |      24 |  6389137 |  4961762 |      798  15194 |        0 |        0
436.04/436.21	c  436s |      24 |  6412271 |  4980662 |      798  15241 |        0 |        0
438.04/438.22	c  438s |      24 |  6435842 |  4999262 |      798  15287 |        0 |        0
440.03/440.22	c  440s |      24 |  6459962 |  5018462 |      798  15334 |        0 |        0
442.04/442.23	c  442s |      24 |  6484701 |  5038162 |      878  15380 |        0 |        0
444.03/444.24	c  444s |      24 |  6507522 |  5057062 |      878  15423 |        0 |        0
444.93/445.12	c  445s |      25 |  6517094 |  5065098 |      878  15441 |        0 |        0
446.93/447.12	c  447s |      25 |  6540604 |  5084798 |      878  15485 |        0 |        0
448.93/449.13	c  449s |      25 |  6564428 |  5104498 |      878  15529 |        0 |        0
450.93/451.14	c  451s |      25 |  6586147 |  5122598 |      878  15569 |        0 |        0
452.93/453.14	c  453s |      25 |  6608258 |  5141198 |      878  15611 |        0 |        0
454.93/455.15	c  455s |      25 |  6630167 |  5159698 |      878  15652 |        0 |        0
456.93/457.15	c  457s |      25 |  6655999 |  5179998 |      878  15697 |        0 |        0
458.93/459.16	c  459s |      25 |  6680946 |  5200198 |      878  15743 |        0 |        0
460.93/461.16	c  461s |      25 |  6704890 |  5220098 |      878  15787 |        0 |        0
462.93/463.17	c  463s |      25 |  6727934 |  5239198 |      878  15830 |        0 |        0
464.93/465.18	c  465s |      25 |  6750287 |  5257798 |      878  15871 |        0 |        0
466.93/467.18	c  467s |      25 |  6776815 |  5278698 |      878  15918 |        0 |        0
468.92/469.19	c  469s |      25 |  6802106 |  5299098 |      878  15964 |        0 |        0
470.92/471.19	c  471s |      25 |  6827381 |  5319398 |      878  16009 |        0 |        0
473.02/473.20	c  473s |      25 |  6852603 |  5339698 |      878  16055 |        0 |        0
474.92/475.20	c  475s |      25 |  6878247 |  5359898 |      878  16100 |        0 |        0
477.02/477.21	c  477s |      25 |  6902585 |  5379298 |      878  16143 |        0 |        0
479.02/479.21	c  479s |      25 |  6928356 |  5399698 |      878  16189 |        0 |        0
481.01/481.22	c  481s |      25 |  6956629 |  5420798 |      878  16237 |        0 |        0
483.01/483.23	c  483s |      25 |  6982230 |  5441198 |      878  16283 |        0 |        0
485.02/485.23	c  485s |      25 |  7008869 |  5461898 |      878  16329 |        0 |        0
487.01/487.24	c  487s |      25 |  7035453 |  5483298 |      878  16377 |        0 |        0
489.01/489.24	c  489s |      25 |  7061563 |  5504498 |      878  16425 |        0 |        0
491.00/491.25	c  491s |      25 |  7089892 |  5526498 |      878  16474 |        0 |        0
493.00/493.25	c  493s |      25 |  7117618 |  5547998 |      878  16523 |        0 |        0
495.01/495.26	c  495s |      25 |  7147219 |  5569998 |      878  16572 |        0 |        0
497.01/497.26	c  497s |      25 |  7175705 |  5591698 |      878  16621 |        0 |        0
499.01/499.27	c  499s |      25 |  7203661 |  5613498 |      878  16670 |        0 |        0
501.00/501.28	c  501s |      25 |  7231666 |  5634398 |      878  16717 |        0 |        0
503.00/503.28	c  503s |      25 |  7255793 |  5653798 |      878  16760 |        0 |        0
505.00/505.28	c  505s |      25 |  7281857 |  5674198 |      878  16806 |        0 |        0
507.01/507.29	c  507s |      25 |  7306865 |  5694598 |      878  16852 |        0 |        0
509.00/509.30	c  509s |      25 |  7336408 |  5716998 |      878  16902 |        0 |        0
511.09/511.30	c  511s |      25 |  7364045 |  5738198 |      878  16950 |        0 |        0
513.09/513.31	c  513s |      25 |  7392513 |  5759098 |      878  16996 |        0 |        0
515.09/515.31	c  515s |      25 |  7418582 |  5779498 |      878  17042 |        0 |        0
517.09/517.32	c  517s |      25 |  7445246 |  5800198 |      878  17089 |        0 |        0
519.10/519.32	c  519s |      25 |  7469901 |  5820098 |      878  17133 |        0 |        0
521.09/521.32	c  521s |      25 |  7494178 |  5839898 |      878  17178 |        0 |        0
523.09/523.33	c  523s |      25 |  7520191 |  5860898 |      878  17225 |        0 |        0
525.09/525.33	c  525s |      25 |  7546883 |  5881898 |      878  17272 |        0 |        0
527.09/527.33	c  527s |      25 |  7576485 |  5904198 |      878  17322 |        0 |        0
529.09/529.34	c  529s |      25 |  7601417 |  5924698 |      878  17368 |        0 |        0
531.09/531.34	c  531s |      25 |  7628381 |  5946498 |      878  17417 |        0 |        0
533.08/533.34	c  533s |      25 |  7654057 |  5967798 |      878  17465 |        0 |        0
535.08/535.35	c  535s |      25 |  7680594 |  5989398 |      878  17514 |        0 |        0
537.08/537.36	c  537s |      25 |  7707763 |  6010798 |      878  17562 |        0 |        0
539.08/539.36	c  539s |      25 |  7736291 |  6032798 |      878  17611 |        0 |        0
541.08/541.36	c  541s |      25 |  7763272 |  6053698 |      878  17658 |        0 |        0
543.07/543.37	c  543s |      25 |  7788236 |  6073998 |      878  17704 |        0 |        0
545.07/545.37	c  545s |      25 |  7814982 |  6095098 |      878  17752 |        0 |        0
547.07/547.38	c  547s |      25 |  7842105 |  6116698 |      878  17801 |        0 |        0
549.07/549.39	c  549s |      25 |  7868409 |  6137998 |      878  17848 |        0 |        0
551.07/551.39	c  551s |      25 |  7898703 |  6160398 |      878  17898 |        0 |        0
553.07/553.40	c  553s |      25 |  7927100 |  6181998 |      878  17947 |        0 |        0
555.17/555.41	c  555s |      25 |  7955297 |  6203698 |      878  17995 |        0 |        0
557.17/557.41	c  557s |      25 |  7984911 |  6225898 |      878  18045 |        0 |        0
559.17/559.42	c  559s |      25 |  8012923 |  6247598 |      878  18094 |        0 |        0
561.16/561.43	c  561s |      25 |  8041180 |  6269498 |      878  18143 |        0 |        0
563.16/563.43	c  563s |      25 |  8065835 |  6289898 |      878  18189 |        0 |        0
565.17/565.43	c  565s |      25 |  8089628 |  6310198 |      878  18234 |        0 |        0
567.16/567.43	c  567s |      25 |  8116979 |  6332198 |      878  18284 |        0 |        0
569.17/569.44	c  569s |      25 |  8142350 |  6352998 |      878  18331 |        0 |        0
571.17/571.44	c  571s |      25 |  8167652 |  6373498 |      878  18377 |        0 |        0
573.17/573.45	c  573s |      25 |  8191488 |  6393098 |      878  18421 |        0 |        0
575.17/575.45	c  575s |      25 |  8216570 |  6413198 |      878  18466 |        0 |        0
577.16/577.45	c  577s |      25 |  8247553 |  6435498 |      878  18516 |        0 |        0
579.16/579.46	c  579s |      25 |  8276882 |  6457198 |      878  18565 |        0 |        0
581.16/581.46	c  581s |      25 |  8308350 |  6479698 |      878  18615 |        0 |        0
583.16/583.47	c  583s |      25 |  8336669 |  6501098 |      878  18663 |        0 |        0
585.16/585.47	c  585s |      25 |  8363925 |  6521898 |      878  18710 |        0 |        0
587.16/587.48	c  587s |      25 |  8390713 |  6542798 |      878  18757 |        0 |        0
589.16/589.48	c  589s |      25 |  8415911 |  6563298 |      878  18803 |        0 |        0
591.15/591.49	c  591s |      25 |  8440939 |  6583598 |      878  18849 |        0 |        0
593.15/593.49	c  593s |      25 |  8467912 |  6604898 |      878  18897 |        0 |        0
595.15/595.49	c  595s |      25 |  8495163 |  6625998 |      878  18944 |        0 |        0
597.25/597.50	c  597s |      25 |  8520326 |  6646398 |      878  18990 |        0 |        0
599.26/599.50	c  599s |      25 |  8545519 |  6666398 |      878  19035 |        0 |        0
601.24/601.51	c  601s |      25 |  8572526 |  6687498 |      878  19083 |        0 |        0
603.24/603.52	c  603s |      25 |  8598706 |  6708098 |      878  19129 |        0 |        0
605.24/605.52	c  605s |      25 |  8622995 |  6728098 |      878  19175 |        0 |        0
607.24/607.53	c  607s |      25 |  8650359 |  6749298 |      878  19223 |        0 |        0
609.25/609.54	c  609s |      25 |  8675799 |  6769498 |      878  19268 |        0 |        0
611.24/611.54	c  611s |      25 |  8700834 |  6790098 |      878  19315 |        0 |        0
613.23/613.54	c  613s |      25 |  8726440 |  6811198 |      878  19362 |        0 |        0
615.23/615.55	c  615s |      25 |  8752022 |  6832298 |      878  19410 |        0 |        0
617.23/617.55	c  617s |      25 |  8780265 |  6853898 |      878  19458 |        0 |        0
619.23/619.55	c  619s |      25 |  8808397 |  6875098 |      878  19506 |        0 |        0
621.23/621.55	c  621s |      25 |  8835026 |  6895798 |      878  19552 |        0 |        0
623.23/623.56	c  623s |      25 |  8861635 |  6916698 |      878  19600 |        0 |        0
625.23/625.57	c  625s |      25 |  8885788 |  6936898 |      878  19645 |        0 |        0
627.23/627.57	c  627s |      25 |  8912127 |  6958398 |      878  19693 |        0 |        0
629.23/629.57	c  629s |      25 |  8938724 |  6979398 |      878  19740 |        0 |        0
631.23/631.58	c  631s |      25 |  8964680 |  7000198 |      878  19787 |        0 |        0
633.23/633.59	c  633s |      25 |  8990469 |  7021198 |      878  19834 |        0 |        0
635.33/635.60	c  635s |      25 |  9015489 |  7041198 |      878  19879 |        0 |        0
637.32/637.61	c  637s |      25 |  9040904 |  7061698 |      878  19925 |        0 |        0
639.32/639.61	c  639s |      25 |  9065076 |  7081998 |      878  19971 |        0 |        0
641.32/641.62	c  641s |      25 |  9090854 |  7102798 |      878  20018 |        0 |        0
643.33/643.63	c  643s |      25 |  9116839 |  7123698 |      878  20064 |        0 |        0
645.32/645.64	c  645s |      25 |  9142610 |  7144398 |      878  20111 |        0 |        0
647.32/647.64	c  647s |      25 |  9168573 |  7164898 |      878  20157 |        0 |        0
649.32/649.65	c  649s |      25 |  9192405 |  7185298 |      878  20202 |        0 |        0
651.31/651.66	c  651s |      25 |  9219039 |  7206198 |      878  20249 |        0 |        0
653.31/653.66	c  653s |      25 |  9246681 |  7227398 |      878  20297 |        0 |        0
655.33/655.66	c  655s |      25 |  9271617 |  7248198 |      878  20343 |        0 |        0
657.32/657.67	c  657s |      25 |  9297171 |  7268698 |      878  20390 |        0 |        0
659.32/659.67	c  659s |      25 |  9322897 |  7289598 |      878  20437 |        0 |        0
661.31/661.67	c  661s |      25 |  9348079 |  7309998 |      878  20482 |        0 |        0
663.31/663.68	c  663s |      25 |  9373125 |  7330398 |      878  20528 |        0 |        0
665.32/665.68	c  665s |      25 |  9398140 |  7351098 |      878  20575 |        0 |        0
667.31/667.68	c  667s |      25 |  9421939 |  7371298 |      878  20620 |        0 |        0
669.31/669.68	c  669s |      25 |  9445117 |  7391198 |      878  20665 |        0 |        0
671.30/671.69	c  671s |      25 |  9469525 |  7411598 |      878  20711 |        0 |        0
673.30/673.69	c  673s |      25 |  9497755 |  7433298 |      878  20760 |        0 |        0
675.40/675.70	c  675s |      25 |  9526667 |  7455398 |      878  20810 |        0 |        0
677.30/677.70	c  677s |      25 |  9554476 |  7477098 |      878  20859 |        0 |        0
679.40/679.71	c  679s |      25 |  9580744 |  7498298 |      878  20906 |        0 |        0
681.39/681.71	c  681s |      25 |  9605411 |  7518698 |      878  20952 |        0 |        0
683.39/683.71	c  683s |      25 |  9630502 |  7539698 |      878  21000 |        0 |        0
685.39/685.72	c  685s |      25 |  9657186 |  7560498 |      966  21043 |        0 |        0
687.39/687.73	c  687s |      25 |  9681566 |  7580598 |      966  21084 |        0 |        0
689.09/689.48	c  689s |      26 |  9702509 |  7597752 |      966  21119 |        0 |        0
691.09/691.49	c  691s |      26 |  9728692 |  7617852 |      966  21160 |        0 |        0
693.19/693.50	c  693s |      26 |  9754645 |  7638252 |      966  21202 |        0 |        0
695.19/695.51	c  695s |      26 |  9779033 |  7657452 |      966  21240 |        0 |        0
697.20/697.52	c  697s |      26 |  9802453 |  7676252 |      966  21279 |        0 |        0
699.19/699.52	c  699s |      26 |  9828735 |  7696652 |      966  21320 |        0 |        0
701.18/701.52	c  701s |      26 |  9852528 |  7715852 |      966  21359 |        0 |        0
703.18/703.53	c  703s |      26 |  9874001 |  7733752 |      966  21396 |        0 |        0
705.18/705.54	c  705s |      26 |  9894902 |  7751352 |      966  21431 |        0 |        0
707.18/707.55	c  707s |      26 |  9916999 |  7769852 |      966  21469 |        0 |        0
709.19/709.55	c  709s |      26 |  9943551 |  7790152 |      966  21510 |        0 |        0
711.17/711.56	c  711s |      26 |  9970449 |  7810652 |      966  21551 |        0 |        0
713.17/713.56	c  713s |      26 |  9995361 |  7829952 |      966  21591 |        0 |        0
715.17/715.57	c  715s |      26 | 10018517 |  7849052 |      966  21629 |        0 |        0
717.17/717.58	c  717s |      26 | 10042280 |  7867952 |      966  21667 |        0 |        0
719.18/719.59	c  719s |      26 | 10065917 |  7886552 |      966  21705 |        0 |        0
721.17/721.59	c  721s |      26 | 10089846 |  7905552 |      966  21743 |        0 |        0
723.17/723.60	c  723s |      26 | 10113372 |  7924452 |      966  21782 |        0 |        0
725.27/725.60	c  725s |      26 | 10137167 |  7943552 |      966  21820 |        0 |        0
727.26/727.60	c  727s |      26 | 10160888 |  7962452 |      966  21859 |        0 |        0
729.26/729.61	c  729s |      26 | 10183067 |  7980552 |      966  21896 |        0 |        0
731.26/731.61	c  731s |      26 | 10206581 |  7999652 |      966  21935 |        0 |        0
733.26/733.62	c  733s |      26 | 10230080 |  8018852 |      966  21974 |        0 |        0
735.26/735.62	c  735s |      26 | 10256205 |  8038652 |      966  22015 |        0 |        0
737.26/737.63	c  737s |      26 | 10280362 |  8058252 |      966  22055 |        0 |        0
739.26/739.63	c  739s |      26 | 10303750 |  8076852 |      966  22093 |        0 |        0
741.26/741.64	c  741s |      26 | 10327836 |  8096152 |      966  22132 |        0 |        0
743.27/743.65	c  743s |      26 | 10353859 |  8116852 |      966  22174 |        0 |        0
745.26/745.66	c  745s |      26 | 10380666 |  8137152 |      966  22216 |        0 |        0
747.26/747.66	c  747s |      26 | 10406245 |  8157352 |      966  22257 |        0 |        0
749.26/749.66	c  749s |      26 | 10432069 |  8177652 |      966  22298 |        0 |        0
751.25/751.67	c  751s |      26 | 10458048 |  8198152 |      966  22340 |        0 |        0
753.26/753.67	c  753s |      26 | 10483930 |  8218352 |      966  22382 |        0 |        0
755.25/755.68	c  755s |      26 | 10509043 |  8238552 |      966  22423 |        0 |        0
757.25/757.68	c  757s |      26 | 10536044 |  8259552 |      966  22466 |        0 |        0
759.25/759.69	c  759s |      26 | 10562564 |  8280052 |      966  22507 |        0 |        0
761.24/761.70	c  761s |      26 | 10588908 |  8300452 |      966  22549 |        0 |        0
763.34/763.70	c  763s |      26 | 10612215 |  8319852 |      966  22588 |        0 |        0
765.34/765.71	c  765s |      26 | 10636094 |  8339252 |      966  22628 |        0 |        0
767.33/767.71	c  767s |      26 | 10658611 |  8357852 |      966  22666 |        0 |        0
769.33/769.71	c  769s |      26 | 10684632 |  8377552 |      966  22706 |        0 |        0
771.34/771.71	c  771s |      26 | 10710033 |  8397252 |      966  22746 |        0 |        0
773.34/773.72	c  773s |      26 | 10735758 |  8417652 |      966  22788 |        0 |        0
775.34/775.73	c  775s |      26 | 10758867 |  8436552 |      966  22827 |        0 |        0
777.34/777.74	c  777s |      26 | 10784643 |  8456152 |      966  22866 |        0 |        0
779.33/779.74	c  779s |      26 | 10810396 |  8476052 |      966  22907 |        0 |        0
781.33/781.75	c  781s |      26 | 10833805 |  8495252 |      966  22946 |        0 |        0
783.33/783.75	c  783s |      26 | 10859124 |  8514452 |      966  22985 |        0 |        0
785.33/785.75	c  785s |      26 | 10881879 |  8533552 |      966  23023 |        0 |        0
787.34/787.76	c  787s |      26 | 10906542 |  8553252 |      966  23063 |        0 |        0
789.33/789.77	c  789s |      26 | 10930344 |  8572852 |      966  23103 |        0 |        0
791.32/791.77	c  791s |      26 | 10955475 |  8592852 |      966  23144 |        0 |        0
793.32/793.78	c  793s |      26 | 10979924 |  8612552 |      966  23184 |        0 |        0
795.32/795.78	c  795s |      26 | 11007739 |  8633752 |      966  23228 |        0 |        0
797.32/797.79	c  797s |      26 | 11036034 |  8655552 |      966  23272 |        0 |        0
799.33/799.79	c  799s |      26 | 11064062 |  8676652 |      966  23315 |        0 |        0
801.31/801.79	c  801s |      26 | 11089967 |  8697152 |      966  23357 |        0 |        0
803.31/803.79	c  803s |      26 | 11119146 |  8718752 |      966  23402 |        0 |        0
805.41/805.80	c  805s |      26 | 11146006 |  8739852 |      966  23445 |        0 |        0
807.41/807.80	c  807s |      26 | 11172208 |  8760852 |      966  23488 |        0 |        0
809.41/809.81	c  809s |      26 | 11196201 |  8780352 |      966  23528 |        0 |        0
811.42/811.82	c  811s |      26 | 11222689 |  8800952 |      966  23570 |        0 |        0
813.41/813.83	c  813s |      26 | 11250404 |  8822052 |      966  23613 |        0 |        0
815.41/815.83	c  815s |      26 | 11276922 |  8843052 |      966  23656 |        0 |        0
817.41/817.84	c  817s |      26 | 11304096 |  8864052 |      966  23699 |        0 |        0
819.41/819.85	c  819s |      26 | 11332392 |  8885552 |      966  23744 |        0 |        0
821.41/821.86	c  821s |      26 | 11357862 |  8905852 |      966  23785 |        0 |        0
823.40/823.87	c  823s |      26 | 11381499 |  8925452 |      966  23825 |        0 |        0
825.40/825.87	c  825s |      26 | 11406869 |  8945552 |      966  23867 |        0 |        0
827.40/827.87	c  827s |      26 | 11431574 |  8965252 |      966  23907 |        0 |        0
829.40/829.87	c  829s |      26 | 11455766 |  8984752 |      966  23947 |        0 |        0
831.39/831.87	c  831s |      26 | 11480041 |  9004152 |      966  23987 |        0 |        0
833.40/833.88	c  833s |      26 | 11505708 |  9024352 |      966  24028 |        0 |        0
835.40/835.88	c  835s |      26 | 11531759 |  9044652 |      966  24070 |        0 |        0
837.40/837.88	c  837s |      26 | 11555749 |  9063552 |      966  24109 |        0 |        0
839.40/839.89	c  839s |      26 | 11584272 |  9084352 |      966  24151 |        0 |        0
841.39/841.90	c  841s |      26 | 11607843 |  9103152 |      966  24190 |        0 |        0
843.49/843.90	c  843s |      26 | 11633889 |  9123552 |      966  24232 |        0 |        0
845.39/845.90	c  845s |      26 | 11659581 |  9143852 |      966  24273 |        0 |        0
847.49/847.90	c  847s |      26 | 11683576 |  9163352 |      966  24314 |        0 |        0
849.49/849.91	c  849s |      26 | 11707785 |  9182952 |      966  24354 |        0 |        0
851.48/851.92	c  851s |      26 | 11734771 |  9203652 |      966  24396 |        0 |        0
853.48/853.92	c  853s |      26 | 11760588 |  9223452 |      966  24437 |        0 |        0
855.49/855.93	c  855s |      26 | 11786581 |  9243252 |      966  24478 |        0 |        0
857.48/857.94	c  857s |      26 | 11809681 |  9261952 |      966  24516 |        0 |        0
859.48/859.95	c  859s |      26 | 11836536 |  9281952 |      966  24557 |        0 |        0
861.48/861.95	c  861s |      26 | 11864004 |  9302552 |      966  24599 |        0 |        0
863.48/863.95	c  863s |      26 | 11889245 |  9321952 |      966  24638 |        0 |        0
865.47/865.96	c  865s |      26 | 11913963 |  9341452 |      966  24678 |        0 |        0
867.48/867.97	c  867s |      26 | 11939673 |  9361452 |      966  24719 |        0 |        0
869.47/869.98	c  869s |      26 | 11967235 |  9382052 |      966  24762 |        0 |        0
871.47/871.98	c  871s |      26 | 11991964 |  9401652 |      966  24802 |        0 |        0
873.47/873.98	c  873s |      26 | 12019403 |  9422152 |      966  24844 |        0 |        0
875.47/875.99	c  875s |      26 | 12045554 |  9442652 |      966  24886 |        0 |        0
877.57/878.00	c  877s |      26 | 12071260 |  9462852 |      966  24927 |        0 |        0
879.57/880.01	c  879s |      26 | 12095864 |  9482452 |      966  24967 |        0 |        0
881.56/882.01	c  881s |      26 | 12123516 |  9503352 |      966  25010 |        0 |        0
883.56/884.02	c  883s |      26 | 12151122 |  9524052 |      966  25052 |        0 |        0
885.56/886.02	c  886s |      26 | 12177268 |  9544152 |      966  25094 |        0 |        0
887.56/888.02	c  888s |      26 | 12204109 |  9564652 |      966  25136 |        0 |        0
889.57/890.03	c  890s |      26 | 12230479 |  9585052 |      966  25178 |        0 |        0
891.56/892.03	c  892s |      26 | 12255973 |  9605152 |      966  25219 |        0 |        0
893.56/894.03	c  894s |      26 | 12279126 |  9624252 |      966  25258 |        0 |        0
895.56/896.04	c  896s |      26 | 12303943 |  9644352 |      966  25300 |        0 |        0
897.56/898.04	c  898s |      26 | 12328845 |  9664752 |      966  25342 |        0 |        0
899.56/900.05	c  900s |      26 | 12355679 |  9684952 |      966  25383 |        0 |        0
901.56/902.06	c  902s |      26 | 12382703 |  9704952 |      966  25424 |        0 |        0
903.55/904.07	c  904s |      26 | 12409088 |  9724952 |      966  25465 |        0 |        0
905.55/906.07	c  906s |      26 | 12433656 |  9743952 |      966  25503 |        0 |        0
907.55/908.08	c  908s |      26 | 12459528 |  9763452 |      966  25543 |        0 |        0
909.55/910.08	c  910s |      26 | 12482215 |  9781852 |      966  25580 |        0 |        0
911.55/912.09	c  912s |      26 | 12504058 |  9799652 |      966  25617 |        0 |        0
913.54/914.09	c  914s |      26 | 12529126 |  9818952 |      966  25656 |        0 |        0
915.64/916.10	c  916s |      26 | 12553925 |  9838152 |      966  25695 |        0 |        0
917.64/918.11	c  918s |      26 | 12578838 |  9857652 |      966  25735 |        0 |        0
919.64/920.11	c  920s |      26 | 12602518 |  9876252 |      966  25773 |        0 |        0
921.64/922.11	c  922s |      26 | 12624891 |  9894652 |      966  25811 |        0 |        0
923.65/924.11	c  924s |      26 | 12647357 |  9912752 |      966  25848 |        0 |        0
925.64/926.12	c  926s |      26 | 12670326 |  9931152 |      966  25886 |        0 |        0
927.64/928.12	c  928s |      26 | 12694234 |  9950252 |      966  25925 |        0 |        0
929.64/930.13	c  930s |      26 | 12715726 |  9968352 |      966  25962 |        0 |        0
931.64/932.14	c  932s |      26 | 12739644 |  9986652 |      966  25999 |        0 |        0
933.64/934.14	c  934s |      26 | 12762327 | 10005252 |      966  26037 |        0 |        0
935.64/936.15	c  936s |      26 | 12786364 | 10024052 |      966  26075 |        0 |        0
937.65/938.16	c  938s |      26 | 12811141 | 10042752 |      966  26114 |        0 |        0
939.65/940.16	c  940s |      26 | 12835452 | 10061152 |      966  26151 |        0 |        0
941.64/942.17	c  942s |      26 | 12861709 | 10080852 |      966  26191 |        0 |        0
943.64/944.17	c  944s |      26 | 12889227 | 10101352 |      966  26233 |        0 |        0
945.65/946.17	c  946s |      26 | 12913316 | 10120452 |      966  26272 |        0 |        0
947.64/948.18	c  948s |      26 | 12939363 | 10140252 |      966  26313 |        0 |        0
949.64/950.19	c  950s |      26 | 12963391 | 10159452 |      966  26352 |        0 |        0
951.64/952.19	c  952s |      26 | 12988427 | 10178652 |      966  26392 |        0 |        0
953.64/954.19	c  954s |      26 | 13013878 | 10197852 |      966  26431 |        0 |        0
955.74/956.20	c  956s |      26 | 13038530 | 10217052 |      966  26470 |        0 |        0
957.75/958.21	c  958s |      26 | 13062905 | 10235952 |      966  26509 |        0 |        0
959.74/960.21	c  960s |      26 | 13086715 | 10255152 |      966  26548 |        0 |        0
961.74/962.21	c  962s |      26 | 13112006 | 10275052 |      966  26589 |        0 |        0
963.74/964.22	c  964s |      26 | 13135073 | 10294252 |      966  26628 |        0 |        0
965.74/966.22	c  966s |      26 | 13159583 | 10314152 |      966  26669 |        0 |        0
967.74/968.23	c  968s |      26 | 13183590 | 10333752 |      966  26709 |        0 |        0
969.74/970.23	c  970s |      26 | 13208359 | 10353452 |      966  26750 |        0 |        0
971.74/972.24	c  972s |      26 | 13231872 | 10372352 |      966  26789 |        0 |        0
973.74/974.24	c  974s |      26 | 13255845 | 10391252 |      966  26827 |        0 |        0
975.74/976.25	c  976s |      26 | 13283222 | 10411252 |      966  26868 |        0 |        0
977.74/978.25	c  978s |      26 | 13307781 | 10430952 |      966  26908 |        0 |        0
979.74/980.26	c  980s |      26 | 13332621 | 10450552 |      966  26948 |        0 |        0
981.73/982.27	c  982s |      26 | 13357028 | 10469952 |      966  26988 |        0 |        0
983.73/984.27	c  984s |      26 | 13384081 | 10490652 |      966  27030 |        0 |        0
985.73/986.28	c  986s |      26 | 13410154 | 10510952 |      966  27072 |        0 |        0
987.73/988.29	c  988s |      26 | 13434750 | 10530652 |      966  27112 |        0 |        0
989.73/990.29	c  990s |      26 | 13459129 | 10550352 |      966  27152 |        0 |        0
991.74/992.29	c  992s |      26 | 13483203 | 10569852 |      966  27192 |        0 |        0
993.83/994.30	c  994s |      26 | 13507783 | 10589452 |      966  27232 |        0 |        0
995.83/996.30	c  996s |      26 | 13533391 | 10609452 |      966  27273 |        0 |        0
997.83/998.31	c  998s |      26 | 13559538 | 10630352 |      966  27316 |        0 |        0
999.83/1000.32	c 1000s |      26 | 13583761 | 10649952 |      966  27356 |        0 |        0
1001.83/1002.32	c 1002s |      26 | 13606178 | 10668752 |      966  27394 |        0 |        0
1003.84/1004.32	c 1004s |      26 | 13633269 | 10689252 |      966  27436 |        0 |        0
1005.83/1006.33	c 1006s |      26 | 13655878 | 10708152 |      966  27475 |        0 |        0
1007.83/1008.33	c 1008s |      26 | 13678900 | 10727152 |      966  27514 |        0 |        0
1009.83/1010.34	c 1010s |      26 | 13701573 | 10745752 |      966  27552 |        0 |        0
1011.83/1012.34	c 1012s |      26 | 13726238 | 10765352 |      966  27592 |        0 |        0
1013.83/1014.35	c 1014s |      26 | 13750021 | 10784352 |      966  27631 |        0 |        0
1015.82/1016.36	c 1016s |      26 | 13774711 | 10803652 |      966  27670 |        0 |        0
1017.82/1018.36	c 1018s |      26 | 13798291 | 10822752 |      966  27709 |        0 |        0
1019.82/1020.37	c 1020s |      26 | 13823310 | 10842352 |      966  27749 |        0 |        0
1021.82/1022.37	c 1022s |      26 | 13849611 | 10862452 |      966  27790 |        0 |        0
1023.83/1024.38	c 1024s |      26 | 13874108 | 10881852 |      966  27830 |        0 |        0
1025.84/1026.38	c 1026s |      26 | 13899358 | 10901752 |      966  27871 |        0 |        0
1027.83/1028.39	c 1028s |      26 | 13923305 | 10921152 |      966  27910 |        0 |        0
1029.83/1030.39	c 1030s |      26 | 13945275 | 10939352 |      966  27947 |        0 |        0
1031.93/1032.40	c 1032s |      26 | 13968745 | 10958452 |      966  27987 |        0 |        0
1033.93/1034.40	c 1034s |      26 | 13993338 | 10977752 |      966  28026 |        0 |        0
1035.93/1036.41	c 1036s |      26 | 14019171 | 10997552 |      966  28066 |        0 |        0
1037.94/1038.41	c 1038s |      26 | 14045786 | 11018052 |      966  28108 |        0 |        0
1039.93/1040.42	c 1040s |      26 | 14073513 | 11038852 |      966  28151 |        0 |        0
1041.93/1042.43	c 1042s |      26 | 14101635 | 11060052 |      966  28194 |        0 |        0
1043.93/1044.43	c 1044s |      26 | 14127398 | 11079952 |      966  28234 |        0 |        0
1045.93/1046.43	c 1046s |      26 | 14152316 | 11099452 |      966  28274 |        0 |        0
1047.93/1048.44	c 1048s |      26 | 14176479 | 11118752 |      966  28313 |        0 |        0
1049.93/1050.45	c 1050s |      26 | 14201954 | 11138652 |      966  28353 |        0 |        0
1051.92/1052.45	c 1052s |      26 | 14227313 | 11158552 |      966  28394 |        0 |        0
1053.92/1054.46	c 1054s |      26 | 14250959 | 11177352 |      966  28432 |        1 |        0
1055.92/1056.46	c 1056s |      26 | 14273602 | 11195452 |      966  28468 |        1 |        0
1057.92/1058.47	c 1058s |      26 | 14297484 | 11214052 |      966  28506 |        1 |        0
1059.93/1060.48	c 1060s |      26 | 14323202 | 11233652 |      966  28545 |        1 |        0
1061.92/1062.48	c 1062s |      26 | 14347972 | 11252952 |      966  28584 |        1 |        0
1063.92/1064.49	c 1064s |      26 | 14375044 | 11272952 |      966  28625 |        1 |        0
1066.02/1066.50	c 1066s |      26 | 14399183 | 11292052 |      966  28664 |        1 |        0
1068.02/1068.51	c 1068s |      26 | 14423349 | 11310852 |      966  28703 |        1 |        0
1070.02/1070.51	c 1070s |      26 | 14446897 | 11329252 |     1063  28737 |        1 |        0
1072.03/1072.51	c 1072s |      26 | 14469666 | 11347252 |     1063  28771 |        1 |        0
1074.02/1074.52	c 1074s |      26 | 14491679 | 11365052 |     1063  28804 |        1 |        0
1076.02/1076.52	c 1076s |      26 | 14517462 | 11384052 |     1063  28839 |        1 |        0
1077.22/1077.75	c 1077s |      27 | 14535016 | 11396733 |     1063  28862 |        1 |        0
1079.22/1079.76	c 1079s |      27 | 14557002 | 11414733 |     1063  28896 |        1 |        0
1081.21/1081.76	c 1081s |      27 | 14580483 | 11433533 |     1063  28930 |        1 |        0
1083.21/1083.77	c 1083s |      27 | 14605014 | 11452533 |     1063  28966 |        1 |        0
1085.22/1085.78	c 1085s |      27 | 14630679 | 11472433 |     1063  29003 |        1 |        0
1087.22/1087.78	c 1087s |      27 | 14658101 | 11493133 |     1063  29041 |        1 |        0
1089.22/1089.79	c 1089s |      27 | 14682094 | 11512233 |     1063  29076 |        1 |        0
1091.22/1091.79	c 1091s |      27 | 14705608 | 11531433 |     1063  29112 |        1 |        0
1093.22/1093.79	c 1093s |      27 | 14733002 | 11551933 |     1063  29150 |        1 |        0
1095.23/1095.79	c 1095s |      27 | 14755700 | 11570433 |     1063  29185 |        1 |        0
1097.22/1097.80	c 1097s |      27 | 14776818 | 11588233 |     1063  29218 |        1 |        0
1099.32/1099.80	c 1099s |      27 | 14798632 | 11606033 |     1063  29251 |        1 |        0
1101.32/1101.81	c 1101s |      27 | 14821191 | 11624833 |     1063  29286 |        1 |        0
1103.32/1103.81	c 1103s |      27 | 14845560 | 11644333 |     1063  29322 |        1 |        0
1105.32/1105.82	c 1105s |      27 | 14869189 | 11663533 |     1063  29358 |        1 |        0
1107.32/1107.82	c 1107s |      27 | 14891915 | 11682033 |     1063  29392 |        1 |        0
1109.31/1109.83	c 1109s |      27 | 14916497 | 11701633 |     1063  29429 |        1 |        0
1111.31/1111.83	c 1111s |      27 | 14938162 | 11719633 |     1063  29462 |        1 |        0
1113.31/1113.84	c 1113s |      27 | 14961250 | 11738333 |     1063  29497 |        1 |        0
1115.31/1115.84	c 1115s |      27 | 14984433 | 11756733 |     1063  29531 |        1 |        0
1117.31/1117.85	c 1117s |      27 | 15007883 | 11775333 |     1063  29565 |        1 |        0
1119.32/1119.85	c 1119s |      27 | 15033198 | 11794433 |     1063  29601 |        1 |        0
1121.31/1121.86	c 1121s |      27 | 15058220 | 11813033 |     1063  29635 |        1 |        0
1123.31/1123.87	c 1123s |      27 | 15081092 | 11830933 |     1063  29668 |        1 |        0
1125.31/1125.88	c 1125s |      27 | 15102554 | 11847933 |     1063  29700 |        1 |        0
1127.32/1127.88	c 1127s |      27 | 15123607 | 11864933 |     1063  29731 |        1 |        0
1129.32/1129.88	c 1129s |      27 | 15143918 | 11881833 |     1063  29763 |        1 |        0
1131.32/1131.89	c 1131s |      27 | 15167536 | 11900333 |     1063  29797 |        1 |        0
1133.32/1133.89	c 1133s |      27 | 15190178 | 11918533 |     1063  29831 |        1 |        0
1135.41/1135.90	c 1135s |      27 | 15211551 | 11936233 |     1063  29864 |        1 |        0
1137.41/1137.91	c 1137s |      27 | 15233736 | 11954433 |     1063  29898 |        1 |        0
1139.41/1139.92	c 1139s |      27 | 15257851 | 11973133 |     1063  29932 |        1 |        0
1141.42/1141.93	c 1141s |      27 | 15280200 | 11991133 |     1063  29966 |        1 |        0
1143.41/1143.93	c 1143s |      27 | 15300955 | 12008433 |     1063  29998 |        1 |        0
1145.41/1145.94	c 1145s |      27 | 15322665 | 12026333 |     1063  30031 |        1 |        0
1147.41/1147.94	c 1147s |      27 | 15343882 | 12044233 |     1063  30064 |        1 |        0
1149.41/1149.95	c 1149s |      27 | 15366016 | 12062533 |     1063  30098 |        1 |        0
1151.41/1151.96	c 1151s |      27 | 15385940 | 12079733 |     1063  30130 |        1 |        0
1153.42/1153.97	c 1153s |      27 | 15406897 | 12097333 |     1063  30163 |        1 |        0
1155.41/1155.97	c 1155s |      27 | 15427035 | 12114433 |     1063  30195 |        1 |        0
1157.41/1157.98	c 1157s |      27 | 15448039 | 12132033 |     1063  30228 |        1 |        0
1159.41/1159.98	c 1159s |      27 | 15472145 | 12150633 |     1063  30262 |        1 |        0
1161.41/1161.99	c 1161s |      27 | 15494730 | 12168633 |     1063  30296 |        1 |        0
1163.41/1163.99	c 1163s |      27 | 15518193 | 12187333 |     1063  30331 |        1 |        0
1165.40/1165.99	c 1165s |      27 | 15542868 | 12206833 |     1063  30367 |        1 |        0
1167.50/1168.00	c 1167s |      27 | 15566411 | 12225233 |     1063  30401 |        1 |        0
1169.50/1170.01	c 1169s |      27 | 15588311 | 12243033 |     1063  30434 |        1 |        0
1171.50/1172.01	c 1171s |      27 | 15611451 | 12261033 |     1063  30468 |        1 |        0
1173.50/1174.02	c 1174s |      27 | 15635025 | 12279733 |     1063  30503 |        1 |        0
1175.51/1176.03	c 1176s |      27 | 15658608 | 12297933 |     1063  30537 |        1 |        0
1177.50/1178.04	c 1178s |      27 | 15680124 | 12315633 |     1063  30570 |        1 |        0
1179.51/1180.04	c 1180s |      27 | 15701894 | 12333233 |     1063  30602 |        1 |        0
1181.51/1182.04	c 1182s |      27 | 15723355 | 12350933 |     1063  30635 |        1 |        0
1183.51/1184.05	c 1184s |      27 | 15745163 | 12368733 |     1063  30668 |        1 |        0
1185.51/1186.05	c 1186s |      27 | 15769193 | 12387333 |     1063  30703 |        1 |        0
1187.51/1188.06	c 1188s |      27 | 15791719 | 12405533 |     1063  30736 |        1 |        0
1189.51/1190.06	c 1190s |      27 | 15813565 | 12423033 |     1063  30769 |        1 |        0
1191.50/1192.06	c 1192s |      27 | 15834385 | 12440533 |     1063  30801 |        1 |        0
1193.50/1194.07	c 1194s |      27 | 15857587 | 12459033 |     1063  30835 |        1 |        0
1195.50/1196.08	c 1196s |      27 | 15880654 | 12477533 |     1063  30870 |        1 |        0
1197.51/1198.08	c 1198s |      27 | 15906307 | 12497033 |     1063  30906 |        1 |        0
1199.50/1200.09	c 1200s |      27 | 15931543 | 12516133 |     1063  30941 |        1 |        0
1201.60/1202.10	c 1202s |      27 | 15955923 | 12534733 |     1063  30976 |        1 |        0
1203.60/1204.10	c 1204s |      27 | 15978218 | 12552633 |     1063  31009 |        1 |        0
1205.60/1206.10	c 1206s |      27 | 16001333 | 12570733 |     1063  31042 |        1 |        0
1207.60/1208.11	c 1208s |      27 | 16023245 | 12588533 |     1063  31076 |        1 |        0
1209.61/1210.12	c 1210s |      27 | 16046728 | 12607133 |     1063  31110 |        1 |        0
1211.60/1212.13	c 1212s |      27 | 16071160 | 12626233 |     1063  31146 |        1 |        0
1213.60/1214.14	c 1214s |      27 | 16096603 | 12645533 |     1063  31181 |        1 |        0
1215.59/1216.14	c 1216s |      27 | 16118242 | 12662833 |     1063  31214 |        1 |        0
1217.60/1218.15	c 1218s |      27 | 16139340 | 12680033 |     1063  31245 |        1 |        0
1219.60/1220.15	c 1220s |      27 | 16161434 | 12697933 |     1063  31279 |        1 |        0
1221.61/1222.15	c 1222s |      27 | 16185233 | 12716833 |     1063  31314 |        1 |        0
1223.60/1224.16	c 1224s |      27 | 16208776 | 12735133 |     1063  31348 |        1 |        0
1225.60/1226.17	c 1226s |      27 | 16231357 | 12753633 |     1063  31382 |        1 |        0
1227.60/1228.18	c 1228s |      27 | 16253562 | 12771733 |     1063  31416 |        1 |        0
1229.60/1230.18	c 1230s |      27 | 16277753 | 12791133 |     1063  31452 |        1 |        0
1231.60/1232.19	c 1232s |      27 | 16299144 | 12808833 |     1063  31485 |        1 |        0
1233.60/1234.19	c 1234s |      27 | 16323560 | 12828033 |     1063  31520 |        1 |        0
1235.70/1236.20	c 1236s |      27 | 16346649 | 12846533 |     1063  31555 |        1 |        0
1237.69/1238.21	c 1238s |      27 | 16370592 | 12864833 |     1063  31589 |        1 |        0
1239.69/1240.21	c 1240s |      27 | 16395600 | 12883733 |     1063  31624 |        1 |        0
1241.69/1242.22	c 1242s |      27 | 16418573 | 12902033 |     1063  31658 |        1 |        0
1243.70/1244.22	c 1244s |      27 | 16443773 | 12921333 |     1063  31694 |        1 |        0
1245.69/1246.22	c 1246s |      27 | 16466852 | 12939633 |     1063  31728 |        1 |        0
1247.69/1248.22	c 1248s |      27 | 16490306 | 12958533 |     1063  31763 |        1 |        0
1249.69/1250.23	c 1250s |      27 | 16512279 | 12976533 |     1063  31796 |        1 |        0
1251.69/1252.24	c 1252s |      27 | 16536109 | 12995333 |     1063  31831 |        1 |        0
1253.69/1254.24	c 1254s |      27 | 16558804 | 13013633 |     1063  31865 |        1 |        0
1255.70/1256.25	c 1256s |      27 | 16582358 | 13032633 |     1063  31900 |        1 |        0
1257.69/1258.26	c 1258s |      27 | 16606357 | 13051733 |     1063  31936 |        1 |        0
1259.69/1260.26	c 1260s |      27 | 16630329 | 13070833 |     1063  31971 |        1 |        0
1261.69/1262.26	c 1262s |      27 | 16655936 | 13090333 |     1063  32008 |        1 |        0
1263.69/1264.26	c 1264s |      27 | 16677276 | 13108133 |     1063  32041 |        1 |        0
1265.69/1266.26	c 1266s |      27 | 16699958 | 13126733 |     1063  32075 |        1 |        0
1267.70/1268.27	c 1268s |      27 | 16723817 | 13146033 |     1063  32111 |        1 |        0
1269.69/1270.28	c 1270s |      27 | 16747715 | 13165333 |     1063  32147 |        1 |        0
1271.69/1272.28	c 1272s |      27 | 16768780 | 13183233 |     1063  32180 |        1 |        0
1273.69/1274.29	c 1274s |      27 | 16790998 | 13201233 |     1063  32214 |        1 |        0
1275.69/1276.29	c 1276s |      27 | 16812501 | 13219233 |     1063  32247 |        1 |        0
1277.70/1278.30	c 1278s |      27 | 16835687 | 13237633 |     1063  32282 |        1 |        0
1279.79/1280.31	c 1280s |      27 | 16860579 | 13256633 |     1063  32317 |        1 |        0
1281.79/1282.32	c 1282s |      27 | 16880512 | 13273533 |     1063  32348 |        1 |        0
1283.79/1284.32	c 1284s |      27 | 16902933 | 13291233 |     1063  32380 |        1 |        0
1285.79/1286.32	c 1286s |      27 | 16924701 | 13309133 |     1063  32414 |        1 |        0
1287.79/1288.32	c 1288s |      27 | 16947312 | 13327433 |     1063  32447 |        1 |        0
1289.80/1290.33	c 1290s |      27 | 16971356 | 13346233 |     1063  32482 |        1 |        0
1291.79/1292.34	c 1292s |      27 | 16995685 | 13365233 |     1063  32518 |        1 |        0
1293.79/1294.35	c 1294s |      27 | 17018025 | 13383633 |     1063  32552 |        1 |        0
1295.79/1296.36	c 1296s |      27 | 17039247 | 13401133 |     1063  32584 |        1 |        0
1297.79/1298.36	c 1298s |      27 | 17058969 | 13418033 |     1063  32615 |        1 |        0
1299.79/1300.37	c 1300s |      27 | 17079500 | 13435533 |     1063  32648 |        1 |        0
1301.79/1302.37	c 1302s |      27 | 17099788 | 13452533 |     1063  32679 |        1 |        0
1303.79/1304.38	c 1304s |      27 | 17120877 | 13470433 |     1063  32713 |        1 |        0
1305.79/1306.40	c 1306s |      27 | 17141744 | 13487633 |     1063  32745 |        1 |        0
1307.89/1308.40	c 1308s |      27 | 17163957 | 13505633 |     1063  32778 |        1 |        0
1309.89/1310.41	c 1310s |      27 | 17186428 | 13524033 |     1063  32812 |        1 |        0
1311.89/1312.41	c 1312s |      27 | 17208439 | 13541933 |     1063  32845 |        1 |        0
1313.88/1314.41	c 1314s |      27 | 17231962 | 13560433 |     1063  32879 |        1 |        0
1315.88/1316.41	c 1316s |      27 | 17255139 | 13579033 |     1063  32914 |        1 |        0
1317.88/1318.42	c 1318s |      27 | 17277161 | 13597233 |     1063  32947 |        1 |        0
1319.88/1320.43	c 1320s |      27 | 17299151 | 13615233 |     1063  32981 |        1 |        0
1321.88/1322.44	c 1322s |      27 | 17321750 | 13633333 |     1063  33014 |        1 |        0
1323.89/1324.44	c 1324s |      27 | 17345551 | 13652133 |     1063  33049 |        1 |        0
1325.88/1326.45	c 1326s |      27 | 17369270 | 13670833 |     1063  33083 |        1 |        0
1327.88/1328.46	c 1328s |      27 | 17391567 | 13689033 |     1063  33117 |        2 |        0
1329.88/1330.46	c 1330s |      27 | 17417989 | 13708333 |     1063  33153 |        2 |        0
1331.88/1332.47	c 1332s |      27 | 17445150 | 13727333 |     1063  33188 |        2 |        0
1333.88/1334.48	c 1334s |      27 | 17469076 | 13745433 |     1063  33222 |        2 |        0
1335.88/1336.48	c 1336s |      27 | 17494432 | 13763933 |     1063  33256 |        2 |        0
1337.88/1338.49	c 1338s |      27 | 17517040 | 13781733 |     1063  33289 |        2 |        0
1339.88/1340.49	c 1340s |      27 | 17536899 | 13798733 |     1063  33320 |        2 |        0
1341.98/1342.50	c 1342s |      27 | 17558399 | 13816633 |     1063  33353 |        2 |        0
1343.97/1344.50	c 1344s |      27 | 17581821 | 13835233 |     1063  33388 |        2 |        0
1345.88/1346.50	c 1346s |      27 | 17606456 | 13853933 |     1063  33423 |        2 |        0
1347.97/1348.50	c 1348s |      27 | 17632648 | 13873233 |     1063  33458 |        2 |        0
1349.97/1350.50	c 1350s |      27 | 17659835 | 13892533 |     1063  33494 |        2 |        0
1351.97/1352.51	c 1352s |      27 | 17685942 | 13912233 |     1063  33531 |        2 |        0
1353.98/1354.52	c 1354s |      27 | 17708940 | 13930533 |     1063  33565 |        2 |        0
1355.98/1356.52	c 1356s |      27 | 17731063 | 13948833 |     1063  33599 |        2 |        0
1357.99/1358.53	c 1358s |      27 | 17754435 | 13967433 |     1063  33633 |        2 |        0
1359.98/1360.53	c 1360s |      27 | 17778757 | 13986633 |     1063  33669 |        2 |        0
1361.98/1362.54	c 1362s |      27 | 17803480 | 14005833 |     1063  33705 |        2 |        0
1363.98/1364.55	c 1364s |      27 | 17827015 | 14024733 |     1063  33740 |        2 |        0
1365.98/1366.55	c 1366s |      27 | 17851216 | 14044133 |     1063  33776 |        2 |        0
1367.99/1368.56	c 1368s |      27 | 17875702 | 14063233 |     1063  33811 |        2 |        0
1369.98/1370.56	c 1370s |      27 | 17899267 | 14081733 |     1063  33846 |        2 |        0
1371.98/1372.56	c 1372s |      27 | 17920520 | 14099433 |     1063  33879 |        2 |        0
1373.98/1374.56	c 1374s |      27 | 17941997 | 14117233 |     1063  33912 |        2 |        0
1375.98/1376.57	c 1376s |      27 | 17965814 | 14136033 |     1063  33947 |        2 |        0
1377.98/1378.57	c 1378s |      27 | 17990278 | 14155333 |     1063  33983 |        2 |        0
1379.98/1380.57	c 1380s |      27 | 18016098 | 14175333 |     1063  34020 |        2 |        0
1381.98/1382.58	c 1382s |      27 | 18043995 | 14196033 |     1063  34058 |        2 |        0
1383.98/1384.58	c 1384s |      27 | 18072991 | 14216633 |     1063  34097 |        2 |        0
1385.97/1386.59	c 1386s |      27 | 18098842 | 14236233 |     1063  34133 |        2 |        0
1387.97/1388.59	c 1388s |      27 | 18123696 | 14255833 |     1063  34169 |        2 |        0
1390.07/1390.60	c 1390s |      27 | 18148613 | 14275333 |     1063  34206 |        2 |        0
1392.08/1392.60	c 1392s |      27 | 18171142 | 14293833 |     1063  34240 |        2 |        0
1394.07/1394.61	c 1394s |      27 | 18193742 | 14312633 |     1063  34275 |        2 |        0
1396.07/1396.61	c 1396s |      27 | 18220620 | 14333333 |     1063  34313 |        2 |        0
1398.07/1398.61	c 1398s |      27 | 18246049 | 14353333 |     1063  34351 |        2 |        0
1400.07/1400.61	c 1400s |      27 | 18270060 | 14372333 |     1063  34386 |        2 |        0
1402.08/1402.61	c 1402s |      27 | 18297537 | 14392933 |     1063  34424 |        2 |        0
1404.07/1404.62	c 1404s |      27 | 18324935 | 14413733 |     1063  34463 |        2 |        0
1406.07/1406.63	c 1406s |      27 | 18349985 | 14433833 |     1063  34500 |        2 |        0
1408.07/1408.64	c 1408s |      27 | 18374817 | 14453433 |     1063  34536 |        2 |        0
1410.07/1410.64	c 1410s |      27 | 18401609 | 14474033 |     1063  34574 |        2 |        0
1412.07/1412.65	c 1412s |      27 | 18428036 | 14495033 |     1063  34613 |        2 |        0
1414.07/1414.65	c 1414s |      27 | 18451595 | 14513833 |     1063  34648 |        3 |        0
1416.06/1416.66	c 1416s |      27 | 18476079 | 14533133 |     1063  34683 |        3 |        0
1418.06/1418.66	c 1418s |      27 | 18499214 | 14552233 |     1063  34719 |        3 |        0
1420.06/1420.67	c 1420s |      27 | 18524383 | 14571733 |     1063  34755 |        3 |        0
1422.06/1422.68	c 1422s |      27 | 18547124 | 14590733 |     1063  34790 |        3 |        0
1424.07/1424.68	c 1424s |      27 | 18570295 | 14609833 |     1063  34825 |        4 |        0
1426.06/1426.69	c 1426s |      27 | 18595440 | 14629933 |     1063  34863 |        4 |        0
1428.07/1428.69	c 1428s |      27 | 18621678 | 14650333 |     1063  34900 |        4 |        0
1430.17/1430.70	c 1430s |      27 | 18646966 | 14670333 |     1063  34938 |        4 |        0
1432.17/1432.70	c 1432s |      27 | 18673898 | 14690933 |     1063  34975 |        5 |        0
1434.17/1434.71	c 1434s |      27 | 18699704 | 14710533 |     1063  35012 |        5 |        0
1436.18/1436.71	c 1436s |      27 | 18724868 | 14730333 |     1063  35048 |        5 |        0
1438.17/1438.72	c 1438s |      27 | 18748612 | 14749633 |     1063  35084 |        5 |        0
1440.17/1440.72	c 1440s |      27 | 18772768 | 14769533 |     1063  35121 |        5 |        0
1442.17/1442.72	c 1442s |      27 | 18797548 | 14789133 |     1063  35156 |        6 |        0
1444.17/1444.72	c 1444s |      27 | 18822416 | 14808833 |     1063  35192 |        7 |        0
1445.57/1446.11	c 1446s |      27 | 18839661 | 14822685 |     1063  35216 |       45 |       14
1445.57/1446.11	c #cpu_time = 1445.851s
1445.57/1446.11	c #wall_clock_time = 1446.090s
1445.57/1446.11	c #decision = 18839661
1445.57/1446.11	c #random_decision = 82977
1445.57/1446.11	c #conflict = 14822685
1445.57/1446.11	c #restart = 27
1445.57/1446.11	s UNSATISFIABLE
1445.57/1446.11	c total CPU time = 1445.866s
1445.57/1446.11	c total wall clock time = 1446.105s

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

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

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


[startup+0 s]
/proc/loadavg: 1.19 1.21 1.45 3/179 25580
/proc/meminfo: memFree=26818272/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=89524 CPUtime=0 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) S 25577 25580 23450 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 2 0 12607438 91672576 768 33554432000 4194304 16246674 140737257464272 140737257463472 14069300 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25580/statm: 22381 772 205 2943 0 19275 0
[pid=25580/tid=25581] ppid=25577 vsize=99768 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 3 0 12607438 102162432 780 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=165304 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 3 0 12607438 169271296 788 33554432000 4194304 16246674 140737257464272 140097561291952 14998865 0 0 0 34082818 0 0 0 -1 5 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 1.19 1.21 1.45 3/179 25580
/proc/meminfo: memFree=26818272/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 23462 0 0 0 6 3 0 0 20 0 4 0 12607438 1247350784 24324 33554432000 4194304 16246674 140737257464272 140737257463696 5724508 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25580/statm: 304529 24332 707 2943 0 301423 0
[pid=25580/tid=25581] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 24337 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 24345 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200415 s]
/proc/loadavg: 1.19 1.21 1.45 3/179 25580
/proc/meminfo: memFree=26818272/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 46182 0 0 0 12 7 0 0 20 0 4 0 12607438 1247350784 47043 33554432000 4194304 16246674 140737257464272 140737257463696 5667714 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25580/statm: 304529 47056 707 2943 0 301423 0
[pid=25580/tid=25581] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 47062 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 47068 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300474 s]
/proc/loadavg: 1.19 1.21 1.45 3/179 25580
/proc/meminfo: memFree=26818272/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 68950 0 0 0 18 10 0 0 20 0 4 0 12607438 1247350784 69811 33554432000 4194304 16246674 140737257464272 140737257447272 13194067 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25580/statm: 304529 69823 707 2943 0 301423 0
[pid=25580/tid=25581] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 69830 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 69837 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700346 s]
/proc/loadavg: 1.19 1.21 1.45 3/179 25580
/proc/meminfo: memFree=26818272/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 157453 0 0 0 46 23 0 0 20 0 4 0 12607438 1247350784 158314 33554432000 4194304 16246674 140737257464272 140737257446144 5994101 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25580/statm: 304529 158323 707 2943 0 301423 0
[pid=25580/tid=25581] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 158328 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 158335 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 1.26 1.22 1.45 3/183 25584
/proc/meminfo: memFree=24890036/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 245477 0 0 0 112 36 0 0 20 0 4 0 12607438 1247350784 246318 33554432000 4194304 16246674 140737257464272 140737257446144 5861265 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25580/statm: 304529 246318 783 2943 0 301423 0
[pid=25580/tid=25581] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 246318 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 246318 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1247350784 246318 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10045 s]
/proc/loadavg: 1.26 1.22 1.45 3/183 25584
/proc/meminfo: memFree=24714932/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 267375 0 0 0 269 39 0 0 20 0 4 0 12607438 1337528320 268216 33554432000 4194304 16246674 140737257464272 140737257446144 5523513 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25580/statm: 326545 268216 783 2943 0 323439 0
[pid=25580/tid=25581] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268216 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268216 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268216 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 1.26 1.22 1.45 3/183 25584
/proc/meminfo: memFree=24712984/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 267402 0 0 0 587 41 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140737257447264 13923716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326545 268243 785 2943 0 323439 0
[pid=25580/tid=25581] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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: 1.52 1.28 1.47 3/183 25584
/proc/meminfo: memFree=24713140/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 267402 0 0 0 1227 41 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140737257446144 5523546 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326545 268243 785 2943 0 323439 0
[pid=25580/tid=25581] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268243 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.59 1.31 1.48 3/183 25584
/proc/meminfo: memFree=24713924/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1306180 CPUtime=25.47 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 267424 0 0 0 2506 41 0 0 20 0 4 0 12607438 1337528320 268265 33554432000 4194304 16246674 140737257464272 140737257446144 12478333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326545 268265 785 2943 0 323439 0
[pid=25580/tid=25581] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268265 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268265 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268265 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.96 1.41 1.50 3/183 25633
/proc/meminfo: memFree=24712776/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1306180 CPUtime=51.07 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 267433 0 0 0 5065 42 0 0 20 0 4 0 12607438 1337528320 268274 33554432000 4194304 16246674 140737257464272 140737257446144 5823690 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326545 268274 785 2943 0 323439 0
[pid=25580/tid=25581] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268274 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268274 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268274 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.20 1.57 1.55 3/183 25634
/proc/meminfo: memFree=24712188/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1306180 CPUtime=102.27 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 267447 0 0 0 10184 43 0 0 20 0 4 0 12607438 1337528320 268288 33554432000 4194304 16246674 140737257464272 140737257446144 13923652 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326545 268288 786 2943 0 323439 0
[pid=25580/tid=25581] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268288 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268288 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268288 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180

[startup+162.3 s]
/proc/loadavg: 2.16 1.67 1.59 3/183 25635
/proc/meminfo: memFree=24712180/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1306180 CPUtime=162.26 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 267448 0 0 0 16181 45 0 0 20 0 4 0 12607438 1337528320 268289 33554432000 4194304 16246674 140737257464272 140737257446144 5721885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326545 268289 786 2943 0 323439 0
[pid=25580/tid=25581] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268289 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1337528320 268289 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0

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

/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268242 0 0 0 124110 69 0 0 20 0 4 0 12607438 1338576896 268662 33554432000 4194304 16246674 140737257464272 140737257446144 5523675 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268662 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268662 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268662 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268662 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.22 2.23 2.03 3/183 25687
/proc/meminfo: memFree=24706688/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1301.79 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 130109 70 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257446144 5667105 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.30 2.26 2.05 3/183 25688
/proc/meminfo: memFree=24706348/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1361.78 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 136107 71 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257447272 5722978 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.29 2.27 2.07 3/183 25690
/proc/meminfo: memFree=24705632/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1421.77 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 142106 71 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257446144 5822756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1307204

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25580 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1433.6 s]
/proc/loadavg: 2.24 2.26 2.07 4/183 25690
/proc/meminfo: memFree=24705732/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1433.07 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 143235 72 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257446144 5717481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1433.07
Current children cumulated vsize (KiB) 1307204

[startup+1440.01 s]
/proc/loadavg: 2.22 2.26 2.07 4/184 25693
/proc/meminfo: memFree=24705444/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1439.48 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 143876 72 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257446144 5522913 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1439.48
Current children cumulated vsize (KiB) 1307204

[startup+1443.2 s]
/proc/loadavg: 2.29 2.27 2.07 4/184 25693
/proc/meminfo: memFree=24704984/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1442.67 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 144195 72 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257446144 5523480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1442.67
Current children cumulated vsize (KiB) 1307204

[startup+1444.8 s]
/proc/loadavg: 2.29 2.27 2.07 3/184 25693
/proc/meminfo: memFree=24705112/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1444.27 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 144355 72 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257446144 6020672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1444.27
Current children cumulated vsize (KiB) 1307204

[startup+1445.6 s]
/proc/loadavg: 2.29 2.27 2.07 3/184 25693
/proc/meminfo: memFree=24705244/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1445.07 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268246 0 0 0 144435 72 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140737257447272 12483428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268666 787 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268666 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1445.07
Current children cumulated vsize (KiB) 1307204

[startup+1446 s]
/proc/loadavg: 2.29 2.27 2.07 3/184 25693
/proc/meminfo: memFree=24705244/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1445.47 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268247 0 0 0 144475 72 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140737257447272 6077191 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268667 788 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1445.47
Current children cumulated vsize (KiB) 1307204

[startup+1446.1 s]
/proc/loadavg: 2.29 2.27 2.07 3/184 25693
/proc/meminfo: memFree=24705244/32872528 swapFree=1499852/1696076
[pid=25580] ppid=25577 vsize=1307204 CPUtime=1445.57 cores=1,3,5,7
/proc/25580/stat : 25580 (toysat) R 25577 25580 23450 0 -1 4202496 268247 0 0 0 144485 72 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140737257447272 13965578 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25580/statm: 326801 268667 788 2943 0 323695 0
[pid=25580/tid=25581] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25581/stat : 25581 (toysat) S 25577 25580 23450 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140097561275632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=25580/tid=25582] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25582/stat : 25582 (toysat) S 25577 25580 23450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140097550785776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=25580/tid=25584] ppid=25577 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/25580/task/25584/stat : 25584 (toysat) S 25577 25580 23450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12607438 1338576896 268667 33554432000 4194304 16246674 140737257464272 140097471114416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1445.57
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 1446.12
CPU time (s): 1445.59
CPU user time (s): 1444.86
CPU system time (s): 0.725889
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1444.86
system time used= 0.725889
maximum resident set size= 1074680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268253
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= 444
involuntary context switches= 1506

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62514 second user time and 6.16806 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-30 21:56:02
IDJOB=4122394
IDBENCH=111095
IDSOLVER=2542
FILE ID=node137/4122394-1467316562
RUNJOBID= node137-1467316562-25548
PBS_JOBID= 20005282
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122394-1467316562/watcher-4122394-1467316562 -o /tmp/evaluation-result-4122394-1467316562/solver-4122394-1467316562 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467316562-25548 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122394-1467316562.opb

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

MD5SUM BENCH= 1f8ccce1230a0525bdb0e1b5cce7649d
RANDOM SEED=511850729

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.265
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.54
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.265
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:        26834440 kB
Buffers:           33996 kB
Cached:          3515284 kB
SwapCached:            0 kB
Active:          1855324 kB
Inactive:        1728768 kB
Active(anon):      26184 kB
Inactive(anon):    11032 kB
Active(file):    1829140 kB
Inactive(file):  1717736 kB
Unevictable:     1696076 kB
Mlocked:         1499852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32636 kB
Writeback:             0 kB
AnonPages:       1726724 kB
Mapped:            16436 kB
Shmem:               204 kB
Slab:             622988 kB
SReclaimable:      67604 kB
SUnreclaim:       555384 kB
KernelStack:        1416 kB
PageTables:         9144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2824576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node137 at 2016-06-30 22:20:08