Trace number 4078987

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.08 1800.51

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_80.opb
MD5SUM6671ed3c9b389a2223dba62c8a435d2e
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

Solver Data 

0.00/0.00	c 2016-06-07T03:53:58+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078987-1465264438.opb"]
0.00/0.01	c use --random-gen="617288014 2059232655 2990127126 2613196049 4056669927 484338940 1420910401 2676513901 1780862751 1462158436 2891135257 1265156475 2380320439 2059451382 3346786927 3244660256 415935312 1499532922 630833961 2789535582 2759444133 2713360192 3750158823 252794964 2912637484 1714565604 1361516390 3743391192 3961208364 108382955 2293663731 4261622882 3089079569 3788471475 3814698021 90773610 1936728338 2390721046 1679850502 2933085261 3515756169 3829194453 3906723491 1351924214 2112740161 4006175519 3348844281 1582201765 3354388784 1201681900 1215928852 1862363260 2933308147 1669386523 2521916063 247220167 394859048 325226891 2507630143 3423712708 2200833421 1365861042 3703818571 3890495292 14972663 2228383031 2531965591 1184060485 3334907156 1114391868 2176587171 1170662436 142304663 3435127496 924303491 4258759418 3170121131 1093831220 3795183713 569756131 2901266461 372121688 96349091 1346302195 1343482264 180337356 2865608544 3142417748 1288494136 1404451619 200189894 4250611605 2802798517 639616737 1708940967 3140933083 2238853754 1428458796 356129868 1873525124 3129084716 1395126166 2170654052 778717343 993161428 3174850047 1508784494 1511177300 1174493609 1564453646 3627383197 1940054792 1577060227 3540345291 2223001596 2518636753 3416699746 331106817 4028189913 3183590566 2012211044 3383653027 507106069 2534395319 1166035785 2604913626 2415407489 2210766468 2581670330 1091087482 2211522104 1474706249 1075465528 282472051 691222233 4083735915 2579252242 664232523 3813460316 1735763790 2696869457 3884411424 2733140563 1964759772 406464400 3400721300 3536353501 354647491 2500304700 839835540 830008710 2584239073 2489207030 951286252 808413075 3254748159 4256722961 1525137571 806290117 2170678705 2534109264 33498113 2381431157 2891957560 1534790786 4109415456 3012140509 2962286549 1743392317 172326649 2880059303 444277646 3985071591 1157578172 4080823607 3219973873 1146311803 4198324090 2580363112 2452537433 2195155303 1771629373 2021417862 2355055300 431418866 853217386 150386893 3964963901 2365271586 4041943288 811058715 4154746651 3774663425 1199128839 1319805656 3592207410 1984465049 2812816472 2039445930 2237155508 1113798917 3771779091 40689365 89562569 791122055 2690897060 3927496326 4224634120 104935711 2440517231 3045408002 1496719060 385935672 336035741 2801346424 396401985 1763434712 632025851 242767467 4021860226 2460529826 2675298246 1295597699 2775315789 1889169046 4290611903 680226383 1894785580 1665409528 3819139808 3308883606 2520152819 787995233 3528550164 2064232062 272803225 249684516 579616831 3685191832 2056180503 1145578833 3618593066 151613086 4007618831 3473563687 257724383 2259678350 2015757834 2331242061 2422602361 854435705 2973669288 2087735123 4213014588 2368836843 2481222896 255 362436" option to reproduce the execution
0.08/0.11	c #vars 1000
0.08/0.11	c #constraints 1502
0.49/0.53	c Solving starts ...
0.49/0.53	c ============================[ Search Statistics ]============================
0.49/0.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.53	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.53	c =============================================================================
0.49/0.53	c  0.0s |       0 |        0 |        0 |    11315      0 |        0 |        0
0.99/1.01	c  0.5s |       1 |      705 |      100 |    11315      0 |        0 |        0
1.20/1.23	c  0.7s |       2 |    28440 |      250 |    12447      0 |        0 |        0
1.39/1.48	c  1.0s |       3 |    69393 |      475 |    13692      0 |        0 |        0
2.79/2.81	c  2.3s |       4 |    94791 |      813 |    15062      0 |        0 |        0
4.89/4.98	c  4.4s |       4 |   115725 |     1013 |    16569      0 |        0 |        0
6.69/6.71	c  6.2s |       5 |   135806 |     1320 |    16569      0 |        0 |        0
8.89/8.91	c  8.4s |       5 |   167588 |     1620 |    18226      0 |        0 |        0
13.19/13.29	c 12.8s |       5 |   182002 |     2020 |    18226      0 |        0 |        0
14.98/15.03	c 14.5s |       6 |   182070 |     2081 |    20049      0 |        0 |        0
17.69/17.72	c 17.2s |       6 |   200227 |     2481 |    20049      0 |        0 |        0
20.48/20.58	c 20.1s |       6 |   200636 |     2781 |    20049      0 |        0 |        0
22.58/22.68	c 22.2s |       6 |   213881 |     3081 |    20049      0 |        0 |        0
23.88/23.94	c 23.4s |       7 |   214183 |     3223 |    22054      0 |        0 |        0
26.18/26.29	c 25.8s |       7 |   215675 |     3423 |    22054      0 |        0 |        0
28.69/28.75	c 28.2s |       7 |   216974 |     3623 |    22054      0 |        0 |        0
31.08/31.13	c 30.6s |       7 |   219864 |     3723 |    22054      0 |        0 |        0
33.58/33.68	c 33.1s |       7 |   239777 |     4123 |    22054      0 |        0 |        0
36.58/36.62	c 36.1s |       7 |   240128 |     4323 |    22054      0 |        0 |        0
38.78/38.81	c 38.3s |       7 |   266868 |     4723 |    22054      0 |        0 |        0
40.58/40.68	c 40.1s |       8 |   270757 |     4936 |    24260      0 |        0 |        0
42.89/42.97	c 42.4s |       8 |   294050 |     5336 |    24260      0 |        0 |        0
46.29/46.33	c 45.8s |       8 |   294403 |     5536 |    24260      0 |        0 |        0
48.98/49.08	c 48.5s |       8 |   314283 |     5936 |    24260      0 |        0 |        0
51.88/51.94	c 51.4s |       8 |   314766 |     6136 |    24260      0 |        0 |        0
54.28/54.35	c 53.8s |       8 |   314810 |     6236 |    24260      0 |        0 |        0
56.78/56.81	c 56.3s |       8 |   333706 |     6536 |    24260      0 |        0 |        0
58.78/58.83	c 58.3s |       8 |   333706 |     6636 |    24260      0 |        0 |        0
61.08/61.14	c 60.6s |       8 |   334650 |     6836 |    24260      0 |        0 |        0
63.88/63.91	c 63.4s |       8 |   351624 |     7136 |    24260      0 |        0 |        0
66.28/66.37	c 65.8s |       8 |   351624 |     7236 |    24260      0 |        0 |        0
67.88/67.96	c 67.4s |       9 |   369382 |     7506 |    26687      0 |        0 |        0
71.08/71.10	c 70.6s |       9 |   370104 |     7706 |    26687      0 |        0 |        0
73.18/73.21	c 72.7s |       9 |   392352 |     8106 |    26687      0 |        0 |        0
76.78/76.89	c 76.4s |       9 |   392478 |     8306 |    26687      0 |        0 |        0
79.67/79.79	c 79.3s |       9 |   413608 |     8606 |    26687      0 |        0 |        0
81.77/81.85	c 81.3s |       9 |   413608 |     8706 |    26687      0 |        0 |        0
84.27/84.35	c 83.8s |       9 |   436203 |     9006 |    26687      0 |        0 |        0
86.98/87.05	c 86.5s |       9 |   443915 |     9206 |    26687      0 |        0 |        0
88.97/89.08	c 88.6s |       9 |   444005 |     9306 |    26687      0 |        0 |        0
91.08/91.15	c 90.6s |       9 |   464586 |     9806 |    26687      0 |        0 |        0
94.18/94.29	c 93.8s |       9 |   465319 |    10006 |    26687      0 |        0 |        0
96.48/96.54	c 96.0s |       9 |   491519 |    10406 |    26687      0 |        0 |        0
98.78/98.80	c 98.3s |       9 |   498468 |    10706 |    26687      0 |        0 |        0
101.58/101.64	c  101s |       9 |   502728 |    10906 |    26687      0 |        0 |        0
103.98/104.00	c  103s |       9 |   509736 |    11206 |    26687      0 |        0 |        0
104.68/104.77	c  104s |      10 |   517665 |    11361 |    29356      0 |        0 |        0
107.28/107.38	c  106s |      10 |   523087 |    11561 |    29356      0 |        0 |        0
109.28/109.38	c  108s |      10 |   523294 |    11661 |    29356      0 |        0 |        0
111.37/111.42	c  110s |      10 |   533746 |    11861 |    29356      0 |        0 |        0
113.38/113.45	c  112s |      10 |   540637 |    12061 |    29356      0 |        0 |        0
117.37/117.44	c  116s |      10 |   541494 |    12261 |    29356      0 |        0 |        0
119.47/119.50	c  118s |      10 |   553031 |    12461 |    29356      0 |        0 |        0
122.57/122.68	c  122s |      10 |   555113 |    12761 |    29356      0 |        0 |        0
124.97/125.01	c  124s |      10 |   571063 |    13261 |    29356      0 |        0 |        0
127.07/127.12	c  126s |      10 |   572848 |    13461 |    29356      0 |        0 |        0
129.27/129.34	c  128s |      10 |   586511 |    13661 |    29356      0 |        0 |        0
131.37/131.45	c  130s |      10 |   587051 |    13861 |    29356      0 |        0 |        0
133.77/133.81	c  133s |      10 |   599288 |    14061 |    29356      0 |        0 |        0
137.58/137.64	c  137s |      10 |   599344 |    14261 |    29356      0 |        0 |        0
140.57/140.68	c  140s |      10 |   613733 |    14561 |    29356      0 |        0 |        0
142.77/142.80	c  142s |      10 |   616392 |    14761 |    29356      0 |        0 |        0
144.87/144.92	c  144s |      10 |   627368 |    15061 |    29356      0 |        0 |        0
147.38/147.41	c  146s |      10 |   633951 |    15361 |    29356      0 |        0 |        0
150.68/150.70	c  150s |      10 |   641004 |    15661 |    29356      0 |        0 |        0
153.47/153.54	c  153s |      10 |   652799 |    15961 |    29356      0 |        0 |        0
156.87/156.99	c  156s |      10 |   663135 |    16261 |    29356      0 |        0 |        0
159.27/159.31	c  158s |      10 |   670338 |    16561 |    29356      0 |        0 |        0
161.67/161.72	c  161s |      10 |   678892 |    16861 |    29356      0 |        0 |        0
164.17/164.21	c  163s |      11 |   692151 |    17144 |    32292      0 |        0 |        0
167.66/167.73	c  167s |      11 |   694838 |    17344 |    32292      0 |        0 |        0
170.16/170.27	c  169s |      11 |   705670 |    17544 |    32292      0 |        0 |        0
172.96/173.00	c  172s |      11 |   705670 |    17644 |    32292      0 |        0 |        0
175.76/175.88	c  175s |      11 |   716127 |    17844 |    32292      0 |        0 |        0
178.66/178.72	c  178s |      11 |   716127 |    17944 |    32292      0 |        0 |        0
180.66/180.78	c  180s |      11 |   730679 |    18144 |    32292      0 |        0 |        0
182.96/183.09	c  182s |      11 |   731821 |    18344 |    32292      0 |        0 |        0
185.97/186.06	c  185s |      11 |   746101 |    18744 |    32292      0 |        0 |        0
188.76/188.87	c  188s |      11 |   746689 |    19044 |    32292      0 |        0 |        0
191.56/191.67	c  191s |      11 |   768720 |    19444 |    32292      0 |        0 |        0
193.96/194.03	c  193s |      11 |   769077 |    19544 |    32292      0 |        0 |        0
196.06/196.16	c  195s |      11 |   770236 |    19844 |    32292      0 |        0 |        0
198.16/198.24	c  197s |      11 |   783471 |    20144 |    32292      0 |        0 |        0
200.46/200.50	c  199s |      11 |   784934 |    20344 |    32292      0 |        0 |        0
202.66/202.79	c  202s |      11 |   793074 |    20644 |    32292      0 |        0 |        0
205.46/205.58	c  205s |      11 |   793782 |    20844 |    32292      0 |        0 |        0
207.56/207.65	c  207s |      11 |   802947 |    21144 |    32292      0 |        0 |        0
209.86/209.96	c  209s |      11 |   803347 |    21344 |    32292      0 |        0 |        0
212.26/212.37	c  211s |      11 |   816527 |    21644 |    32292      0 |        0 |        0
214.36/214.40	c  213s |      11 |   816849 |    21744 |    32292      0 |        0 |        0
216.46/216.57	c  216s |      11 |   828224 |    22044 |    32292      0 |        0 |        0
218.66/218.70	c  218s |      11 |   844212 |    22344 |    32292      0 |        0 |        0
221.16/221.26	c  220s |      11 |   845115 |    22544 |    32292      0 |        0 |        0
223.76/223.82	c  223s |      11 |   859229 |    22844 |    32292      0 |        0 |        0
226.46/226.59	c  226s |      11 |   860964 |    23144 |    32292      0 |        0 |        0
228.56/228.61	c  228s |      11 |   875279 |    23444 |    32292      0 |        0 |        0
231.65/231.79	c  231s |      11 |   878422 |    23744 |    32292      0 |        0 |        0
234.65/234.78	c  234s |      11 |   894117 |    24144 |    32292      0 |        0 |        0
237.56/237.69	c  237s |      11 |   909377 |    24444 |    32292      0 |        0 |        0
239.76/239.87	c  239s |      11 |   909643 |    24644 |    32292      0 |        0 |        0
242.35/242.41	c  241s |      11 |   926660 |    25044 |    32292      0 |        0 |        0
244.35/244.49	c  243s |      11 |   927515 |    25244 |    32292      0 |        0 |        0
246.55/246.69	c  246s |      11 |   934644 |    25544 |    32292      0 |        0 |        0
248.05/248.10	c  247s |      12 |   943130 |    25819 |    35522      0 |        0 |        0
250.35/250.47	c  249s |      12 |   948408 |    26119 |    35522      0 |        0 |        0
252.35/252.49	c  251s |      12 |   948536 |    26219 |    35522      0 |        0 |        0
254.55/254.67	c  254s |      12 |   958220 |    26519 |    35522      0 |        0 |        0
257.05/257.14	c  256s |      12 |   958677 |    26719 |    35522      0 |        0 |        0
260.35/260.46	c  259s |      12 |   965281 |    27119 |    35522      0 |        0 |        0
262.55/262.61	c  262s |      12 |   965719 |    27319 |    35522      0 |        0 |        0
264.75/264.87	c  264s |      12 |   969829 |    27919 |    35522      0 |        0 |        0
266.85/266.99	c  266s |      12 |   976438 |    28319 |    35522      0 |        0 |        0
268.95/269.09	c  268s |      12 |   984498 |    28819 |    35522      0 |        0 |        0
271.05/271.17	c  270s |      12 |   990708 |    29219 |    35522      0 |        0 |        0
273.15/273.23	c  272s |      12 |   999898 |    29719 |    35522      0 |        0 |        0
275.55/275.63	c  275s |      12 |  1008944 |    30319 |    35522      0 |        0 |        0
277.95/278.01	c  277s |      12 |  1012399 |    30819 |    35522      0 |        0 |        0
280.15/280.23	c  279s |      12 |  1014799 |    31119 |    35522      0 |        0 |        0
282.45/282.58	c  282s |      12 |  1019292 |    31519 |    35522      0 |        0 |        0
284.65/284.78	c  284s |      12 |  1023949 |    31819 |    35522      0 |        0 |        0
287.25/287.33	c  286s |      12 |  1029969 |    32319 |    35522      0 |        0 |        0
289.35/289.41	c  288s |      12 |  1034849 |    32719 |    35522      0 |        0 |        0
291.64/291.72	c  291s |      12 |  1042898 |    33219 |    35522      0 |        0 |        0
293.75/293.83	c  293s |      12 |  1045702 |    33619 |    35522      0 |        0 |        0
296.14/296.20	c  295s |      12 |  1052275 |    34019 |    35522      0 |        0 |        0
298.44/298.58	c  298s |      12 |  1059074 |    34419 |    35522      0 |        0 |        0
300.94/301.07	c  300s |      12 |  1066908 |    34919 |    35522      0 |        0 |        0
303.04/303.18	c  302s |      12 |  1072080 |    35319 |    35522      0 |        0 |        0
305.24/305.39	c  304s |      12 |  1078318 |    35719 |    35522      0 |        0 |        0
307.34/307.47	c  306s |      12 |  1084770 |    36019 |    35522      0 |        0 |        0
309.74/309.82	c  309s |      12 |  1093171 |    36419 |    35522      0 |        0 |        0
313.04/313.12	c  312s |      12 |  1099243 |    36819 |    35522      1 |        0 |        0
315.04/315.18	c  314s |      12 |  1110623 |    37219 |    35522      1 |        0 |        0
317.14/317.25	c  316s |      12 |  1123805 |    37619 |    35522      1 |        0 |        0
319.14/319.28	c  318s |      12 |  1129920 |    37919 |    35522      1 |        0 |        0
321.34/321.40	c  320s |      12 |  1137332 |    38219 |    35522      1 |        0 |        0
323.74/323.81	c  323s |      12 |  1148744 |    38519 |    35522      1 |        0 |        0
325.84/325.97	c  325s |      12 |  1157145 |    38819 |    39075      1 |        0 |        0
325.84/325.98	c  325s |      13 |  1157194 |    38832 |    39075      1 |        0 |        0
327.94/328.07	c  327s |      13 |  1157517 |    38932 |    39075      1 |        0 |        0
330.14/330.22	c  329s |      13 |  1174875 |    39232 |    39075      1 |        0 |        0
332.54/332.66	c  332s |      13 |  1175175 |    39432 |    39075      1 |        0 |        0
334.74/334.82	c  334s |      13 |  1188718 |    39732 |    39075      1 |        0 |        0
337.03/337.13	c  336s |      13 |  1191496 |    40032 |    39075      1 |        0 |        0
339.33/339.47	c  338s |      13 |  1195547 |    40432 |    39075      1 |        0 |        0
342.23/342.35	c  341s |      13 |  1205373 |    40932 |    39075      1 |        0 |        0
344.43/344.56	c  344s |      13 |  1216993 |    41332 |    39075      1 |        0 |        0
346.73/346.83	c  346s |      13 |  1225217 |    41732 |    39075      1 |        0 |        0
348.83/348.94	c  348s |      13 |  1236359 |    42132 |    39075      1 |        0 |        0
351.23/351.30	c  350s |      13 |  1244946 |    42532 |    39075      1 |        0 |        0
353.23/353.39	c  352s |      13 |  1258323 |    42932 |    39075      1 |        0 |        0
355.64/355.74	c  355s |      13 |  1259196 |    43232 |    39075      1 |        0 |        0
358.24/358.36	c  357s |      13 |  1260085 |    43532 |    39075      1 |        0 |        0
360.64/360.75	c  360s |      13 |  1266647 |    43832 |    39075      1 |        0 |        0
362.74/362.82	c  362s |      13 |  1267266 |    44132 |    39075      1 |        0 |        0
365.54/365.61	c  365s |      13 |  1273769 |    44532 |    39075      1 |        0 |        0
367.84/367.97	c  367s |      13 |  1274225 |    44832 |    39075      1 |        0 |        0
370.54/370.70	c  370s |      13 |  1275480 |    45132 |    39075      1 |        0 |        0
372.84/372.94	c  372s |      13 |  1285330 |    45432 |    39075      1 |        0 |        0
375.34/375.44	c  374s |      13 |  1286936 |    45732 |    39075      1 |        0 |        0
378.14/378.29	c  377s |      13 |  1287371 |    46032 |    39075      1 |        0 |        0
380.24/380.31	c  379s |      13 |  1292818 |    46332 |    39075      1 |        0 |        0
382.24/382.38	c  381s |      13 |  1307291 |    46632 |    39075      1 |        0 |        0
384.94/385.07	c  384s |      13 |  1308632 |    47032 |    39075      1 |        0 |        0
387.04/387.15	c  386s |      13 |  1322722 |    47332 |    39075      1 |        0 |        0
389.63/389.78	c  389s |      13 |  1338101 |    47732 |    39075      1 |        0 |        0
392.23/392.30	c  391s |      13 |  1364220 |    48132 |    39075      1 |        0 |        0
394.63/394.70	c  394s |      13 |  1364824 |    48332 |    39075      1 |        0 |        0
397.33/397.46	c  396s |      13 |  1382201 |    48632 |    39075      1 |        0 |        0
399.53/399.60	c  399s |      13 |  1383208 |    48832 |    39075      1 |        0 |        0
401.93/402.02	c  401s |      13 |  1384093 |    49032 |    39075      1 |        0 |        0
403.93/404.09	c  403s |      13 |  1384834 |    49132 |    39075      1 |        0 |        0
406.03/406.11	c  405s |      13 |  1399859 |    49332 |    39075      1 |        0 |        0
409.24/409.37	c  408s |      13 |  1403749 |    49732 |    39075      1 |        0 |        0
411.63/411.79	c  411s |      13 |  1414872 |    50032 |    39075      1 |        0 |        0
414.03/414.11	c  413s |      13 |  1431654 |    50332 |    39075      1 |        0 |        0
416.13/416.22	c  415s |      13 |  1432110 |    50532 |    39075      1 |        0 |        0
418.33/418.45	c  417s |      13 |  1449847 |    50832 |    39075      1 |        0 |        0
420.33/420.48	c  419s |      13 |  1450111 |    50932 |    39075      1 |        0 |        0
423.03/423.15	c  422s |      13 |  1463911 |    51332 |    39075      1 |        0 |        0
425.03/425.16	c  424s |      13 |  1469030 |    51532 |    39075      1 |        0 |        0
427.43/427.53	c  426s |      13 |  1477885 |    51832 |    39075      1 |        0 |        0
429.63/429.73	c  429s |      13 |  1491061 |    52132 |    39075      1 |        0 |        0
431.93/432.06	c  431s |      13 |  1491475 |    52332 |    39075      1 |        0 |        0
434.23/434.36	c  433s |      13 |  1500220 |    52532 |    39075      1 |        0 |        0
436.53/436.65	c  436s |      13 |  1506766 |    52832 |    39075      1 |        0 |        0
439.03/439.19	c  438s |      13 |  1527260 |    53132 |    39075      1 |        0 |        0
441.73/441.82	c  441s |      13 |  1529872 |    53432 |    39075      1 |        0 |        0
444.03/444.16	c  443s |      13 |  1545051 |    53732 |    39075      1 |        0 |        0
446.73/446.88	c  446s |      13 |  1546265 |    53932 |    39075      1 |        0 |        0
448.93/449.09	c  448s |      13 |  1574422 |    54332 |    39075      1 |        0 |        0
452.13/452.23	c  451s |      13 |  1612028 |    54732 |    39075      1 |        0 |        0
454.23/454.38	c  453s |      13 |  1614045 |    54932 |    39075      1 |        0 |        0
456.53/456.62	c  456s |      13 |  1615434 |    55132 |    39075      1 |        0 |        0
458.92/459.07	c  458s |      13 |  1632530 |    55532 |    39075      1 |        0 |        0
461.02/461.14	c  460s |      13 |  1637395 |    55732 |    39075      1 |        0 |        0
463.82/463.96	c  463s |      13 |  1637658 |    55932 |    39075      1 |        0 |        0
465.82/465.98	c  465s |      13 |  1648385 |    56232 |    39075      1 |        0 |        0
468.42/468.50	c  467s |      13 |  1655519 |    56432 |    39075      1 |        0 |        0
470.73/470.83	c  470s |      13 |  1664080 |    56732 |    39075      1 |        0 |        0
473.42/473.52	c  472s |      13 |  1678362 |    57132 |    39075      1 |        0 |        0
475.62/475.73	c  475s |      13 |  1691946 |    57432 |    39075      1 |        0 |        0
477.92/478.04	c  477s |      13 |  1713157 |    57832 |    39075      1 |        0 |        0
480.12/480.20	c  479s |      13 |  1717879 |    58232 |    42983      1 |        0 |        0
480.42/480.56	c  480s |      14 |  1721619 |    58352 |    42983      1 |        0 |        0
482.62/482.75	c  482s |      14 |  1723879 |    58552 |    42983      1 |        0 |        0
485.72/485.84	c  485s |      14 |  1727863 |    58852 |    42983      1 |        0 |        0
488.01/488.16	c  487s |      14 |  1729360 |    59052 |    42983      1 |        0 |        0
491.01/491.10	c  490s |      14 |  1744441 |    59352 |    42983      1 |        0 |        0
493.82/493.95	c  493s |      14 |  1749245 |    59552 |    42983      1 |        0 |        0
496.31/496.47	c  495s |      14 |  1773979 |    59852 |    42983      1 |        0 |        0
498.51/498.61	c  498s |      14 |  1777345 |    60052 |    42983      1 |        0 |        0
500.81/500.97	c  500s |      14 |  1780761 |    60252 |    42983      1 |        0 |        0
502.91/503.09	c  502s |      14 |  1796586 |    60552 |    42983      1 |        0 |        0
506.21/506.33	c  505s |      14 |  1807935 |    60852 |    42983      1 |        0 |        0
508.41/508.57	c  508s |      14 |  1808903 |    61052 |    42983      1 |        0 |        0
510.91/511.07	c  510s |      14 |  1833609 |    61352 |    42983      1 |        0 |        0
512.91/513.09	c  512s |      14 |  1839039 |    61652 |    42983      1 |        0 |        0
516.11/516.26	c  515s |      14 |  1843879 |    61852 |    42983      2 |        0 |        0
518.31/518.40	c  517s |      14 |  1845622 |    62152 |    42983      2 |        0 |        0
520.41/520.55	c  520s |      14 |  1866843 |    62552 |    42983      2 |        0 |        0
522.61/522.71	c  522s |      14 |  1868972 |    62752 |    42983      2 |        0 |        0
525.21/525.32	c  524s |      14 |  1893623 |    63152 |    42983      2 |        0 |        0
527.31/527.44	c  526s |      14 |  1894518 |    63352 |    42983      2 |        0 |        0
529.51/529.65	c  529s |      14 |  1914481 |    63652 |    42983      2 |        0 |        0
532.01/532.12	c  531s |      14 |  1936906 |    63952 |    42983      2 |        0 |        0
534.31/534.47	c  533s |      14 |  1939524 |    64252 |    42983      2 |        0 |        0
536.91/537.08	c  536s |      14 |  1955488 |    64652 |    42983      2 |        0 |        0
539.02/539.12	c  538s |      14 |  1956608 |    64852 |    42983      2 |        0 |        0
541.61/541.78	c  541s |      14 |  1973114 |    65252 |    42983      2 |        0 |        0
544.21/544.30	c  543s |      14 |  1973887 |    65452 |    42983      2 |        0 |        0
546.31/546.43	c  545s |      14 |  1975952 |    65752 |    42983      2 |        0 |        0
548.81/548.95	c  548s |      14 |  1996122 |    66152 |    42983      2 |        0 |        0
551.41/551.57	c  551s |      14 |  1996900 |    66352 |    42983      2 |        0 |        0
553.41/553.59	c  553s |      14 |  2015771 |    66652 |    42983      2 |        0 |        0
556.31/556.40	c  555s |      14 |  2017798 |    67052 |    42983      2 |        0 |        0
559.21/559.33	c  558s |      14 |  2037019 |    67452 |    42983      2 |        0 |        0
561.81/561.91	c  561s |      14 |  2046958 |    67852 |    42983      2 |        0 |        0
564.71/564.84	c  564s |      14 |  2056157 |    68152 |    42983      2 |        0 |        0
566.80/566.91	c  566s |      14 |  2071455 |    68452 |    42983      2 |        0 |        0
569.30/569.43	c  568s |      14 |  2078810 |    68852 |    42983      2 |        0 |        0
571.70/571.84	c  571s |      14 |  2101790 |    69652 |    42983      2 |        0 |        0
574.80/574.92	c  574s |      14 |  2108113 |    69952 |    42983      2 |        0 |        0
577.90/578.08	c  577s |      14 |  2111027 |    70252 |    42983      2 |        0 |        0
580.20/580.39	c  579s |      14 |  2114060 |    70552 |    42983      2 |        0 |        0
583.40/583.50	c  582s |      14 |  2119646 |    70852 |    42983      2 |        0 |        0
585.90/586.03	c  585s |      14 |  2136911 |    71252 |    42983      2 |        0 |        0
588.90/589.06	c  588s |      14 |  2142076 |    71552 |    42983      2 |        0 |        0
591.00/591.18	c  590s |      14 |  2146135 |    71952 |    42983      2 |        0 |        0
593.10/593.20	c  592s |      14 |  2165850 |    72952 |    42983      2 |        0 |        0
595.11/595.21	c  594s |      14 |  2183426 |    73752 |    42983      2 |        0 |        0
597.31/597.43	c  596s |      14 |  2195595 |    74452 |    42983      2 |        0 |        0
599.60/599.71	c  599s |      14 |  2210446 |    75152 |    42983      2 |        0 |        0
602.59/602.77	c  602s |      14 |  2225188 |    75752 |    42983      2 |        0 |        0
605.69/605.83	c  605s |      14 |  2233618 |    75952 |    42983      2 |        0 |        0
607.99/608.15	c  607s |      14 |  2233827 |    76152 |    42983      2 |        0 |        0
610.40/610.52	c  609s |      14 |  2234463 |    76352 |    42983      2 |        0 |        0
612.70/612.84	c  612s |      14 |  2241426 |    76652 |    42983      2 |        0 |        0
614.69/614.88	c  614s |      14 |  2244790 |    76952 |    42983      2 |        0 |        0
617.00/617.13	c  616s |      14 |  2250644 |    77252 |    42983      2 |        0 |        0
619.30/619.42	c  618s |      14 |  2251148 |    77452 |    42983      2 |        0 |        0
621.30/621.44	c  620s |      14 |  2260404 |    77952 |    42983      2 |        0 |        0
624.20/624.31	c  623s |      14 |  2269279 |    78352 |    42983      2 |        0 |        0
626.59/626.77	c  626s |      14 |  2277247 |    78752 |    42983      2 |        0 |        0
628.69/628.84	c  628s |      14 |  2283997 |    79052 |    42983      2 |        0 |        0
630.89/631.06	c  630s |      14 |  2291657 |    79352 |    42983      2 |        0 |        0
632.99/633.14	c  632s |      14 |  2305695 |    79752 |    42983      2 |        0 |        0
635.29/635.40	c  634s |      14 |  2319924 |    80152 |    42983      2 |        0 |        0
637.69/637.80	c  637s |      14 |  2326713 |    80552 |    42983      2 |        0 |        0
639.69/639.87	c  639s |      14 |  2332579 |    80952 |    42983      2 |        0 |        0
642.09/642.24	c  641s |      14 |  2340480 |    81352 |    42983      2 |        0 |        0
644.39/644.51	c  643s |      14 |  2352017 |    81752 |    42983      2 |        0 |        0
646.70/646.85	c  646s |      14 |  2362936 |    82252 |    42983      2 |        0 |        0
649.00/649.16	c  648s |      14 |  2369177 |    82552 |    42983      2 |        0 |        0
651.39/651.56	c  651s |      14 |  2377764 |    82852 |    42983      2 |        0 |        0
653.79/653.92	c  653s |      14 |  2379173 |    83152 |    42983      2 |        0 |        0
655.89/656.04	c  655s |      14 |  2382651 |    83452 |    42983      2 |        0 |        0
659.18/659.32	c  658s |      14 |  2384689 |    83752 |    42983      3 |        0 |        0
661.18/661.39	c  660s |      14 |  2390449 |    84152 |    42983      3 |        0 |        0
663.58/663.70	c  663s |      14 |  2402629 |    84552 |    42983      3 |        0 |        0
665.99/666.19	c  665s |      14 |  2409530 |    85052 |    42983      3 |        0 |        0
668.19/668.35	c  667s |      14 |  2417667 |    85552 |    42983      3 |        0 |        0
671.59/671.71	c  671s |      14 |  2428133 |    86052 |    42983      3 |        0 |        0
674.29/674.48	c  673s |      14 |  2428836 |    86252 |    42983      3 |        0 |        0
676.79/676.93	c  676s |      14 |  2429439 |    86452 |    42983      3 |        0 |        0
679.09/679.22	c  678s |      14 |  2439161 |    86752 |    42983      3 |        0 |        0
681.59/681.71	c  681s |      14 |  2440262 |    86952 |    42983      3 |        0 |        0
684.39/684.59	c  684s |      14 |  2447983 |    87252 |    47282      3 |        0 |        0
686.89/687.09	c  686s |      15 |  2473020 |    87632 |    47282      3 |        0 |        0
689.99/690.16	c  689s |      15 |  2476512 |    87832 |    47282      3 |        0 |        0
692.68/692.89	c  692s |      15 |  2492835 |    88232 |    47282      3 |        0 |        0
694.98/695.16	c  694s |      15 |  2496845 |    88532 |    47282      3 |        0 |        0
697.18/697.31	c  696s |      15 |  2499514 |    88832 |    47282      3 |        0 |        0
699.38/699.57	c  699s |      15 |  2500170 |    89032 |    47282      3 |        0 |        0
701.88/702.08	c  701s |      15 |  2508614 |    89332 |    47282      3 |        0 |        0
703.99/704.13	c  703s |      15 |  2515507 |    89632 |    47282      3 |        0 |        0
706.68/706.85	c  706s |      15 |  2517995 |    89932 |    47282      3 |        0 |        0
709.28/709.41	c  708s |      15 |  2526752 |    90232 |    47282      3 |        0 |        0
711.88/712.04	c  711s |      15 |  2529584 |    90532 |    47282      3 |        0 |        0
714.08/714.22	c  713s |      15 |  2537976 |    90832 |    47282      3 |        0 |        0
716.18/716.37	c  715s |      15 |  2548362 |    91232 |    47282      3 |        0 |        0
718.68/718.83	c  718s |      15 |  2552324 |    91632 |    47282      3 |        0 |        0
721.28/721.45	c  720s |      15 |  2556047 |    91932 |    47282      3 |        0 |        0
723.78/723.94	c  723s |      15 |  2562021 |    92232 |    47282      3 |        0 |        0
726.18/726.31	c  725s |      15 |  2566795 |    92532 |    47282      3 |        0 |        0
728.58/728.71	c  728s |      15 |  2574164 |    92832 |    47282      3 |        0 |        0
730.87/731.00	c  730s |      15 |  2579887 |    93132 |    47282      3 |        0 |        0
733.37/733.51	c  732s |      15 |  2587198 |    93432 |    47282      3 |        0 |        0
735.57/735.73	c  735s |      15 |  2596112 |    93732 |    47282      3 |        0 |        0
737.57/737.77	c  737s |      15 |  2596693 |    93932 |    47282      3 |        0 |        0
740.28/740.43	c  739s |      15 |  2598213 |    94232 |    47282      3 |        0 |        0
742.67/742.80	c  742s |      15 |  2600554 |    94532 |    47282      3 |        0 |        0
745.17/745.39	c  744s |      15 |  2602662 |    94832 |    47282      3 |        0 |        0
747.47/747.64	c  747s |      15 |  2604467 |    95032 |    47282      3 |        0 |        0
750.37/750.50	c  749s |      15 |  2615974 |    95332 |    47282      3 |        0 |        0
752.97/753.13	c  752s |      15 |  2625732 |    95632 |    47282      3 |        0 |        0
755.07/755.29	c  754s |      15 |  2628488 |    95832 |    47282      3 |        0 |        0
757.67/757.88	c  757s |      15 |  2639638 |    96132 |    47282      3 |        0 |        0
760.47/760.60	c  760s |      15 |  2644842 |    96432 |    47282      3 |        0 |        0
762.57/762.70	c  762s |      15 |  2648272 |    96632 |    47282      3 |        0 |        0
765.36/765.55	c  765s |      15 |  2652165 |    96932 |    47282      3 |        0 |        0
767.86/768.01	c  767s |      15 |  2654070 |    97132 |    47282      3 |        0 |        0
770.16/770.31	c  769s |      15 |  2666272 |    97432 |    47282      3 |        0 |        0
772.17/772.35	c  771s |      15 |  2667934 |    97632 |    47282      3 |        0 |        0
774.46/774.67	c  774s |      15 |  2669930 |    97932 |    47282      3 |        0 |        0
777.06/777.22	c  776s |      15 |  2679356 |    98232 |    47282      3 |        0 |        0
779.56/779.71	c  779s |      15 |  2682446 |    98532 |    47282      3 |        0 |        0
781.86/782.01	c  781s |      15 |  2684690 |    98832 |    47282      3 |        0 |        0
784.17/784.35	c  783s |      15 |  2689957 |    99132 |    47282      3 |        0 |        0
786.77/786.98	c  786s |      15 |  2691929 |    99432 |    47282      3 |        0 |        0
788.97/789.19	c  788s |      15 |  2704216 |    99632 |    47282      3 |        0 |        0
792.16/792.30	c  791s |      15 |  2708177 |    99932 |    47282      3 |        0 |        0
794.17/794.33	c  793s |      15 |  2709488 |   100132 |    47282      3 |        0 |        0
796.16/796.36	c  795s |      15 |  2715792 |   100332 |    47282      3 |        0 |        0
798.66/798.89	c  798s |      15 |  2717914 |   100532 |    47282      3 |        0 |        0
801.46/801.69	c  801s |      15 |  2726368 |   100832 |    47282      3 |        0 |        0
803.86/804.09	c  803s |      15 |  2737728 |   101132 |    47282      3 |        0 |        0
806.06/806.28	c  805s |      15 |  2739237 |   101432 |    47282      3 |        0 |        0
808.26/808.42	c  807s |      15 |  2746455 |   101732 |    47282      3 |        0 |        0
810.67/810.89	c  810s |      15 |  2747326 |   102032 |    47282      3 |        0 |        0
812.86/813.06	c  812s |      15 |  2755862 |   102232 |    47282      3 |        0 |        0
815.85/816.09	c  815s |      15 |  2757466 |   102532 |    47282      3 |        0 |        0
818.36/818.56	c  818s |      15 |  2766296 |   102832 |    47282      3 |        0 |        0
820.35/820.59	c  820s |      15 |  2768079 |   103032 |    47282      3 |        0 |        0
823.65/823.80	c  823s |      15 |  2769915 |   103232 |    47282      3 |        0 |        0
826.25/826.46	c  825s |      15 |  2771817 |   103432 |    47282      3 |        0 |        0
828.35/828.56	c  828s |      15 |  2778027 |   103732 |    47282      3 |        0 |        0
831.05/831.23	c  830s |      15 |  2779737 |   104032 |    47282      3 |        0 |        0
833.65/833.84	c  833s |      15 |  2784710 |   104332 |    47282      3 |        0 |        0
836.54/836.73	c  836s |      15 |  2787032 |   104632 |    47282      3 |        0 |        0
838.64/838.80	c  838s |      15 |  2787663 |   104832 |    47282      3 |        0 |        0
841.04/841.27	c  840s |      15 |  2789589 |   105032 |    47282      3 |        0 |        0
843.84/844.06	c  843s |      15 |  2793137 |   105232 |    47282      3 |        0 |        0
846.04/846.21	c  845s |      15 |  2797153 |   105432 |    47282      3 |        0 |        0
848.24/848.41	c  847s |      15 |  2800008 |   105632 |    47282      3 |        0 |        0
850.64/850.82	c  850s |      15 |  2838870 |   105932 |    47282      3 |        0 |        0
853.23/853.42	c  852s |      15 |  2872275 |   106232 |    47282      3 |        0 |        0
855.83/856.08	c  855s |      15 |  2876400 |   106432 |    47282      3 |        0 |        0
857.84/858.10	c  857s |      15 |  2876572 |   106532 |    47282      3 |        0 |        0
860.63/860.80	c  860s |      15 |  2876852 |   106632 |    47282      3 |        0 |        0
863.23/863.46	c  862s |      15 |  2917050 |   106832 |    47282      3 |        0 |        0
865.33/865.50	c  864s |      15 |  2928881 |   107032 |    47282      3 |        0 |        0
867.43/867.62	c  867s |      15 |  2930869 |   107232 |    47282      3 |        0 |        0
869.53/869.76	c  869s |      15 |  2931702 |   107432 |    47282      3 |        0 |        0
871.72/871.94	c  871s |      15 |  2951901 |   107832 |    47282      3 |        0 |        0
873.72/873.97	c  873s |      15 |  2974024 |   108232 |    47282      3 |        0 |        0
876.12/876.30	c  875s |      15 |  3002134 |   108732 |    47282      3 |        0 |        0
878.12/878.37	c  877s |      15 |  3020755 |   109132 |    47282      3 |        0 |        0
880.72/880.92	c  880s |      15 |  3041962 |   109632 |    47282      3 |        0 |        0
882.91/883.17	c  882s |      15 |  3059446 |   109932 |    47282      4 |        0 |        0
885.01/885.25	c  884s |      15 |  3085564 |   110532 |    47282      4 |        0 |        0
887.31/887.50	c  886s |      15 |  3110417 |   111232 |    47282      4 |        0 |        0
890.01/890.28	c  889s |      15 |  3138596 |   112232 |    47282      4 |        0 |        0
893.81/894.09	c  893s |      15 |  3147345 |   112632 |    47282      4 |        0 |        0
895.91/896.12	c  895s |      15 |  3152040 |   112832 |    47282      4 |        0 |        0
897.91/898.15	c  897s |      15 |  3153274 |   112932 |    47282      4 |        0 |        0
900.30/900.53	c  899s |      15 |  3153685 |   113132 |    47282      4 |        0 |        0
903.01/903.29	c  902s |      15 |  3161375 |   113332 |    47282      4 |        0 |        0
905.21/905.48	c  904s |      15 |  3163952 |   113532 |    47282      4 |        0 |        0
907.41/907.62	c  907s |      15 |  3191735 |   113832 |    47282      4 |        0 |        0
910.30/910.52	c  909s |      15 |  3203420 |   114132 |    47282      4 |        0 |        0
912.40/912.65	c  912s |      15 |  3205998 |   114432 |    47282      4 |        0 |        0
914.90/915.11	c  914s |      15 |  3241501 |   114832 |    47282      4 |        0 |        0
917.80/918.03	c  917s |      15 |  3242784 |   115032 |    47282      4 |        0 |        0
919.99/920.20	c  919s |      15 |  3275690 |   115332 |    47282      4 |        0 |        0
922.09/922.33	c  921s |      15 |  3278681 |   115532 |    47282      4 |        0 |        0
924.30/924.52	c  923s |      15 |  3280848 |   115732 |    47282      4 |        0 |        0
927.40/927.69	c  927s |      15 |  3302299 |   116132 |    47282      4 |        0 |        0
929.50/929.76	c  929s |      15 |  3304208 |   116332 |    47282      4 |        0 |        0
931.99/932.26	c  931s |      15 |  3306753 |   116532 |    47282      4 |        0 |        0
934.09/934.30	c  933s |      15 |  3307455 |   116632 |    47282      4 |        0 |        0
936.19/936.41	c  935s |      15 |  3311530 |   116832 |    47282      4 |        0 |        0
939.89/940.15	c  939s |      15 |  3312804 |   117032 |    47282      4 |        0 |        0
942.59/942.85	c  942s |      15 |  3348273 |   117432 |    47282      4 |        0 |        0
944.99/945.21	c  944s |      15 |  3351610 |   117632 |    47282      4 |        0 |        0
947.29/947.57	c  947s |      15 |  3354026 |   117932 |    47282      4 |        0 |        0
950.19/950.41	c  949s |      15 |  3369613 |   118232 |    47282      4 |        0 |        0
952.18/952.44	c  951s |      15 |  3384500 |   118532 |    47282      4 |        0 |        0
954.78/955.03	c  954s |      15 |  3390631 |   118732 |    47282      4 |        0 |        0
956.89/957.15	c  956s |      15 |  3391434 |   118932 |    47282      4 |        0 |        0
959.28/959.51	c  958s |      15 |  3418459 |   119232 |    47282      4 |        0 |        0
961.87/962.10	c  961s |      15 |  3420923 |   119432 |    47282      4 |        0 |        0
963.97/964.21	c  963s |      15 |  3440602 |   119832 |    47282      4 |        0 |        0
966.47/966.79	c  966s |      15 |  3444959 |   120032 |    47282      4 |        0 |        0
968.77/969.09	c  968s |      15 |  3452394 |   120332 |    47282      4 |        0 |        0
971.87/972.12	c  971s |      15 |  3464207 |   120632 |    47282      4 |        0 |        0
974.07/974.32	c  973s |      15 |  3465255 |   120832 |    47282      4 |        0 |        0
976.47/976.79	c  976s |      15 |  3507562 |   121232 |    47282      4 |        0 |        0
978.97/979.28	c  978s |      15 |  3514824 |   121432 |    47282      4 |        0 |        0
981.56/981.81	c  981s |      15 |  3517068 |   121632 |    47282      4 |        0 |        0
983.96/984.28	c  983s |      15 |  3545154 |   121932 |    47282      4 |        0 |        0
986.76/987.08	c  986s |      15 |  3550393 |   122232 |    47282      4 |        0 |        0
989.16/989.48	c  988s |      15 |  3573812 |   122532 |    47282      4 |        0 |        0
991.66/991.92	c  991s |      15 |  3579620 |   122732 |    47282      4 |        0 |        0
994.36/994.69	c  994s |      15 |  3583308 |   123032 |    47282      4 |        0 |        0
996.46/996.78	c  996s |      15 |  3584343 |   123232 |    47282      4 |        0 |        0
1000.06/1000.31	c  999s |      15 |  3590434 |   123632 |    47282      4 |        0 |        0
1002.65/1002.95	c 1002s |      15 |  3590700 |   123732 |    47282      4 |        0 |        0
1004.95/1005.23	c 1004s |      15 |  3616787 |   124032 |    47282      4 |        0 |        0
1006.95/1007.26	c 1006s |      15 |  3622247 |   124332 |    47282      4 |        0 |        0
1009.25/1009.58	c 1009s |      15 |  3642047 |   124632 |    47282      4 |        0 |        0
1011.64/1011.93	c 1011s |      15 |  3645031 |   124832 |    47282      4 |        0 |        0
1014.05/1014.34	c 1013s |      15 |  3659637 |   125232 |    47282      4 |        0 |        0
1016.74/1017.02	c 1016s |      15 |  3664159 |   125532 |    47282      4 |        0 |        0
1019.34/1019.65	c 1019s |      15 |  3683441 |   125832 |    47282      4 |        0 |        0
1021.74/1022.02	c 1021s |      15 |  3683946 |   125932 |    47282      4 |        0 |        0
1023.94/1024.25	c 1023s |      15 |  3696475 |   126232 |    47282      4 |        0 |        0
1026.93/1027.20	c 1026s |      15 |  3700266 |   126432 |    47282      4 |        0 |        0
1029.83/1030.17	c 1029s |      15 |  3710810 |   126832 |    47282      4 |        0 |        0
1031.93/1032.24	c 1031s |      15 |  3714798 |   127032 |    47282      4 |        0 |        0
1034.22/1034.57	c 1034s |      15 |  3728308 |   127332 |    47282      4 |        0 |        0
1037.52/1037.83	c 1037s |      15 |  3731999 |   127532 |    47282      4 |        0 |        0
1039.82/1040.13	c 1039s |      15 |  3743406 |   127832 |    47282      4 |        0 |        0
1042.12/1042.49	c 1041s |      15 |  3746136 |   128032 |    47282      4 |        0 |        0
1044.92/1045.28	c 1044s |      15 |  3762090 |   128332 |    47282      4 |        0 |        0
1047.52/1047.80	c 1047s |      15 |  3777530 |   128632 |    47282      4 |        0 |        0
1049.82/1050.15	c 1049s |      15 |  3780236 |   128832 |    47282      4 |        0 |        0
1052.42/1052.73	c 1052s |      15 |  3797791 |   129132 |    47282      4 |        0 |        0
1054.63/1054.91	c 1054s |      15 |  3804552 |   129532 |    47282      4 |        0 |        0
1056.72/1057.02	c 1056s |      15 |  3811344 |   129832 |    47282      4 |        0 |        0
1059.22/1059.55	c 1059s |      15 |  3814169 |   130032 |    47282      4 |        0 |        0
1061.81/1062.17	c 1061s |      15 |  3816500 |   130232 |    47282      4 |        0 |        0
1064.01/1064.34	c 1063s |      15 |  3818539 |   130432 |    47282      4 |        0 |        0
1066.11/1066.41	c 1065s |      15 |  3820414 |   130732 |    52011      4 |        0 |        0
1068.81/1069.16	c 1068s |      15 |  3829610 |   131232 |    52011      4 |        0 |        0
1071.22/1071.59	c 1071s |      15 |  3830565 |   131432 |    52011      4 |        0 |        0
1072.31/1072.69	c 1072s |      16 |  3849536 |   131552 |    52011      4 |        0 |        0
1074.41/1074.77	c 1074s |      16 |  3853028 |   131652 |    52011      4 |        0 |        0
1077.60/1077.93	c 1077s |      16 |  3853471 |   131852 |    52011      4 |        0 |        0
1079.91/1080.28	c 1079s |      16 |  3877417 |   132152 |    52011      4 |        0 |        0
1082.60/1082.97	c 1082s |      16 |  3892691 |   132452 |    52011      4 |        0 |        0
1084.90/1085.22	c 1084s |      16 |  3905563 |   132652 |    52011      4 |        0 |        0
1088.20/1088.55	c 1088s |      16 |  3907277 |   132852 |    52011      4 |        0 |        0
1090.80/1091.17	c 1090s |      16 |  3932639 |   133052 |    52011      4 |        0 |        0
1093.79/1094.10	c 1093s |      16 |  3950298 |   133352 |    52011      4 |        0 |        0
1095.89/1096.20	c 1095s |      16 |  3951341 |   133552 |    52011      4 |        0 |        0
1098.49/1098.81	c 1098s |      16 |  3959468 |   133752 |    52011      4 |        0 |        0
1101.39/1101.73	c 1101s |      16 |  3960770 |   133952 |    52011      4 |        0 |        0
1104.89/1105.28	c 1104s |      16 |  3961118 |   134152 |    52011      4 |        0 |        0
1107.29/1107.68	c 1107s |      16 |  3966384 |   134452 |    52011      4 |        0 |        0
1109.79/1110.16	c 1109s |      16 |  3967991 |   134652 |    52011      4 |        0 |        0
1112.28/1112.60	c 1112s |      16 |  3974152 |   134852 |    52011      4 |        0 |        0
1115.58/1115.96	c 1115s |      16 |  3989259 |   135152 |    52011      4 |        0 |        0
1118.18/1118.54	c 1118s |      16 |  3996681 |   135452 |    52011      4 |        0 |        0
1121.28/1121.62	c 1121s |      16 |  4003065 |   135752 |    52011      4 |        0 |        0
1124.17/1124.55	c 1124s |      16 |  4005433 |   136052 |    52011      4 |        0 |        0
1126.97/1127.34	c 1126s |      16 |  4007730 |   136252 |    52011      4 |        0 |        0
1129.67/1130.07	c 1129s |      16 |  4014015 |   136452 |    52011      4 |        0 |        0
1132.37/1132.76	c 1132s |      16 |  4026953 |   136752 |    52011      4 |        0 |        0
1135.17/1135.55	c 1135s |      16 |  4031281 |   137052 |    52011      4 |        0 |        0
1137.67/1138.00	c 1137s |      16 |  4033813 |   137352 |    52011      4 |        0 |        0
1139.87/1140.20	c 1139s |      16 |  4038112 |   137552 |    52011      4 |        0 |        0
1142.86/1143.29	c 1142s |      16 |  4044912 |   137852 |    52011      4 |        0 |        0
1145.26/1145.65	c 1145s |      16 |  4047190 |   138152 |    52011      4 |        0 |        0
1148.76/1149.17	c 1148s |      16 |  4049413 |   138352 |    52011      5 |        0 |        0
1151.37/1151.79	c 1151s |      16 |  4056651 |   138652 |    52011      5 |        0 |        0
1153.46/1153.89	c 1153s |      16 |  4058216 |   138952 |    52011      5 |        0 |        0
1156.26/1156.62	c 1156s |      16 |  4062559 |   139252 |    52011      5 |        0 |        0
1159.17/1159.58	c 1159s |      16 |  4068708 |   139552 |    52011      5 |        0 |        0
1161.37/1161.73	c 1161s |      16 |  4074603 |   139852 |    52011      5 |        0 |        0
1163.96/1164.36	c 1163s |      16 |  4082461 |   140252 |    52011      5 |        0 |        0
1166.46/1166.83	c 1166s |      16 |  4090377 |   140652 |    52011      5 |        0 |        0
1168.56/1168.99	c 1168s |      16 |  4092396 |   140952 |    52011      5 |        0 |        0
1171.36/1171.78	c 1171s |      16 |  4095700 |   141252 |    52011      5 |        0 |        0
1174.06/1174.46	c 1173s |      16 |  4110171 |   141552 |    52011      5 |        0 |        0
1177.16/1177.51	c 1176s |      16 |  4111075 |   141752 |    52011      5 |        0 |        0
1179.46/1179.82	c 1179s |      16 |  4114597 |   142052 |    52011      5 |        0 |        0
1182.46/1182.89	c 1182s |      16 |  4118887 |   142352 |    52011      5 |        0 |        0
1184.66/1185.00	c 1184s |      16 |  4121119 |   142552 |    52011      5 |        0 |        0
1187.56/1187.95	c 1187s |      16 |  4123859 |   142852 |    52011      5 |        0 |        0
1190.06/1190.41	c 1189s |      16 |  4125884 |   143052 |    52011      5 |        0 |        0
1192.56/1192.95	c 1192s |      16 |  4127106 |   143252 |    52011      5 |        0 |        0
1195.06/1195.44	c 1194s |      16 |  4129289 |   143452 |    52011      5 |        0 |        0
1198.06/1198.49	c 1197s |      16 |  4130165 |   143652 |    52011      5 |        0 |        0
1243.65/1244.04	c 1243s |      16 |  4151588 |   143752 |    52011      5 |        0 |        0
1245.96/1246.39	c 1245s |      16 |  4182271 |   144052 |    52011      5 |        0 |        0
1248.35/1248.73	c 1248s |      16 |  4228520 |   144352 |    52011      5 |        0 |        0
1250.55/1250.90	c 1250s |      16 |  4228778 |   144452 |    52011      5 |        0 |        0
1253.05/1253.45	c 1252s |      16 |  4229059 |   144552 |    52011      5 |        0 |        0
1255.05/1255.49	c 1254s |      16 |  4268050 |   144752 |    52011      5 |        0 |        0
1257.55/1257.97	c 1257s |      16 |  4274193 |   144952 |    52011      5 |        0 |        0
1259.85/1260.25	c 1259s |      16 |  4274784 |   145152 |    52011      5 |        0 |        0
1262.95/1263.38	c 1262s |      16 |  4330268 |   145552 |    52011      5 |        0 |        0
1265.65/1266.08	c 1265s |      16 |  4332675 |   145752 |    52011      5 |        0 |        0
1268.15/1268.54	c 1268s |      16 |  4369097 |   146052 |    52011      5 |        0 |        0
1270.75/1271.18	c 1270s |      16 |  4374772 |   146252 |    52011      5 |        0 |        0
1273.35/1273.78	c 1273s |      16 |  4375625 |   146452 |    52011      5 |        0 |        0
1275.76/1276.13	c 1275s |      16 |  4414399 |   146752 |    52011      5 |        0 |        0
1277.96/1278.37	c 1277s |      16 |  4422908 |   146952 |    52011      5 |        0 |        0
1280.75/1281.17	c 1280s |      16 |  4424383 |   147252 |    52011      5 |        0 |        0
1283.05/1283.46	c 1282s |      16 |  4461789 |   147552 |    52011      5 |        0 |        0
1285.85/1286.23	c 1285s |      16 |  4464363 |   147852 |    52011      5 |        0 |        0
1288.55/1288.95	c 1288s |      16 |  4509525 |   148252 |    52011      5 |        0 |        0
1290.55/1290.99	c 1290s |      16 |  4515752 |   148452 |    52011      5 |        0 |        0
1293.85/1294.24	c 1293s |      16 |  4526853 |   148752 |    52011      5 |        0 |        0
1296.45/1296.86	c 1296s |      16 |  4557963 |   149052 |    52011      5 |        0 |        0
1299.35/1299.77	c 1299s |      16 |  4562417 |   149352 |    52011      5 |        0 |        0
1301.45/1301.89	c 1301s |      16 |  4590866 |   149652 |    52011      5 |        0 |        0
1304.04/1304.40	c 1303s |      16 |  4592370 |   149852 |    52011      5 |        0 |        0
1306.45/1306.84	c 1306s |      16 |  4642337 |   150252 |    52011      5 |        0 |        0
1309.24/1309.61	c 1309s |      16 |  4646932 |   150552 |    52011      5 |        0 |        0
1311.54/1311.97	c 1311s |      16 |  4680748 |   150852 |    52011      5 |        0 |        0
1313.64/1314.01	c 1313s |      16 |  4686557 |   151052 |    52011      5 |        0 |        0
1315.74/1316.12	c 1315s |      16 |  4714610 |   151552 |    52011      5 |        0 |        0
1317.74/1318.19	c 1317s |      16 |  4739691 |   152052 |    52011      5 |        0 |        0
1320.14/1320.51	c 1319s |      16 |  4779830 |   152652 |    52011      5 |        0 |        0
1322.24/1322.64	c 1322s |      16 |  4804355 |   153252 |    52011      5 |        0 |        0
1324.44/1324.84	c 1324s |      16 |  4834186 |   153952 |    52011      5 |        0 |        0
1326.64/1327.06	c 1326s |      16 |  4852815 |   154252 |    52011      5 |        0 |        0
1329.34/1329.73	c 1329s |      16 |  4854464 |   154452 |    52011      5 |        0 |        0
1332.04/1332.43	c 1331s |      16 |  4875736 |   154652 |    52011      5 |        0 |        0
1334.34/1334.79	c 1334s |      16 |  4879271 |   154852 |    52011      5 |        0 |        0
1336.74/1337.10	c 1336s |      16 |  4888977 |   155152 |    52011      5 |        0 |        0
1339.14/1339.55	c 1339s |      16 |  4916364 |   155752 |    52011      5 |        0 |        0
1342.53/1342.93	c 1342s |      16 |  4927273 |   156152 |    52011      5 |        0 |        0
1344.63/1345.00	c 1344s |      16 |  4942510 |   156452 |    52011      5 |        0 |        0
1346.63/1347.01	c 1346s |      16 |  4958543 |   156752 |    52011      5 |        0 |        0
1349.03/1349.44	c 1348s |      16 |  4973789 |   157052 |    52011      5 |        0 |        0
1352.03/1352.41	c 1351s |      16 |  4984086 |   157352 |    52011      5 |        0 |        0
1354.73/1355.10	c 1354s |      16 |  4996210 |   157652 |    52011      5 |        0 |        0
1357.93/1358.34	c 1357s |      16 |  5003771 |   157952 |    52011      5 |        0 |        0
1359.93/1360.37	c 1359s |      16 |  5020235 |   158252 |    52011      5 |        0 |        0
1362.23/1362.61	c 1362s |      16 |  5031602 |   158552 |    52011      5 |        0 |        0
1364.53/1364.95	c 1364s |      16 |  5047970 |   158852 |    52011      5 |        0 |        0
1367.04/1367.44	c 1366s |      16 |  5061092 |   159152 |    52011      5 |        0 |        0
1369.63/1370.05	c 1369s |      16 |  5079543 |   159552 |    52011      5 |        0 |        0
1371.63/1372.06	c 1371s |      16 |  5091120 |   159852 |    52011      5 |        0 |        0
1374.33/1374.76	c 1374s |      16 |  5105224 |   160252 |    52011      5 |        0 |        0
1376.43/1376.89	c 1376s |      16 |  5127689 |   160652 |    52011      5 |        0 |        0
1379.13/1379.57	c 1379s |      16 |  5146645 |   161052 |    52011      5 |        0 |        0
1381.13/1381.59	c 1381s |      16 |  5160867 |   161452 |    52011      5 |        0 |        0
1383.63/1384.02	c 1383s |      16 |  5168439 |   161752 |    52011      5 |        0 |        0
1386.03/1386.46	c 1385s |      16 |  5171459 |   161952 |    52011      5 |        0 |        0
1388.33/1388.73	c 1388s |      16 |  5181225 |   162152 |    52011      5 |        0 |        0
1392.62/1393.10	c 1392s |      16 |  5182582 |   162352 |    52011      5 |        0 |        0
1395.02/1395.44	c 1394s |      16 |  5201883 |   162552 |    52011      5 |        0 |        0
1398.12/1398.51	c 1397s |      16 |  5202703 |   162752 |    52011      5 |        0 |        0
1400.82/1401.25	c 1400s |      16 |  5224530 |   163052 |    52011      5 |        0 |        0
1403.24/1403.70	c 1403s |      16 |  5231270 |   163252 |    52011      5 |        0 |        0
1405.54/1405.93	c 1405s |      16 |  5242139 |   163452 |    52011      5 |        0 |        0
1408.03/1408.43	c 1407s |      16 |  5262450 |   163752 |    52011      5 |        0 |        0
1410.63/1411.08	c 1410s |      16 |  5280915 |   164052 |    52011      5 |        0 |        0
1414.34/1414.77	c 1414s |      16 |  5310764 |   164352 |    52011      6 |        0 |        0
1416.44/1416.86	c 1416s |      16 |  5317299 |   164552 |    52011      6 |        0 |        0
1418.83/1419.26	c 1418s |      16 |  5329158 |   164752 |    52011      6 |        0 |        0
1421.23/1421.63	c 1421s |      16 |  5330851 |   164952 |    52011      6 |        0 |        0
1423.53/1423.90	c 1423s |      16 |  5335138 |   165152 |    52011      6 |        0 |        0
1426.23/1426.61	c 1426s |      16 |  5369801 |   165552 |    52011      6 |        0 |        0
1428.23/1428.69	c 1428s |      16 |  5373008 |   165852 |    52011      6 |        0 |        0
1430.63/1431.07	c 1430s |      16 |  5377458 |   166252 |    52011      6 |        0 |        0
1432.93/1433.32	c 1432s |      16 |  5382861 |   166752 |    52011      6 |        0 |        0
1435.13/1435.52	c 1434s |      16 |  5386407 |   167152 |    52011      6 |        0 |        0
1437.33/1437.77	c 1437s |      16 |  5394832 |   167452 |    52011      6 |        0 |        0
1439.42/1439.82	c 1439s |      16 |  5396505 |   167752 |    52011      6 |        0 |        0
1442.12/1442.52	c 1441s |      16 |  5398494 |   168052 |    52011      6 |        0 |        0
1444.32/1444.70	c 1444s |      16 |  5406578 |   168252 |    52011      6 |        0 |        0
1446.32/1446.74	c 1446s |      16 |  5419867 |   168552 |    52011      6 |        0 |        0
1448.62/1449.00	c 1448s |      16 |  5435836 |   168952 |    52011      6 |        0 |        0
1452.02/1452.42	c 1451s |      16 |  5449259 |   169252 |    52011      6 |        0 |        0
1454.93/1455.34	c 1454s |      16 |  5451347 |   169552 |    52011      6 |        0 |        0
1457.92/1458.35	c 1457s |      16 |  5459428 |   169852 |    52011      6 |        0 |        0
1460.53/1460.99	c 1460s |      16 |  5467563 |   170152 |    52011      6 |        0 |        0
1462.92/1463.38	c 1462s |      16 |  5475315 |   170552 |    52011      6 |        0 |        0
1465.32/1465.74	c 1465s |      16 |  5480609 |   170852 |    52011      6 |        0 |        0
1467.92/1468.31	c 1467s |      16 |  5483615 |   171152 |    52011      6 |        0 |        0
1470.22/1470.62	c 1470s |      16 |  5491169 |   171352 |    52011      6 |        0 |        0
1472.42/1472.81	c 1472s |      16 |  5517613 |   171652 |    52011      6 |        0 |        0
1474.72/1475.18	c 1474s |      16 |  5522723 |   171952 |    52011      6 |        0 |        0
1477.12/1477.58	c 1477s |      16 |  5526530 |   172252 |    52011      6 |        0 |        0
1479.22/1479.63	c 1479s |      16 |  5550559 |   172552 |    52011      6 |        0 |        0
1481.32/1481.78	c 1481s |      16 |  5564484 |   172852 |    52011      6 |        0 |        0
1483.62/1484.07	c 1483s |      16 |  5580220 |   173152 |    52011      6 |        0 |        0
1485.82/1486.23	c 1485s |      16 |  5604418 |   173452 |    52011      6 |        0 |        0
1488.41/1488.85	c 1488s |      16 |  5630322 |   173852 |    52011      6 |        0 |        0
1490.51/1490.93	c 1490s |      16 |  5651744 |   174152 |    52011      6 |        0 |        0
1493.31/1493.74	c 1493s |      16 |  5677107 |   174552 |    52011      6 |        0 |        0
1495.91/1496.35	c 1495s |      16 |  5684309 |   174852 |    52011      6 |        0 |        0
1498.71/1499.18	c 1498s |      16 |  5690968 |   175152 |    52011      6 |        0 |        0
1501.01/1501.47	c 1500s |      16 |  5739228 |   175552 |    52011      6 |        0 |        0
1503.11/1503.54	c 1503s |      16 |  5740548 |   175752 |    52011      6 |        0 |        0
1505.92/1506.32	c 1505s |      16 |  5760441 |   176152 |    52011      6 |        0 |        0
1508.71/1509.17	c 1508s |      16 |  5768943 |   176452 |    52011      6 |        0 |        0
1511.02/1511.45	c 1510s |      16 |  5773974 |   176652 |    52011      6 |        0 |        0
1513.61/1514.04	c 1513s |      16 |  5787226 |   176952 |    52011      6 |        0 |        0
1515.71/1516.11	c 1515s |      16 |  5790876 |   177152 |    52011      6 |        0 |        0
1518.51/1518.95	c 1518s |      16 |  5801054 |   177452 |    52011      6 |        0 |        0
1521.31/1521.75	c 1521s |      16 |  5813510 |   177752 |    52011      6 |        0 |        0
1523.81/1524.21	c 1523s |      16 |  5826661 |   178052 |    52011      6 |        0 |        0
1525.81/1526.28	c 1525s |      16 |  5828387 |   178252 |    52011      6 |        0 |        0
1529.91/1530.38	c 1529s |      16 |  5845510 |   178352 |    52011      6 |        0 |        0
1532.51/1532.95	c 1532s |      16 |  5915309 |   178752 |    52011      6 |        0 |        0
1534.71/1535.15	c 1534s |      16 |  5917048 |   178952 |    52011      6 |        0 |        0
1536.81/1537.24	c 1536s |      16 |  5917400 |   179152 |    52011      6 |        0 |        0
1539.11/1539.58	c 1539s |      16 |  5967073 |   179752 |    52011      6 |        0 |        0
1541.51/1541.95	c 1541s |      16 |  6004385 |   180252 |    52011      6 |        0 |        0
1543.71/1544.18	c 1543s |      16 |  6036040 |   180752 |    52011      6 |        0 |        0
1546.01/1546.40	c 1545s |      16 |  6074413 |   181252 |    52011      6 |        0 |        0
1548.00/1548.40	c 1547s |      16 |  6113980 |   181852 |    52011      6 |        0 |        0
1550.20/1550.69	c 1550s |      16 |  6154700 |   182552 |    52011      6 |        0 |        0
1552.50/1552.93	c 1552s |      16 |  6175520 |   182952 |    52011      6 |        0 |        0
1554.60/1555.04	c 1554s |      16 |  6193724 |   183352 |    52011      6 |        0 |        0
1556.60/1557.09	c 1556s |      16 |  6205149 |   183652 |    52011      6 |        0 |        0
1558.90/1559.31	c 1558s |      16 |  6226980 |   184052 |    52011      6 |        0 |        0
1560.90/1561.33	c 1560s |      16 |  6247323 |   184452 |    52011      6 |        0 |        0
1562.90/1563.34	c 1562s |      16 |  6279990 |   184952 |    52011      6 |        0 |        0
1564.91/1565.39	c 1564s |      16 |  6311249 |   185652 |    52011      6 |        0 |        0
1567.60/1568.09	c 1567s |      16 |  6331944 |   186152 |    52011      6 |        0 |        0
1569.90/1570.32	c 1569s |      16 |  6338042 |   186552 |    52011      6 |        0 |        0
1572.00/1572.49	c 1571s |      16 |  6346980 |   187152 |    52011      6 |        0 |        0
1574.40/1574.81	c 1574s |      16 |  6380440 |   187652 |    52011      6 |        0 |        0
1577.01/1577.41	c 1576s |      16 |  6400288 |   188052 |    52011      6 |        0 |        0
1579.10/1579.53	c 1579s |      16 |  6437607 |   188552 |    52011      6 |        0 |        0
1581.20/1581.65	c 1581s |      16 |  6463304 |   189052 |    52011      6 |        0 |        0
1583.60/1584.08	c 1583s |      16 |  6499991 |   189752 |    52011      6 |        0 |        0
1585.70/1586.19	c 1585s |      16 |  6518467 |   190252 |    52011      6 |        0 |        0
1588.11/1588.53	c 1587s |      16 |  6538505 |   190752 |    52011      6 |        0 |        0
1591.00/1591.48	c 1590s |      16 |  6553874 |   191152 |    52011      7 |        0 |        0
1593.10/1593.51	c 1592s |      16 |  6559931 |   191652 |    52011      7 |        0 |        0
1595.20/1595.65	c 1595s |      16 |  6573935 |   192352 |    52011      7 |        0 |        0
1597.30/1597.79	c 1597s |      16 |  6601813 |   192952 |    52011      7 |        0 |        0
1599.50/1599.99	c 1599s |      16 |  6653200 |   193652 |    52011      7 |        0 |        0
1601.60/1602.08	c 1601s |      16 |  6690481 |   194252 |    52011      7 |        0 |        0
1603.90/1604.38	c 1603s |      16 |  6717517 |   194852 |    52011      7 |        0 |        0
1606.20/1606.65	c 1606s |      16 |  6735813 |   195752 |    52011      7 |        0 |        0
1608.30/1608.72	c 1608s |      16 |  6760772 |   196452 |    57213      7 |        0 |        0
1610.60/1611.09	c 1610s |      16 |  6787236 |   197152 |    57213      7 |        0 |        0
1612.00/1612.42	c 1611s |      17 |  6792115 |   197432 |    57213      7 |        0 |        0
1614.50/1614.93	c 1614s |      17 |  6805720 |   197632 |    57213      7 |        0 |        0
1618.90/1619.38	c 1618s |      17 |  6807333 |   197832 |    57213      7 |        0 |        0
1621.49/1621.91	c 1621s |      17 |  6850698 |   198132 |    57213      7 |        0 |        0
1623.79/1624.22	c 1623s |      17 |  6857682 |   198432 |    57213      7 |        0 |        0
1627.39/1627.87	c 1627s |      17 |  6862997 |   198632 |    57213      7 |        0 |        0
1630.29/1630.73	c 1630s |      17 |  6867176 |   198832 |    57213      7 |        0 |        0
1632.70/1633.19	c 1632s |      17 |  6897568 |   199132 |    57213      7 |        0 |        0
1634.80/1635.22	c 1634s |      17 |  6912789 |   199432 |    57213      7 |        0 |        0
1638.00/1638.46	c 1637s |      17 |  6934277 |   199732 |    57213      7 |        0 |        0
1640.39/1640.83	c 1640s |      17 |  6960356 |   200032 |    57213      7 |        0 |        0
1643.29/1643.70	c 1643s |      17 |  6989634 |   200432 |    57213      7 |        0 |        0
1645.59/1646.07	c 1645s |      17 |  7012066 |   200832 |    57213      7 |        0 |        0
1648.19/1648.69	c 1648s |      17 |  7016907 |   201132 |    57213      7 |        0 |        0
1650.89/1651.38	c 1650s |      17 |  7055020 |   201532 |    57213      7 |        0 |        0
1653.00/1653.40	c 1652s |      17 |  7083645 |   201832 |    57213      7 |        0 |        0
1655.69/1656.10	c 1655s |      17 |  7090350 |   202132 |    57213      7 |        0 |        0
1658.79/1659.29	c 1658s |      17 |  7125856 |   202532 |    57213      7 |        0 |        0
1660.89/1661.36	c 1660s |      17 |  7141358 |   202832 |    57213      7 |        0 |        0
1664.00/1664.41	c 1663s |      17 |  7152032 |   203132 |    57213      7 |        0 |        0
1666.39/1666.81	c 1666s |      17 |  7176100 |   203432 |    57213      7 |        0 |        0
1668.40/1668.89	c 1668s |      17 |  7192967 |   203732 |    57213      7 |        0 |        0
1670.79/1671.25	c 1670s |      17 |  7225900 |   204232 |    57213      7 |        0 |        0
1673.09/1673.57	c 1673s |      17 |  7248841 |   204632 |    57213      7 |        0 |        0
1675.39/1675.83	c 1675s |      17 |  7251983 |   204832 |    57213      7 |        0 |        0
1677.89/1678.37	c 1677s |      17 |  7278586 |   205232 |    57213      7 |        0 |        0
1680.89/1681.35	c 1680s |      17 |  7280205 |   205532 |    57213      7 |        0 |        0
1682.99/1683.41	c 1682s |      17 |  7282963 |   205832 |    57213      7 |        0 |        0
1685.39/1685.82	c 1685s |      17 |  7303082 |   206332 |    57213      7 |        0 |        0
1687.39/1687.88	c 1687s |      17 |  7318146 |   206632 |    57213      7 |        0 |        0
1689.99/1690.41	c 1689s |      17 |  7336733 |   207132 |    57213      7 |        0 |        0
1692.49/1692.92	c 1692s |      17 |  7357710 |   207632 |    57213      7 |        0 |        0
1694.69/1695.19	c 1694s |      17 |  7375723 |   208132 |    57213      7 |        0 |        0
1696.68/1697.19	c 1696s |      17 |  7387572 |   208432 |    57213      7 |        0 |        0
1699.19/1699.65	c 1699s |      17 |  7395582 |   208732 |    57213      7 |        0 |        0
1701.39/1701.83	c 1701s |      17 |  7401271 |   209032 |    57213      7 |        0 |        0
1704.18/1704.67	c 1704s |      17 |  7414716 |   209632 |    57213      7 |        0 |        0
1706.48/1706.98	c 1706s |      17 |  7415206 |   209832 |    57213      7 |        0 |        0
1708.78/1709.26	c 1708s |      17 |  7420155 |   210032 |    57213      7 |        0 |        0
1711.38/1711.89	c 1711s |      17 |  7421099 |   210232 |    57213      7 |        0 |        0
1713.49/1713.96	c 1713s |      17 |  7421739 |   210432 |    57213      7 |        0 |        0
1715.69/1716.15	c 1715s |      17 |  7438490 |   210732 |    57213      7 |        0 |        0
1717.89/1718.32	c 1717s |      17 |  7453826 |   211032 |    57213      7 |        0 |        0
1720.38/1720.85	c 1720s |      17 |  7455331 |   211232 |    57213      7 |        0 |        0
1723.39/1723.83	c 1723s |      17 |  7470632 |   211432 |    57213      7 |        0 |        0
1725.88/1726.38	c 1725s |      17 |  7488049 |   211732 |    57213      7 |        0 |        0
1728.28/1728.72	c 1728s |      17 |  7507008 |   212032 |    57213      7 |        0 |        0
1730.68/1731.15	c 1730s |      17 |  7517345 |   212332 |    57213      7 |        0 |        0
1732.88/1733.36	c 1732s |      17 |  7534551 |   212632 |    57213      7 |        0 |        0
1735.38/1735.86	c 1735s |      17 |  7537199 |   212932 |    57213      7 |        0 |        0
1737.78/1738.25	c 1737s |      17 |  7537918 |   213132 |    57213      7 |        0 |        0
1740.38/1740.88	c 1740s |      17 |  7557615 |   213432 |    57213      7 |        0 |        0
1742.78/1743.30	c 1742s |      17 |  7568446 |   213632 |    57213      7 |        0 |        0
1745.07/1745.56	c 1745s |      17 |  7589503 |   213932 |    57213      7 |        0 |        0
1747.77/1748.28	c 1747s |      17 |  7596710 |   214232 |    57213      7 |        0 |        0
1750.88/1751.34	c 1750s |      17 |  7611282 |   214532 |    57213      7 |        0 |        0
1753.08/1753.58	c 1753s |      17 |  7618845 |   214832 |    57213      7 |        0 |        0
1755.18/1755.61	c 1755s |      17 |  7621796 |   215032 |    57213      7 |        0 |        0
1757.77/1758.28	c 1757s |      17 |  7628020 |   215332 |    57213      7 |        0 |        0
1759.87/1760.38	c 1759s |      17 |  7635163 |   215832 |    57213      7 |        0 |        0
1762.07/1762.52	c 1761s |      17 |  7640641 |   216232 |    57213      7 |        0 |        0
1764.27/1764.76	c 1764s |      17 |  7645209 |   216632 |    57213      7 |        0 |        0
1766.87/1767.37	c 1766s |      17 |  7651939 |   217032 |    57213      7 |        0 |        0
1769.27/1769.71	c 1769s |      17 |  7668869 |   217432 |    57213      7 |        0 |        0
1771.97/1772.43	c 1771s |      17 |  7671987 |   217832 |    57213      7 |        0 |        0
1774.87/1775.37	c 1774s |      17 |  7679256 |   218132 |    57213      7 |        0 |        0
1777.57/1778.05	c 1777s |      17 |  7686184 |   218332 |    57213      7 |        0 |        0
1779.97/1780.46	c 1779s |      17 |  7709651 |   218532 |    57213      7 |        0 |        0
1782.37/1782.83	c 1782s |      17 |  7737727 |   218832 |    57213      7 |        0 |        0
1784.98/1785.41	c 1784s |      17 |  7738426 |   219032 |    57213      7 |        0 |        0
1787.37/1787.89	c 1787s |      17 |  7774174 |   219332 |    57213      7 |        0 |        0
1790.27/1790.78	c 1790s |      17 |  7787936 |   219732 |    57213      7 |        0 |        0
1793.17/1793.69	c 1793s |      17 |  7811944 |   220032 |    57213      7 |        0 |        0
1795.88/1796.40	c 1795s |      17 |  7826378 |   220332 |    57213      7 |        0 |        0
1798.37/1798.88	c 1798s |      17 |  7858999 |   220632 |    57213      7 |        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-4078987-1465264438/watcher-4078987-1465264438 -o /tmp/evaluation-result-4078987-1465264438/solver-4078987-1465264438 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078987-1465264438.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.25 2.20 3/179 14872
/proc/meminfo: memFree=29152772/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 2908 0 0 0 0 0 0 0 20 0 4 0 108375716 796323840 3269 33554432000 4194304 16246674 140735094489120 140735094488544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 194927 3280 441 2943 0 191821 0
[pid=14872/tid=14873] ppid=14869 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 815198208 3343 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=800188 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 819392512 3360 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 824635392 3377 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.30 2.25 2.20 3/179 14872
/proc/meminfo: memFree=29152772/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 27112 0 0 0 5 3 0 0 20 0 4 0 108375716 1333334016 27412 33554432000 4194304 16246674 140735094489120 140735094488432 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 325521 27429 800 2943 0 322415 0
[pid=14872/tid=14873] ppid=14869 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1333334016 27440 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1333334016 27452 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1333334016 27463 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200524 s]
/proc/loadavg: 2.30 2.25 2.20 3/179 14872
/proc/meminfo: memFree=29152772/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 44853 0 0 0 13 6 0 0 20 0 4 0 108375716 1344868352 45152 33554432000 4194304 16246674 140735094489120 140735094488432 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328337 45152 837 2943 0 325231 0
[pid=14872/tid=14873] ppid=14869 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1344868352 45152 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1344868352 45152 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1344868352 45152 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300493 s]
/proc/loadavg: 2.30 2.25 2.20 3/179 14872
/proc/meminfo: memFree=29152772/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 45037 0 0 0 23 6 0 0 20 0 4 0 108375716 1344868352 45336 33554432000 4194304 16246674 140735094489120 140735094488432 4220871 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328337 45336 837 2943 0 325231 0
[pid=14872/tid=14873] ppid=14869 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1344868352 45336 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1344868352 45336 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1344868352 45336 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700428 s]
/proc/loadavg: 2.30 2.25 2.20 3/179 14872
/proc/meminfo: memFree=29152772/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 65247 0 0 0 60 9 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 140735094486912 12477766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 65546 878 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.30 2.25 2.20 3/183 14876
/proc/meminfo: memFree=28891028/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 65247 0 0 0 140 9 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 140735094486912 5840991 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 65546 878 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 65546 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.30 2.25 2.20 3/183 14876
/proc/meminfo: memFree=28631604/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 130138 0 0 0 291 18 0 0 20 0 4 0 108375716 1345916928 130437 33554432000 4194304 16246674 140735094489120 140735094471040 6012051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 130437 878 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 130437 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 130437 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 130437 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30042 s]
/proc/loadavg: 2.28 2.25 2.20 3/183 14876
/proc/meminfo: memFree=28073360/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 269769 0 0 0 596 33 0 0 20 0 4 0 108375716 1345916928 270068 33554432000 4194304 16246674 140735094489120 140735094471040 5523241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 270068 878 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270068 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270068 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270068 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.34 2.26 2.20 4/183 14876
/proc/meminfo: memFree=28073144/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 269772 0 0 0 1236 33 0 0 20 0 4 0 108375716 1345916928 270071 33554432000 4194304 16246674 140735094489120 140735094471040 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 270071 881 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270071 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270071 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270071 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.26 2.25 2.19 4/183 14876
/proc/meminfo: memFree=28071532/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 269774 0 0 0 2515 33 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 140735094471040 6020448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 270073 883 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.31 2.26 2.20 3/183 14876
/proc/meminfo: memFree=28071384/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 269774 0 0 0 5075 33 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 140735094471040 6012004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 270073 883 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.19 4/183 14877
/proc/meminfo: memFree=28067868/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 269774 0 0 0 10194 34 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 140735094471040 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 328593 270073 883 2943 0 325487 0
[pid=14872/tid=14873] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1345916928 270073 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.47 2.30 2.21 5/183 14979
/proc/meminfo: memFree=28068028/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1338948 CPUtime=1361.93 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 276144 0 0 0 136144 49 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 140735094471040 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 334737 276479 889 2943 0 331631 0
[pid=14872/tid=14873] ppid=14869 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.35 2.29 2.21 3/183 15030
/proc/meminfo: memFree=28060056/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1338948 CPUtime=1421.93 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 276144 0 0 0 142143 50 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 140735094471040 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 334737 276479 889 2943 0 331631 0
[pid=14872/tid=14873] ppid=14869 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1371082752 276479 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.18 2.25 2.20 3/183 15031
/proc/meminfo: memFree=28048500/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1351236 CPUtime=1481.91 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 279216 0 0 0 148141 50 0 0 20 0 4 0 108375716 1383665664 279551 33554432000 4194304 16246674 140735094489120 140735094471040 12483204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 337809 279551 889 2943 0 334703 0
[pid=14872/tid=14873] ppid=14869 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1383665664 279551 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1383665664 279551 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1383665664 279551 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1351236

[startup+1542.31 s]
/proc/loadavg: 2.18 2.23 2.19 4/183 15032
/proc/meminfo: memFree=28043764/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1355332 CPUtime=1541.91 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 280240 0 0 0 154140 51 0 0 20 0 4 0 108375716 1387859968 280575 33554432000 4194304 16246674 140735094489120 140735094471040 5721380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 338833 280575 889 2943 0 335727 0
[pid=14872/tid=14873] ppid=14869 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1387859968 280575 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1387859968 280575 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1387859968 280575 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1355332

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/184 15036
/proc/meminfo: memFree=28010992/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1360452 CPUtime=1601.9 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 281387 0 0 0 160138 52 0 0 20 0 4 0 108375716 1393102848 281722 33554432000 4194304 16246674 140735094489120 140735094488296 5723016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 340113 281722 889 2943 0 337007 0
[pid=14872/tid=14873] ppid=14869 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1393102848 281722 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1393102848 281722 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1393102848 281722 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1360452

[startup+1662.3 s]
/proc/loadavg: 2.07 2.18 2.17 3/183 15037
/proc/meminfo: memFree=28002596/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1369668 CPUtime=1661.89 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 283566 0 0 0 166136 53 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 140735094488296 6020899 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 342417 283901 889 2943 0 339311 0
[pid=14872/tid=14873] ppid=14869 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1369668

[startup+1722.3 s]
/proc/loadavg: 2.13 2.17 2.17 4/182 15135
/proc/meminfo: memFree=28037488/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1369668 CPUtime=1721.88 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 283566 0 0 0 172135 53 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 140735094471040 5824052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 342417 283901 889 2943 0 339311 0
[pid=14872/tid=14873] ppid=14869 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1402540032 283901 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1369668

[startup+1782.3 s]
/proc/loadavg: 2.40 2.24 2.19 4/183 15234
/proc/meminfo: memFree=28042616/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1378884 CPUtime=1781.87 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 286026 0 0 0 178133 54 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 140735094471040 5669288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 344721 286361 889 2943 0 341615 0
[pid=14872/tid=14873] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1378884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.39 2.25 2.19 3/183 15235
/proc/meminfo: memFree=28042360/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1378884 CPUtime=1800.07 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 286026 0 0 0 179953 54 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 140735094471040 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 344721 286361 889 2943 0 341615 0
[pid=14872/tid=14873] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1378884

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 14872 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.39 2.25 2.19 3/183 15235
/proc/meminfo: memFree=28042360/32872528 swapFree=17452/1581112
[pid=14872] ppid=14869 vsize=1378884 CPUtime=1800.07 cores=1,3,5,7
/proc/14872/stat : 14872 (toysat) R 14869 14872 13546 0 -1 4202496 286026 0 0 0 179953 54 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 140735094471040 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14872/statm: 344721 286361 889 2943 0 341615 0
[pid=14872/tid=14873] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14873/stat : 14873 (toysat) S 14869 14872 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999153466608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14872/tid=14874] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14874/stat : 14874 (toysat) S 14869 14872 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999142976752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14872/tid=14875] ppid=14869 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/14872/task/14875/stat : 14875 (toysat) S 14869 14872 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108375716 1411977216 286361 33554432000 4194304 16246674 140735094489120 139999022410928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1378884

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.54
CPU system time (s): 0.541917
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1378884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.541917
maximum resident set size= 1145444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286026
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= 235
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77227 second user time and 6.94894 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 03:53:58
IDJOB=4078987
IDBENCH=48350
IDSOLVER=2542
FILE ID=node139/4078987-1465264438
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_3_80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078987-1465264438/watcher-4078987-1465264438 -o /tmp/evaluation-result-4078987-1465264438/solver-4078987-1465264438 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078987-1465264438.opb

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

MD5SUM BENCH= 6671ed3c9b389a2223dba62c8a435d2e
RANDOM SEED=1326866613

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29153788 kB
Buffers:          116568 kB
Cached:           171076 kB
SwapCached:         1464 kB
Active:          1232496 kB
Inactive:         168896 kB
Active(anon):    1113548 kB
Inactive(anon):     2220 kB
Active(file):     118948 kB
Inactive(file):   166676 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2695192 kB
Mapped:            10784 kB
Shmem:                 0 kB
Slab:             599864 kB
SReclaimable:      43936 kB
SUnreclaim:       555928 kB
KernelStack:        1520 kB
PageTables:         9368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2839496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1918976 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= 71700 MiB
End job on node139 at 2016-06-07 04:23:58