Trace number 4093416

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.11 1800.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo
MD5SUM8ea1de4cad02f20126bf15704ca9ee6a
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.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6480
Total number of constraints161
Number of soft constraints109
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint81
Top cost 6056
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6055
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 82
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-16T16:07:01+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-4093416-1466086021.wbo"]
0.00/0.01	c use --random-gen="3154541659 4113425925 1936757045 3681683501 3304450707 3897390059 3778301885 4030219373 3797271212 1624804112 3127847308 2491176768 3704976471 4239561058 4012502943 2510648531 2467225368 4006344671 1214448407 2339946840 190719665 1173132812 3383012488 331706091 1229895993 3965252201 1460211840 313314051 3288683391 3722423424 448205803 1327194717 2408671273 2181067145 2697363179 4284808609 2869432961 118182194 1274639657 2118372736 1944472345 957967534 194787288 2269308682 611591865 2152913431 4148529361 1248487002 2978178661 4276972712 3305667730 3447677476 2851513545 1179759385 1506124118 3984471935 2208266865 3868362326 1683984006 3086914452 105664228 1445525091 839376280 3512309295 4054986862 2126465886 497692436 1499944183 690900873 537203659 117372168 3690490645 2604308434 1665539476 2975441057 1401040728 3797515118 2090348246 2186502014 2358918928 3368108049 4020596669 318591821 189632269 2406086523 3236177031 3752997058 3591042098 1295240912 913842973 162334224 339827885 1198812611 1917120781 3023495980 2302061543 3430947069 2109139586 2633296877 3174581221 807259067 2490745589 4008600466 1970484136 123921301 714670984 2297364695 1825009591 1758304630 1293262374 722092026 2278033594 3638441896 3779367278 480063125 1280980086 1637950029 3528590380 3241155362 1742774863 739662662 1475162032 492902647 4244806903 4243362868 2915850953 1020794964 2202101854 714645254 3486786456 502411938 1639228506 239619285 3285694842 861979282 3551923337 3912399929 1545182079 3851011239 1219472827 1881887127 831209790 4293530501 1175933118 2680537399 3533720175 3391429520 4250149056 3731631378 2836231674 2319803350 321587204 4273400742 229650755 4101918901 815474114 288861215 3470584709 2650675257 3876152961 4011781816 2782851182 2209342077 2280385507 1863835015 922253459 2497474588 2870108703 198672914 3492392902 528510131 798142048 697922823 2582393024 2727242530 3951217234 1806075550 405294144 3638954177 450237841 315099260 2820989521 943062282 2386904579 1710967060 2357856907 1525586329 48506785 1474888550 2024096466 639871069 2406681154 4127214656 194840617 1261419653 2837508249 2207386343 3964113212 2261482183 2230577122 1138287937 3283790154 2323498648 1378814739 1112127912 3171271867 2946275041 2986368839 1062784392 1378494798 2402781283 733344328 848576383 2965442737 1439472298 4062931271 2896079135 3096974837 1139693409 2333815473 600745825 339114160 4014156914 1285803934 2632771772 1101793492 3590844355 636831658 3735561708 1132797867 1314634479 3300112637 3311859245 3880736421 178678552 1734836560 869890369 926397983 2093030760 1753205980 1239220038 1954677946 3710856644 3212360675 1524511999 1660959990 4157754823 11807438 3756149019 4097101054 1357120051 486462494 1017979516 3086712909 1983977052 2794248825 255 362436" option to reproduce the execution
0.29/0.32	c #vars 6480
0.29/0.32	c #constraints 161
0.29/0.36	c BCD2: Hardening is enabled.
0.29/0.36	c BCD2: BiasedSearch is enabled.
0.29/0.36	c Solving starts ...
0.29/0.36	c ============================[ Search Statistics ]============================
0.29/0.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.36	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.36	c =============================================================================
0.29/0.37	c  0.0s |       0 |        0 |        0 |     2250      0 |        0 |        0
0.39/0.44	c  0.1s |       1 |      306 |      100 |     2250      0 |        0 |        0
0.39/0.45	c  0.1s |       1 |     4371 |      101 |     2475      0 |        0 |        0
0.39/0.45	c #cpu_time = 0.073s
0.39/0.45	c #wall_clock_time = 0.074s
0.39/0.45	c #decision = 4371
0.39/0.45	c #random_decision = 14
0.39/0.45	c #conflict = 101
0.39/0.45	c #restart = 1
0.39/0.45	o 3197
0.39/0.45	c BCD2: updating upper bound: 6055 -> 3196
0.39/0.45	c BCD2: 0 <= obj <= 3196
0.39/0.45	c BCD2: #cores=0, #unrelaxed=109, #relaxed=0, #hardened=0
0.39/0.45	c BCD2: #sat=1 #unsat=1 bias=1/2
0.39/0.45	c Solving starts ...
0.39/0.45	c ============================[ Search Statistics ]============================
0.39/0.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.45	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.45	c =============================================================================
0.39/0.45	c  0.0s |       0 |        0 |        0 |     2475      0 |        0 |        0
0.69/0.70	c  0.2s |       1 |     2203 |      100 |     2475      0 |        0 |        0
0.99/1.04	c  0.6s |       2 |     5272 |      250 |     2723      0 |        0 |        0
1.79/1.86	c  1.4s |       3 |     9042 |      475 |     2996      0 |        0 |        0
2.59/2.69	c  2.2s |       4 |    12781 |      813 |     3296      0 |        0 |        0
3.69/3.78	c  3.3s |       5 |    16726 |     1320 |     3626      0 |        0 |        0
5.49/5.55	c  5.1s |       6 |    20970 |     2081 |     3989      0 |        0 |        0
7.70/7.71	c  7.3s |       6 |    25141 |     2781 |     3989      0 |        0 |        0
9.29/9.30	c  8.9s |       7 |    25631 |     3223 |     4388      0 |        0 |        0
11.49/11.50	c 11.1s |       7 |    30343 |     4023 |     4388      0 |        0 |        0
13.59/13.60	c 13.2s |       7 |    31052 |     4623 |     4388      0 |        0 |        0
14.79/14.80	c 14.4s |       8 |    31438 |     4936 |     4827      0 |        0 |        0
16.79/16.81	c 16.4s |       8 |    35726 |     5736 |     4827      1 |        0 |        0
18.79/18.87	c 18.4s |       8 |    36652 |     6536 |     4827      1 |        0 |        0
20.99/21.07	c 20.6s |       8 |    37548 |     7236 |     4827      1 |        0 |        0
22.38/22.45	c 22.0s |       9 |    38241 |     7506 |     5310      1 |        0 |        0
24.69/24.72	c 24.3s |       9 |    42498 |     8306 |     5310      1 |        0 |        0
26.99/27.07	c 26.6s |       9 |    43295 |     9006 |     5310      1 |        0 |        0
29.19/29.27	c 28.8s |       9 |    44002 |     9606 |     5310      1 |        0 |        0
31.38/31.49	c 31.0s |       9 |    44700 |    10206 |     5310      1 |        0 |        0
33.88/33.91	c 33.5s |       9 |    45375 |    10806 |     5310      1 |        0 |        0
36.08/36.12	c 35.7s |       9 |    45930 |    11306 |     5842      1 |        0 |        0
36.39/36.41	c 36.0s |      10 |    45988 |    11361 |     5842      1 |        0 |        0
38.38/38.48	c 38.0s |      10 |    50181 |    11861 |     5842      2 |        0 |        0
40.59/40.65	c 40.2s |      10 |    51110 |    12361 |     5842      2 |        0 |        0
43.09/43.10	c 42.7s |      10 |    51853 |    12961 |     5842      2 |        0 |        0
45.48/45.54	c 45.1s |      10 |    52423 |    13461 |     5842      2 |        0 |        0
47.48/47.58	c 47.1s |      10 |    52950 |    13861 |     5842      2 |        0 |        0
49.68/49.75	c 49.3s |      10 |    53426 |    14261 |     5842      2 |        0 |        0
52.18/52.27	c 51.8s |      10 |    53957 |    14661 |     5842      2 |        0 |        0
54.58/54.64	c 54.2s |      10 |    54420 |    15061 |     5842      2 |        0 |        0
57.08/57.11	c 56.7s |      10 |    54922 |    15461 |     5842      2 |        0 |        0
59.18/59.22	c 58.8s |      10 |    55243 |    15761 |     5842      2 |        0 |        0
61.38/61.44	c 61.0s |      10 |    55573 |    16061 |     5842      2 |        0 |        0
63.98/64.08	c 63.6s |      10 |    56024 |    16461 |     5842      2 |        0 |        0
66.28/66.39	c 65.9s |      10 |    56340 |    16761 |     5842      2 |        0 |        0
68.57/68.62	c 68.2s |      10 |    56667 |    17061 |     6427      2 |        0 |        0
69.17/69.28	c 68.8s |      11 |    56757 |    17144 |     6427      2 |        0 |        0
71.38/71.48	c 71.0s |      11 |    61208 |    17744 |     6427      3 |        0 |        0
73.58/73.67	c 73.2s |      11 |    62027 |    18444 |     6427      3 |        0 |        0
75.89/75.97	c 75.5s |      11 |    62717 |    19044 |     6427      3 |        0 |        0
77.98/78.03	c 77.6s |      11 |    63395 |    19644 |     6427      3 |        0 |        0
80.08/80.12	c 79.7s |      11 |    64077 |    20244 |     6427      3 |        0 |        0
82.28/82.30	c 81.8s |      11 |    64866 |    20944 |     6427      3 |        0 |        0
84.68/84.73	c 84.3s |      11 |    65668 |    21644 |     6427      3 |        0 |        0
87.08/87.13	c 86.7s |      11 |    66392 |    22244 |     6427      3 |        0 |        0
89.18/89.21	c 88.8s |      11 |    66941 |    22744 |     6427      3 |        0 |        0
91.28/91.39	c 90.9s |      11 |    67514 |    23244 |     6427      3 |        0 |        0
93.67/93.74	c 93.3s |      11 |    68081 |    23744 |     6427      3 |        0 |        0
96.17/96.21	c 95.8s |      11 |    68640 |    24244 |     6427      3 |        0 |        0
98.37/98.43	c 98.0s |      11 |    69189 |    24744 |     6427      3 |        0 |        0
100.37/100.44	c 100.0s |      11 |    69515 |    25044 |     6427      4 |        0 |        0
102.48/102.57	c  102s |      11 |    69962 |    25444 |     6427      4 |        0 |        0
104.38/104.45	c  103s |      12 |    70391 |    25819 |     7070      4 |        0 |        0
106.68/106.77	c  106s |      12 |    74635 |    26419 |     7070      5 |        0 |        0
108.77/108.88	c  108s |      12 |    75339 |    27019 |     7070      5 |        0 |        0
110.97/111.04	c  110s |      12 |    76018 |    27619 |     7070      5 |        0 |        0
113.38/113.47	c  113s |      12 |    76738 |    28219 |     7070      5 |        0 |        0
115.67/115.73	c  115s |      12 |    77331 |    28719 |     7070      5 |        0 |        0
117.97/118.01	c  117s |      12 |    77911 |    29219 |     7070      5 |        0 |        0
120.48/120.50	c  120s |      12 |    78461 |    29719 |     7070      5 |        0 |        0
122.47/122.55	c  122s |      12 |    78892 |    30119 |     7070      5 |        0 |        0
124.87/124.94	c  124s |      12 |    79461 |    30619 |     7070      5 |        0 |        0
127.17/127.26	c  126s |      12 |    80051 |    31119 |     7070      5 |        0 |        0
129.47/129.57	c  129s |      12 |    80642 |    31619 |     7070      5 |        0 |        0
131.98/132.07	c  131s |      12 |    81202 |    32119 |     7070      5 |        0 |        0
134.17/134.28	c  133s |      12 |    81647 |    32519 |     7070      5 |        0 |        0
136.37/136.47	c  136s |      12 |    82084 |    32919 |     7070      5 |        0 |        0
138.47/138.51	c  138s |      12 |    82539 |    33319 |     7070      5 |        0 |        0
140.46/140.53	c  140s |      12 |    82984 |    33719 |     7070      5 |        0 |        0
142.57/142.62	c  142s |      12 |    83411 |    34119 |     7070      5 |        0 |        0
144.67/144.70	c  144s |      12 |    83853 |    34519 |     7070      5 |        0 |        0
146.77/146.89	c  146s |      12 |    84296 |    34919 |     7070      5 |        0 |        0
149.17/149.26	c  148s |      12 |    84846 |    35419 |     7070      5 |        0 |        0
151.27/151.30	c  150s |      12 |    85183 |    35719 |     7070      6 |        0 |        0
153.47/153.53	c  153s |      12 |    85623 |    36119 |     7070      6 |        0 |        0
155.56/155.68	c  155s |      12 |    86205 |    36619 |     7070      6 |        0 |        0
157.66/157.73	c  157s |      12 |    86681 |    37019 |     7070      6 |        0 |        0
159.77/159.85	c  159s |      12 |    87132 |    37419 |     7070      6 |        0 |        0
162.17/162.28	c  161s |      12 |    87705 |    37919 |     7070      6 |        0 |        0
164.67/164.79	c  164s |      12 |    88263 |    38419 |     7070      6 |        0 |        0
166.86/166.90	c  166s |      12 |    88707 |    38819 |     7778      6 |        0 |        0
166.96/167.00	c  166s |      13 |    88725 |    38832 |     7778      6 |        0 |        0
169.06/169.13	c  168s |      13 |    92372 |    39332 |     7778      7 |        0 |        0
171.26/171.34	c  170s |      13 |    93279 |    40132 |     7778      7 |        0 |        0
173.56/173.61	c  173s |      13 |    94068 |    40832 |     7778      7 |        0 |        0
175.87/175.93	c  175s |      13 |    94751 |    41432 |     7778      7 |        0 |        0
177.96/178.01	c  177s |      13 |    95315 |    41932 |     7778      7 |        0 |        0
180.16/180.27	c  179s |      13 |    95879 |    42432 |     7778      7 |        0 |        0
182.46/182.53	c  182s |      13 |    96542 |    43032 |     7778      7 |        0 |        0
184.56/184.69	c  184s |      13 |    97068 |    43532 |     7778      7 |        0 |        0
186.66/186.75	c  186s |      13 |    97640 |    44032 |     7778      7 |        0 |        0
188.87/188.93	c  188s |      13 |    98226 |    44532 |     7778      7 |        0 |        0
190.96/191.02	c  190s |      13 |    98819 |    45032 |     7778      7 |        0 |        0
193.26/193.31	c  192s |      13 |    99389 |    45532 |     7778      7 |        0 |        0
195.26/195.36	c  194s |      13 |   100011 |    46032 |     7778      7 |        0 |        0
197.56/197.68	c  197s |      13 |   100586 |    46532 |     7778      7 |        0 |        0
199.96/200.03	c  199s |      13 |   101010 |    46932 |     7778      7 |        0 |        0
202.56/202.64	c  202s |      13 |   101584 |    47432 |     7778      7 |        0 |        0
204.86/204.90	c  204s |      13 |   102046 |    47832 |     7778      7 |        0 |        0
206.96/207.07	c  206s |      13 |   102389 |    48132 |     7778      8 |        0 |        0
209.16/209.25	c  208s |      13 |   102822 |    48532 |     7778      8 |        0 |        0
211.66/211.78	c  211s |      13 |   103363 |    49032 |     7778      8 |        0 |        0
213.86/213.95	c  213s |      13 |   103796 |    49432 |     7778      8 |        0 |        0
216.15/216.28	c  215s |      13 |   104230 |    49832 |     7778      8 |        0 |        0
218.35/218.41	c  217s |      13 |   104670 |    50232 |     7778      8 |        0 |        0
220.76/220.85	c  220s |      13 |   105220 |    50732 |     7778      8 |        0 |        0
223.26/223.35	c  222s |      13 |   105821 |    51232 |     7778      8 |        0 |        0
225.56/225.70	c  225s |      13 |   106249 |    51632 |     7778      8 |        0 |        0
227.85/227.97	c  227s |      13 |   106686 |    52032 |     7778      8 |        0 |        0
230.25/230.36	c  229s |      13 |   107128 |    52432 |     7778      8 |        0 |        0
232.65/232.78	c  232s |      13 |   107572 |    52832 |     7778      8 |        0 |        0
234.86/234.91	c  234s |      13 |   108006 |    53232 |     7778      8 |        0 |        0
237.15/237.28	c  236s |      13 |   108499 |    53632 |     7778      8 |        0 |        0
239.35/239.49	c  239s |      13 |   108936 |    54032 |     7778      8 |        0 |        0
241.65/241.73	c  241s |      13 |   109405 |    54432 |     7778      8 |        0 |        0
243.85/243.93	c  243s |      13 |   109860 |    54832 |     7778      8 |        0 |        0
247.05/247.16	c  246s |      13 |   110295 |    55232 |     7778      9 |        0 |        0
249.25/249.38	c  248s |      13 |   110640 |    55532 |     7778      9 |        0 |        0
251.65/251.74	c  251s |      13 |   111208 |    56032 |     7778      9 |        0 |        0
254.25/254.32	c  253s |      13 |   111761 |    56532 |     7778      9 |        0 |        0
256.65/256.71	c  256s |      13 |   112313 |    57032 |     7778      9 |        0 |        0
258.65/258.76	c  258s |      13 |   112755 |    57432 |     7778      9 |        0 |        0
260.85/260.93	c  260s |      13 |   113189 |    57832 |     7778      9 |        0 |        0
263.05/263.16	c  262s |      13 |   113628 |    58232 |     8556      9 |        0 |        0
263.75/263.86	c  263s |      14 |   113763 |    58352 |     8556      9 |        0 |        0
265.95/266.04	c  265s |      14 |   117097 |    58852 |     8556     10 |        0 |        0
268.05/268.18	c  267s |      14 |   117908 |    59552 |     8556     10 |        0 |        0
270.15/270.20	c  269s |      14 |   118621 |    60152 |     8556     10 |        0 |        0
272.45/272.57	c  272s |      14 |   119297 |    60752 |     8556     10 |        0 |        0
274.55/274.61	c  274s |      14 |   119858 |    61252 |     8556     10 |        0 |        0
276.85/276.92	c  276s |      14 |   120526 |    61852 |     8556     10 |        0 |        0
278.95/279.03	c  278s |      14 |   121083 |    62352 |     8556     10 |        0 |        0
281.24/281.35	c  280s |      14 |   121620 |    62852 |     8556     10 |        0 |        0
283.44/283.55	c  283s |      14 |   122181 |    63352 |     8556     10 |        0 |        0
285.54/285.66	c  285s |      14 |   122743 |    63852 |     8556     10 |        0 |        0
287.64/287.78	c  287s |      14 |   123280 |    64352 |     8556     10 |        0 |        0
290.15/290.24	c  289s |      14 |   123803 |    64852 |     8556     10 |        0 |        0
292.35/292.47	c  292s |      14 |   124377 |    65352 |     8556     10 |        0 |        0
294.55/294.66	c  294s |      14 |   124935 |    65852 |     8556     10 |        0 |        0
296.95/297.01	c  296s |      14 |   125488 |    66352 |     8556     10 |        0 |        0
299.15/299.21	c  298s |      14 |   125931 |    66752 |     8556     10 |        0 |        0
301.24/301.33	c  300s |      14 |   126387 |    67152 |     8556     10 |        0 |        0
303.65/303.78	c  303s |      14 |   126975 |    67652 |     8556     10 |        0 |        0
306.34/306.44	c  305s |      14 |   127421 |    68052 |     8556     11 |        0 |        0
308.75/308.87	c  308s |      14 |   127956 |    68552 |     8556     11 |        0 |        0
310.74/310.89	c  310s |      14 |   128376 |    68952 |     8556     11 |        0 |        0
312.94/313.05	c  312s |      14 |   128811 |    69352 |     8556     11 |        0 |        0
315.04/315.14	c  314s |      14 |   129273 |    69752 |     8556     11 |        0 |        0
317.14/317.28	c  316s |      14 |   129700 |    70152 |     8556     11 |        0 |        0
319.44/319.56	c  319s |      14 |   130130 |    70552 |     8556     11 |        0 |        0
321.74/321.80	c  321s |      14 |   130565 |    70952 |     8556     11 |        0 |        0
324.14/324.26	c  323s |      14 |   130998 |    71352 |     8556     11 |        0 |        0
326.44/326.59	c  326s |      14 |   131428 |    71752 |     8556     11 |        0 |        0
328.64/328.79	c  328s |      14 |   131878 |    72152 |     8556     11 |        0 |        0
331.24/331.31	c  330s |      14 |   132309 |    72552 |     8556     11 |        0 |        0
333.44/333.55	c  333s |      14 |   132746 |    72952 |     8556     11 |        0 |        0
335.74/335.89	c  335s |      14 |   133196 |    73352 |     8556     11 |        0 |        0
338.24/338.38	c  337s |      14 |   133622 |    73752 |     8556     11 |        0 |        0
340.74/340.84	c  340s |      14 |   134055 |    74152 |     8556     11 |        0 |        0
343.33/343.49	c  343s |      14 |   134486 |    74552 |     8556     11 |        0 |        0
346.04/346.11	c  345s |      14 |   134937 |    74952 |     8556     11 |        0 |        0
348.23/348.34	c  347s |      14 |   135413 |    75352 |     8556     11 |        0 |        0
350.23/350.37	c  349s |      14 |   135636 |    75552 |     8556     12 |        0 |        0
352.63/352.77	c  352s |      14 |   136201 |    76052 |     8556     12 |        0 |        0
355.14/355.25	c  354s |      14 |   136742 |    76552 |     8556     12 |        0 |        0
357.24/357.30	c  356s |      14 |   137195 |    76952 |     8556     12 |        0 |        0
359.34/359.47	c  359s |      14 |   137642 |    77352 |     8556     12 |        0 |        0
361.44/361.50	c  361s |      14 |   138079 |    77752 |     8556     12 |        0 |        0
363.84/363.99	c  363s |      14 |   138541 |    78152 |     8556     12 |        0 |        0
366.04/366.14	c  365s |      14 |   139148 |    78652 |     8556     12 |        0 |        0
368.33/368.42	c  367s |      14 |   139736 |    79152 |     8556     12 |        0 |        0
370.74/370.87	c  370s |      14 |   140310 |    79652 |     8556     12 |        0 |        0
373.23/373.32	c  372s |      14 |   140853 |    80152 |     8556     12 |        0 |        0
375.53/375.65	c  375s |      14 |   141390 |    80652 |     8556     12 |        0 |        0
377.94/378.08	c  377s |      14 |   141938 |    81152 |     8556     12 |        0 |        0
380.04/380.12	c  379s |      14 |   142406 |    81552 |     8556     12 |        0 |        0
382.23/382.30	c  381s |      14 |   142852 |    81952 |     8556     12 |        0 |        0
384.33/384.47	c  384s |      14 |   143299 |    82352 |     8556     12 |        0 |        0
386.53/386.64	c  386s |      14 |   143777 |    82752 |     8556     12 |        0 |        0
389.03/389.14	c  388s |      14 |   144112 |    83052 |     8556     13 |        0 |        0
391.13/391.21	c  390s |      14 |   144553 |    83452 |     8556     13 |        0 |        0
393.13/393.25	c  392s |      14 |   144990 |    83852 |     8556     13 |        0 |        0
395.13/395.26	c  394s |      14 |   145420 |    84252 |     8556     13 |        0 |        0
397.63/397.71	c  397s |      14 |   145978 |    84752 |     8556     13 |        0 |        0
400.03/400.15	c  399s |      14 |   146534 |    85252 |     8556     13 |        0 |        0
402.43/402.55	c  402s |      14 |   147095 |    85752 |     8556     13 |        0 |        0
404.63/404.74	c  404s |      14 |   147523 |    86152 |     8556     13 |        0 |        0
406.72/406.88	c  406s |      14 |   147957 |    86552 |     8556     13 |        0 |        0
408.83/408.97	c  408s |      14 |   148389 |    86952 |     9412     13 |        0 |        0
411.23/411.34	c  410s |      14 |   148969 |    87452 |     9412     13 |        0 |        0
412.13/412.20	c  411s |      15 |   149170 |    87632 |     9412     13 |        0 |        0
414.13/414.21	c  413s |      15 |   152341 |    88032 |     9412     14 |        0 |        0
416.13/416.22	c  415s |      15 |   153257 |    88832 |     9412     14 |        0 |        0
418.33/418.46	c  418s |      15 |   154165 |    89632 |     9412     14 |        0 |        0
420.53/420.60	c  420s |      15 |   154934 |    90332 |     9412     14 |        0 |        0
422.72/422.83	c  422s |      15 |   155827 |    91132 |     9412     14 |        0 |        0
424.82/424.93	c  424s |      15 |   156593 |    91832 |     9412     14 |        0 |        0
426.83/426.96	c  426s |      15 |   157289 |    92432 |     9412     14 |        0 |        0
429.03/429.18	c  428s |      15 |   157949 |    93032 |     9412     14 |        0 |        0
431.32/431.49	c  431s |      15 |   158619 |    93632 |     9412     14 |        0 |        0
433.73/433.81	c  433s |      15 |   159283 |    94232 |     9412     14 |        0 |        0
435.73/435.87	c  435s |      15 |   159858 |    94732 |     9412     14 |        0 |        0
437.83/437.91	c  437s |      15 |   160411 |    95232 |     9412     14 |        0 |        0
440.22/440.35	c  439s |      15 |   160981 |    95732 |     9412     14 |        0 |        0
442.52/442.61	c  442s |      15 |   161429 |    96132 |     9412     14 |        0 |        0
444.72/444.83	c  444s |      15 |   161875 |    96532 |     9412     14 |        0 |        0
446.82/446.93	c  446s |      15 |   162317 |    96932 |     9412     14 |        0 |        0
449.62/449.76	c  449s |      15 |   162753 |    97332 |     9412     15 |        0 |        0
451.92/452.06	c  451s |      15 |   163317 |    97832 |     9412     15 |        0 |        0
454.23/454.34	c  453s |      15 |   163850 |    98332 |     9412     15 |        0 |        0
456.53/456.62	c  456s |      15 |   164405 |    98832 |     9412     15 |        0 |        0
458.52/458.66	c  458s |      15 |   164839 |    99232 |     9412     15 |        0 |        0
460.62/460.78	c  460s |      15 |   165272 |    99632 |     9412     15 |        0 |        0
462.82/462.95	c  462s |      15 |   165730 |   100032 |     9412     15 |        0 |        0
465.02/465.14	c  464s |      15 |   166191 |   100432 |     9412     15 |        0 |        0
467.32/467.44	c  466s |      15 |   166622 |   100832 |     9412     15 |        0 |        0
469.42/469.50	c  469s |      15 |   167054 |   101232 |     9412     15 |        0 |        0
471.72/471.86	c  471s |      15 |   167480 |   101632 |     9412     15 |        0 |        0
473.92/474.03	c  473s |      15 |   167949 |   102032 |     9412     15 |        0 |        0
476.33/476.43	c  475s |      15 |   168383 |   102432 |     9412     15 |        0 |        0
478.32/478.44	c  477s |      15 |   168708 |   102732 |     9412     15 |        0 |        0
480.32/480.47	c  480s |      15 |   169036 |   103032 |     9412     15 |        0 |        0
482.32/482.48	c  482s |      15 |   169356 |   103332 |     9412     15 |        0 |        0
484.82/484.90	c  484s |      15 |   169801 |   103732 |     9412     15 |        0 |        0
486.81/486.95	c  486s |      15 |   170246 |   104132 |     9412     15 |        0 |        0
488.82/488.95	c  488s |      15 |   170709 |   104532 |     9412     15 |        0 |        0
490.82/490.99	c  490s |      15 |   171144 |   104932 |     9412     15 |        0 |        0
493.11/493.27	c  492s |      15 |   171500 |   105232 |     9412     16 |        0 |        0
495.11/495.28	c  494s |      15 |   171920 |   105632 |     9412     16 |        0 |        0
497.12/497.28	c  496s |      15 |   172378 |   106032 |     9412     16 |        0 |        0
499.42/499.57	c  499s |      15 |   172924 |   106532 |     9412     16 |        0 |        0
502.01/502.15	c  501s |      15 |   173361 |   106932 |     9412     16 |        0 |        0
504.51/504.66	c  504s |      15 |   173915 |   107432 |     9412     16 |        0 |        0
506.62/506.75	c  506s |      15 |   174361 |   107832 |     9412     16 |        0 |        0
508.81/508.90	c  508s |      15 |   174802 |   108232 |     9412     16 |        0 |        0
511.21/511.30	c  510s |      15 |   175219 |   108632 |     9412     16 |        0 |        0
513.31/513.46	c  513s |      15 |   175672 |   109032 |     9412     16 |        0 |        0
515.51/515.66	c  515s |      15 |   176125 |   109432 |     9412     16 |        0 |        0
517.61/517.80	c  517s |      15 |   176561 |   109832 |     9412     16 |        0 |        0
519.81/519.90	c  519s |      15 |   177005 |   110232 |     9412     16 |        0 |        0
522.11/522.24	c  521s |      15 |   177444 |   110632 |     9412     16 |        0 |        0
524.51/524.66	c  524s |      15 |   177887 |   111032 |     9412     16 |        0 |        0
526.71/526.87	c  526s |      15 |   178331 |   111432 |     9412     16 |        0 |        0
529.21/529.33	c  528s |      15 |   178776 |   111832 |     9412     16 |        0 |        0
531.71/531.82	c  531s |      15 |   179213 |   112232 |     9412     16 |        0 |        0
533.81/533.91	c  533s |      15 |   179532 |   112532 |     9412     16 |        0 |        0
535.81/535.95	c  535s |      15 |   179838 |   112832 |     9412     16 |        0 |        0
538.51/538.60	c  538s |      15 |   180150 |   113132 |     9412     17 |        0 |        0
540.91/541.05	c  540s |      15 |   180584 |   113532 |     9412     17 |        0 |        0
543.01/543.14	c  542s |      15 |   181021 |   113932 |     9412     17 |        0 |        0
545.21/545.36	c  544s |      15 |   181450 |   114332 |     9412     17 |        0 |        0
547.50/547.65	c  547s |      15 |   181881 |   114732 |     9412     17 |        0 |        0
549.91/550.07	c  549s |      15 |   182307 |   115132 |     9412     17 |        0 |        0
552.00/552.19	c  551s |      15 |   182755 |   115532 |     9412     17 |        0 |        0
554.51/554.65	c  554s |      15 |   183287 |   116032 |     9412     17 |        0 |        0
556.81/556.93	c  556s |      15 |   183715 |   116432 |     9412     17 |        0 |        0
558.91/559.03	c  558s |      15 |   184154 |   116832 |     9412     17 |        0 |        0
561.11/561.24	c  560s |      15 |   184600 |   117232 |     9412     17 |        0 |        0
563.11/563.26	c  562s |      15 |   185018 |   117632 |     9412     17 |        0 |        0
565.20/565.31	c  564s |      15 |   185449 |   118032 |     9412     17 |        0 |        0
567.70/567.82	c  567s |      15 |   185988 |   118532 |     9412     17 |        0 |        0
570.10/570.24	c  569s |      15 |   186542 |   119032 |     9412     17 |        0 |        0
572.31/572.44	c  571s |      15 |   186986 |   119432 |     9412     17 |        0 |        0
574.60/574.79	c  574s |      15 |   187402 |   119832 |     9412     17 |        0 |        0
576.80/576.92	c  576s |      15 |   187849 |   120232 |     9412     17 |        0 |        0
578.80/578.94	c  578s |      15 |   188305 |   120632 |     9412     17 |        0 |        0
581.30/581.44	c  580s |      15 |   188654 |   120932 |     9412     18 |        0 |        0
583.70/583.80	c  583s |      15 |   189222 |   121432 |     9412     18 |        0 |        0
585.80/585.97	c  585s |      15 |   189784 |   121932 |     9412     18 |        0 |        0
587.90/588.04	c  587s |      15 |   190356 |   122432 |     9412     18 |        0 |        0
590.20/590.33	c  589s |      15 |   190908 |   122932 |     9412     18 |        0 |        0
592.50/592.65	c  592s |      15 |   191457 |   123432 |     9412     18 |        0 |        0
594.70/594.84	c  594s |      15 |   192018 |   123932 |     9412     18 |        0 |        0
596.90/597.08	c  596s |      15 |   192564 |   124432 |     9412     18 |        0 |        0
599.30/599.42	c  598s |      15 |   193107 |   124932 |     9412     18 |        0 |        0
601.50/601.65	c  601s |      15 |   193674 |   125432 |     9412     18 |        0 |        0
603.91/604.04	c  603s |      15 |   194247 |   125932 |     9412     18 |        0 |        0
606.11/606.23	c  605s |      15 |   194866 |   126432 |     9412     18 |        0 |        0
608.10/608.28	c  607s |      15 |   195305 |   126832 |     9412     18 |        0 |        0
610.41/610.57	c  610s |      15 |   195745 |   127232 |     9412     18 |        0 |        0
612.60/612.75	c  612s |      15 |   196202 |   127632 |     9412     18 |        0 |        0
614.69/614.85	c  614s |      15 |   196697 |   128032 |     9412     18 |        0 |        0
617.00/617.11	c  616s |      15 |   197125 |   128432 |     9412     18 |        0 |        0
619.20/619.34	c  618s |      15 |   197461 |   128732 |     9412     19 |        0 |        0
621.60/621.75	c  621s |      15 |   198008 |   129232 |     9412     19 |        0 |        0
623.90/624.01	c  623s |      15 |   198534 |   129732 |     9412     19 |        0 |        0
626.20/626.33	c  625s |      15 |   199151 |   130232 |     9412     19 |        0 |        0
628.59/628.72	c  628s |      15 |   199696 |   130732 |    10354     19 |        0 |        0
630.79/630.93	c  630s |      15 |   200254 |   131232 |    10354     19 |        0 |        0
632.29/632.41	c  631s |      16 |   200592 |   131552 |    10354     19 |        0 |        0
634.40/634.56	c  634s |      16 |   203674 |   132052 |    10354     20 |        0 |        0
636.70/636.89	c  636s |      16 |   204611 |   132852 |    10354     20 |        0 |        0
639.00/639.11	c  638s |      16 |   205495 |   133552 |    10354     20 |        0 |        0
641.20/641.39	c  640s |      16 |   206318 |   134252 |    10354     20 |        0 |        0
643.50/643.69	c  643s |      16 |   207164 |   134852 |    10354     20 |        0 |        0
645.79/645.91	c  645s |      16 |   207890 |   135452 |    10354     20 |        0 |        0
648.09/648.29	c  647s |      16 |   208575 |   136052 |    10354     20 |        0 |        0
650.39/650.57	c  650s |      16 |   209315 |   136652 |    10354     20 |        0 |        0
652.49/652.62	c  652s |      16 |   209885 |   137152 |    10354     20 |        0 |        0
654.69/654.80	c  654s |      16 |   210440 |   137652 |    10354     20 |        0 |        0
656.89/657.04	c  656s |      16 |   211022 |   138152 |    10354     20 |        0 |        0
659.39/659.56	c  659s |      16 |   211592 |   138652 |    10354     20 |        0 |        0
661.99/662.11	c  661s |      16 |   212141 |   139152 |    10354     20 |        0 |        0
664.29/664.48	c  664s |      16 |   212750 |   139652 |    10354     20 |        0 |        0
666.29/666.49	c  666s |      16 |   213210 |   140052 |    10354     20 |        0 |        0
668.89/669.06	c  668s |      16 |   213778 |   140552 |    10354     20 |        0 |        0
671.29/671.41	c  670s |      16 |   214241 |   140952 |    10354     20 |        0 |        0
673.49/673.63	c  673s |      16 |   214703 |   141352 |    10354     20 |        0 |        0
675.88/676.08	c  675s |      16 |   215158 |   141752 |    10354     20 |        0 |        0
678.39/678.59	c  678s |      16 |   215606 |   142152 |    10354     20 |        0 |        0
680.69/680.80	c  680s |      16 |   216071 |   142552 |    10354     20 |        0 |        0
683.10/683.30	c  682s |      16 |   216409 |   142852 |    10354     21 |        0 |        0
685.39/685.59	c  685s |      16 |   216841 |   143252 |    10354     21 |        0 |        0
687.58/687.79	c  687s |      16 |   217278 |   143652 |    10354     21 |        0 |        0
689.78/690.00	c  689s |      16 |   217719 |   144052 |    10354     21 |        0 |        0
692.28/692.47	c  692s |      16 |   218155 |   144452 |    10354     21 |        0 |        0
694.59/694.72	c  694s |      16 |   218607 |   144852 |    10354     21 |        0 |        0
696.79/696.93	c  696s |      16 |   219070 |   145252 |    10354     21 |        0 |        0
699.18/699.37	c  698s |      16 |   219507 |   145652 |    10354     21 |        0 |        0
701.69/701.83	c  701s |      16 |   219981 |   146052 |    10354     21 |        0 |        0
704.08/704.25	c  703s |      16 |   220404 |   146452 |    10354     21 |        0 |        0
706.48/706.62	c  706s |      16 |   220851 |   146852 |    10354     21 |        0 |        0
708.48/708.65	c  708s |      16 |   221189 |   147152 |    10354     21 |        0 |        0
710.88/711.00	c  710s |      16 |   221622 |   147552 |    10354     21 |        0 |        0
713.19/713.38	c  712s |      16 |   222076 |   147952 |    10354     21 |        0 |        0
715.39/715.53	c  715s |      16 |   222404 |   148252 |    10354     21 |        0 |        0
717.38/717.53	c  717s |      16 |   222708 |   148552 |    10354     21 |        0 |        0
719.98/720.10	c  719s |      16 |   223169 |   148952 |    10354     21 |        0 |        0
722.48/722.64	c  722s |      16 |   223618 |   149352 |    10354     21 |        0 |        0
724.98/725.13	c  724s |      16 |   224106 |   149752 |    10354     21 |        0 |        0
727.18/727.38	c  726s |      16 |   224591 |   150152 |    10354     21 |        0 |        0
729.88/730.06	c  729s |      16 |   225031 |   150552 |    10354     21 |        0 |        0
732.18/732.32	c  731s |      16 |   225378 |   150852 |    10354     21 |        0 |        0
735.68/735.86	c  735s |      16 |   225726 |   151152 |    10354     22 |        0 |        0
738.18/738.32	c  737s |      16 |   226394 |   151652 |    10354     22 |        0 |        0
740.57/740.75	c  740s |      16 |   226991 |   152152 |    10354     22 |        0 |        0
742.57/742.77	c  742s |      16 |   227477 |   152552 |    10354     22 |        0 |        0
744.97/745.14	c  744s |      16 |   227922 |   152952 |    10354     22 |        0 |        0
747.07/747.24	c  746s |      16 |   228380 |   153352 |    10354     22 |        0 |        0
749.38/749.51	c  749s |      16 |   228837 |   153752 |    10354     22 |        0 |        0
751.77/751.93	c  751s |      16 |   229291 |   154152 |    10354     22 |        0 |        0
754.27/754.45	c  754s |      16 |   229753 |   154552 |    10354     22 |        0 |        0
756.27/756.46	c  756s |      16 |   230099 |   154852 |    10354     22 |        0 |        0
758.47/758.67	c  758s |      16 |   230583 |   155252 |    10354     22 |        0 |        0
760.97/761.12	c  760s |      16 |   231036 |   155652 |    10354     22 |        0 |        0
763.37/763.59	c  763s |      16 |   231500 |   156052 |    10354     22 |        0 |        0
765.77/765.99	c  765s |      16 |   231946 |   156452 |    10354     22 |        0 |        0
768.27/768.46	c  768s |      16 |   232384 |   156852 |    10354     22 |        0 |        0
770.26/770.48	c  770s |      16 |   232757 |   157152 |    10354     22 |        0 |        0
772.96/773.15	c  772s |      16 |   233218 |   157552 |    10354     22 |        0 |        0
775.26/775.42	c  774s |      16 |   233688 |   157952 |    10354     22 |        0 |        0
777.66/777.83	c  777s |      16 |   234203 |   158352 |    10354     22 |        0 |        0
779.95/780.19	c  779s |      16 |   234674 |   158752 |    10354     22 |        0 |        0
782.55/782.70	c  782s |      16 |   235120 |   159152 |    10354     22 |        0 |        0
785.55/785.76	c  785s |      16 |   235448 |   159452 |    10354     23 |        0 |        0
787.75/787.93	c  787s |      16 |   235927 |   159852 |    10354     23 |        0 |        0
790.26/790.46	c  790s |      16 |   236487 |   160352 |    10354     23 |        0 |        0
792.75/792.99	c  792s |      16 |   236706 |   160552 |    10354     23 |        0 |        0
795.05/795.21	c  794s |      16 |   237179 |   160952 |    10354     23 |        0 |        0
797.45/797.61	c  797s |      16 |   237764 |   161452 |    10354     23 |        0 |        0
799.56/799.71	c  799s |      16 |   238264 |   161852 |    10354     23 |        0 |        0
801.76/801.94	c  801s |      16 |   238762 |   162252 |    10354     23 |        0 |        0
804.15/804.33	c  803s |      16 |   239202 |   162652 |    10354     23 |        0 |        0
806.65/806.83	c  806s |      16 |   239635 |   163052 |    10354     23 |        0 |        0
809.04/809.26	c  808s |      16 |   240093 |   163452 |    10354     23 |        0 |        0
811.54/811.70	c  811s |      16 |   240559 |   163852 |    10354     23 |        0 |        0
813.55/813.72	c  813s |      16 |   240896 |   164152 |    10354     23 |        0 |        0
815.64/815.81	c  815s |      16 |   241237 |   164452 |    10354     23 |        0 |        0
818.25/818.42	c  817s |      16 |   241693 |   164852 |    10354     23 |        0 |        0
820.64/820.87	c  820s |      16 |   242163 |   165252 |    10354     23 |        0 |        0
823.13/823.38	c  822s |      16 |   242613 |   165652 |    10354     23 |        0 |        0
825.54/825.77	c  825s |      16 |   243053 |   166052 |    10354     23 |        0 |        0
828.04/828.25	c  827s |      16 |   243494 |   166452 |    10354     23 |        0 |        0
830.04/830.29	c  829s |      16 |   243815 |   166752 |    10354     23 |        0 |        0
832.73/832.90	c  832s |      16 |   244272 |   167152 |    10354     23 |        0 |        0
835.03/835.20	c  834s |      16 |   244719 |   167552 |    10354     23 |        0 |        0
837.52/837.73	c  837s |      16 |   244954 |   167752 |    10354     24 |        0 |        0
839.53/839.79	c  839s |      16 |   245397 |   168152 |    10354     24 |        0 |        0
842.12/842.33	c  841s |      16 |   245626 |   168352 |    10354     24 |        0 |        0
844.52/844.75	c  844s |      16 |   246078 |   168752 |    10354     24 |        0 |        0
846.82/847.09	c  846s |      16 |   246501 |   169152 |    10354     24 |        0 |        0
849.03/849.21	c  848s |      16 |   246976 |   169552 |    10354     24 |        0 |        0
851.23/851.45	c  851s |      16 |   247462 |   169952 |    10354     24 |        0 |        0
853.72/853.90	c  853s |      16 |   247909 |   170352 |    10354     24 |        0 |        0
856.01/856.23	c  855s |      16 |   248350 |   170752 |    10354     24 |        0 |        0
858.42/858.64	c  858s |      16 |   248776 |   171152 |    10354     24 |        0 |        0
860.42/860.67	c  860s |      16 |   249266 |   171552 |    10354     24 |        0 |        0
862.61/862.81	c  862s |      16 |   249713 |   171952 |    10354     24 |        0 |        0
865.01/865.23	c  864s |      16 |   250168 |   172352 |    10354     24 |        0 |        0
867.42/867.62	c  867s |      16 |   250627 |   172752 |    10354     24 |        0 |        0
869.41/869.67	c  869s |      16 |   250976 |   173052 |    10354     24 |        0 |        0
871.71/871.96	c  871s |      16 |   251445 |   173452 |    10354     24 |        0 |        0
874.11/874.34	c  873s |      16 |   251997 |   173852 |    10354     24 |        0 |        0
876.21/876.44	c  875s |      16 |   252526 |   174252 |    10354     24 |        0 |        0
878.31/878.57	c  878s |      16 |   253065 |   174652 |    10354     24 |        0 |        0
880.61/880.84	c  880s |      16 |   253556 |   175052 |    10354     24 |        0 |        0
882.91/883.11	c  882s |      16 |   254013 |   175452 |    10354     24 |        0 |        0
885.10/885.33	c  884s |      16 |   254470 |   175852 |    10354     24 |        0 |        0
887.30/887.52	c  887s |      16 |   254736 |   176052 |    10354     25 |        0 |        0
889.51/889.71	c  889s |      16 |   255200 |   176452 |    10354     25 |        0 |        0
891.60/891.82	c  891s |      16 |   255639 |   176852 |    10354     25 |        0 |        0
893.70/893.98	c  893s |      16 |   256087 |   177252 |    10354     25 |        0 |        0
895.80/896.06	c  895s |      16 |   256558 |   177652 |    10354     25 |        0 |        0
897.99/898.27	c  897s |      16 |   257054 |   178052 |    10354     25 |        0 |        0
900.49/900.79	c  900s |      16 |   257534 |   178452 |    10354     25 |        0 |        0
902.90/903.11	c  902s |      16 |   258143 |   178952 |    10354     25 |        0 |        0
905.29/905.55	c  905s |      16 |   258805 |   179452 |    10354     25 |        0 |        0
907.30/907.60	c  907s |      16 |   259265 |   179852 |    10354     25 |        0 |        0
909.39/909.65	c  909s |      16 |   259749 |   180252 |    10354     25 |        0 |        0
911.69/911.96	c  911s |      16 |   260234 |   180652 |    10354     25 |        0 |        0
914.19/914.40	c  913s |      16 |   260673 |   181052 |    10354     25 |        0 |        0
916.58/916.81	c  916s |      16 |   261115 |   181452 |    10354     25 |        0 |        0
918.88/919.16	c  918s |      16 |   261601 |   181852 |    10354     25 |        0 |        0
921.18/921.43	c  920s |      16 |   262061 |   182252 |    10354     25 |        0 |        0
923.57/923.84	c  923s |      16 |   262499 |   182652 |    10354     25 |        0 |        0
926.08/926.36	c  925s |      16 |   262955 |   183052 |    10354     25 |        0 |        0
928.18/928.41	c  927s |      16 |   263289 |   183352 |    10354     25 |        0 |        0
930.28/930.54	c  930s |      16 |   263613 |   183652 |    10354     25 |        0 |        0
932.78/933.04	c  932s |      16 |   264051 |   184052 |    10354     25 |        0 |        0
934.98/935.21	c  934s |      16 |   264391 |   184352 |    10354     25 |        0 |        0
937.77/938.09	c  937s |      16 |   264623 |   184552 |    10354     26 |        0 |        0
939.97/940.25	c  939s |      16 |   265076 |   184952 |    10354     26 |        0 |        0
942.17/942.44	c  941s |      16 |   265537 |   185352 |    10354     26 |        0 |        0
944.37/944.68	c  944s |      16 |   266004 |   185752 |    10354     26 |        0 |        0
946.67/946.90	c  946s |      16 |   266475 |   186152 |    10354     26 |        0 |        0
949.17/949.45	c  948s |      16 |   266922 |   186552 |    10354     26 |        0 |        0
951.56/951.87	c  951s |      16 |   267369 |   186952 |    10354     26 |        0 |        0
953.86/954.18	c  953s |      16 |   267844 |   187352 |    10354     26 |        0 |        0
956.36/956.63	c  956s |      16 |   268281 |   187752 |    10354     26 |        0 |        0
958.86/959.19	c  958s |      16 |   268748 |   188152 |    10354     26 |        0 |        0
960.96/961.25	c  960s |      16 |   269055 |   188452 |    10354     26 |        0 |        0
963.56/963.83	c  963s |      16 |   269521 |   188852 |    10354     26 |        0 |        0
966.15/966.40	c  965s |      16 |   270006 |   189252 |    10354     26 |        0 |        0
968.36/968.68	c  968s |      16 |   270478 |   189652 |    10354     26 |        0 |        0
970.76/971.02	c  970s |      16 |   270962 |   190052 |    10354     26 |        0 |        0
973.26/973.59	c  973s |      16 |   271405 |   190452 |    10354     26 |        0 |        0
975.35/975.60	c  975s |      16 |   271754 |   190752 |    10354     26 |        0 |        0
977.55/977.81	c  977s |      16 |   272221 |   191152 |    10354     26 |        0 |        0
979.66/979.94	c  979s |      16 |   272688 |   191552 |    10354     26 |        0 |        0
982.16/982.43	c  981s |      16 |   273300 |   192052 |    10354     26 |        0 |        0
984.26/984.51	c  984s |      16 |   273779 |   192452 |    10354     26 |        0 |        0
986.65/986.94	c  986s |      16 |   274154 |   192752 |    10354     27 |        0 |        0
988.85/989.18	c  988s |      16 |   274490 |   193052 |    10354     27 |        0 |        0
991.35/991.63	c  991s |      16 |   274925 |   193452 |    10354     27 |        0 |        0
993.55/993.88	c  993s |      16 |   275382 |   193852 |    10354     27 |        0 |        0
996.15/996.46	c  996s |      16 |   275876 |   194252 |    10354     27 |        0 |        0
998.65/998.97	c  998s |      16 |   276336 |   194652 |    10354     27 |        0 |        0
1001.24/1001.51	c 1001s |      16 |   276822 |   195052 |    10354     27 |        0 |        0
1003.44/1003.73	c 1003s |      16 |   277318 |   195452 |    10354     27 |        0 |        0
1005.64/1005.95	c 1005s |      16 |   277778 |   195852 |    10354     27 |        0 |        0
1008.24/1008.50	c 1008s |      16 |   278250 |   196252 |    11390     27 |        0 |        0
1010.65/1010.95	c 1010s |      16 |   278720 |   196652 |    11390     27 |        0 |        0
1012.94/1013.29	c 1012s |      16 |   279261 |   197052 |    11390     27 |        0 |        0
1014.94/1015.26	c 1014s |      17 |   279779 |   197432 |    11390     27 |        0 |        0
1017.25/1017.58	c 1017s |      17 |   282703 |   197532 |    11390     28 |        0 |        0
1019.34/1019.64	c 1019s |      17 |   283525 |   198232 |    11390     28 |        0 |        0
1021.64/1021.99	c 1021s |      17 |   284207 |   198832 |    11390     28 |        0 |        0
1023.73/1024.03	c 1023s |      17 |   284751 |   199332 |    11390     28 |        0 |        0
1025.93/1026.27	c 1025s |      17 |   285433 |   199932 |    11390     28 |        0 |        0
1028.44/1028.72	c 1028s |      17 |   286092 |   200532 |    11390     28 |        0 |        0
1030.54/1030.84	c 1030s |      17 |   286655 |   201032 |    11390     28 |        0 |        0
1032.63/1032.95	c 1032s |      17 |   287219 |   201532 |    11390     28 |        0 |        0
1034.72/1035.08	c 1034s |      17 |   287793 |   202032 |    11390     28 |        0 |        0
1036.82/1037.11	c 1036s |      17 |   288366 |   202532 |    11390     28 |        0 |        0
1038.92/1039.25	c 1038s |      17 |   288927 |   203032 |    11390     28 |        0 |        0
1041.22/1041.51	c 1041s |      17 |   289487 |   203532 |    11390     28 |        0 |        0
1043.52/1043.84	c 1043s |      17 |   290037 |   204032 |    11390     28 |        0 |        0
1045.62/1045.97	c 1045s |      17 |   290483 |   204432 |    11390     28 |        0 |        0
1047.82/1048.14	c 1047s |      17 |   290933 |   204832 |    11390     28 |        0 |        0
1049.92/1050.22	c 1049s |      17 |   291366 |   205232 |    11390     28 |        0 |        0
1052.02/1052.31	c 1051s |      17 |   291793 |   205632 |    11390     28 |        0 |        0
1054.11/1054.46	c 1054s |      17 |   292232 |   206032 |    11390     28 |        0 |        0
1056.21/1056.51	c 1056s |      17 |   292685 |   206432 |    11390     28 |        0 |        0
1058.31/1058.68	c 1058s |      17 |   293129 |   206832 |    11390     28 |        0 |        0
1060.61/1060.94	c 1060s |      17 |   293564 |   207232 |    11390     28 |        0 |        0
1063.01/1063.35	c 1062s |      17 |   294001 |   207632 |    11390     28 |        0 |        0
1065.31/1065.65	c 1065s |      17 |   294433 |   208032 |    11390     28 |        0 |        0
1067.60/1067.97	c 1067s |      17 |   294874 |   208432 |    11390     28 |        0 |        0
1070.60/1070.93	c 1070s |      17 |   295202 |   208732 |    11390     29 |        0 |        0
1072.90/1073.27	c 1072s |      17 |   295656 |   209132 |    11390     29 |        0 |        0
1075.10/1075.40	c 1074s |      17 |   296109 |   209532 |    11390     29 |        0 |        0
1077.20/1077.54	c 1077s |      17 |   296550 |   209932 |    11390     29 |        0 |        0
1079.30/1079.63	c 1079s |      17 |   296978 |   210332 |    11390     29 |        0 |        0
1081.59/1081.95	c 1081s |      17 |   297412 |   210732 |    11390     29 |        0 |        0
1083.79/1084.15	c 1083s |      17 |   297832 |   211132 |    11390     29 |        0 |        0
1085.89/1086.29	c 1085s |      17 |   298269 |   211532 |    11390     29 |        0 |        0
1088.30/1088.64	c 1088s |      17 |   298708 |   211932 |    11390     29 |        0 |        0
1090.70/1091.08	c 1090s |      17 |   299151 |   212332 |    11390     29 |        0 |        0
1093.29/1093.66	c 1093s |      17 |   299604 |   212732 |    11390     29 |        0 |        0
1095.69/1096.08	c 1095s |      17 |   300026 |   213132 |    11390     29 |        0 |        0
1098.18/1098.59	c 1098s |      17 |   300456 |   213532 |    11390     29 |        0 |        0
1100.48/1100.84	c 1100s |      17 |   300894 |   213932 |    11390     29 |        0 |        0
1102.88/1103.25	c 1102s |      17 |   301339 |   214332 |    11390     29 |        0 |        0
1105.28/1105.68	c 1105s |      17 |   301783 |   214732 |    11390     29 |        0 |        0
1107.59/1107.98	c 1107s |      17 |   302214 |   215132 |    11390     29 |        0 |        0
1110.18/1110.52	c 1110s |      17 |   302673 |   215532 |    11390     29 |        0 |        0
1112.48/1112.80	c 1112s |      17 |   303110 |   215932 |    11390     29 |        0 |        0
1114.78/1115.19	c 1114s |      17 |   303581 |   216332 |    11390     29 |        0 |        0
1117.17/1117.51	c 1117s |      17 |   304040 |   216732 |    11390     29 |        0 |        0
1119.48/1119.90	c 1119s |      17 |   304501 |   217132 |    11390     29 |        0 |        0
1121.97/1122.32	c 1121s |      17 |   304952 |   217532 |    11390     29 |        0 |        0
1124.27/1124.69	c 1124s |      17 |   305276 |   217832 |    11390     30 |        0 |        0
1126.57/1126.97	c 1126s |      17 |   305842 |   218332 |    11390     30 |        0 |        0
1128.67/1129.02	c 1128s |      17 |   306297 |   218732 |    11390     30 |        0 |        0
1130.87/1131.23	c 1130s |      17 |   306859 |   219232 |    11390     30 |        0 |        0
1132.87/1133.23	c 1132s |      17 |   307313 |   219632 |    11390     30 |        0 |        0
1135.07/1135.44	c 1134s |      17 |   307740 |   220032 |    11390     30 |        0 |        0
1137.27/1137.66	c 1137s |      17 |   308203 |   220432 |    11390     30 |        0 |        0
1140.47/1140.82	c 1140s |      17 |   308563 |   220732 |    11390     30 |        0 |        0
1142.57/1142.95	c 1142s |      17 |   308994 |   221132 |    11390     30 |        0 |        0
1145.06/1145.48	c 1145s |      17 |   309544 |   221632 |    11390     30 |        0 |        0
1147.16/1147.59	c 1147s |      17 |   309984 |   222032 |    11390     30 |        0 |        0
1149.37/1149.77	c 1149s |      17 |   310420 |   222432 |    11390     30 |        0 |        0
1151.67/1152.03	c 1151s |      17 |   310876 |   222832 |    11390     30 |        0 |        0
1153.97/1154.35	c 1153s |      17 |   311325 |   223232 |    11390     30 |        0 |        0
1156.37/1156.71	c 1156s |      17 |   311784 |   223632 |    11390     30 |        0 |        0
1158.67/1159.04	c 1158s |      17 |   312216 |   224032 |    11390     30 |        0 |        0
1161.06/1161.46	c 1161s |      17 |   312659 |   224432 |    11390     30 |        0 |        0
1163.46/1163.82	c 1163s |      17 |   313125 |   224832 |    11390     30 |        0 |        0
1165.96/1166.38	c 1165s |      17 |   313561 |   225232 |    11390     30 |        0 |        0
1168.65/1169.03	c 1168s |      17 |   313992 |   225632 |    11390     30 |        0 |        0
1170.65/1171.05	c 1170s |      17 |   314318 |   225932 |    11390     30 |        0 |        0
1172.66/1173.09	c 1172s |      17 |   314664 |   226232 |    11390     30 |        0 |        0
1174.95/1175.38	c 1174s |      17 |   314882 |   226432 |    11390     31 |        0 |        0
1177.45/1177.89	c 1177s |      17 |   315214 |   226732 |    11390     31 |        0 |        0
1179.65/1180.03	c 1179s |      17 |   315654 |   227132 |    11390     31 |        0 |        0
1181.74/1182.17	c 1181s |      17 |   316092 |   227532 |    11390     31 |        0 |        0
1184.04/1184.47	c 1184s |      17 |   316542 |   227932 |    11390     31 |        0 |        0
1186.35/1186.79	c 1186s |      17 |   316990 |   228332 |    11390     31 |        0 |        0
1188.65/1189.06	c 1188s |      17 |   317466 |   228732 |    11390     31 |        0 |        0
1191.05/1191.43	c 1190s |      17 |   317915 |   229132 |    11390     31 |        0 |        0
1193.44/1193.83	c 1193s |      17 |   318352 |   229532 |    11390     31 |        0 |        0
1195.84/1196.26	c 1195s |      17 |   318798 |   229932 |    11390     31 |        0 |        0
1198.34/1198.72	c 1198s |      17 |   319252 |   230332 |    11390     31 |        0 |        0
1200.85/1201.25	c 1200s |      17 |   319696 |   230732 |    11390     31 |        0 |        0
1203.44/1203.80	c 1203s |      17 |   320124 |   231132 |    11390     31 |        0 |        0
1205.44/1205.81	c 1205s |      17 |   320455 |   231432 |    11390     31 |        0 |        0
1207.44/1207.83	c 1207s |      17 |   320771 |   231732 |    11390     31 |        0 |        0
1209.83/1210.24	c 1209s |      17 |   321215 |   232132 |    11390     31 |        0 |        0
1212.53/1212.94	c 1212s |      17 |   321662 |   232532 |    11390     31 |        0 |        0
1214.63/1215.02	c 1214s |      17 |   321981 |   232832 |    11390     31 |        0 |        0
1216.73/1217.19	c 1216s |      17 |   322311 |   233132 |    11390     31 |        0 |        0
1218.83/1219.21	c 1218s |      17 |   322632 |   233432 |    11390     31 |        0 |        0
1220.83/1221.22	c 1220s |      17 |   322974 |   233732 |    11390     31 |        0 |        0
1223.23/1223.64	c 1223s |      17 |   323438 |   234132 |    11390     31 |        0 |        0
1225.63/1226.03	c 1225s |      17 |   323915 |   234532 |    11390     31 |        0 |        0
1228.22/1228.63	c 1228s |      17 |   324351 |   234932 |    11390     31 |        0 |        0
1230.42/1230.89	c 1230s |      17 |   324684 |   235232 |    11390     31 |        0 |        0
1232.62/1233.06	c 1232s |      17 |   324797 |   235332 |    11390     32 |        0 |        0
1234.72/1235.11	c 1234s |      17 |   325242 |   235732 |    11390     32 |        0 |        0
1236.83/1237.29	c 1236s |      17 |   325689 |   236132 |    11390     32 |        0 |        0
1239.02/1239.46	c 1239s |      17 |   326022 |   236432 |    11390     32 |        0 |        0
1241.53/1241.94	c 1241s |      17 |   326442 |   236832 |    11390     32 |        0 |        0
1243.83/1244.25	c 1243s |      17 |   326886 |   237232 |    11390     32 |        0 |        0
1246.22/1246.61	c 1246s |      17 |   327342 |   237632 |    11390     32 |        0 |        0
1248.62/1249.01	c 1248s |      17 |   327767 |   238032 |    11390     32 |        0 |        0
1251.02/1251.43	c 1250s |      17 |   328226 |   238432 |    11390     32 |        0 |        0
1253.51/1253.95	c 1253s |      17 |   328658 |   238832 |    11390     32 |        0 |        0
1255.83/1256.30	c 1255s |      17 |   329104 |   239232 |    11390     32 |        0 |        0
1258.32/1258.77	c 1258s |      17 |   329569 |   239632 |    11390     32 |        0 |        0
1260.42/1260.80	c 1260s |      17 |   329899 |   239932 |    11390     32 |        0 |        0
1262.42/1262.90	c 1262s |      17 |   330222 |   240232 |    11390     32 |        0 |        0
1265.11/1265.53	c 1265s |      17 |   330670 |   240632 |    11390     32 |        0 |        0
1267.61/1268.00	c 1267s |      17 |   331116 |   241032 |    11390     32 |        0 |        0
1269.71/1270.14	c 1269s |      17 |   331566 |   241432 |    11390     32 |        0 |        0
1272.01/1272.43	c 1271s |      17 |   332016 |   241832 |    11390     32 |        0 |        0
1274.61/1275.03	c 1274s |      17 |   332447 |   242232 |    11390     32 |        0 |        0
1276.72/1277.19	c 1276s |      17 |   332770 |   242532 |    11390     32 |        0 |        0
1279.11/1279.58	c 1279s |      17 |   333218 |   242932 |    11390     32 |        0 |        0
1281.70/1282.12	c 1281s |      17 |   333691 |   243332 |    11390     32 |        0 |        0
1283.90/1284.34	c 1283s |      17 |   334137 |   243732 |    11390     32 |        0 |        0
1287.20/1287.68	c 1287s |      17 |   334576 |   244132 |    11390     33 |        0 |        0
1289.40/1289.84	c 1289s |      17 |   334903 |   244432 |    11390     33 |        0 |        0
1292.00/1292.41	c 1291s |      17 |   335339 |   244832 |    11390     33 |        0 |        0
1294.20/1294.61	c 1294s |      17 |   335786 |   245232 |    11390     33 |        0 |        0
1296.20/1296.68	c 1296s |      17 |   336230 |   245632 |    11390     33 |        0 |        0
1298.49/1298.95	c 1298s |      17 |   336706 |   246032 |    11390     33 |        0 |        0
1300.91/1301.34	c 1300s |      17 |   337154 |   246432 |    11390     33 |        0 |        0
1303.00/1303.49	c 1303s |      17 |   337589 |   246832 |    11390     33 |        0 |        0
1305.30/1305.72	c 1305s |      17 |   338035 |   247232 |    11390     33 |        0 |        0
1307.60/1308.06	c 1307s |      17 |   338480 |   247632 |    11390     33 |        0 |        0
1309.89/1310.38	c 1309s |      17 |   338925 |   248032 |    11390     33 |        0 |        0
1312.29/1312.72	c 1312s |      17 |   339390 |   248432 |    11390     33 |        0 |        0
1314.38/1314.87	c 1314s |      17 |   339934 |   248932 |    11390     33 |        0 |        0
1316.69/1317.10	c 1316s |      17 |   340371 |   249332 |    11390     33 |        0 |        0
1318.89/1319.35	c 1318s |      17 |   340811 |   249732 |    11390     33 |        0 |        0
1321.29/1321.70	c 1321s |      17 |   341274 |   250132 |    11390     33 |        0 |        0
1323.58/1324.06	c 1323s |      17 |   341751 |   250532 |    11390     33 |        0 |        0
1325.98/1326.40	c 1325s |      17 |   342199 |   250932 |    11390     33 |        0 |        0
1328.49/1328.97	c 1328s |      17 |   342634 |   251332 |    11390     33 |        0 |        0
1330.88/1331.33	c 1330s |      17 |   343083 |   251732 |    11390     33 |        0 |        0
1333.28/1333.74	c 1333s |      17 |   343546 |   252132 |    11390     33 |        0 |        0
1335.68/1336.12	c 1335s |      17 |   344000 |   252532 |    11390     33 |        0 |        0
1338.29/1338.71	c 1338s |      17 |   344464 |   252932 |    11390     33 |        0 |        0
1340.49/1340.95	c 1340s |      17 |   344687 |   253132 |    11390     34 |        0 |        0
1342.98/1343.42	c 1342s |      17 |   345154 |   253532 |    11390     34 |        0 |        0
1345.07/1345.54	c 1345s |      17 |   345604 |   253932 |    11390     34 |        0 |        0
1347.18/1347.60	c 1347s |      17 |   346082 |   254332 |    11390     34 |        0 |        0
1349.38/1349.84	c 1349s |      17 |   346546 |   254732 |    11390     34 |        0 |        0
1351.78/1352.28	c 1351s |      17 |   346986 |   255132 |    11390     34 |        0 |        0
1354.37/1354.82	c 1354s |      17 |   347455 |   255532 |    11390     34 |        0 |        0
1356.67/1357.18	c 1356s |      17 |   347923 |   255932 |    11390     34 |        0 |        0
1358.77/1359.29	c 1358s |      17 |   348344 |   256332 |    11390     34 |        0 |        0
1361.07/1361.53	c 1361s |      17 |   348835 |   256732 |    11390     34 |        0 |        0
1363.26/1363.73	c 1363s |      17 |   349374 |   257132 |    11390     34 |        0 |        0
1365.66/1366.18	c 1365s |      17 |   349838 |   257532 |    11390     34 |        0 |        0
1368.07/1368.55	c 1368s |      17 |   350314 |   257932 |    11390     34 |        0 |        0
1370.57/1371.02	c 1370s |      17 |   350759 |   258332 |    11390     34 |        0 |        0
1373.07/1373.50	c 1373s |      17 |   351192 |   258732 |    11390     34 |        0 |        0
1375.57/1376.04	c 1375s |      17 |   351657 |   259132 |    11390     34 |        0 |        0
1377.57/1378.07	c 1377s |      17 |   351993 |   259432 |    11390     34 |        0 |        0
1380.07/1380.57	c 1380s |      17 |   352477 |   259832 |    11390     34 |        0 |        0
1382.76/1383.26	c 1382s |      17 |   352929 |   260232 |    11390     34 |        0 |        0
1384.86/1385.35	c 1384s |      17 |   353265 |   260532 |    11390     34 |        0 |        0
1386.96/1387.44	c 1386s |      17 |   353590 |   260832 |    11390     34 |        0 |        0
1389.06/1389.55	c 1389s |      17 |   353915 |   261132 |    11390     34 |        0 |        0
1391.17/1391.65	c 1391s |      17 |   354256 |   261432 |    11390     34 |        0 |        0
1393.16/1393.66	c 1393s |      17 |   354593 |   261732 |    11390     34 |        0 |        0
1395.36/1395.89	c 1395s |      17 |   354819 |   261932 |    11390     35 |        0 |        0
1397.56/1398.05	c 1397s |      17 |   355270 |   262332 |    11390     35 |        0 |        0
1399.65/1400.15	c 1399s |      17 |   355608 |   262632 |    11390     35 |        0 |        0
1401.96/1402.50	c 1402s |      17 |   356152 |   263132 |    11390     35 |        0 |        0
1404.05/1404.57	c 1404s |      17 |   356630 |   263532 |    11390     35 |        0 |        0
1406.25/1406.72	c 1406s |      17 |   357089 |   263932 |    11390     35 |        0 |        0
1408.45/1408.92	c 1408s |      17 |   357545 |   264332 |    11390     35 |        0 |        0
1410.75/1411.27	c 1410s |      17 |   358043 |   264732 |    11390     35 |        0 |        0
1412.86/1413.37	c 1412s |      17 |   358493 |   265132 |    11390     35 |        0 |        0
1415.26/1415.71	c 1415s |      17 |   358937 |   265532 |    11390     35 |        0 |        0
1417.56/1418.07	c 1417s |      17 |   359383 |   265932 |    11390     35 |        0 |        0
1420.05/1420.52	c 1420s |      17 |   359823 |   266332 |    11390     35 |        0 |        0
1422.54/1423.08	c 1422s |      17 |   360254 |   266732 |    11390     35 |        0 |        0
1425.05/1425.58	c 1425s |      17 |   360722 |   267132 |    11390     35 |        0 |        0
1427.65/1428.14	c 1427s |      17 |   361171 |   267532 |    11390     35 |        0 |        0
1430.15/1430.63	c 1430s |      17 |   361622 |   267932 |    11390     35 |        0 |        0
1432.14/1432.64	c 1432s |      17 |   361991 |   268232 |    11390     35 |        0 |        0
1434.25/1434.77	c 1434s |      17 |   362317 |   268532 |    11390     35 |        0 |        0
1436.55/1437.02	c 1436s |      17 |   362662 |   268832 |    11390     35 |        0 |        0
1438.75/1439.27	c 1438s |      17 |   362996 |   269132 |    11390     35 |        0 |        0
1441.34/1441.88	c 1441s |      17 |   363450 |   269532 |    11390     35 |        0 |        0
1443.34/1443.90	c 1443s |      17 |   363781 |   269832 |    11390     35 |        0 |        0
1445.55/1446.01	c 1445s |      17 |   364102 |   270132 |    11390     35 |        0 |        0
1447.55/1448.03	c 1447s |      17 |   364449 |   270432 |    11390     35 |        0 |        0
1450.55/1451.04	c 1450s |      17 |   364789 |   270732 |    11390     36 |        0 |        0
1452.54/1453.09	c 1452s |      17 |   365011 |   270932 |    11390     36 |        0 |        0
1455.14/1455.69	c 1455s |      17 |   365449 |   271332 |    11390     36 |        0 |        0
1457.44/1457.96	c 1457s |      17 |   365789 |   271632 |    11390     36 |        0 |        0
1459.84/1460.30	c 1459s |      17 |   366103 |   271932 |    11390     36 |        0 |        0
1461.84/1462.37	c 1461s |      17 |   366458 |   272232 |    11390     36 |        0 |        0
1464.04/1464.58	c 1464s |      17 |   366803 |   272532 |    11390     36 |        0 |        0
1466.34/1466.80	c 1466s |      17 |   367148 |   272832 |    11390     36 |        0 |        0
1468.54/1469.08	c 1468s |      17 |   367481 |   273132 |    11390     36 |        0 |        0
1471.03/1471.57	c 1471s |      17 |   367807 |   273432 |    11390     36 |        0 |        0
1473.04/1473.59	c 1473s |      17 |   368130 |   273732 |    11390     36 |        0 |        0
1475.24/1475.73	c 1475s |      17 |   368457 |   274032 |    11390     36 |        0 |        0
1477.74/1478.26	c 1477s |      17 |   368787 |   274332 |    11390     36 |        0 |        0
1480.34/1480.90	c 1480s |      17 |   369131 |   274632 |    11390     36 |        0 |        0
1483.13/1483.60	c 1483s |      17 |   369450 |   274932 |    11390     36 |        0 |        0
1485.83/1486.34	c 1485s |      17 |   369787 |   275232 |    11390     36 |        0 |        0
1488.63/1489.18	c 1488s |      17 |   370125 |   275532 |    11390     36 |        0 |        0
1491.54/1492.00	c 1491s |      17 |   370450 |   275832 |    11390     36 |        0 |        0
1494.03/1494.58	c 1494s |      17 |   370777 |   276132 |    11390     36 |        0 |        0
1496.93/1497.47	c 1497s |      17 |   371113 |   276432 |    11390     36 |        0 |        0
1499.03/1499.50	c 1499s |      17 |   371343 |   276632 |    11390     36 |        0 |        0
1501.93/1502.41	c 1501s |      17 |   371669 |   276932 |    11390     36 |        0 |        0
1503.93/1504.47	c 1504s |      17 |   371885 |   277132 |    11390     36 |        0 |        0
1506.03/1506.51	c 1506s |      17 |   372101 |   277332 |    11390     36 |        0 |        0
1508.43/1508.91	c 1508s |      17 |   372428 |   277632 |    11390     36 |        0 |        0
1510.83/1511.40	c 1510s |      17 |   372798 |   277932 |    11390     36 |        0 |        0
1513.73/1514.21	c 1513s |      17 |   373121 |   278232 |    11390     36 |        0 |        0
1516.44/1516.95	c 1516s |      17 |   373456 |   278532 |    11390     36 |        0 |        0
1518.83/1519.35	c 1518s |      17 |   373797 |   278832 |    11390     36 |        0 |        0
1521.43/1521.92	c 1521s |      17 |   374221 |   279232 |    11390     36 |        0 |        0
1525.23/1525.79	c 1525s |      17 |   374681 |   279632 |    11390     37 |        0 |        0
1527.62/1528.18	c 1527s |      17 |   375118 |   280032 |    11390     37 |        0 |        0
1530.02/1530.55	c 1530s |      17 |   375572 |   280432 |    11390     37 |        0 |        0
1532.53/1533.02	c 1532s |      17 |   376027 |   280832 |    11390     37 |        0 |        0
1534.53/1535.08	c 1534s |      17 |   376357 |   281132 |    11390     37 |        0 |        0
1536.73/1537.24	c 1536s |      17 |   376840 |   281532 |    11390     37 |        0 |        0
1538.92/1539.47	c 1539s |      17 |   377304 |   281932 |    11390     37 |        0 |        0
1541.22/1541.78	c 1541s |      17 |   377741 |   282332 |    11390     37 |        0 |        0
1543.63/1544.10	c 1543s |      17 |   378202 |   282732 |    11390     37 |        0 |        0
1546.13/1546.61	c 1546s |      17 |   378644 |   283132 |    11390     37 |        0 |        0
1548.33/1548.87	c 1548s |      17 |   378980 |   283432 |    11390     37 |        0 |        0
1551.02/1551.51	c 1551s |      17 |   379540 |   283932 |    11390     37 |        0 |        0
1553.62/1554.16	c 1553s |      17 |   379961 |   284332 |    11390     37 |        0 |        0
1556.22/1556.73	c 1556s |      17 |   380405 |   284732 |    11390     37 |        0 |        0
1558.23/1558.74	c 1558s |      17 |   380731 |   285032 |    11390     37 |        0 |        0
1560.62/1561.11	c 1560s |      17 |   381188 |   285432 |    11390     37 |        0 |        0
1562.82/1563.38	c 1562s |      17 |   381635 |   285832 |    11390     37 |        0 |        0
1565.22/1565.78	c 1565s |      17 |   382073 |   286232 |    11390     37 |        0 |        0
1567.82/1568.36	c 1567s |      17 |   382553 |   286632 |    11390     37 |        0 |        0
1570.52/1571.05	c 1570s |      17 |   382975 |   287032 |    11390     37 |        0 |        0
1572.72/1573.24	c 1572s |      17 |   383300 |   287332 |    11390     37 |        0 |        0
1574.92/1575.46	c 1575s |      17 |   383631 |   287632 |    11390     37 |        0 |        0
1577.52/1578.01	c 1577s |      17 |   384095 |   288032 |    11390     37 |        0 |        0
1579.92/1580.49	c 1580s |      17 |   384541 |   288432 |    11390     37 |        0 |        0
1582.12/1582.64	c 1582s |      17 |   384755 |   288632 |    11390     38 |        0 |        0
1584.42/1584.98	c 1584s |      17 |   385200 |   289032 |    11390     38 |        0 |        0
1586.72/1587.29	c 1586s |      17 |   385631 |   289432 |    11390     38 |        0 |        0
1588.92/1589.40	c 1588s |      17 |   386076 |   289832 |    11390     38 |        0 |        0
1591.12/1591.69	c 1591s |      17 |   386514 |   290232 |    11390     38 |        0 |        0
1593.61/1594.11	c 1593s |      17 |   386951 |   290632 |    11390     38 |        0 |        0
1595.81/1596.37	c 1595s |      17 |   387390 |   291032 |    11390     38 |        0 |        0
1598.31/1598.87	c 1598s |      17 |   387814 |   291432 |    11390     38 |        0 |        0
1600.91/1601.42	c 1600s |      17 |   388247 |   291832 |    11390     38 |        0 |        0
1603.43/1603.93	c 1603s |      17 |   388696 |   292232 |    11390     38 |        0 |        0
1606.02/1606.50	c 1606s |      17 |   389152 |   292632 |    11390     38 |        0 |        0
1608.02/1608.55	c 1608s |      17 |   389484 |   292932 |    11390     38 |        0 |        0
1610.72/1611.27	c 1610s |      17 |   389926 |   293332 |    11390     38 |        0 |        0
1612.72/1613.28	c 1612s |      17 |   390250 |   293632 |    11390     38 |        0 |        0
1614.81/1615.39	c 1614s |      17 |   390567 |   293932 |    11390     38 |        0 |        0
1617.01/1617.55	c 1617s |      17 |   390902 |   294232 |    12530     38 |        0 |        0
1619.21/1619.76	c 1619s |      17 |   391233 |   294532 |    12530     38 |        0 |        0
1621.91/1622.43	c 1621s |      17 |   391665 |   294932 |    12530     38 |        0 |        0
1624.01/1624.52	c 1624s |      17 |   391987 |   295232 |    12530     38 |        0 |        0
1626.11/1626.60	c 1626s |      17 |   392305 |   295532 |    12530     38 |        0 |        0
1628.22/1628.79	c 1628s |      17 |   392624 |   295832 |    12530     38 |        0 |        0
1630.71/1631.27	c 1630s |      17 |   392958 |   296132 |    12530     38 |        0 |        0
1631.61/1632.16	c 1631s |      18 |   393078 |   296252 |    12530     38 |        0 |        0
1633.81/1634.37	c 1633s |      18 |   395570 |   296352 |    12530     39 |        0 |        0
1636.11/1636.62	c 1636s |      18 |   396387 |   297052 |    12530     39 |        0 |        0
1638.31/1638.86	c 1638s |      18 |   397089 |   297652 |    12530     39 |        0 |        0
1640.51/1641.05	c 1640s |      18 |   397746 |   298252 |    12530     39 |        0 |        0
1642.61/1643.14	c 1642s |      18 |   398307 |   298752 |    12530     39 |        0 |        0
1644.71/1645.26	c 1644s |      18 |   398984 |   299352 |    12530     39 |        0 |        0
1646.91/1647.42	c 1646s |      18 |   399675 |   299952 |    12530     39 |        0 |        0
1649.11/1649.61	c 1649s |      18 |   400260 |   300452 |    12530     39 |        0 |        0
1651.51/1652.09	c 1651s |      18 |   400825 |   300952 |    12530     39 |        0 |        0
1654.01/1654.55	c 1654s |      18 |   401397 |   301452 |    12530     39 |        0 |        0
1656.40/1656.98	c 1656s |      18 |   401966 |   301952 |    12530     39 |        0 |        0
1658.51/1659.06	c 1658s |      18 |   402410 |   302352 |    12530     39 |        0 |        0
1660.91/1661.43	c 1660s |      18 |   402973 |   302852 |    12530     39 |        0 |        0
1663.31/1663.89	c 1663s |      18 |   403535 |   303352 |    12530     39 |        0 |        0
1665.71/1666.25	c 1665s |      18 |   404146 |   303852 |    12530     39 |        0 |        0
1667.71/1668.27	c 1667s |      18 |   404626 |   304252 |    12530     39 |        0 |        0
1670.00/1670.57	c 1670s |      18 |   405083 |   304652 |    12530     39 |        0 |        0
1672.21/1672.73	c 1672s |      18 |   405575 |   305052 |    12530     39 |        0 |        0
1674.31/1674.83	c 1674s |      18 |   406074 |   305452 |    12530     39 |        0 |        0
1676.61/1677.10	c 1676s |      18 |   406538 |   305852 |    12530     39 |        0 |        0
1678.90/1679.41	c 1678s |      18 |   406997 |   306252 |    12530     39 |        0 |        0
1682.40/1682.92	c 1682s |      18 |   407459 |   306652 |    12530     40 |        0 |        0
1684.90/1685.43	c 1684s |      18 |   407915 |   307052 |    12530     40 |        0 |        0
1686.91/1687.47	c 1687s |      18 |   408248 |   307352 |    12530     40 |        0 |        0
1689.30/1689.86	c 1689s |      18 |   408729 |   307752 |    12530     40 |        0 |        0
1691.90/1692.41	c 1691s |      18 |   409164 |   308152 |    12530     40 |        0 |        0
1694.20/1694.78	c 1694s |      18 |   409599 |   308552 |    12530     40 |        0 |        0
1696.70/1697.27	c 1696s |      18 |   410095 |   308952 |    12530     40 |        0 |        0
1699.10/1699.65	c 1699s |      18 |   410555 |   309352 |    12530     40 |        0 |        0
1701.40/1701.95	c 1701s |      18 |   410989 |   309752 |    12530     40 |        0 |        0
1703.80/1704.38	c 1703s |      18 |   411447 |   310152 |    12530     40 |        0 |        0
1706.40/1706.93	c 1706s |      18 |   411898 |   310552 |    12530     40 |        0 |        0
1708.91/1709.47	c 1709s |      18 |   412337 |   310952 |    12530     40 |        0 |        0
1710.90/1711.48	c 1711s |      18 |   412708 |   311252 |    12530     40 |        0 |        0
1712.90/1713.48	c 1713s |      18 |   413047 |   311552 |    12530     40 |        0 |        0
1715.00/1715.56	c 1715s |      18 |   413388 |   311852 |    12530     40 |        0 |        0
1717.00/1717.56	c 1717s |      18 |   413735 |   312152 |    12530     40 |        0 |        0
1719.40/1719.90	c 1719s |      18 |   414246 |   312552 |    12530     40 |        0 |        0
1721.80/1722.39	c 1721s |      18 |   414732 |   312952 |    12530     40 |        0 |        0
1724.50/1725.00	c 1724s |      18 |   415193 |   313352 |    12530     40 |        0 |        0
1726.90/1727.48	c 1727s |      18 |   415670 |   313752 |    12530     40 |        0 |        0
1729.40/1729.98	c 1729s |      18 |   416109 |   314152 |    12530     40 |        0 |        0
1731.69/1732.22	c 1731s |      18 |   416452 |   314452 |    12530     40 |        0 |        0
1733.79/1734.30	c 1733s |      18 |   416847 |   314752 |    12530     40 |        0 |        0
1735.90/1736.43	c 1735s |      18 |   417183 |   315052 |    12530     40 |        0 |        0
1738.20/1738.77	c 1738s |      18 |   417545 |   315352 |    12530     40 |        0 |        0
1740.50/1741.09	c 1740s |      18 |   417883 |   315652 |    12530     40 |        0 |        0
1742.69/1743.22	c 1742s |      18 |   418237 |   315952 |    12530     40 |        0 |        0
1745.09/1745.67	c 1745s |      18 |   418483 |   316152 |    12530     41 |        0 |        0
1748.39/1749.00	c 1748s |      18 |   418831 |   316452 |    12530     41 |        0 |        0
1750.70/1751.26	c 1750s |      18 |   419295 |   316852 |    12530     41 |        0 |        0
1752.90/1753.44	c 1752s |      18 |   419768 |   317252 |    12530     41 |        0 |        0
1754.99/1755.59	c 1755s |      18 |   420234 |   317652 |    12530     41 |        0 |        0
1757.40/1757.96	c 1757s |      18 |   420673 |   318052 |    12530     41 |        0 |        0
1759.69/1760.26	c 1759s |      18 |   421112 |   318452 |    12530     41 |        0 |        0
1762.19/1762.72	c 1762s |      18 |   421558 |   318852 |    12530     41 |        0 |        0
1764.69/1765.24	c 1764s |      18 |   422011 |   319252 |    12530     41 |        0 |        0
1767.29/1767.82	c 1767s |      18 |   422433 |   319652 |    12530     41 |        0 |        0
1769.69/1770.30	c 1769s |      18 |   422908 |   320052 |    12530     41 |        0 |        0
1771.79/1772.35	c 1771s |      18 |   423237 |   320352 |    12530     41 |        0 |        0
1774.19/1774.75	c 1774s |      18 |   423703 |   320752 |    12530     41 |        0 |        0
1776.29/1776.80	c 1776s |      18 |   424027 |   321052 |    12530     41 |        0 |        0
1778.68/1779.29	c 1778s |      18 |   424522 |   321452 |    12530     41 |        0 |        0
1781.38/1781.92	c 1781s |      18 |   425000 |   321852 |    12530     41 |        0 |        0
1783.39/1783.92	c 1783s |      18 |   425360 |   322152 |    12530     41 |        0 |        0
1785.39/1785.95	c 1785s |      18 |   425684 |   322452 |    12530     41 |        0 |        0
1787.49/1788.04	c 1787s |      18 |   426021 |   322752 |    12530     41 |        0 |        0
1789.69/1790.27	c 1789s |      18 |   426357 |   323052 |    12530     41 |        0 |        0
1792.49/1793.02	c 1792s |      18 |   426808 |   323452 |    12530     41 |        0 |        0
1794.58/1795.20	c 1794s |      18 |   427181 |   323752 |    12530     41 |        0 |        0
1796.99/1797.55	c 1797s |      18 |   427659 |   324152 |    12530     41 |        0 |        0
1799.19/1799.75	c 1799s |      18 |   428140 |   324552 |    12530     41 |        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-4093416-1466086021/watcher-4093416-1466086021 -o /tmp/evaluation-result-4093416-1466086021/solver-4093416-1466086021 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12743 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093416-1466086021.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.08 2.08 2/179 13943
/proc/meminfo: memFree=30631012/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=652732 CPUtime=0 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 2425 0 0 0 0 0 0 0 20 0 4 0 10648721 668397568 2275 33554432000 4194304 16246674 140735738243328 140735738242752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 163951 2284 441 2943 0 160845 0
[pid=13943/tid=13944] ppid=13940 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 687271936 2345 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 691466240 2362 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10648721 695660544 2379 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.09 2.08 2.08 2/179 13943
/proc/meminfo: memFree=30631012/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 28103 0 0 0 5 4 0 0 20 0 4 0 10648721 1247350784 27946 33554432000 4194304 16246674 140735738243328 140735738242752 13956064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 304529 27953 606 2943 0 301423 0
[pid=13943/tid=13944] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 27958 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 27963 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 27969 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200514 s]
/proc/loadavg: 2.09 2.08 2.08 2/179 13943
/proc/meminfo: memFree=30631012/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 48295 0 0 0 13 6 0 0 20 0 4 0 10648721 1247350784 48138 33554432000 4194304 16246674 140735738243328 140735738242752 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 304529 48148 606 2943 0 301423 0
[pid=13943/tid=13944] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 48155 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 48161 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 48168 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 2.09 2.08 2.08 2/179 13943
/proc/meminfo: memFree=30631012/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 68684 0 0 0 21 8 0 0 20 0 4 0 10648721 1247350784 68527 33554432000 4194304 16246674 140735738243328 140735738242752 12481124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 304529 68537 606 2943 0 301423 0
[pid=13943/tid=13944] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 68542 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 68548 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10648721 1247350784 68555 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700412 s]
/proc/loadavg: 2.09 2.08 2.08 2/179 13943
/proc/meminfo: memFree=30631012/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 93871 0 0 0 58 11 0 0 20 0 4 0 10648721 1337528320 93685 33554432000 4194304 16246674 140735738243328 140735738242424 13954494 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 326545 93685 868 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1337528320 93685 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1337528320 93685 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1337528320 93685 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50041 s]
/proc/loadavg: 2.09 2.08 2.08 3/183 13947
/proc/meminfo: memFree=30210364/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 105707 0 0 0 137 12 0 0 20 0 4 0 10648721 1338576896 105521 33554432000 4194304 16246674 140735738243328 140735738225216 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 326801 105521 868 2943 0 323695 0
[pid=13943/tid=13944] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 105521 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 105521 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 105521 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.09 2.08 2.08 3/183 13947
/proc/meminfo: memFree=30206388/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 109721 0 0 0 296 13 0 0 20 0 4 0 10648721 1338576896 109535 33554432000 4194304 16246674 140735738243328 140735738242504 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 326801 109535 868 2943 0 323695 0
[pid=13943/tid=13944] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 109535 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 109535 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 109535 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.09 2.07 2.08 3/183 13947
/proc/meminfo: memFree=30193084/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 109916 0 0 0 616 13 0 0 20 0 4 0 10648721 1338576896 109730 33554432000 4194304 16246674 140735738243328 140735738242504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 326801 109730 868 2943 0 323695 0
[pid=13943/tid=13944] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 109730 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 109730 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 109730 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.08 2.07 2.08 3/183 13947
/proc/meminfo: memFree=30132224/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 125127 0 0 0 1253 16 0 0 20 0 4 0 10648721 1338576896 124941 33554432000 4194304 16246674 140735738243328 140735738225216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 326801 124941 868 2943 0 323695 0
[pid=13943/tid=13944] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 124941 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 124941 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 124941 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.06 2.07 2.08 3/183 13947
/proc/meminfo: memFree=29784132/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 211928 0 0 0 2520 29 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140735738225216 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 326801 211742 875 2943 0 323695 0
[pid=13943/tid=13944] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 13947
/proc/meminfo: memFree=29782128/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 211928 0 0 0 5078 30 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140735738242424 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 326801 211742 875 2943 0 323695 0
[pid=13943/tid=13944] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1338576896 211742 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.20 2.10 2.09 3/183 13948
/proc/meminfo: memFree=29525964/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1338948 CPUtime=102.28 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 275830 0 0 0 10188 40 0 0 20 0 4 0 10648721 1371082752 275644 33554432000 4194304 16246674 140735738243328 140735738242504 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 334737 275644 875 2943 0 331631 0
[pid=13943/tid=13944] ppid=13940 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1371082752 275644 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1371082752 275644 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1371082752 275644 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1338948


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

/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1530466304 314846 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1494596

[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.02 3/183 13978
/proc/meminfo: memFree=29334480/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1301.9 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318480 0 0 0 130059 131 0 0 20 0 4 0 10648721 1545146368 318204 33554432000 4194304 16246674 140735738243328 140735738225216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318204 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318204 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318204 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318204 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1508932

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/183 13979
/proc/meminfo: memFree=29333756/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1361.87 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318732 0 0 0 136051 136 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140735738225216 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318430 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1508932

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/184 13984
/proc/meminfo: memFree=29333496/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1421.85 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318747 0 0 0 142045 140 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140735738242504 12477861 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318430 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1508932

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13985
/proc/meminfo: memFree=29333908/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1481.83 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318758 0 0 0 148038 145 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140735738242504 5723568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318430 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1508932

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13986
/proc/meminfo: memFree=29334320/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1541.83 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318758 0 0 0 154034 149 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140735738242504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318430 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1508932

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14232
/proc/meminfo: memFree=30127388/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1601.81 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318758 0 0 0 160028 153 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140735738242424 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318430 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1508932

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14281
/proc/meminfo: memFree=29338576/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1661.81 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318758 0 0 0 166024 157 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140735738242424 12861180 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318430 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1508932

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 14283
/proc/meminfo: memFree=29338084/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1508932 CPUtime=1721.8 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 318758 0 0 0 172019 161 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140735738242504 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 377233 318430 878 2943 0 374127 0
[pid=13943/tid=13944] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1508932 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1545146368 318430 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1508932

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14284
/proc/meminfo: memFree=29153904/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1693252 CPUtime=1781.79 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 364641 0 0 0 178006 173 0 0 20 0 4 0 10648721 1733890048 364313 33554432000 4194304 16246674 140735738243328 140735738242504 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 423313 364313 878 2943 0 420207 0
[pid=13943/tid=13944] ppid=13940 vsize=1693252 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1733890048 364313 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1693252 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1733890048 364313 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1693252 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1733890048 364313 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1693252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.03 2.00 4/183 14285
/proc/meminfo: memFree=29153152/32872528 swapFree=302776/319128
[pid=13943] ppid=13940 vsize=1693252 CPUtime=1800.09 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 7942 0 -1 4202496 364838 0 0 0 179833 176 0 0 20 0 4 0 10648721 1733890048 364510 33554432000 4194304 16246674 140735738243328 140735738242504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13943/statm: 423313 364510 878 2943 0 420207 0
[pid=13943/tid=13944] ppid=13940 vsize=1693252 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 7942 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10648721 1733890048 364510 33554432000 4194304 16246674 140735738243328 140044833631472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1693252 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10648721 1733890048 364510 33554432000 4194304 16246674 140735738243328 140044823141616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1693252 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10648721 1733890048 364510 33554432000 4194304 16246674 140735738243328 140044812668080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1693252

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 13943 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.62
CPU time (s): 1800.11
CPU user time (s): 1798.34
CPU system time (s): 1.77173
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1693252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.34
system time used= 1.77173
maximum resident set size= 1458040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364838
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= 411
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47132 second user time and 7.05293 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 16:07:01
IDJOB=4093416
IDBENCH=78741
IDSOLVER=2553
FILE ID=node128/4093416-1466086021
RUNJOBID= node128-1466075273-12743
PBS_JOBID= 19904011
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-81-80--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093416-1466086021/watcher-4093416-1466086021 -o /tmp/evaluation-result-4093416-1466086021/solver-4093416-1466086021 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12743 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093416-1466086021.wbo

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

MD5SUM BENCH= 8ea1de4cad02f20126bf15704ca9ee6a
RANDOM SEED=28898567

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30631664 kB
Buffers:           33628 kB
Cached:           101076 kB
SwapCached:         2104 kB
Active:          1163440 kB
Inactive:          56540 kB
Active(anon):    1085916 kB
Inactive(anon):     1596 kB
Active(file):      77524 kB
Inactive(file):    54944 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1505928 kB
Mapped:            10600 kB
Shmem:                 0 kB
Slab:             567328 kB
SReclaimable:      11232 kB
SUnreclaim:       556096 kB
KernelStack:        1520 kB
PageTables:         7260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1547520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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 node128 at 2016-06-16 16:37:02