Trace number 4093391

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.13 1800.64

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
MD5SUMd7ec3e5f8584fe7f5e0e066c760adfab
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.05
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints65
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Top cost 3414
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3413
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
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-16T15:13:50+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093391-1466082829.wbo"]
0.00/0.01	c use --random-gen="2098375395 648054272 3199951106 3031666127 940157827 1274981379 2455660598 4001465722 1968327099 4264660780 3339872728 2344851595 4011987957 1541789096 3721781052 788295420 2345719541 2630393083 463909363 3916363533 2886280364 288140604 3160043700 3220496503 1604096417 2436243356 1785731016 1952418498 364776248 2017899106 309547655 1678347482 2205102507 1198955756 692264549 2553908901 2344208091 4124445999 1637622425 1371051418 3210091451 293710636 3537891007 2467085061 1970901718 3247218328 2390447134 417016517 3774739656 2081705956 3837551933 1495803072 3997309357 4115227906 3951218032 2567154053 3425693237 505745101 2951002764 1717918233 1483384784 2673870556 3308716683 3395849859 2475373898 3357143800 3732251022 3426669227 4038015856 3494417658 3546200434 3798781748 220198291 2544579339 2702513533 1675237429 845521437 959996584 1991154712 3284091740 2891682345 1259482913 1346676416 1541382110 1184624678 2348171173 263385319 4150290826 4137757166 2546010282 1407860936 1710229826 1480729745 4033675117 49080541 1925987625 1329796859 3307330703 4274988300 3683503445 3088250026 2217138076 3749251084 3195865848 3488448436 237204975 30865960 3808742084 382694580 771571610 2219444661 2847531398 1630766831 1169788044 1575266192 2963065387 510965858 491167190 2220913116 4278672273 33102339 644746144 2634982193 233798415 1198475562 5529022 3854871520 4301809 1227119053 3524292233 4047497991 889414854 805169225 2598682408 1103864820 6707993 2350175208 1862823692 1430765606 2730276520 1086715617 679411930 639434589 718717543 3947688448 1214125888 3985987234 924976137 832296130 1910818232 1853672494 680515995 2100639929 1231076531 1560972470 215750412 2988707220 3915636747 2095575890 2544537528 4287043137 2581900900 2920137851 2638528784 4069209098 1888072962 3604605608 1222618479 186893631 4028607679 2331847408 2313472060 375985702 616125212 569970539 1732380645 1340958542 3002648751 76978601 1651976863 1424796620 95115823 2226331912 1465249227 3765248937 48922564 1470026903 3436596967 1661632737 2586117265 4187950261 4282833824 283673209 3685616577 4207566469 3270856575 1762392866 4291665091 2516301250 1595169701 2878033645 3914035702 2493507250 975255834 3199768375 3748634778 3975971213 161317795 1290321149 4195808993 1741771642 4107653103 1315027916 1252797347 1856297550 2484353428 705096438 4123068958 348847442 211593451 4101124185 896165805 317428022 1261847939 4155755604 42512973 273528405 3447602682 2254230518 227497715 2660323532 150576945 2124449584 515043549 3113131442 1758601049 3095775738 3551472146 2978177713 3913028533 310010458 1102767343 1763600974 2458233498 465340939 2287101368 4122938184 3546193415 755527383 2697894707 57568061 2581886418 3245719485 979071707 2669271238 441160693 255 362436" option to reproduce the execution
0.48/0.51	c #vars 10100
0.48/0.51	c #constraints 201
0.48/0.56	c BCD2: Hardening is enabled.
0.48/0.56	c BCD2: BiasedSearch is enabled.
0.48/0.56	c Solving starts ...
0.48/0.56	c ============================[ Search Statistics ]============================
0.48/0.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.56	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.56	c =============================================================================
0.48/0.56	c  0.0s |       0 |        0 |        0 |     3455      0 |        0 |        0
0.69/0.70	c  0.1s |       1 |      282 |      100 |     3455      0 |        0 |        0
0.69/0.72	c  0.2s |       1 |     6631 |      101 |     3801      0 |        0 |        0
0.69/0.72	c #cpu_time = 0.163s
0.69/0.72	c #wall_clock_time = 0.163s
0.69/0.72	c #decision = 6631
0.69/0.72	c #random_decision = 29
0.69/0.72	c #conflict = 101
0.69/0.72	c #restart = 1
0.69/0.73	o 1731
0.69/0.73	c BCD2: updating upper bound: 3413 -> 1730
0.69/0.73	c BCD2: 0 <= obj <= 1730
0.69/0.73	c BCD2: #cores=0, #unrelaxed=65, #relaxed=0, #hardened=0
0.69/0.73	c BCD2: #sat=1 #unsat=1 bias=1/2
0.69/0.73	c Solving starts ...
0.69/0.73	c ============================[ Search Statistics ]============================
0.69/0.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.69/0.73	c       |         |          |          |    Limit     GC | Var      | Constra 
0.69/0.73	c =============================================================================
0.69/0.73	c  0.0s |       0 |        0 |        0 |     3801      0 |        0 |        0
0.98/1.07	c  0.3s |       1 |     3498 |      100 |     3801      0 |        0 |        0
1.38/1.46	c  0.7s |       2 |     8630 |      250 |     4182      0 |        0 |        0
2.19/2.21	c  1.5s |       3 |    14102 |      475 |     4601      0 |        0 |        0
3.68/3.72	c  3.0s |       4 |    20366 |      813 |     5062      0 |        0 |        0
5.08/5.13	c  4.4s |       5 |    26121 |     1320 |     5569      0 |        0 |        0
6.89/6.92	c  6.2s |       6 |    32128 |     2081 |     6126      0 |        0 |        0
8.90/8.97	c  8.2s |       6 |    38266 |     2881 |     6126      0 |        0 |        0
9.89/9.93	c  9.2s |       7 |    38639 |     3223 |     6739      0 |        0 |        0
11.89/11.96	c 11.2s |       7 |    44883 |     4023 |     6739      0 |        0 |        0
14.08/14.12	c 13.4s |       7 |    45667 |     4723 |     6739      0 |        0 |        0
14.78/14.81	c 14.1s |       8 |    45909 |     4936 |     7413      0 |        0 |        0
16.98/17.01	c 16.3s |       8 |    51902 |     5736 |     7413      0 |        0 |        0
18.98/19.01	c 18.3s |       8 |    52566 |     6336 |     7413      0 |        0 |        0
20.99/21.07	c 20.3s |       8 |    53248 |     6936 |     7413      0 |        0 |        0
23.09/23.20	c 22.5s |       9 |    53914 |     7506 |     8155      0 |        0 |        0
25.39/25.49	c 24.8s |       9 |    60150 |     8206 |     8155      0 |        0 |        0
27.59/27.63	c 26.9s |       9 |    60818 |     8806 |     8155      0 |        0 |        0
29.69/29.72	c 29.0s |       9 |    61373 |     9306 |     8155      0 |        0 |        0
32.28/32.31	c 31.6s |       9 |    62758 |     9806 |     8155      0 |        0 |        0
34.28/34.36	c 33.6s |       9 |    63178 |    10106 |     8155      0 |        0 |        0
36.48/36.51	c 35.8s |       9 |    63595 |    10406 |     8155      0 |        0 |        0
38.88/38.99	c 38.3s |       9 |    63984 |    10706 |     8155      0 |        0 |        0
41.18/41.26	c 40.5s |       9 |    64370 |    11006 |     8155      0 |        0 |        0
43.38/43.47	c 42.7s |       9 |    64775 |    11306 |     8971      0 |        0 |        0
43.88/43.91	c 43.2s |      10 |    64845 |    11361 |     8971      0 |        0 |        0
45.98/46.06	c 45.3s |      10 |    70460 |    11761 |     8971      1 |        0 |        0
48.18/48.22	c 47.5s |      10 |    71149 |    12361 |     8971      1 |        0 |        0
50.48/50.53	c 49.8s |      10 |    71820 |    12961 |     8971      1 |        0 |        0
52.78/52.81	c 52.1s |      10 |    72508 |    13561 |     8971      1 |        0 |        0
55.18/55.28	c 54.6s |      10 |    73166 |    14161 |     8971      1 |        0 |        0
57.48/57.57	c 56.8s |      10 |    73732 |    14661 |     8971      1 |        0 |        0
59.78/59.84	c 59.1s |      10 |    74325 |    15161 |     8971      1 |        0 |        0
61.88/61.93	c 61.2s |      10 |    74812 |    15561 |     8971      1 |        0 |        0
64.07/64.10	c 63.4s |      10 |    75283 |    15961 |     8971      1 |        0 |        0
66.48/66.51	c 65.8s |      10 |    75736 |    16361 |     8971      1 |        0 |        0
68.68/68.71	c 68.0s |      10 |    76204 |    16761 |     8971      1 |        0 |        0
70.97/71.07	c 70.3s |      11 |    76645 |    17144 |     9869      1 |        0 |        0
73.17/73.28	c 72.6s |      11 |    81993 |    17544 |     9869      2 |        0 |        0
75.18/75.29	c 74.6s |      11 |    82722 |    18144 |     9869      2 |        0 |        0
77.58/77.62	c 76.9s |      11 |    83284 |    18644 |     9869      2 |        0 |        0
79.87/79.94	c 79.2s |      11 |    83860 |    19144 |     9869      2 |        0 |        0
82.37/82.49	c 81.8s |      11 |    84444 |    19644 |     9869      2 |        0 |        0
84.47/84.58	c 83.9s |      11 |    84921 |    20044 |     9869      2 |        0 |        0
86.57/86.60	c 85.9s |      11 |    85480 |    20544 |     9869      2 |        0 |        0
89.08/89.12	c 88.4s |      11 |    86053 |    21044 |     9869      2 |        0 |        0
91.17/91.29	c 90.6s |      11 |    86547 |    21444 |     9869      2 |        0 |        0
93.27/93.37	c 92.6s |      11 |    87015 |    21844 |     9869      2 |        0 |        0
95.47/95.56	c 94.8s |      11 |    87480 |    22244 |     9869      2 |        0 |        0
97.67/97.78	c 97.1s |      11 |    87908 |    22644 |     9869      2 |        0 |        0
100.18/100.28	c 99.6s |      11 |    88344 |    23044 |     9869      2 |        0 |        0
102.87/102.93	c  102s |      11 |    88820 |    23444 |     9869      2 |        0 |        0
105.27/105.30	c  104s |      11 |    89394 |    23944 |     9869      2 |        0 |        0
107.27/107.36	c  106s |      11 |    89845 |    24344 |     9869      2 |        0 |        0
109.37/109.41	c  108s |      11 |    90295 |    24744 |     9869      2 |        0 |        0
111.67/111.73	c  111s |      11 |    90774 |    25144 |     9869      2 |        0 |        0
113.77/113.80	c  113s |      11 |    91247 |    25544 |     9869      2 |        0 |        0
115.27/115.34	c  114s |      12 |    91567 |    25819 |    10856      2 |        0 |        0
117.37/117.44	c  116s |      12 |    97065 |    26119 |    10856      3 |        0 |        0
119.56/119.63	c  118s |      12 |    97868 |    26819 |    10856      3 |        0 |        0
121.87/121.93	c  121s |      12 |    98548 |    27419 |    10856      3 |        0 |        0
124.07/124.10	c  123s |      12 |    99104 |    27919 |    10856      3 |        0 |        0
126.17/126.21	c  125s |      12 |    99683 |    28419 |    10856      3 |        0 |        0
128.16/128.25	c  127s |      12 |   100266 |    28919 |    10856      3 |        0 |        0
130.67/130.70	c  129s |      12 |   100857 |    29419 |    10856      3 |        0 |        0
132.67/132.79	c  132s |      12 |   101318 |    29819 |    10856      3 |        0 |        0
134.76/134.85	c  134s |      12 |   101768 |    30219 |    10856      3 |        0 |        0
136.96/137.06	c  136s |      12 |   102209 |    30619 |    10856      3 |        0 |        0
138.97/139.07	c  138s |      12 |   102641 |    31019 |    10856      3 |        0 |        0
141.16/141.23	c  140s |      12 |   103085 |    31419 |    10856      3 |        0 |        0
143.56/143.67	c  142s |      12 |   103658 |    31919 |    10856      3 |        0 |        0
145.97/146.07	c  145s |      12 |   104215 |    32419 |    10856      3 |        0 |        0
148.07/148.19	c  147s |      12 |   104814 |    32919 |    10856      3 |        0 |        0
150.36/150.41	c  149s |      12 |   105243 |    33319 |    10856      3 |        0 |        0
152.57/152.66	c  151s |      12 |   105672 |    33719 |    10856      3 |        0 |        0
154.76/154.82	c  154s |      12 |   106100 |    34119 |    10856      3 |        0 |        0
156.76/156.88	c  156s |      12 |   106553 |    34519 |    10856      3 |        0 |        0
159.06/159.19	c  158s |      12 |   107001 |    34919 |    10856      3 |        0 |        0
161.36/161.47	c  160s |      12 |   107458 |    35319 |    10856      3 |        0 |        0
163.76/163.83	c  163s |      12 |   107906 |    35719 |    10856      3 |        0 |        0
166.17/166.23	c  165s |      12 |   108367 |    36119 |    10856      3 |        0 |        0
168.56/168.61	c  167s |      12 |   108815 |    36519 |    10856      3 |        0 |        0
170.96/171.02	c  170s |      12 |   109242 |    36919 |    10856      3 |        0 |        0
173.36/173.41	c  172s |      12 |   109690 |    37319 |    10856      3 |        0 |        0
175.36/175.42	c  174s |      12 |   110009 |    37619 |    10856      3 |        0 |        0
177.96/178.04	c  177s |      12 |   110434 |    38019 |    10856      3 |        0 |        0
179.96/180.08	c  179s |      12 |   110758 |    38319 |    10856      3 |        0 |        0
182.36/182.44	c  181s |      12 |   111198 |    38719 |    11942      3 |        0 |        0
183.06/183.13	c  182s |      13 |   111307 |    38832 |    11942      3 |        0 |        0
186.16/186.23	c  185s |      13 |   116914 |    38932 |    11942      4 |        0 |        0
188.16/188.28	c  187s |      13 |   117616 |    39532 |    11942      4 |        0 |        0
190.45/190.54	c  189s |      13 |   118198 |    40032 |    11942      4 |        0 |        0
192.76/192.82	c  192s |      13 |   118761 |    40532 |    11942      4 |        0 |        0
194.96/195.03	c  194s |      13 |   119197 |    40932 |    11942      4 |        0 |        0
197.36/197.41	c  196s |      13 |   119641 |    41332 |    11942      4 |        0 |        0
199.45/199.51	c  198s |      13 |   119959 |    41632 |    11942      4 |        0 |        0
201.76/201.87	c  201s |      13 |   120413 |    42032 |    11942      4 |        0 |        0
203.86/203.90	c  203s |      13 |   120745 |    42332 |    11942      4 |        0 |        0
206.05/206.19	c  205s |      13 |   121186 |    42732 |    11942      4 |        0 |        0
208.55/208.64	c  207s |      13 |   121651 |    43132 |    11942      4 |        0 |        0
210.95/211.02	c  210s |      13 |   122095 |    43532 |    11942      4 |        0 |        0
213.56/213.61	c  212s |      13 |   122549 |    43932 |    11942      4 |        0 |        0
216.05/216.11	c  215s |      13 |   123018 |    44332 |    11942      4 |        0 |        0
218.35/218.46	c  217s |      13 |   123480 |    44732 |    11942      4 |        0 |        0
220.75/220.86	c  220s |      13 |   123928 |    45132 |    11942      4 |        0 |        0
223.45/223.54	c  222s |      13 |   124367 |    45532 |    11942      4 |        0 |        0
225.56/225.61	c  224s |      13 |   124701 |    45832 |    11942      4 |        0 |        0
228.05/228.16	c  227s |      13 |   125183 |    46232 |    11942      4 |        0 |        0
230.15/230.20	c  229s |      13 |   125520 |    46532 |    11942      4 |        0 |        0
232.25/232.31	c  231s |      13 |   125848 |    46832 |    11942      4 |        0 |        0
234.65/234.71	c  233s |      13 |   126321 |    47232 |    11942      4 |        0 |        0
237.15/237.26	c  236s |      13 |   126750 |    47632 |    11942      4 |        0 |        0
239.65/239.74	c  239s |      13 |   127187 |    48032 |    11942      4 |        0 |        0
242.15/242.26	c  241s |      13 |   127631 |    48432 |    11942      4 |        0 |        0
244.25/244.39	c  243s |      13 |   127967 |    48732 |    11942      4 |        0 |        0
246.85/246.94	c  246s |      13 |   128416 |    49132 |    11942      4 |        0 |        0
249.05/249.19	c  248s |      13 |   128741 |    49432 |    11942      4 |        0 |        0
251.25/251.34	c  250s |      13 |   129067 |    49732 |    11942      4 |        0 |        0
253.44/253.51	c  252s |      13 |   129412 |    50032 |    11942      4 |        0 |        0
255.45/255.59	c  254s |      13 |   129774 |    50332 |    11942      4 |        0 |        0
257.75/257.83	c  257s |      13 |   130113 |    50632 |    11942      4 |        0 |        0
259.75/259.83	c  259s |      13 |   130226 |    50732 |    11942      5 |        0 |        0
261.95/262.02	c  261s |      13 |   130527 |    51032 |    11942      5 |        0 |        0
264.14/264.26	c  263s |      13 |   130885 |    51332 |    11942      5 |        0 |        0
266.35/266.49	c  265s |      13 |   131212 |    51632 |    11942      5 |        0 |        0
268.65/268.72	c  267s |      13 |   131544 |    51932 |    11942      5 |        0 |        0
270.65/270.76	c  270s |      13 |   131903 |    52232 |    11942      5 |        0 |        0
272.65/272.78	c  272s |      13 |   132238 |    52532 |    11942      5 |        0 |        0
274.75/274.80	c  274s |      13 |   132592 |    52832 |    11942      5 |        0 |        0
276.84/276.97	c  276s |      13 |   132937 |    53132 |    11942      5 |        0 |        0
279.14/279.21	c  278s |      13 |   133267 |    53432 |    11942      5 |        0 |        0
281.25/281.39	c  280s |      13 |   133599 |    53732 |    11942      5 |        0 |        0
283.64/283.76	c  283s |      13 |   133947 |    54032 |    11942      5 |        0 |        0
286.14/286.26	c  285s |      13 |   134263 |    54332 |    11942      5 |        0 |        0
288.44/288.54	c  287s |      13 |   134598 |    54632 |    11942      5 |        0 |        0
290.85/290.93	c  290s |      13 |   134928 |    54932 |    11942      5 |        0 |        0
293.14/293.25	c  292s |      13 |   135257 |    55232 |    11942      5 |        0 |        0
295.54/295.67	c  294s |      13 |   135585 |    55532 |    11942      5 |        0 |        0
297.74/297.85	c  297s |      13 |   135917 |    55832 |    11942      5 |        0 |        0
300.44/300.55	c  299s |      13 |   136254 |    56132 |    11942      5 |        0 |        0
303.24/303.39	c  302s |      13 |   136590 |    56432 |    11942      5 |        0 |        0
305.94/306.08	c  305s |      13 |   136914 |    56732 |    11942      5 |        0 |        0
308.54/308.69	c  307s |      13 |   137247 |    57032 |    11942      5 |        0 |        0
311.25/311.38	c  310s |      13 |   137594 |    57332 |    11942      5 |        0 |        0
314.24/314.32	c  313s |      13 |   137917 |    57632 |    11942      5 |        0 |        0
317.04/317.15	c  316s |      13 |   138244 |    57932 |    13137      5 |        0 |        0
319.64/319.73	c  319s |      13 |   138583 |    58232 |    13137      5 |        0 |        0
320.64/320.76	c  320s |      14 |   138714 |    58352 |    13137      5 |        0 |        0
323.63/323.76	c  323s |      14 |   143109 |    58452 |    13137      6 |        0 |        0
325.94/326.02	c  325s |      14 |   144166 |    59352 |    13137      6 |        0 |        0
328.14/328.21	c  327s |      14 |   145028 |    60052 |    13137      6 |        0 |        0
330.24/330.34	c  329s |      14 |   145732 |    60652 |    13137      6 |        0 |        0
332.43/332.59	c  331s |      14 |   146398 |    61252 |    13137      6 |        0 |        0
334.83/334.98	c  334s |      14 |   147100 |    61852 |    13137      6 |        0 |        0
337.34/337.40	c  336s |      14 |   147784 |    62452 |    13137      6 |        0 |        0
339.44/339.58	c  338s |      14 |   148328 |    62952 |    13137      6 |        0 |        0
341.94/342.02	c  341s |      14 |   148881 |    63452 |    13137      6 |        0 |        0
344.13/344.26	c  343s |      14 |   149450 |    63952 |    13137      6 |        0 |        0
346.44/346.59	c  345s |      14 |   149996 |    64452 |    13137      6 |        0 |        0
348.74/348.83	c  348s |      14 |   150548 |    64952 |    13137      6 |        0 |        0
350.84/350.92	c  350s |      14 |   151143 |    65452 |    13137      6 |        0 |        0
353.14/353.22	c  352s |      14 |   151788 |    65952 |    13137      6 |        0 |        0
355.24/355.37	c  354s |      14 |   152384 |    66452 |    13137      6 |        0 |        0
357.54/357.63	c  356s |      14 |   152954 |    66952 |    13137      6 |        0 |        0
359.74/359.89	c  359s |      14 |   153396 |    67352 |    13137      6 |        0 |        0
361.94/362.08	c  361s |      14 |   153848 |    67752 |    13137      6 |        0 |        0
364.23/364.36	c  363s |      14 |   154315 |    68152 |    13137      6 |        0 |        0
366.43/366.55	c  365s |      14 |   154776 |    68552 |    13137      6 |        0 |        0
368.63/368.73	c  368s |      14 |   155203 |    68952 |    13137      6 |        0 |        0
371.33/371.41	c  370s |      14 |   155632 |    69352 |    13137      6 |        0 |        0
373.73/373.81	c  373s |      14 |   156094 |    69752 |    13137      6 |        0 |        0
376.33/376.45	c  375s |      14 |   156569 |    70152 |    13137      6 |        0 |        0
379.03/379.13	c  378s |      14 |   156995 |    70552 |    13137      6 |        0 |        0
381.53/381.64	c  380s |      14 |   157415 |    70952 |    13137      6 |        0 |        0
383.93/384.10	c  383s |      14 |   157871 |    71352 |    13137      6 |        0 |        0
386.43/386.56	c  385s |      14 |   158309 |    71752 |    13137      6 |        0 |        0
389.93/390.03	c  389s |      14 |   158800 |    72152 |    13137      7 |        0 |        0
392.02/392.10	c  391s |      14 |   159242 |    72552 |    13137      7 |        0 |        0
394.33/394.42	c  393s |      14 |   159723 |    72952 |    13137      7 |        0 |        0
396.83/396.90	c  396s |      14 |   160187 |    73352 |    13137      7 |        0 |        0
399.33/399.44	c  398s |      14 |   160636 |    73752 |    13137      7 |        0 |        0
402.02/402.11	c  401s |      14 |   161095 |    74152 |    13137      7 |        0 |        0
404.62/404.71	c  403s |      14 |   161571 |    74552 |    13137      7 |        0 |        0
406.73/406.86	c  406s |      14 |   162045 |    74952 |    13137      7 |        0 |        0
409.03/409.14	c  408s |      14 |   162470 |    75352 |    13137      7 |        0 |        0
411.43/411.58	c  410s |      14 |   162929 |    75752 |    13137      7 |        0 |        0
413.92/414.02	c  413s |      14 |   163376 |    76152 |    13137      7 |        0 |        0
416.52/416.70	c  415s |      14 |   163841 |    76552 |    13137      7 |        0 |        0
418.92/419.02	c  418s |      14 |   164193 |    76852 |    13137      7 |        0 |        0
421.33/421.44	c  420s |      14 |   164519 |    77152 |    13137      7 |        0 |        0
423.53/423.66	c  422s |      14 |   164850 |    77452 |    13137      7 |        0 |        0
425.63/425.76	c  425s |      14 |   165226 |    77752 |    13137      7 |        0 |        0
427.83/427.97	c  427s |      14 |   165553 |    78052 |    13137      7 |        0 |        0
430.02/430.16	c  429s |      14 |   165898 |    78352 |    13137      7 |        0 |        0
432.62/432.79	c  432s |      14 |   166350 |    78752 |    13137      7 |        0 |        0
435.22/435.38	c  434s |      14 |   166798 |    79152 |    13137      7 |        0 |        0
437.32/437.40	c  436s |      14 |   167142 |    79452 |    13137      7 |        0 |        0
439.42/439.54	c  438s |      14 |   167496 |    79752 |    13137      7 |        0 |        0
441.52/441.67	c  440s |      14 |   167857 |    80052 |    13137      7 |        0 |        0
443.72/443.80	c  443s |      14 |   168202 |    80352 |    13137      7 |        0 |        0
445.82/445.97	c  445s |      14 |   168545 |    80652 |    13137      7 |        0 |        0
448.12/448.29	c  447s |      14 |   168968 |    80952 |    13137      7 |        0 |        0
450.82/450.90	c  450s |      14 |   169293 |    81252 |    13137      7 |        0 |        0
452.91/453.01	c  452s |      14 |   169624 |    81552 |    13137      7 |        0 |        0
455.62/455.74	c  455s |      14 |   170108 |    81952 |    13137      7 |        0 |        0
458.12/458.22	c  457s |      14 |   170432 |    82252 |    13137      7 |        0 |        0
460.52/460.68	c  459s |      14 |   170778 |    82552 |    13137      7 |        0 |        0
463.12/463.24	c  462s |      14 |   171123 |    82852 |    13137      7 |        0 |        0
465.61/465.71	c  464s |      14 |   171447 |    83152 |    13137      7 |        0 |        0
467.82/467.97	c  467s |      14 |   171783 |    83452 |    13137      7 |        0 |        0
470.22/470.32	c  469s |      14 |   171900 |    83552 |    13137      8 |        0 |        0
472.31/472.41	c  471s |      14 |   172242 |    83852 |    13137      8 |        0 |        0
474.92/475.01	c  474s |      14 |   172671 |    84252 |    13137      8 |        0 |        0
477.51/477.61	c  476s |      14 |   173123 |    84652 |    13137      8 |        0 |        0
479.92/480.06	c  479s |      14 |   173558 |    85052 |    13137      8 |        0 |        0
482.92/483.09	c  482s |      14 |   174021 |    85452 |    13137      8 |        0 |        0
485.41/485.57	c  484s |      14 |   174481 |    85852 |    13137      8 |        0 |        0
488.02/488.11	c  487s |      14 |   174940 |    86252 |    13137      8 |        0 |        0
490.01/490.14	c  489s |      14 |   175274 |    86552 |    13137      8 |        0 |        0
492.31/492.50	c  491s |      14 |   175606 |    86852 |    13137      8 |        0 |        0
494.52/494.66	c  493s |      14 |   175949 |    87152 |    14451      8 |        0 |        0
496.81/496.92	c  496s |      14 |   176415 |    87552 |    14451      8 |        0 |        0
497.22/497.36	c  496s |      15 |   176495 |    87632 |    14451      8 |        0 |        0
499.51/499.61	c  498s |      15 |   180475 |    87732 |    14451      9 |        0 |        0
501.61/501.74	c  501s |      15 |   181529 |    88632 |    14451      9 |        0 |        0
503.61/503.77	c  503s |      15 |   182333 |    89332 |    14451      9 |        0 |        0
505.71/505.87	c  505s |      15 |   183290 |    90132 |    14451      9 |        0 |        0
508.01/508.16	c  507s |      15 |   184111 |    90832 |    14451      9 |        0 |        0
510.21/510.30	c  509s |      15 |   184826 |    91432 |    14451      9 |        0 |        0
512.31/512.46	c  511s |      15 |   185520 |    92032 |    14451      9 |        0 |        0
514.71/514.86	c  514s |      15 |   186188 |    92632 |    14451      9 |        0 |        0
516.80/516.92	c  516s |      15 |   186752 |    93132 |    14451      9 |        0 |        0
518.91/519.09	c  518s |      15 |   187319 |    93632 |    14451      9 |        0 |        0
521.11/521.26	c  520s |      15 |   187862 |    94132 |    14451      9 |        0 |        0
523.20/523.36	c  522s |      15 |   188434 |    94632 |    14451      9 |        0 |        0
525.61/525.76	c  525s |      15 |   188993 |    95132 |    14451      9 |        0 |        0
527.81/527.99	c  527s |      15 |   189715 |    95732 |    14451      9 |        0 |        0
529.90/530.07	c  529s |      15 |   190314 |    96232 |    14451      9 |        0 |        0
532.31/532.46	c  531s |      15 |   191020 |    96832 |    14451      9 |        0 |        0
534.52/534.66	c  533s |      15 |   191622 |    97332 |    14451      9 |        0 |        0
536.71/536.82	c  536s |      15 |   192206 |    97832 |    14451      9 |        0 |        0
539.01/539.11	c  538s |      15 |   192794 |    98332 |    14451      9 |        0 |        0
541.21/541.33	c  540s |      15 |   193360 |    98832 |    14451      9 |        0 |        0
543.50/543.66	c  542s |      15 |   193923 |    99332 |    14451      9 |        0 |        0
545.80/545.96	c  545s |      15 |   194374 |    99732 |    14451      9 |        0 |        0
548.30/548.41	c  547s |      15 |   194820 |   100132 |    14451      9 |        0 |        0
550.40/550.56	c  549s |      15 |   195288 |   100532 |    14451      9 |        0 |        0
552.60/552.74	c  552s |      15 |   195737 |   100932 |    14451      9 |        0 |        0
555.00/555.11	c  554s |      15 |   196198 |   101332 |    14451      9 |        0 |        0
557.50/557.60	c  556s |      15 |   196654 |   101732 |    14451      9 |        0 |        0
559.91/560.07	c  559s |      15 |   197126 |   102132 |    14451      9 |        0 |        0
562.20/562.38	c  561s |      15 |   197586 |   102532 |    14451      9 |        0 |        0
564.40/564.60	c  563s |      15 |   198088 |   102932 |    14451      9 |        0 |        0
566.90/567.05	c  566s |      15 |   198548 |   103332 |    14451      9 |        0 |        0
569.29/569.49	c  568s |      15 |   198999 |   103732 |    14451      9 |        0 |        0
571.40/571.50	c  570s |      15 |   199349 |   104032 |    14451      9 |        0 |        0
573.60/573.74	c  573s |      15 |   199452 |   104132 |    14451     10 |        0 |        0
575.70/575.84	c  575s |      15 |   199907 |   104532 |    14451     10 |        0 |        0
578.10/578.28	c  577s |      15 |   200518 |   105032 |    14451     10 |        0 |        0
580.09/580.29	c  579s |      15 |   200962 |   105432 |    14451     10 |        0 |        0
582.29/582.49	c  581s |      15 |   201403 |   105832 |    14451     10 |        0 |        0
584.60/584.79	c  584s |      15 |   201873 |   106232 |    14451     10 |        0 |        0
586.90/587.06	c  586s |      15 |   202337 |   106632 |    14451     10 |        0 |        0
589.39/589.52	c  588s |      15 |   202787 |   107032 |    14451     10 |        0 |        0
591.80/591.99	c  591s |      15 |   203211 |   107432 |    14451     10 |        0 |        0
594.40/594.50	c  593s |      15 |   203656 |   107832 |    14451     10 |        0 |        0
596.70/596.87	c  596s |      15 |   204101 |   108232 |    14451     10 |        0 |        0
599.10/599.20	c  598s |      15 |   204540 |   108632 |    14451     10 |        0 |        0
601.39/601.52	c  600s |      15 |   204970 |   109032 |    14451     10 |        0 |        0
603.70/603.87	c  603s |      15 |   205426 |   109432 |    14451     10 |        0 |        0
605.90/606.05	c  605s |      15 |   205878 |   109832 |    14451     10 |        0 |        0
608.09/608.24	c  607s |      15 |   206378 |   110232 |    14451     10 |        0 |        0
610.29/610.44	c  609s |      15 |   206824 |   110632 |    14451     10 |        0 |        0
612.70/612.90	c  612s |      15 |   207276 |   111032 |    14451     10 |        0 |        0
615.39/615.59	c  614s |      15 |   207702 |   111432 |    14451     10 |        0 |        0
617.59/617.79	c  617s |      15 |   208028 |   111732 |    14451     10 |        0 |        0
619.70/619.86	c  619s |      15 |   208375 |   112032 |    14451     10 |        0 |        0
621.69/621.89	c  621s |      15 |   208724 |   112332 |    14451     10 |        0 |        0
623.79/623.95	c  623s |      15 |   209063 |   112632 |    14451     10 |        0 |        0
626.39/626.56	c  625s |      15 |   209525 |   113032 |    14451     10 |        0 |        0
628.99/629.20	c  628s |      15 |   209961 |   113432 |    14451     10 |        0 |        0
631.29/631.40	c  630s |      15 |   210309 |   113732 |    14451     10 |        0 |        0
633.50/633.61	c  632s |      15 |   210634 |   114032 |    14451     10 |        0 |        0
635.99/636.13	c  635s |      15 |   211093 |   114432 |    14451     10 |        0 |        0
638.19/638.36	c  637s |      15 |   211427 |   114732 |    14451     10 |        0 |        0
640.79/640.99	c  640s |      15 |   211868 |   115132 |    14451     10 |        0 |        0
643.39/643.53	c  642s |      15 |   212325 |   115532 |    14451     10 |        0 |        0
645.89/646.07	c  645s |      15 |   212781 |   115932 |    14451     10 |        0 |        0
650.19/650.36	c  649s |      15 |   213107 |   116232 |    14451     11 |        0 |        0
654.18/654.37	c  653s |      15 |   213542 |   116632 |    14451     11 |        0 |        0
656.79/656.98	c  656s |      15 |   213976 |   117032 |    14451     11 |        0 |        0
658.89/659.03	c  658s |      15 |   214302 |   117332 |    14451     11 |        0 |        0
660.89/661.03	c  660s |      15 |   214615 |   117632 |    14451     11 |        0 |        0
663.29/663.48	c  662s |      15 |   215100 |   118032 |    14451     11 |        0 |        0
665.49/665.68	c  664s |      15 |   215573 |   118432 |    14451     11 |        0 |        0
667.78/667.92	c  667s |      15 |   216048 |   118832 |    14451     11 |        0 |        0
670.29/670.41	c  669s |      15 |   216523 |   119232 |    14451     11 |        0 |        0
672.48/672.62	c  671s |      15 |   216853 |   119532 |    14451     11 |        0 |        0
674.58/674.72	c  673s |      15 |   217179 |   119832 |    14451     11 |        0 |        0
677.08/677.20	c  676s |      15 |   217632 |   120232 |    14451     11 |        0 |        0
679.58/679.75	c  679s |      15 |   218083 |   120632 |    14451     11 |        0 |        0
682.18/682.36	c  681s |      15 |   218531 |   121032 |    14451     11 |        0 |        0
684.38/684.51	c  683s |      15 |   219005 |   121432 |    14451     11 |        0 |        0
686.78/686.93	c  686s |      15 |   219472 |   121832 |    14451     11 |        0 |        0
689.08/689.29	c  688s |      15 |   219939 |   122232 |    14451     11 |        0 |        0
691.68/691.87	c  691s |      15 |   220380 |   122632 |    14451     11 |        0 |        0
694.28/694.46	c  693s |      15 |   220839 |   123032 |    14451     11 |        0 |        0
696.29/696.48	c  695s |      15 |   221174 |   123332 |    14451     11 |        0 |        0
698.39/698.57	c  697s |      15 |   221519 |   123632 |    14451     11 |        0 |        0
701.18/701.31	c  700s |      15 |   221946 |   124032 |    14451     11 |        0 |        0
703.68/703.84	c  703s |      15 |   222402 |   124432 |    14451     11 |        0 |        0
706.19/706.36	c  705s |      15 |   222866 |   124832 |    14451     11 |        0 |        0
708.68/708.81	c  708s |      15 |   223309 |   125232 |    14451     11 |        0 |        0
710.98/711.19	c  710s |      15 |   223753 |   125632 |    14451     11 |        0 |        0
713.58/713.78	c  713s |      15 |   224190 |   126032 |    14451     11 |        0 |        0
715.87/716.09	c  715s |      15 |   224621 |   126432 |    14451     11 |        0 |        0
718.38/718.57	c  717s |      15 |   225060 |   126832 |    14451     11 |        0 |        0
720.38/720.59	c  719s |      15 |   225394 |   127132 |    14451     11 |        0 |        0
723.07/723.25	c  722s |      15 |   225827 |   127532 |    14451     11 |        0 |        0
725.08/725.26	c  724s |      15 |   226159 |   127832 |    14451     11 |        0 |        0
727.08/727.29	c  726s |      15 |   226483 |   128132 |    14451     11 |        0 |        0
730.18/730.32	c  729s |      15 |   226701 |   128332 |    14451     12 |        0 |        0
732.48/732.69	c  731s |      15 |   227157 |   128732 |    14451     12 |        0 |        0
734.97/735.12	c  734s |      15 |   227607 |   129132 |    14451     12 |        0 |        0
737.28/737.45	c  736s |      15 |   228035 |   129532 |    14451     12 |        0 |        0
739.77/739.93	c  739s |      15 |   228479 |   129932 |    14451     12 |        0 |        0
742.17/742.33	c  741s |      15 |   228906 |   130332 |    14451     12 |        0 |        0
744.47/744.69	c  743s |      15 |   229352 |   130732 |    15897     12 |        0 |        0
747.07/747.22	c  746s |      15 |   229819 |   131132 |    15897     12 |        0 |        0
749.17/749.33	c  748s |      15 |   230156 |   131432 |    15897     12 |        0 |        0
750.27/750.42	c  749s |      16 |   230290 |   131552 |    15897     12 |        0 |        0
752.47/752.67	c  751s |      16 |   234477 |   132052 |    15897     12 |        0 |        0
754.57/754.71	c  753s |      16 |   235163 |   132652 |    15897     12 |        0 |        0
756.68/756.89	c  756s |      16 |   235844 |   133252 |    15897     12 |        0 |        0
758.88/759.08	c  758s |      16 |   236515 |   133852 |    15897     12 |        0 |        0
761.07/761.23	c  760s |      16 |   237082 |   134352 |    15897     12 |        0 |        0
763.38/763.55	c  762s |      16 |   237643 |   134852 |    15897     12 |        0 |        0
765.67/765.84	c  765s |      16 |   238203 |   135352 |    15897     12 |        0 |        0
767.97/768.19	c  767s |      16 |   238752 |   135852 |    15897     12 |        0 |        0
770.37/770.50	c  769s |      16 |   239322 |   136352 |    15897     12 |        0 |        0
772.57/772.79	c  772s |      16 |   239899 |   136852 |    15897     12 |        0 |        0
774.66/774.88	c  774s |      16 |   240318 |   137252 |    15897     12 |        0 |        0
777.06/777.20	c  776s |      16 |   240907 |   137752 |    15897     12 |        0 |        0
779.07/779.23	c  778s |      16 |   241340 |   138152 |    15897     12 |        0 |        0
781.47/781.61	c  780s |      16 |   241791 |   138552 |    15897     12 |        0 |        0
783.87/784.09	c  783s |      16 |   242228 |   138952 |    15897     12 |        0 |        0
786.07/786.21	c  785s |      16 |   242675 |   139352 |    15897     12 |        0 |        0
788.37/788.51	c  787s |      16 |   243118 |   139752 |    15897     12 |        0 |        0
790.66/790.88	c  790s |      16 |   243564 |   140152 |    15897     12 |        0 |        0
793.27/793.47	c  792s |      16 |   244014 |   140552 |    15897     12 |        0 |        0
795.47/795.63	c  794s |      16 |   244465 |   140952 |    15897     12 |        0 |        0
797.76/797.99	c  797s |      16 |   244937 |   141352 |    15897     12 |        0 |        0
800.46/800.60	c  799s |      16 |   245396 |   141752 |    15897     12 |        0 |        0
802.66/802.84	c  802s |      16 |   245504 |   141852 |    15897     13 |        0 |        0
805.06/805.22	c  804s |      16 |   245981 |   142252 |    15897     13 |        0 |        0
807.27/807.46	c  806s |      16 |   246433 |   142652 |    15897     13 |        0 |        0
809.35/809.55	c  808s |      16 |   246907 |   143052 |    15897     13 |        0 |        0
811.76/811.99	c  811s |      16 |   247344 |   143452 |    15897     13 |        0 |        0
813.76/814.00	c  813s |      16 |   247721 |   143752 |    15897     13 |        0 |        0
816.35/816.54	c  815s |      16 |   248190 |   144152 |    15897     13 |        0 |        0
818.36/818.55	c  817s |      16 |   248527 |   144452 |    15897     13 |        0 |        0
820.85/821.07	c  820s |      16 |   249010 |   144852 |    15897     13 |        0 |        0
823.55/823.71	c  822s |      16 |   249473 |   145252 |    15897     13 |        0 |        0
825.55/825.76	c  825s |      16 |   249802 |   145552 |    15897     13 |        0 |        0
827.74/827.99	c  827s |      16 |   250135 |   145852 |    15897     13 |        0 |        0
830.14/830.37	c  829s |      16 |   250461 |   146152 |    15897     13 |        0 |        0
832.54/832.75	c  832s |      16 |   250793 |   146452 |    15897     13 |        0 |        0
835.24/835.40	c  834s |      16 |   251211 |   146852 |    15897     13 |        0 |        0
837.24/837.45	c  836s |      16 |   251569 |   147152 |    15897     13 |        0 |        0
839.34/839.51	c  838s |      16 |   251896 |   147452 |    15897     13 |        0 |        0
841.34/841.59	c  840s |      16 |   252217 |   147752 |    15897     13 |        0 |        0
843.73/843.91	c  843s |      16 |   252552 |   148052 |    15897     13 |        0 |        0
846.44/846.63	c  845s |      16 |   253007 |   148452 |    15897     13 |        0 |        0
848.63/848.80	c  848s |      16 |   253341 |   148752 |    15897     13 |        0 |        0
851.24/851.45	c  850s |      16 |   253784 |   149152 |    15897     13 |        0 |        0
853.34/853.55	c  852s |      16 |   254129 |   149452 |    15897     13 |        0 |        0
855.53/855.76	c  855s |      16 |   254454 |   149752 |    15897     13 |        0 |        0
857.63/857.85	c  857s |      16 |   254783 |   150052 |    15897     13 |        0 |        0
859.73/859.91	c  859s |      16 |   255115 |   150352 |    15897     13 |        0 |        0
862.13/862.31	c  861s |      16 |   255539 |   150752 |    15897     13 |        0 |        0
864.12/864.32	c  863s |      16 |   255882 |   151052 |    15897     13 |        0 |        0
866.32/866.58	c  865s |      16 |   256222 |   151352 |    15897     13 |        0 |        0
868.53/868.77	c  868s |      16 |   256538 |   151652 |    15897     13 |        0 |        0
870.83/871.01	c  870s |      16 |   256865 |   151952 |    15897     13 |        0 |        0
873.13/873.37	c  872s |      16 |   257196 |   152252 |    15897     13 |        0 |        0
875.53/875.73	c  874s |      16 |   257546 |   152552 |    15897     13 |        0 |        0
877.92/878.11	c  877s |      16 |   257871 |   152852 |    15897     13 |        0 |        0
880.32/880.51	c  879s |      16 |   258194 |   153152 |    15897     13 |        0 |        0
882.82/883.05	c  882s |      16 |   258530 |   153452 |    15897     13 |        0 |        0
885.22/885.44	c  884s |      16 |   258844 |   153752 |    15897     13 |        0 |        0
887.32/887.51	c  886s |      16 |   259172 |   154052 |    15897     13 |        0 |        0
889.83/890.01	c  889s |      16 |   259708 |   154452 |    15897     13 |        0 |        0
893.32/893.51	c  892s |      16 |   260052 |   154752 |    15897     14 |        0 |        0
895.41/895.64	c  894s |      16 |   260509 |   155152 |    15897     14 |        0 |        0
897.82/898.09	c  897s |      16 |   260913 |   155452 |    15897     14 |        0 |        0
900.41/900.64	c  899s |      16 |   261380 |   155852 |    15897     14 |        0 |        0
902.72/902.93	c  902s |      16 |   261842 |   156252 |    15897     14 |        0 |        0
904.91/905.14	c  904s |      16 |   262355 |   156652 |    15897     14 |        0 |        0
907.42/907.64	c  906s |      16 |   262809 |   157052 |    15897     14 |        0 |        0
909.91/910.12	c  909s |      16 |   263240 |   157452 |    15897     14 |        0 |        0
912.40/912.64	c  911s |      16 |   263754 |   157852 |    15897     14 |        0 |        0
914.50/914.73	c  914s |      16 |   264087 |   158152 |    15897     14 |        0 |        0
916.51/916.76	c  916s |      16 |   264438 |   158452 |    15897     14 |        0 |        0
918.50/918.77	c  918s |      16 |   264772 |   158752 |    15897     14 |        0 |        0
921.00/921.29	c  920s |      16 |   265237 |   159152 |    15897     14 |        0 |        0
923.59/923.85	c  923s |      16 |   265721 |   159552 |    15897     14 |        0 |        0
926.11/926.34	c  925s |      16 |   266169 |   159952 |    15897     14 |        0 |        0
928.20/928.49	c  927s |      16 |   266499 |   160252 |    15897     14 |        0 |        0
930.40/930.63	c  929s |      16 |   266857 |   160552 |    15897     14 |        0 |        0
932.79/933.07	c  932s |      16 |   267189 |   160852 |    15897     14 |        0 |        0
935.10/935.36	c  934s |      16 |   267651 |   161252 |    15897     14 |        0 |        0
937.59/937.84	c  937s |      16 |   268089 |   161652 |    15897     14 |        0 |        0
939.69/939.94	c  939s |      16 |   268430 |   161952 |    15897     14 |        0 |        0
941.79/942.00	c  941s |      16 |   268790 |   162252 |    15897     14 |        0 |        0
943.88/944.16	c  943s |      16 |   269188 |   162552 |    15897     14 |        0 |        0
946.09/946.39	c  945s |      16 |   269534 |   162852 |    15897     14 |        0 |        0
948.58/948.83	c  948s |      16 |   269862 |   163152 |    15897     14 |        0 |        0
950.78/951.06	c  950s |      16 |   270239 |   163452 |    15897     14 |        0 |        0
953.38/953.61	c  952s |      16 |   270574 |   163752 |    15897     14 |        0 |        0
955.79/956.05	c  955s |      16 |   270904 |   164052 |    15897     14 |        0 |        0
958.07/958.37	c  957s |      16 |   271213 |   164352 |    15897     14 |        0 |        0
960.38/960.68	c  959s |      16 |   271564 |   164652 |    15897     14 |        0 |        0
962.67/962.91	c  962s |      16 |   271899 |   164952 |    15897     14 |        0 |        0
964.87/965.17	c  964s |      16 |   272239 |   165252 |    15897     14 |        0 |        0
967.08/967.37	c  966s |      16 |   272550 |   165552 |    15897     14 |        0 |        0
969.47/969.75	c  969s |      16 |   272866 |   165852 |    15897     14 |        0 |        0
971.78/972.00	c  971s |      16 |   273198 |   166152 |    15897     14 |        0 |        0
974.18/974.46	c  973s |      16 |   273536 |   166452 |    15897     14 |        0 |        0
976.27/976.50	c  975s |      16 |   273771 |   166652 |    15897     14 |        0 |        0
978.97/979.26	c  978s |      16 |   274099 |   166952 |    15897     14 |        0 |        0
981.37/981.69	c  980s |      16 |   274439 |   167252 |    15897     14 |        0 |        0
985.47/985.76	c  985s |      16 |   274766 |   167552 |    15897     15 |        0 |        0
988.07/988.32	c  987s |      16 |   275232 |   167952 |    15897     15 |        0 |        0
991.56/991.80	c  991s |      16 |   275458 |   168152 |    15897     15 |        0 |        0
993.87/994.19	c  993s |      16 |   275793 |   168452 |    15897     15 |        0 |        0
995.97/996.29	c  995s |      16 |   276127 |   168752 |    15897     15 |        0 |        0
998.06/998.30	c  997s |      16 |   276466 |   169052 |    15897     15 |        0 |        0
1000.77/1001.01	c 1000s |      16 |   276928 |   169452 |    15897     15 |        0 |        0
1002.76/1003.07	c 1002s |      16 |   277259 |   169752 |    15897     15 |        0 |        0
1004.96/1005.20	c 1004s |      16 |   277595 |   170052 |    15897     15 |        0 |        0
1007.06/1007.38	c 1006s |      16 |   277933 |   170352 |    15897     15 |        0 |        0
1009.26/1009.50	c 1008s |      16 |   278259 |   170652 |    15897     15 |        0 |        0
1011.46/1011.73	c 1011s |      16 |   278592 |   170952 |    15897     15 |        0 |        0
1013.76/1014.08	c 1013s |      16 |   278940 |   171252 |    15897     15 |        0 |        0
1015.96/1016.25	c 1015s |      16 |   279305 |   171552 |    15897     15 |        0 |        0
1018.06/1018.32	c 1017s |      16 |   279638 |   171852 |    15897     15 |        0 |        0
1020.76/1021.05	c 1020s |      16 |   280075 |   172252 |    15897     15 |        0 |        0
1022.77/1023.08	c 1022s |      16 |   280403 |   172552 |    15897     15 |        0 |        0
1025.15/1025.49	c 1024s |      16 |   280740 |   172852 |    15897     15 |        0 |        0
1027.75/1028.07	c 1027s |      16 |   281182 |   173252 |    15897     15 |        0 |        0
1029.86/1030.19	c 1029s |      16 |   281528 |   173552 |    15897     15 |        0 |        0
1031.95/1032.24	c 1031s |      16 |   281864 |   173852 |    15897     15 |        0 |        0
1034.35/1034.62	c 1033s |      16 |   282178 |   174152 |    15897     15 |        0 |        0
1036.75/1037.00	c 1036s |      16 |   282576 |   174452 |    15897     15 |        0 |        0
1039.26/1039.60	c 1038s |      16 |   283036 |   174752 |    15897     15 |        0 |        0
1041.75/1042.06	c 1041s |      16 |   283550 |   175152 |    15897     15 |        0 |        0
1044.35/1044.63	c 1043s |      16 |   284005 |   175552 |    15897     15 |        0 |        0
1046.85/1047.11	c 1046s |      16 |   284482 |   175952 |    15897     15 |        0 |        0
1049.16/1049.48	c 1048s |      16 |   284954 |   176352 |    15897     15 |        0 |        0
1051.74/1052.00	c 1051s |      16 |   285413 |   176752 |    15897     15 |        0 |        0
1053.85/1054.13	c 1053s |      16 |   285755 |   177052 |    15897     15 |        0 |        0
1056.04/1056.39	c 1055s |      16 |   286065 |   177352 |    15897     15 |        0 |        0
1058.34/1058.69	c 1057s |      16 |   286418 |   177652 |    15897     15 |        0 |        0
1060.65/1060.93	c 1060s |      16 |   286763 |   177952 |    15897     15 |        0 |        0
1062.94/1063.26	c 1062s |      16 |   287081 |   178252 |    15897     15 |        0 |        0
1065.44/1065.78	c 1065s |      16 |   287429 |   178552 |    15897     15 |        0 |        0
1067.54/1067.80	c 1067s |      16 |   287755 |   178852 |    15897     15 |        0 |        0
1069.54/1069.83	c 1069s |      16 |   288090 |   179152 |    15897     15 |        0 |        0
1071.53/1071.88	c 1071s |      16 |   288404 |   179452 |    15897     15 |        0 |        0
1074.14/1074.48	c 1073s |      16 |   288833 |   179852 |    15897     15 |        0 |        0
1076.33/1076.64	c 1075s |      16 |   289160 |   180152 |    15897     15 |        0 |        0
1080.54/1080.85	c 1080s |      16 |   289483 |   180452 |    15897     16 |        0 |        0
1083.14/1083.47	c 1082s |      16 |   289924 |   180852 |    15897     16 |        0 |        0
1085.14/1085.48	c 1084s |      16 |   290259 |   181152 |    15897     16 |        0 |        0
1087.64/1087.98	c 1087s |      16 |   290490 |   181352 |    15897     16 |        0 |        0
1090.33/1090.62	c 1089s |      16 |   290867 |   181652 |    15897     16 |        0 |        0
1092.73/1093.03	c 1092s |      16 |   291218 |   181952 |    15897     16 |        0 |        0
1095.13/1095.46	c 1094s |      16 |   291583 |   182252 |    15897     16 |        0 |        0
1097.43/1097.74	c 1097s |      16 |   291927 |   182552 |    15897     16 |        0 |        0
1099.63/1099.97	c 1099s |      16 |   292266 |   182852 |    15897     16 |        0 |        0
1102.04/1102.34	c 1101s |      16 |   292617 |   183152 |    15897     16 |        0 |        0
1104.43/1104.78	c 1104s |      16 |   293018 |   183452 |    15897     16 |        0 |        0
1106.92/1107.28	c 1106s |      16 |   293338 |   183752 |    15897     16 |        0 |        0
1109.53/1109.80	c 1109s |      16 |   293804 |   184052 |    15897     16 |        0 |        0
1112.03/1112.33	c 1111s |      16 |   294209 |   184352 |    15897     16 |        0 |        0
1114.63/1114.95	c 1114s |      16 |   294678 |   184752 |    15897     16 |        0 |        0
1116.72/1117.02	c 1116s |      16 |   295021 |   185052 |    15897     16 |        0 |        0
1118.82/1119.16	c 1118s |      16 |   295355 |   185352 |    15897     16 |        0 |        0
1121.12/1121.47	c 1120s |      16 |   295689 |   185652 |    15897     16 |        0 |        0
1123.32/1123.64	c 1122s |      16 |   296029 |   185952 |    15897     16 |        0 |        0
1125.62/1125.90	c 1125s |      16 |   296399 |   186252 |    15897     16 |        0 |        0
1127.82/1128.15	c 1127s |      16 |   296738 |   186552 |    15897     16 |        0 |        0
1130.02/1130.32	c 1129s |      16 |   297106 |   186852 |    15897     16 |        0 |        0
1132.12/1132.40	c 1131s |      16 |   297467 |   187152 |    15897     16 |        0 |        0
1134.72/1135.00	c 1134s |      16 |   297799 |   187452 |    15897     16 |        0 |        0
1137.13/1137.48	c 1136s |      16 |   298179 |   187752 |    15897     16 |        0 |        0
1139.22/1139.55	c 1138s |      16 |   298593 |   188052 |    15897     16 |        0 |        0
1141.32/1141.68	c 1140s |      16 |   298972 |   188352 |    15897     16 |        0 |        0
1143.61/1143.96	c 1143s |      16 |   299337 |   188652 |    15897     16 |        0 |        0
1146.32/1146.69	c 1145s |      16 |   299807 |   189052 |    15897     16 |        0 |        0
1148.51/1148.89	c 1148s |      16 |   300201 |   189352 |    15897     16 |        0 |        0
1150.71/1151.00	c 1150s |      16 |   300550 |   189652 |    15897     16 |        0 |        0
1152.91/1153.25	c 1152s |      16 |   300893 |   189952 |    15897     16 |        0 |        0
1155.11/1155.48	c 1154s |      16 |   301214 |   190252 |    15897     16 |        0 |        0
1157.61/1157.98	c 1157s |      16 |   301604 |   190552 |    15897     16 |        0 |        0
1160.21/1160.54	c 1159s |      16 |   301933 |   190852 |    15897     16 |        0 |        0
1162.61/1162.97	c 1162s |      16 |   302264 |   191152 |    15897     16 |        0 |        0
1165.01/1165.38	c 1164s |      16 |   302626 |   191452 |    15897     16 |        0 |        0
1167.11/1167.48	c 1166s |      16 |   303145 |   191852 |    15897     16 |        0 |        0
1169.71/1170.08	c 1169s |      16 |   303652 |   192252 |    15897     16 |        0 |        0
1172.01/1172.35	c 1171s |      16 |   304000 |   192552 |    15897     16 |        0 |        0
1174.31/1174.67	c 1173s |      16 |   304352 |   192852 |    15897     16 |        0 |        0
1178.50/1178.89	c 1178s |      16 |   304671 |   193152 |    15897     17 |        0 |        0
1180.80/1181.16	c 1180s |      16 |   305071 |   193452 |    15897     17 |        0 |        0
1183.41/1183.72	c 1182s |      16 |   305545 |   193852 |    15897     17 |        0 |        0
1185.81/1186.12	c 1185s |      16 |   306002 |   194252 |    15897     17 |        0 |        0
1188.20/1188.54	c 1187s |      16 |   306443 |   194652 |    15897     17 |        0 |        0
1190.30/1190.66	c 1189s |      16 |   306779 |   194952 |    15897     17 |        0 |        0
1192.30/1192.69	c 1191s |      16 |   307109 |   195252 |    15897     17 |        0 |        0
1194.50/1194.81	c 1194s |      16 |   307422 |   195552 |    15897     17 |        0 |        0
1196.61/1196.93	c 1196s |      16 |   307783 |   195852 |    15897     17 |        0 |        0
1198.71/1199.07	c 1198s |      16 |   308109 |   196152 |    17487     17 |        0 |        0
1200.90/1201.22	c 1200s |      16 |   308451 |   196452 |    17487     17 |        0 |        0
1202.99/1203.31	c 1202s |      16 |   308882 |   196752 |    17487     17 |        0 |        0
1206.00/1206.30	c 1205s |      16 |   309154 |   196952 |    17487     17 |        0 |        0
1208.39/1208.76	c 1208s |      16 |   310002 |   197352 |    17487     17 |        0 |        0
1208.99/1209.36	c 1208s |      17 |   310115 |   197432 |    17487     17 |        0 |        0
1211.09/1211.46	c 1210s |      17 |   313855 |   197632 |    17487     17 |        0 |        0
1213.29/1213.64	c 1212s |      17 |   315011 |   198632 |    17487     17 |        0 |        0
1215.49/1215.87	c 1215s |      17 |   316066 |   199532 |    17487     17 |        0 |        0
1217.69/1218.02	c 1217s |      17 |   317028 |   200332 |    17487     17 |        0 |        0
1219.69/1220.05	c 1219s |      17 |   317853 |   201032 |    17487     17 |        0 |        0
1221.69/1222.09	c 1221s |      17 |   318645 |   201732 |    17487     17 |        0 |        0
1223.99/1224.38	c 1223s |      17 |   319617 |   202532 |    17487     17 |        0 |        0
1226.09/1226.41	c 1225s |      17 |   320286 |   203132 |    17487     17 |        0 |        0
1228.18/1228.58	c 1227s |      17 |   320890 |   203632 |    17487     17 |        0 |        0
1230.60/1230.98	c 1230s |      17 |   321563 |   204232 |    17487     17 |        0 |        0
1232.69/1233.07	c 1232s |      17 |   322170 |   204732 |    17487     17 |        0 |        0
1234.78/1235.11	c 1234s |      17 |   322801 |   205232 |    17487     17 |        0 |        0
1236.88/1237.29	c 1236s |      17 |   323441 |   205732 |    17487     17 |        0 |        0
1239.39/1239.70	c 1238s |      17 |   324072 |   206232 |    17487     17 |        0 |        0
1241.68/1242.05	c 1241s |      17 |   324657 |   206732 |    17487     17 |        0 |        0
1243.79/1244.11	c 1243s |      17 |   325104 |   207132 |    17487     17 |        0 |        0
1245.78/1246.19	c 1245s |      17 |   325557 |   207532 |    17487     17 |        0 |        0
1247.98/1248.36	c 1247s |      17 |   325670 |   207632 |    17487     18 |        0 |        0
1250.08/1250.43	c 1249s |      17 |   326098 |   208032 |    17487     18 |        0 |        0
1252.18/1252.53	c 1251s |      17 |   326567 |   208432 |    17487     18 |        0 |        0
1254.37/1254.72	c 1253s |      17 |   327132 |   208932 |    17487     18 |        0 |        0
1256.78/1257.16	c 1256s |      17 |   327740 |   209432 |    17487     18 |        0 |        0
1258.97/1259.34	c 1258s |      17 |   328199 |   209832 |    17487     18 |        0 |        0
1261.07/1261.42	c 1260s |      17 |   328769 |   210332 |    17487     18 |        0 |        0
1263.07/1263.43	c 1262s |      17 |   329332 |   210832 |    17487     18 |        0 |        0
1265.17/1265.57	c 1264s |      17 |   329934 |   211332 |    17487     18 |        0 |        0
1267.46/1267.80	c 1267s |      17 |   330517 |   211832 |    17487     18 |        0 |        0
1269.77/1270.17	c 1269s |      17 |   331100 |   212332 |    17487     18 |        0 |        0
1272.27/1272.60	c 1271s |      17 |   331651 |   212832 |    17487     18 |        0 |        0
1274.26/1274.66	c 1273s |      17 |   332161 |   213232 |    17487     18 |        0 |        0
1276.27/1276.66	c 1275s |      17 |   332627 |   213632 |    17487     18 |        0 |        0
1278.67/1279.04	c 1278s |      17 |   333077 |   214032 |    17487     18 |        0 |        0
1281.06/1281.43	c 1280s |      17 |   333625 |   214432 |    17487     18 |        0 |        0
1283.37/1283.80	c 1283s |      17 |   334150 |   214832 |    17487     18 |        0 |        0
1285.76/1286.13	c 1285s |      17 |   334901 |   215332 |    17487     18 |        0 |        0
1287.87/1288.25	c 1287s |      17 |   335382 |   215732 |    17487     18 |        0 |        0
1290.26/1290.70	c 1289s |      17 |   335962 |   216232 |    17487     18 |        0 |        0
1292.66/1293.06	c 1292s |      17 |   336572 |   216732 |    17487     18 |        0 |        0
1294.66/1295.06	c 1294s |      17 |   337007 |   217132 |    17487     18 |        0 |        0
1296.76/1297.14	c 1296s |      17 |   337452 |   217532 |    17487     18 |        0 |        0
1298.86/1299.27	c 1298s |      17 |   337908 |   217932 |    17487     18 |        0 |        0
1301.06/1301.44	c 1300s |      17 |   338338 |   218332 |    17487     18 |        0 |        0
1303.46/1303.88	c 1303s |      17 |   338782 |   218732 |    17487     18 |        0 |        0
1306.15/1306.51	c 1305s |      17 |   339239 |   219132 |    17487     18 |        0 |        0
1308.15/1308.56	c 1307s |      17 |   339581 |   219432 |    17487     18 |        0 |        0
1310.75/1311.20	c 1310s |      17 |   340019 |   219832 |    17487     18 |        0 |        0
1313.16/1313.57	c 1312s |      17 |   340650 |   220232 |    17487     18 |        0 |        0
1315.26/1315.69	c 1314s |      17 |   341131 |   220632 |    17487     18 |        0 |        0
1317.35/1317.78	c 1317s |      17 |   341575 |   221032 |    17487     18 |        0 |        0
1320.45/1320.84	c 1320s |      17 |   341897 |   221332 |    17487     19 |        0 |        0
1322.75/1323.16	c 1322s |      17 |   342366 |   221732 |    17487     19 |        0 |        0
1325.95/1326.35	c 1325s |      17 |   342942 |   222232 |    17487     19 |        0 |        0
1328.34/1328.74	c 1328s |      17 |   343396 |   222632 |    17487     19 |        0 |        0
1330.66/1331.03	c 1330s |      17 |   343851 |   223032 |    17487     19 |        0 |        0
1333.15/1333.57	c 1332s |      17 |   344303 |   223432 |    17487     19 |        0 |        0
1335.74/1336.13	c 1335s |      17 |   344730 |   223832 |    17487     19 |        0 |        0
1337.75/1338.18	c 1337s |      17 |   345163 |   224232 |    17487     19 |        0 |        0
1340.14/1340.50	c 1339s |      17 |   345680 |   224632 |    17487     19 |        0 |        0
1342.24/1342.62	c 1341s |      17 |   345998 |   224932 |    17487     19 |        0 |        0
1344.74/1345.18	c 1344s |      17 |   346416 |   225332 |    17487     19 |        0 |        0
1346.94/1347.30	c 1346s |      17 |   346991 |   225732 |    17487     19 |        0 |        0
1349.14/1349.58	c 1348s |      17 |   347465 |   226132 |    17487     19 |        0 |        0
1351.34/1351.72	c 1350s |      17 |   347981 |   226532 |    17487     19 |        0 |        0
1353.64/1354.04	c 1353s |      17 |   348451 |   226932 |    17487     19 |        0 |        0
1356.14/1356.59	c 1355s |      17 |   348899 |   227332 |    17487     19 |        0 |        0
1358.43/1358.82	c 1358s |      17 |   349231 |   227632 |    17487     19 |        0 |        0
1360.73/1361.10	c 1360s |      17 |   349577 |   227932 |    17487     19 |        0 |        0
1363.23/1363.60	c 1362s |      17 |   350079 |   228332 |    17487     19 |        0 |        0
1365.43/1365.81	c 1365s |      17 |   350564 |   228732 |    17487     19 |        0 |        0
1367.53/1367.99	c 1367s |      17 |   351038 |   229132 |    17487     19 |        0 |        0
1369.92/1370.33	c 1369s |      17 |   351472 |   229532 |    17487     19 |        0 |        0
1372.22/1372.60	c 1371s |      17 |   351922 |   229932 |    17487     19 |        0 |        0
1374.32/1374.72	c 1373s |      17 |   352412 |   230332 |    17487     19 |        0 |        0
1376.62/1377.07	c 1376s |      17 |   352984 |   230832 |    17487     19 |        0 |        0
1378.92/1379.36	c 1378s |      17 |   353557 |   231332 |    17487     19 |        0 |        0
1381.12/1381.51	c 1380s |      17 |   354012 |   231732 |    17487     19 |        0 |        0
1383.43/1383.81	c 1383s |      17 |   354362 |   232032 |    17487     19 |        0 |        0
1385.92/1386.31	c 1385s |      17 |   354664 |   232332 |    17487     19 |        0 |        0
1388.42/1388.89	c 1388s |      17 |   355093 |   232732 |    17487     19 |        0 |        0
1391.01/1391.40	c 1390s |      17 |   355555 |   233132 |    17487     19 |        0 |        0
1393.02/1393.44	c 1392s |      17 |   355875 |   233432 |    17487     19 |        0 |        0
1395.11/1395.51	c 1394s |      17 |   356209 |   233732 |    17487     19 |        0 |        0
1397.31/1397.79	c 1397s |      17 |   356674 |   234132 |    17487     19 |        0 |        0
1399.81/1400.20	c 1399s |      17 |   357156 |   234532 |    17487     19 |        0 |        0
1403.01/1403.46	c 1402s |      17 |   357634 |   234932 |    17487     20 |        0 |        0
1405.31/1405.76	c 1405s |      17 |   358237 |   235432 |    17487     20 |        0 |        0
1407.51/1407.91	c 1407s |      17 |   358464 |   235632 |    17487     20 |        0 |        0
1409.60/1410.01	c 1409s |      17 |   359017 |   236132 |    17487     20 |        0 |        0
1413.01/1413.49	c 1412s |      17 |   359581 |   236632 |    17487     20 |        0 |        0
1415.11/1415.52	c 1414s |      17 |   360026 |   237032 |    17487     20 |        0 |        0
1417.61/1418.02	c 1417s |      17 |   360590 |   237532 |    17487     20 |        0 |        0
1420.10/1420.59	c 1419s |      17 |   361187 |   238032 |    17487     20 |        0 |        0
1422.40/1422.87	c 1422s |      17 |   361660 |   238432 |    17487     20 |        0 |        0
1424.60/1425.05	c 1424s |      17 |   362131 |   238832 |    17487     20 |        0 |        0
1426.70/1427.13	c 1426s |      17 |   362599 |   239232 |    17487     20 |        0 |        0
1429.30/1429.75	c 1429s |      17 |   363320 |   239732 |    17487     20 |        0 |        0
1431.60/1432.01	c 1431s |      17 |   363842 |   240132 |    17487     20 |        0 |        0
1434.10/1434.56	c 1433s |      17 |   364320 |   240532 |    17487     20 |        0 |        0
1436.59/1437.03	c 1436s |      17 |   364813 |   240932 |    17487     20 |        0 |        0
1438.69/1439.10	c 1438s |      17 |   365163 |   241232 |    17487     20 |        0 |        0
1440.99/1441.49	c 1440s |      17 |   365590 |   241632 |    17487     20 |        0 |        0
1443.20/1443.65	c 1442s |      17 |   366027 |   242032 |    17487     20 |        0 |        0
1445.59/1446.07	c 1445s |      17 |   366638 |   242532 |    17487     20 |        0 |        0
1447.70/1448.16	c 1447s |      17 |   367147 |   242932 |    17487     20 |        0 |        0
1449.89/1450.32	c 1449s |      17 |   367617 |   243332 |    17487     20 |        0 |        0
1451.99/1452.45	c 1451s |      17 |   368053 |   243732 |    17487     20 |        0 |        0
1454.39/1454.83	c 1454s |      17 |   368493 |   244132 |    17487     20 |        0 |        0
1456.99/1457.45	c 1456s |      17 |   368983 |   244532 |    17487     20 |        0 |        0
1459.09/1459.54	c 1458s |      17 |   369323 |   244832 |    17487     20 |        0 |        0
1461.29/1461.71	c 1460s |      17 |   369674 |   245132 |    17487     20 |        0 |        0
1463.69/1464.12	c 1463s |      17 |   370125 |   245532 |    17487     20 |        0 |        0
1466.18/1466.66	c 1465s |      17 |   370559 |   245932 |    17487     20 |        0 |        0
1468.48/1468.96	c 1468s |      17 |   371015 |   246332 |    17487     20 |        0 |        0
1470.97/1471.49	c 1470s |      17 |   371462 |   246732 |    17487     20 |        0 |        0
1473.07/1473.54	c 1472s |      17 |   371914 |   247132 |    17487     20 |        0 |        0
1475.47/1475.90	c 1475s |      17 |   372386 |   247532 |    17487     20 |        0 |        0
1477.57/1478.05	c 1477s |      17 |   372767 |   247832 |    17487     20 |        0 |        0
1479.57/1480.06	c 1479s |      17 |   373096 |   248132 |    17487     20 |        0 |        0
1481.58/1482.07	c 1481s |      17 |   373422 |   248432 |    17487     20 |        0 |        0
1483.97/1484.44	c 1483s |      17 |   373532 |   248532 |    17487     21 |        0 |        0
1486.28/1486.73	c 1486s |      17 |   374003 |   248932 |    17487     21 |        0 |        0
1488.47/1488.92	c 1488s |      17 |   374535 |   249332 |    17487     21 |        0 |        0
1490.77/1491.29	c 1490s |      17 |   375228 |   249932 |    17487     21 |        0 |        0
1492.87/1493.31	c 1492s |      17 |   375693 |   250332 |    17487     21 |        0 |        0
1494.87/1495.38	c 1494s |      17 |   376146 |   250732 |    17487     21 |        0 |        0
1496.96/1497.46	c 1496s |      17 |   376615 |   251132 |    17487     21 |        0 |        0
1499.27/1499.71	c 1498s |      17 |   377117 |   251532 |    17487     21 |        0 |        0
1501.47/1501.98	c 1501s |      17 |   377635 |   251932 |    17487     21 |        0 |        0
1503.77/1504.23	c 1503s |      17 |   378116 |   252332 |    17487     21 |        0 |        0
1505.96/1506.41	c 1505s |      17 |   378591 |   252732 |    17487     21 |        0 |        0
1508.26/1508.78	c 1508s |      17 |   379232 |   253232 |    17487     21 |        0 |        0
1510.66/1511.10	c 1510s |      17 |   379836 |   253732 |    17487     21 |        0 |        0
1512.67/1513.15	c 1512s |      17 |   380292 |   254132 |    17487     21 |        0 |        0
1514.86/1515.35	c 1514s |      17 |   380747 |   254532 |    17487     21 |        0 |        0
1517.46/1517.92	c 1517s |      17 |   381463 |   255032 |    17487     21 |        0 |        0
1519.96/1520.45	c 1519s |      17 |   381891 |   255432 |    17487     21 |        0 |        0
1521.97/1522.45	c 1521s |      17 |   382240 |   255732 |    17487     21 |        0 |        0
1523.96/1524.49	c 1523s |      17 |   382636 |   256032 |    17487     21 |        0 |        0
1526.37/1526.85	c 1526s |      17 |   383141 |   256432 |    17487     21 |        0 |        0
1528.96/1529.42	c 1528s |      17 |   383761 |   256932 |    17487     21 |        0 |        0
1531.16/1531.68	c 1530s |      17 |   384230 |   257332 |    17487     21 |        0 |        0
1533.66/1534.14	c 1533s |      17 |   384834 |   257832 |    17487     21 |        0 |        0
1535.86/1536.33	c 1535s |      17 |   385273 |   258232 |    17487     21 |        0 |        0
1537.96/1538.46	c 1537s |      17 |   385693 |   258632 |    17487     21 |        0 |        0
1540.26/1540.77	c 1540s |      17 |   386598 |   259132 |    17487     21 |        0 |        0
1542.36/1542.88	c 1542s |      17 |   387170 |   259532 |    17487     21 |        0 |        0
1544.45/1544.99	c 1544s |      17 |   387879 |   259932 |    17487     21 |        0 |        0
1546.55/1547.05	c 1546s |      17 |   388434 |   260332 |    17487     21 |        0 |        0
1548.86/1549.36	c 1548s |      17 |   389176 |   260732 |    17487     21 |        0 |        0
1551.66/1552.16	c 1551s |      17 |   389798 |   261132 |    17487     21 |        0 |        0
1554.16/1554.70	c 1553s |      17 |   390271 |   261532 |    17487     21 |        0 |        0
1556.25/1556.76	c 1556s |      17 |   390608 |   261832 |    17487     21 |        0 |        0
1561.35/1561.84	c 1561s |      17 |   390944 |   262132 |    17487     22 |        0 |        0
1563.35/1563.86	c 1563s |      17 |   391377 |   262532 |    17487     22 |        0 |        0
1565.45/1565.96	c 1565s |      17 |   391809 |   262932 |    17487     22 |        0 |        0
1567.85/1568.31	c 1567s |      17 |   392385 |   263432 |    17487     22 |        0 |        0
1570.15/1570.60	c 1569s |      17 |   392971 |   263932 |    17487     22 |        0 |        0
1572.24/1572.76	c 1572s |      17 |   393417 |   264332 |    17487     22 |        0 |        0
1574.76/1575.23	c 1574s |      17 |   393847 |   264732 |    17487     22 |        0 |        0
1577.45/1577.91	c 1577s |      17 |   394278 |   265132 |    17487     22 |        0 |        0
1579.55/1580.01	c 1579s |      17 |   394650 |   265432 |    17487     22 |        0 |        0
1581.54/1582.03	c 1581s |      17 |   395117 |   265832 |    17487     22 |        0 |        0
1583.56/1584.04	c 1583s |      17 |   395573 |   266232 |    17487     22 |        0 |        0
1585.55/1586.06	c 1585s |      17 |   396020 |   266632 |    17487     22 |        0 |        0
1587.85/1588.39	c 1587s |      17 |   396730 |   267232 |    17487     22 |        0 |        0
1590.04/1590.59	c 1589s |      17 |   397310 |   267732 |    17487     22 |        0 |        0
1592.45/1592.96	c 1592s |      17 |   397855 |   268232 |    17487     22 |        0 |        0
1594.75/1595.27	c 1594s |      17 |   398434 |   268732 |    17487     22 |        0 |        0
1596.85/1597.35	c 1596s |      17 |   399137 |   269332 |    17487     22 |        0 |        0
1598.95/1599.41	c 1598s |      17 |   399745 |   269832 |    17487     22 |        0 |        0
1601.34/1601.81	c 1601s |      17 |   400342 |   270332 |    17487     22 |        0 |        0
1603.74/1604.28	c 1603s |      17 |   400775 |   270732 |    17487     22 |        0 |        0
1605.84/1606.35	c 1605s |      17 |   401272 |   271132 |    17487     22 |        0 |        0
1608.04/1608.57	c 1607s |      17 |   401739 |   271532 |    17487     22 |        0 |        0
1610.34/1610.81	c 1610s |      17 |   402252 |   271932 |    17487     22 |        0 |        0
1612.74/1613.22	c 1612s |      17 |   402691 |   272332 |    17487     22 |        0 |        0
1615.14/1615.66	c 1614s |      17 |   403284 |   272832 |    17487     22 |        0 |        0
1617.24/1617.78	c 1617s |      17 |   403848 |   273332 |    17487     22 |        0 |        0
1619.53/1620.05	c 1619s |      17 |   404433 |   273832 |    17487     22 |        0 |        0
1621.74/1622.24	c 1621s |      17 |   405079 |   274332 |    17487     22 |        0 |        0
1624.03/1624.58	c 1623s |      17 |   405630 |   274832 |    17487     22 |        0 |        0
1626.13/1626.69	c 1625s |      17 |   406070 |   275232 |    17487     22 |        0 |        0
1628.33/1628.85	c 1628s |      17 |   406533 |   275632 |    17487     22 |        0 |        0
1630.73/1631.21	c 1630s |      17 |   406754 |   275832 |    17487     23 |        0 |        0
1633.14/1633.61	c 1632s |      17 |   406884 |   275932 |    17487     23 |        0 |        0
1635.13/1635.67	c 1634s |      17 |   407441 |   276432 |    17487     23 |        0 |        0
1637.22/1637.71	c 1636s |      17 |   408009 |   276932 |    17487     23 |        0 |        0
1639.32/1639.87	c 1639s |      17 |   408613 |   277432 |    17487     23 |        0 |        0
1641.53/1642.08	c 1641s |      17 |   409053 |   277832 |    17487     23 |        0 |        0
1643.92/1644.47	c 1643s |      17 |   409517 |   278232 |    17487     23 |        0 |        0
1646.23/1646.74	c 1646s |      17 |   409965 |   278632 |    17487     23 |        0 |        0
1648.22/1648.79	c 1648s |      17 |   410447 |   279032 |    17487     23 |        0 |        0
1650.32/1650.87	c 1650s |      17 |   410899 |   279432 |    17487     23 |        0 |        0
1652.83/1653.31	c 1652s |      17 |   411476 |   279932 |    17487     23 |        0 |        0
1654.92/1655.41	c 1654s |      17 |   412048 |   280432 |    17487     23 |        0 |        0
1657.12/1657.64	c 1656s |      17 |   412604 |   280932 |    17487     23 |        0 |        0
1659.42/1660.00	c 1659s |      17 |   413150 |   281432 |    17487     23 |        0 |        0
1661.82/1662.33	c 1661s |      17 |   413738 |   281932 |    17487     23 |        0 |        0
1664.22/1664.75	c 1664s |      17 |   414283 |   282432 |    17487     23 |        0 |        0
1666.62/1667.19	c 1666s |      17 |   414836 |   282932 |    17487     23 |        0 |        0
1669.12/1669.66	c 1668s |      17 |   415395 |   283432 |    17487     23 |        0 |        0
1671.62/1672.11	c 1671s |      17 |   415911 |   283832 |    17487     23 |        0 |        0
1673.82/1674.36	c 1673s |      17 |   416563 |   284232 |    17487     23 |        0 |        0
1676.22/1676.72	c 1675s |      17 |   417016 |   284632 |    17487     23 |        0 |        0
1678.51/1679.09	c 1678s |      17 |   417478 |   285032 |    17487     23 |        0 |        0
1680.61/1681.18	c 1680s |      17 |   417965 |   285432 |    17487     23 |        0 |        0
1682.71/1683.27	c 1682s |      17 |   418417 |   285832 |    17487     23 |        0 |        0
1685.12/1685.66	c 1684s |      17 |   418835 |   286232 |    17487     23 |        0 |        0
1687.21/1687.78	c 1687s |      17 |   419298 |   286632 |    17487     23 |        0 |        0
1689.71/1690.20	c 1689s |      17 |   419836 |   287132 |    17487     23 |        0 |        0
1691.71/1692.21	c 1691s |      17 |   420300 |   287532 |    17487     23 |        0 |        0
1693.81/1694.35	c 1693s |      17 |   420726 |   287932 |    17487     23 |        0 |        0
1695.91/1696.43	c 1695s |      17 |   421057 |   288232 |    17487     23 |        0 |        0
1697.92/1698.49	c 1697s |      17 |   421389 |   288532 |    17487     23 |        0 |        0
1700.11/1700.69	c 1699s |      17 |   421831 |   288932 |    17487     23 |        0 |        0
1702.31/1702.87	c 1702s |      17 |   422283 |   289332 |    17487     23 |        0 |        0
1704.31/1704.88	c 1704s |      17 |   422394 |   289432 |    17487     24 |        0 |        0
1706.71/1707.21	c 1706s |      17 |   422865 |   289832 |    17487     24 |        0 |        0
1708.70/1709.27	c 1708s |      17 |   423327 |   290232 |    17487     24 |        0 |        0
1710.71/1711.28	c 1710s |      17 |   423773 |   290632 |    17487     24 |        0 |        0
1713.11/1713.68	c 1712s |      17 |   424353 |   291132 |    17487     24 |        0 |        0
1715.51/1716.02	c 1715s |      17 |   424725 |   291432 |    17487     24 |        0 |        0
1718.01/1718.52	c 1717s |      17 |   425200 |   291832 |    17487     24 |        0 |        0
1720.40/1720.93	c 1720s |      17 |   425747 |   292332 |    17487     24 |        0 |        0
1722.70/1723.20	c 1722s |      17 |   426317 |   292832 |    17487     24 |        0 |        0
1724.70/1725.25	c 1724s |      17 |   426732 |   293232 |    17487     24 |        0 |        0
1726.80/1727.40	c 1726s |      17 |   427159 |   293632 |    17487     24 |        0 |        0
1729.30/1729.88	c 1729s |      17 |   427720 |   294132 |    19236     24 |        0 |        0
1731.60/1732.15	c 1731s |      17 |   428181 |   294532 |    19236     24 |        0 |        0
1733.80/1734.33	c 1733s |      17 |   428611 |   294932 |    19236     24 |        0 |        0
1736.20/1736.79	c 1736s |      17 |   429040 |   295332 |    19236     24 |        0 |        0
1738.50/1739.04	c 1738s |      17 |   429365 |   295632 |    19236     24 |        0 |        0
1740.91/1741.46	c 1740s |      17 |   429818 |   296032 |    19236     24 |        0 |        0
1742.30/1742.81	c 1742s |      18 |   430047 |   296252 |    19236     24 |        0 |        0
1746.70/1747.29	c 1746s |      18 |   433939 |   296352 |    19236     25 |        0 |        0
1749.00/1749.55	c 1748s |      18 |   434664 |   296952 |    19236     25 |        0 |        0
1751.30/1751.84	c 1751s |      18 |   435422 |   297552 |    19236     25 |        0 |        0
1753.59/1754.12	c 1753s |      18 |   436005 |   298052 |    19236     25 |        0 |        0
1755.80/1756.37	c 1755s |      18 |   436708 |   298552 |    19236     25 |        0 |        0
1758.10/1758.60	c 1757s |      18 |   437291 |   299052 |    19236     25 |        0 |        0
1760.49/1761.02	c 1760s |      18 |   437875 |   299552 |    19236     25 |        0 |        0
1762.80/1763.31	c 1762s |      18 |   438460 |   300052 |    19236     25 |        0 |        0
1764.90/1765.44	c 1764s |      18 |   438915 |   300452 |    19236     25 |        0 |        0
1767.31/1767.88	c 1767s |      18 |   439407 |   300852 |    19236     25 |        0 |        0
1769.80/1770.37	c 1769s |      18 |   439875 |   301252 |    19236     25 |        0 |        0
1772.00/1772.52	c 1771s |      18 |   440210 |   301552 |    19236     25 |        0 |        0
1773.99/1774.52	c 1773s |      18 |   440562 |   301852 |    19236     25 |        0 |        0
1776.49/1777.03	c 1776s |      18 |   441016 |   302252 |    19236     25 |        0 |        0
1778.79/1779.33	c 1778s |      18 |   441484 |   302652 |    19236     25 |        0 |        0
1781.19/1781.78	c 1781s |      18 |   441936 |   303052 |    19236     25 |        0 |        0
1783.59/1784.20	c 1783s |      18 |   442398 |   303452 |    19236     25 |        0 |        0
1786.00/1786.53	c 1785s |      18 |   442855 |   303852 |    19236     25 |        0 |        0
1787.99/1788.57	c 1787s |      18 |   443190 |   304152 |    19236     25 |        0 |        0
1790.08/1790.67	c 1789s |      18 |   443506 |   304452 |    19236     25 |        0 |        0
1792.60/1793.12	c 1792s |      18 |   443972 |   304852 |    19236     25 |        0 |        0
1794.89/1795.48	c 1794s |      18 |   444424 |   305252 |    19236     25 |        0 |        0
1797.09/1797.63	c 1796s |      18 |   445027 |   305752 |    19236     25 |        0 |        0
1799.19/1799.79	c 1799s |      18 |   445631 |   306252 |    19236     25 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093391-1466082829/watcher-4093391-1466082829 -o /tmp/evaluation-result-4093391-1466082829/solver-4093391-1466082829 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093391-1466082829.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.05 2.06 3/179 12187
/proc/meminfo: memFree=30237556/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=512444 CPUtime=0 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 1872 0 0 0 0 0 0 0 20 0 4 0 10332181 524742656 2744 33554432000 4194304 16246674 140733945246640 140733945246064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 128623 2753 441 2943 0 125517 0
[pid=12187/tid=12188] ppid=12184 vsize=528828 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 541519872 2811 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=532924 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 545714176 2827 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=538044 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10332181 550957056 2847 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100221 s]
/proc/loadavg: 2.01 2.05 2.06 3/179 12187
/proc/meminfo: memFree=30237556/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 22407 0 0 0 6 3 0 0 20 0 4 0 10332181 1249447936 23219 33554432000 4194304 16246674 140733945246640 140733945245952 12489525 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 305041 23226 829 2943 0 301935 0
[pid=12187/tid=12188] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 23232 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 23236 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 23241 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200536 s]
/proc/loadavg: 2.01 2.05 2.06 3/179 12187
/proc/meminfo: memFree=30237556/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 41764 0 0 0 14 5 0 0 20 0 4 0 10332181 1249447936 42575 33554432000 4194304 16246674 140733945246640 140733945245952 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 305041 42584 829 2943 0 301935 0
[pid=12187/tid=12188] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 42588 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 42594 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 42599 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300405 s]
/proc/loadavg: 2.01 2.05 2.06 3/179 12187
/proc/meminfo: memFree=30237556/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 61356 0 0 0 21 8 0 0 20 0 4 0 10332181 1249447936 62167 33554432000 4194304 16246674 140733945246640 140733945245952 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 305041 62175 829 2943 0 301935 0
[pid=12187/tid=12188] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 62179 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 62186 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10332181 1249447936 62189 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700413 s]
/proc/loadavg: 2.01 2.05 2.06 3/179 12187
/proc/meminfo: memFree=30237556/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 141422 0 0 0 51 18 0 0 20 0 4 0 10332181 1337528320 142233 33554432000 4194304 16246674 140733945246640 140733945245952 5722972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 326545 142233 910 2943 0 323439 0
[pid=12187/tid=12188] ppid=12184 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1337528320 142233 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1337528320 142233 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1337528320 142233 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50042 s]
/proc/loadavg: 2.01 2.05 2.06 3/183 12191
/proc/meminfo: memFree=29648040/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 150053 0 0 0 130 19 0 0 20 0 4 0 10332181 1338576896 150865 33554432000 4194304 16246674 140733945246640 140733945228544 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 326801 150882 925 2943 0 323695 0
[pid=12187/tid=12188] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 150893 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 150908 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 150921 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10042 s]
/proc/loadavg: 2.01 2.05 2.06 3/183 12191
/proc/meminfo: memFree=29626224/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 152158 0 0 0 290 19 0 0 20 0 4 0 10332181 1338576896 152969 33554432000 4194304 16246674 140733945246640 140733945245816 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 326801 152969 925 2943 0 323695 0
[pid=12187/tid=12188] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 152969 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 152969 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 152969 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.01 2.05 2.06 3/183 12191
/proc/meminfo: memFree=29624924/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 152327 0 0 0 609 19 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140733945245816 5721248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 326801 153138 925 2943 0 323695 0
[pid=12187/tid=12188] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.01 2.05 2.06 3/183 12191
/proc/meminfo: memFree=29625088/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 152327 0 0 0 1249 20 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140733945245816 13195352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 326801 153138 925 2943 0 323695 0
[pid=12187/tid=12188] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 12191
/proc/meminfo: memFree=29625480/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 152327 0 0 0 2527 21 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140733945228544 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 326801 153138 925 2943 0 323695 0
[pid=12187/tid=12188] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1338576896 153138 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.00 2.04 2.05 3/183 12192
/proc/meminfo: memFree=29159612/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 268795 0 0 0 5069 39 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140733945245816 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 327569 269606 931 2943 0 324463 0
[pid=12187/tid=12188] ppid=12184 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.05 3/183 12193
/proc/meminfo: memFree=29159696/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 268795 0 0 0 10184 44 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140733945228544 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 327569 269606 931 2943 0 324463 0
[pid=12187/tid=12188] ppid=12184 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 1341722624 269606 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2188972032 476458 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 2137668

[startup+1302.3 s]
/proc/loadavg: 2.27 2.24 2.16 3/183 12223
/proc/meminfo: memFree=28325240/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2137668 CPUtime=1301.96 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 475888 0 0 0 129901 295 0 0 20 0 4 0 10332181 2188972032 476458 33554432000 4194304 16246674 140733945246640 140733945245736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 534417 476458 932 2943 0 531311 0
[pid=12187/tid=12188] ppid=12184 vsize=2137668 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2188972032 476458 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2137668 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2188972032 476458 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2137668 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2188972032 476458 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 2137668

[startup+1362.3 s]
/proc/loadavg: 2.24 2.24 2.16 3/183 12224
/proc/meminfo: memFree=28288960/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2173508 CPUtime=1361.93 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 484885 0 0 0 135882 311 0 0 20 0 4 0 10332181 2225672192 485418 33554432000 4194304 16246674 140733945246640 140733945245816 6010629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 543377 485418 932 2943 0 540271 0
[pid=12187/tid=12188] ppid=12184 vsize=2173508 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2225672192 485418 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2173508 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2225672192 485418 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2173508 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2225672192 485418 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 2173508

[startup+1422.3 s]
/proc/loadavg: 2.23 2.24 2.16 3/183 12225
/proc/meminfo: memFree=28174348/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2288196 CPUtime=1421.91 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 513477 0 0 0 141853 338 0 0 20 0 4 0 10332181 2343112704 513975 33554432000 4194304 16246674 140733945246640 140733945245816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 572049 513975 932 2943 0 568943 0
[pid=12187/tid=12188] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 513975 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 513975 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 513975 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 2288196

[startup+1482.3 s]
/proc/loadavg: 2.20 2.22 2.16 3/183 12226
/proc/meminfo: memFree=28174476/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2288196 CPUtime=1481.88 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 513618 0 0 0 147831 357 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140733945228544 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 572049 514090 932 2943 0 568943 0
[pid=12187/tid=12188] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 2288196

[startup+1542.31 s]
/proc/loadavg: 2.15 2.21 2.16 3/183 12227
/proc/meminfo: memFree=28174312/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2288196 CPUtime=1541.86 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 513640 0 0 0 153806 380 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140733945228544 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 572049 514090 932 2943 0 568943 0
[pid=12187/tid=12188] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 2288196

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.17 3/184 12232
/proc/meminfo: memFree=28174292/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2288196 CPUtime=1601.84 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 513655 0 0 0 159783 401 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140733945228544 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 572049 514090 932 2943 0 568943 0
[pid=12187/tid=12188] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 2288196

[startup+1662.3 s]
/proc/loadavg: 2.15 2.20 2.17 3/183 12281
/proc/meminfo: memFree=28171200/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2288196 CPUtime=1661.82 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 513679 0 0 0 165759 423 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140733945245816 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 572049 514090 932 2943 0 568943 0
[pid=12187/tid=12188] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2343112704 514090 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 2288196

[startup+1722.3 s]
/proc/loadavg: 2.16 2.19 2.16 3/183 12282
/proc/meminfo: memFree=28109868/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2341444 CPUtime=1721.81 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 526993 0 0 0 171732 449 0 0 20 0 4 0 10332181 2397638656 527387 33554432000 4194304 16246674 140733945246640 140733945245816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 585361 527387 932 2943 0 582255 0
[pid=12187/tid=12188] ppid=12184 vsize=2341444 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2397638656 527387 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2341444 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2397638656 527387 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2341444 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2397638656 527387 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 2341444

[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.17 3/183 12283
/proc/meminfo: memFree=28083204/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2368068 CPUtime=1781.79 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 533571 0 0 0 177708 471 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140733945245816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 592017 533955 932 2943 0 588911 0
[pid=12187/tid=12188] ppid=12184 vsize=2368068 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2368068 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2368068 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 2368068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.19 2.16 3/183 12283
/proc/meminfo: memFree=28082184/32872528 swapFree=681192/736380
[pid=12187] ppid=12184 vsize=2368068 CPUtime=1800.08 cores=1,3,5,7
/proc/12187/stat : 12187 (toysat) R 12184 12187 7985 0 -1 4202496 533581 0 0 0 179531 477 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140733945245816 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12187/statm: 592017 533955 932 2943 0 588911 0
[pid=12187/tid=12188] ppid=12184 vsize=2368068 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12188/stat : 12188 (toysat) S 12184 12187 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140539108240624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12187/tid=12189] ppid=12184 vsize=2368068 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12189/stat : 12189 (toysat) S 12184 12187 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140539097750768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12187/tid=12190] ppid=12184 vsize=2368068 CPUtime=0 cores=1,3,5,7
/proc/12187/task/12190/stat : 12190 (toysat) S 12184 12187 7985 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10332181 2424901632 533955 33554432000 4194304 16246674 140733945246640 140538980330672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2368068

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.13
CPU user time (s): 1795.32
CPU system time (s): 4.80727
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 2368068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.32
system time used= 4.80727
maximum resident set size= 2135820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533581
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= 455
involuntary context switches= 1940

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54131 second user time and 6.96594 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-16 15:13:49
IDJOB=4093391
IDBENCH=78713
IDSOLVER=2553
FILE ID=node112/4093391-1466082829
RUNJOBID= node112-1466075445-11101
PBS_JOBID= 19904024
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093391-1466082829/watcher-4093391-1466082829 -o /tmp/evaluation-result-4093391-1466082829/solver-4093391-1466082829 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093391-1466082829.wbo

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

MD5SUM BENCH= d7ec3e5f8584fe7f5e0e066c760adfab
RANDOM SEED=1685967386

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30237820 kB
Buffers:           29056 kB
Cached:            97312 kB
SwapCached:          696 kB
Active:          1149260 kB
Inactive:          50288 kB
Active(anon):    1074724 kB
Inactive(anon):      740 kB
Active(file):      74536 kB
Inactive(file):    49548 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1808804 kB
Mapped:            10552 kB
Shmem:                 0 kB
Slab:             566768 kB
SReclaimable:      10636 kB
SUnreclaim:       556132 kB
KernelStack:        1488 kB
PageTables:         7528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1953516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71716 MiB
End job on node112 at 2016-06-16 15:43:50