Trace number 4093091

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.17 1800.53

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12013_1-unsat--soft-33-100-0.wbo
MD5SUMaf27a3363dc9db8608eaadebe8e447c1
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables29282
Total number of constraints92908
Number of soft constraints62298
Number of constraints which are clauses92428
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint93
Top cost 3133829
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3133828
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 554
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T13:38:46+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093091-1466077125.wbo"]
0.00/0.01	c use --random-gen="170965066 1788437157 585672507 1146433223 328014083 2568807016 2779233932 1968009821 1215292526 831963704 552626264 1118021404 3829907300 3682142568 2139380215 2017070035 3016466231 3527670431 2378706537 1198927030 825947896 780674837 3420375394 3386073560 2470391893 3096142133 1236553751 2363093400 659675859 1006604540 1933649830 1396804410 680602130 511432885 1257558054 4261110255 2294194464 2834274605 3734027865 1371204092 3832327915 1196061625 3377561568 1110707478 3043674281 97859212 3383260770 1558583396 3767737243 4268418485 739495445 522547306 2544788935 4102833655 1651970051 3708327847 2741297264 3274942643 3920265092 3468933066 1186794845 1227099166 363475580 2994885344 787934815 1296710627 877358615 2219839638 1980533385 3249997228 665130642 987016682 756877409 369559619 3807591428 3613854474 3904023592 2484553020 1002739995 2069499517 1259772768 3866771230 1725190558 3260055654 966128497 3300801260 2970581841 1709821866 2970344669 636357343 1131820806 1427318363 3619156545 2420180340 3948331712 1032572664 2019776328 1755926149 1194684744 650793654 3298363992 993267698 642932778 2225028826 3443882769 877416721 2177352049 3935257618 341329807 3169752291 3141011646 3409900305 3278631359 2235056384 2548609104 288409840 3545214794 75283700 2092751479 860215006 95222083 1743461799 2347613673 3988954765 1569246295 190550280 2050367427 831795861 2459913901 2400878675 3447550926 642781852 3391117141 3687751468 1580262096 2093556750 828922752 1013739364 1248249901 2667771101 3679925743 1875232247 1867656593 852157331 978255679 2428371962 4010585252 1704873651 520049159 3056902062 1118906256 1217162420 2300271364 1135436575 1972888637 1460292097 368574773 439434813 534963708 2836237383 2589924701 3915934442 2174875242 1278878453 3047878758 3478598352 605669905 2011004787 3161035709 691739889 3309307611 1420556420 4078573951 3588606297 1522292474 254481838 2167474601 1341414023 1994886151 2232759808 2104174984 661821425 2332424513 494632627 2189270910 1279524205 1800578241 1044932469 577312312 3955158357 2900040788 234903322 2753970334 2918948807 1152287231 2361306273 3938821441 261250879 1267022949 3535294769 3211891323 466917633 869879187 2005193360 3038244599 1507345182 2706485734 3989365902 2539094505 4264116987 1945393302 1944784068 491574888 2109201250 1193363258 2808368980 3239940809 2562323082 3770459584 2094460202 1435397280 1967206847 4202357360 1358451255 2316356267 3251355996 2443362927 3817414383 1372870673 605107578 4139875805 403108998 3215246282 3412080198 1887377200 4228510590 3384560853 768062090 1990775044 650517226 2071718879 597347161 663965278 3295627084 1385905439 3939856725 363458685 1737712213 2614430264 3572862786 832711776 3755708643 4022123069 2640078230 741488932 3700309103 255 362436" option to reproduce the execution
29.89/29.92	c #vars 29282
29.89/29.92	c #constraints 92908
31.69/31.79	c BCD2: Hardening is enabled.
31.69/31.79	c BCD2: BiasedSearch is enabled.
31.69/31.79	c Solving starts ...
31.69/31.79	c ============================[ Search Statistics ]============================
31.69/31.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.69/31.79	c       |         |          |          |    Limit     GC | Var      | Constra 
31.69/31.79	c =============================================================================
31.79/31.80	c  0.0s |       0 |        0 |        0 |    60165      0 |      595 |        0
32.19/32.20	c  0.4s |       1 |    46403 |      100 |    60165      0 |      595 |     1737
32.49/32.53	c  0.7s |       1 |   119417 |      110 |    66182      0 |      595 |     1737
32.49/32.53	c #cpu_time = 0.666s
32.49/32.53	c #wall_clock_time = 0.666s
32.49/32.53	c #decision = 119417
32.49/32.53	c #random_decision = 473
32.49/32.53	c #conflict = 110
32.49/32.53	c #restart = 1
32.49/32.55	o 118105
32.69/32.73	c BCD2: updating upper bound: 3148210 -> 132486
32.99/33.09	c BCD2: 0 <= obj <= 132486
32.99/33.10	c BCD2: #cores=0, #unrelaxed=62126, #relaxed=0, #hardened=0
32.99/33.10	c BCD2: #sat=1 #unsat=1 bias=1/2
33.09/33.11	c Solving starts ...
33.09/33.11	c ============================[ Search Statistics ]============================
33.09/33.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
33.09/33.11	c       |         |          |          |    Limit     GC | Var      | Constra 
33.09/33.11	c =============================================================================
33.09/33.11	c  0.0s |       0 |        0 |        0 |    66182      0 |      595 |     1737
33.09/33.19	c  0.1s |       0 |        0 |        0 |    66182      0 |      595 |     1737
33.09/33.19	c #cpu_time = 0.077s
33.09/33.19	c #wall_clock_time = 0.077s
33.09/33.19	c #decision = 0
33.09/33.19	c #random_decision = 0
33.09/33.19	c #conflict = 0
33.09/33.19	c #restart = 0
33.09/33.19	c BCD2: found a new core of size 1: cost of the new core is >=14382
33.09/33.19	c lower bound updated to 0
33.19/33.22	c BCD2: 14382 <= obj <= 132486
33.19/33.22	c BCD2: #cores=1, #unrelaxed=62125, #relaxed=1, #hardened=0
33.19/33.22	c BCD2: #sat=1 #unsat=2 bias=2/3
33.19/33.22	c Solving starts ...
33.19/33.22	c ============================[ Search Statistics ]============================
33.19/33.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
33.19/33.22	c       |         |          |          |    Limit     GC | Var      | Constra 
33.19/33.22	c =============================================================================
33.19/33.22	c  0.0s |       0 |        0 |        0 |    66182      0 |      595 |     1737
33.29/33.36	c  0.1s |       0 |    23215 |        0 |    66182      0 |      595 |     1737
33.29/33.36	c #cpu_time = 0.128s
33.29/33.36	c #wall_clock_time = 0.128s
33.29/33.36	c #decision = 23215
33.29/33.36	c #random_decision = 0
33.29/33.36	c #conflict = 0
33.29/33.36	c #restart = 0
33.29/33.36	c BCD2: found a new core of size 11: cost of the new core is >=1
33.29/33.36	c lower bound updated to 1
33.38/33.41	c BCD2: 14383 <= obj <= 132486
33.38/33.41	c BCD2: #cores=2, #unrelaxed=62114, #relaxed=12, #hardened=0
33.38/33.41	c BCD2: #sat=1 #unsat=3 bias=3/4
33.38/33.41	c Solving starts ...
33.38/33.41	c ============================[ Search Statistics ]============================
33.38/33.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
33.38/33.41	c       |         |          |          |    Limit     GC | Var      | Constra 
33.38/33.41	c =============================================================================
33.38/33.41	c  0.0s |       0 |        0 |        0 |    66182      0 |      595 |     1737
33.78/33.83	c  0.4s |       1 |    62204 |      100 |    66182      0 |      595 |     1737
34.28/34.30	c  0.9s |       2 |   124491 |      250 |    72801      0 |      595 |     1737
35.08/35.18	c  1.8s |       3 |   186844 |      475 |    80082      0 |      595 |     1737
35.78/35.87	c  2.5s |       4 |   249354 |      813 |    88091      0 |      595 |     1737
36.98/37.06	c  3.6s |       5 |   312025 |     1320 |    96901      0 |      595 |     1737
38.49/38.52	c  5.1s |       6 |   375069 |     2081 |   106592      0 |      595 |     1737
40.58/40.64	c  7.2s |       6 |   438287 |     2981 |   106592      0 |      595 |     1737
41.08/41.15	c  7.7s |       7 |   438592 |     3223 |   117252      0 |      595 |     1737
43.08/43.17	c  9.8s |       7 |   501871 |     4223 |   117252      0 |      595 |     1737
44.58/44.62	c 11.2s |       8 |   502738 |     4936 |   128978      0 |      595 |     1737
46.68/46.75	c 13.3s |       8 |   566024 |     5936 |   128978      0 |      595 |     1737
48.78/48.88	c 15.5s |       8 |   567083 |     6836 |   128978      0 |      595 |     1737
50.38/50.48	c 17.1s |       9 |   567870 |     7506 |   141876      0 |      595 |     1737
52.58/52.68	c 19.3s |       9 |   631099 |     8306 |   141876      0 |      595 |     1737
54.68/54.73	c 21.3s |       9 |   632175 |     9106 |   141876      0 |      595 |     1737
56.88/56.91	c 23.5s |       9 |   633387 |     9906 |   141876      0 |      595 |     1737
58.98/59.07	c 25.7s |       9 |   634882 |    11006 |   141876      0 |      595 |     1737
60.18/60.29	c 26.9s |      10 |   635318 |    11361 |   156064      0 |      595 |     1737
62.38/62.47	c 29.1s |      10 |   698529 |    12261 |   156064      0 |      595 |     1737
64.38/64.49	c 31.1s |      10 |   699467 |    13061 |   156064      0 |      595 |     1737
66.48/66.59	c 33.2s |      10 |   700555 |    13961 |   156064      0 |      595 |     1737
68.78/68.83	c 35.4s |      10 |   701392 |    14661 |   156064      0 |      595 |     1737
70.78/70.89	c 37.5s |      10 |   702230 |    15361 |   156064      0 |      595 |     1737
73.17/73.23	c 39.8s |      10 |   703084 |    16061 |   156064      0 |      595 |     1737
75.38/75.42	c 42.0s |      10 |   703915 |    16761 |   156064      0 |      595 |     1737
76.48/76.50	c 43.1s |      11 |   704400 |    17144 |   171671      0 |      595 |     1737
78.48/78.58	c 45.2s |      11 |   767599 |    18044 |   171671      0 |      595 |     1737
80.68/80.79	c 47.4s |      11 |   769157 |    19244 |   171671      0 |      595 |     1737
82.78/82.84	c 49.4s |      11 |   770314 |    20144 |   171671      0 |      595 |     1737
84.88/84.91	c 51.5s |      11 |   771588 |    21144 |   171671      0 |      595 |     1737
87.08/87.11	c 53.7s |      11 |   772734 |    22044 |   171671      0 |      595 |     1737
89.28/89.35	c 55.9s |      11 |   773783 |    22844 |   171671      0 |      595 |     1737
91.47/91.54	c 58.1s |      11 |   774919 |    23744 |   171671      0 |      595 |     1737
93.58/93.65	c 60.2s |      11 |   775908 |    24544 |   171671      0 |      595 |     1737
95.57/95.66	c 62.2s |      11 |   776766 |    25244 |   171671      0 |      595 |     1737
97.67/97.72	c 64.3s |      12 |   777465 |    25819 |   188839      0 |      595 |     1737
99.77/99.87	c 66.5s |      12 |   840311 |    26419 |   188839      0 |      595 |     1737
101.97/102.01	c 68.6s |      12 |   841501 |    27319 |   188839      0 |      595 |     1737
104.17/104.22	c 70.8s |      12 |   842795 |    28019 |   188839      0 |      595 |     1737
106.28/106.36	c 72.9s |      12 |   843790 |    28719 |   188839      0 |      595 |     1737
108.38/108.45	c 75.0s |      12 |   844820 |    29419 |   188839      0 |      595 |     1737
110.58/110.63	c 77.2s |      12 |   845733 |    30019 |   188839      0 |      595 |     1737
112.67/112.73	c 79.3s |      12 |   846573 |    30619 |   188839      0 |      595 |     1737
115.17/115.24	c 81.8s |      12 |   847442 |    31219 |   188839      0 |      595 |     1737
117.48/117.52	c 84.1s |      12 |   848273 |    31819 |   188839      0 |      595 |     1737
119.68/119.78	c 86.4s |      12 |   849159 |    32419 |   188839      0 |      595 |     1737
121.97/122.03	c 88.6s |      12 |   850116 |    33019 |   188839      0 |      595 |     1737
124.07/124.18	c 90.8s |      12 |   851085 |    33719 |   188839      0 |      595 |     1737
126.58/126.63	c 93.2s |      12 |   852099 |    34419 |   188839      0 |      595 |     1737
128.67/128.73	c 95.3s |      12 |   852767 |    34919 |   188839      0 |      595 |     1737
130.97/131.00	c 97.6s |      12 |   853510 |    35519 |   188839      0 |      595 |     1737
133.27/133.32	c 99.9s |      12 |   854149 |    36019 |   188839      0 |      595 |     1737
135.47/135.54	c  102s |      12 |   854836 |    36519 |   188839      0 |      595 |     1737
137.87/137.95	c  104s |      12 |   855781 |    37119 |   188839      0 |      595 |     1737
140.37/140.43	c  107s |      12 |   856827 |    37719 |   188839      0 |      595 |     1737
142.67/142.76	c  109s |      12 |   857406 |    38119 |   188839      0 |      595 |     1737
144.86/144.92	c  111s |      12 |   858091 |    38519 |   207723      0 |      595 |     1737
146.57/146.67	c  113s |      13 |   858544 |    38832 |   207723      0 |      595 |     1737
148.77/148.85	c  115s |      13 |   920938 |    39132 |   207723      0 |      595 |     1737
150.87/150.95	c  117s |      13 |   921629 |    39632 |   207723      0 |      595 |     1737
153.37/153.40	c  119s |      13 |   922452 |    40232 |   207723      0 |      595 |     1737
155.57/155.66	c  122s |      13 |   923161 |    40732 |   207723      0 |      595 |     1737
157.67/157.78	c  124s |      13 |   923688 |    41132 |   207723      0 |      595 |     1737
159.77/159.89	c  126s |      13 |   924405 |    41632 |   207723      0 |      595 |     1737
162.27/162.31	c  128s |      13 |   925255 |    42232 |   207723      0 |      595 |     1737
164.36/164.44	c  131s |      13 |   925910 |    42732 |   207723      0 |      595 |     1737
166.46/166.54	c  133s |      13 |   926567 |    43232 |   207723      0 |      595 |     1737
168.66/168.74	c  135s |      13 |   927192 |    43732 |   207723      0 |      595 |     1737
170.76/170.89	c  137s |      13 |   927702 |    44132 |   207723      0 |      595 |     1737
173.26/173.35	c  139s |      13 |   928325 |    44632 |   207723      0 |      595 |     1737
175.57/175.68	c  142s |      13 |   928953 |    45132 |   207723      0 |      595 |     1737
177.87/177.95	c  144s |      13 |   929623 |    45632 |   207723      0 |      595 |     1737
180.27/180.30	c  146s |      13 |   930293 |    46132 |   207723      0 |      595 |     1737
182.36/182.45	c  149s |      13 |   930788 |    46532 |   207723      0 |      595 |     1737
184.56/184.62	c  151s |      13 |   931300 |    46932 |   207723      0 |      595 |     1737
186.86/186.98	c  153s |      13 |   931821 |    47332 |   207723      0 |      595 |     1737
188.96/189.06	c  155s |      13 |   932341 |    47732 |   207723      0 |      595 |     1737
191.26/191.34	c  157s |      13 |   932827 |    48132 |   207723      0 |      595 |     1737
193.67/193.80	c  160s |      13 |   933338 |    48532 |   207723      0 |      595 |     1737
196.06/196.19	c  162s |      13 |   933884 |    48932 |   207723      0 |      595 |     1737
198.26/198.39	c  164s |      13 |   934544 |    49432 |   207723      0 |      595 |     1737
200.56/200.60	c  167s |      13 |   935083 |    49832 |   207723      0 |      595 |     1737
202.76/202.82	c  169s |      13 |   935589 |    50232 |   207723      0 |      595 |     1737
205.26/205.33	c  171s |      13 |   936112 |    50632 |   207723      0 |      595 |     1737
207.26/207.33	c  173s |      13 |   936503 |    50932 |   207723      0 |      595 |     1737
209.76/209.82	c  176s |      13 |   937137 |    51432 |   207723      0 |      595 |     1737
212.05/212.18	c  178s |      13 |   937762 |    51932 |   207723      0 |      595 |     1737
214.57/214.67	c  181s |      13 |   938351 |    52432 |   207723      0 |      595 |     1737
216.67/216.79	c  183s |      13 |   938818 |    52832 |   207723      0 |      595 |     1737
218.97/219.07	c  185s |      13 |   939436 |    53332 |   207723      0 |      595 |     1737
221.36/221.43	c  188s |      13 |   940018 |    53832 |   207723      0 |      595 |     1737
223.66/223.77	c  190s |      13 |   940656 |    54332 |   207723      0 |      595 |     1737
225.76/225.90	c  192s |      13 |   941145 |    54732 |   207723      0 |      595 |     1737
228.05/228.10	c  194s |      13 |   941627 |    55132 |   207723      0 |      595 |     1737
230.25/230.31	c  196s |      13 |   942123 |    55532 |   207723      0 |      595 |     1737
232.45/232.58	c  199s |      13 |   942628 |    55932 |   207723      0 |      595 |     1737
234.76/234.84	c  201s |      13 |   943115 |    56332 |   207723      0 |      595 |     1737
236.76/236.89	c  203s |      13 |   943609 |    56732 |   207723      0 |      595 |     1737
239.06/239.11	c  205s |      13 |   944217 |    57232 |   207723      0 |      595 |     1737
241.65/241.71	c  208s |      13 |   944692 |    57632 |   207723      0 |      595 |     1737
244.16/244.27	c  210s |      13 |   945173 |    58032 |   228496      0 |      595 |     1737
246.46/246.54	c  213s |      13 |   945519 |    58332 |   228496      0 |      595 |     1737
246.55/246.68	c  213s |      14 |   945536 |    58352 |   228496      0 |      595 |     1737
248.66/248.76	c  215s |      14 |  1007724 |    58452 |   228496      0 |      595 |     1737
251.05/251.12	c  217s |      14 |  1008556 |    58952 |   228496      0 |      595 |     1737
253.05/253.13	c  219s |      14 |  1009296 |    59452 |   228496      0 |      595 |     1737
255.16/255.21	c  221s |      14 |  1010263 |    60052 |   228496      0 |      595 |     1737
257.36/257.45	c  224s |      14 |  1010873 |    60452 |   228496      0 |      595 |     1737
259.75/259.81	c  226s |      14 |  1011834 |    61052 |   228496      0 |      595 |     1737
261.86/261.98	c  228s |      14 |  1012445 |    61452 |   228496      0 |      595 |     1737
264.15/264.20	c  230s |      14 |  1012930 |    61852 |   228496      0 |      595 |     1737
266.35/266.47	c  233s |      14 |  1013435 |    62252 |   228496      0 |      595 |     1737
268.46/268.51	c  235s |      14 |  1013967 |    62652 |   228496      0 |      595 |     1737
270.56/270.65	c  237s |      14 |  1014540 |    63052 |   228496      0 |      595 |     1737
272.86/272.98	c  239s |      14 |  1015228 |    63552 |   228496      0 |      595 |     1737
275.45/275.57	c  242s |      14 |  1015892 |    64052 |   228496      0 |      595 |     1737
277.74/277.84	c  244s |      14 |  1016416 |    64452 |   228496      0 |      595 |     1737
279.95/280.00	c  246s |      14 |  1016776 |    64752 |   228496      0 |      595 |     1737
282.15/282.23	c  248s |      14 |  1017298 |    65152 |   228496      0 |      595 |     1737
284.85/284.94	c  251s |      14 |  1017798 |    65552 |   228496      0 |      595 |     1737
287.15/287.27	c  253s |      14 |  1018199 |    65852 |   228496      0 |      595 |     1737
289.26/289.31	c  255s |      14 |  1018597 |    66152 |   228496      0 |      595 |     1737
291.45/291.55	c  258s |      14 |  1019195 |    66552 |   228496      0 |      595 |     1737
293.45/293.59	c  260s |      14 |  1019723 |    66952 |   228496      0 |      595 |     1737
295.74/295.88	c  262s |      14 |  1020296 |    67352 |   228496      0 |      595 |     1737
298.05/298.14	c  264s |      14 |  1021001 |    67852 |   228496      0 |      595 |     1737
300.15/300.29	c  266s |      14 |  1021658 |    68352 |   228496      0 |      595 |     1737
302.75/302.86	c  269s |      14 |  1022200 |    68752 |   228496      0 |      595 |     1737
304.94/305.08	c  271s |      14 |  1022591 |    69052 |   228496      0 |      595 |     1737
307.34/307.44	c  274s |      14 |  1022992 |    69352 |   228496      0 |      595 |     1737
309.54/309.68	c  276s |      14 |  1023400 |    69652 |   228496      0 |      595 |     1737
312.24/312.39	c  278s |      14 |  1023819 |    69952 |   228496      0 |      595 |     1737
314.65/314.71	c  281s |      14 |  1024271 |    70252 |   228496      0 |      595 |     1737
316.75/316.81	c  283s |      14 |  1024677 |    70552 |   228496      0 |      595 |     1737
318.74/318.82	c  285s |      14 |  1025126 |    70852 |   228496      0 |      595 |     1737
321.15/321.24	c  287s |      14 |  1025506 |    71152 |   228496      0 |      595 |     1737
323.64/323.75	c  290s |      14 |  1025939 |    71452 |   228496      0 |      595 |     1737
326.14/326.24	c  292s |      14 |  1026344 |    71752 |   228496      0 |      595 |     1737
328.34/328.42	c  295s |      14 |  1026932 |    72152 |   228496      0 |      595 |     1737
330.54/330.69	c  297s |      14 |  1027327 |    72452 |   228496      0 |      595 |     1737
332.84/332.91	c  299s |      14 |  1027773 |    72752 |   228496      0 |      595 |     1737
335.74/335.80	c  302s |      14 |  1028327 |    73152 |   228496      0 |      595 |     1737
338.34/338.48	c  305s |      14 |  1028760 |    73452 |   228496      0 |      595 |     1737
341.44/341.54	c  308s |      14 |  1029337 |    73852 |   228496      0 |      595 |     1737
343.64/343.79	c  310s |      14 |  1029723 |    74152 |   228496      0 |      595 |     1737
346.14/346.29	c  312s |      14 |  1030238 |    74552 |   228496      0 |      595 |     1737
348.24/348.32	c  314s |      14 |  1030766 |    74852 |   228496      0 |      595 |     1737
350.43/350.52	c  317s |      14 |  1031024 |    75052 |   228496      0 |      595 |     1737
353.05/353.17	c  319s |      14 |  1031475 |    75352 |   228496      0 |      595 |     1737
355.25/355.39	c  321s |      14 |  1031905 |    75652 |   228496      0 |      595 |     1737
357.64/357.70	c  324s |      14 |  1032623 |    76152 |   228496      0 |      595 |     1737
359.75/359.82	c  326s |      14 |  1033175 |    76552 |   228496      0 |      595 |     1737
362.04/362.17	c  328s |      14 |  1033995 |    77152 |   228496      0 |      595 |     1737
364.23/364.37	c  330s |      14 |  1034703 |    77652 |   228496      0 |      595 |     1737
366.73/366.82	c  333s |      14 |  1035117 |    77952 |   228496      0 |      595 |     1737
368.73/368.85	c  335s |      14 |  1035533 |    78252 |   228496      0 |      595 |     1737
371.24/371.32	c  337s |      14 |  1035916 |    78552 |   228496      0 |      595 |     1737
373.44/373.59	c  340s |      14 |  1036166 |    78752 |   228496      0 |      595 |     1737
375.83/375.95	c  342s |      14 |  1036434 |    78952 |   228496      0 |      595 |     1737
378.73/378.81	c  345s |      14 |  1036821 |    79252 |   228496      0 |      595 |     1737
380.73/380.82	c  347s |      14 |  1037200 |    79552 |   228496      0 |      595 |     1737
382.93/383.01	c  349s |      14 |  1037908 |    80052 |   228496      0 |      595 |     1737
385.43/385.50	c  352s |      14 |  1038372 |    80352 |   228496      0 |      595 |     1737
387.53/387.66	c  354s |      14 |  1039108 |    80952 |   228496      0 |      595 |     1737
390.23/390.31	c  356s |      14 |  1039558 |    81252 |   228496      0 |      595 |     1737
392.43/392.51	c  359s |      14 |  1039806 |    81452 |   228496      0 |      595 |     1737
395.13/395.22	c  361s |      14 |  1040207 |    81752 |   228496      0 |      595 |     1737
398.03/398.10	c  364s |      14 |  1040586 |    82052 |   228496      0 |      595 |     1737
400.13/400.20	c  366s |      14 |  1040849 |    82252 |   228496      0 |      595 |     1737
402.53/402.61	c  369s |      14 |  1041111 |    82452 |   228496      0 |      595 |     1737
405.33/405.43	c  372s |      14 |  1041359 |    82652 |   228496      0 |      595 |     1737
407.43/407.53	c  374s |      14 |  1041623 |    82852 |   228496      0 |      595 |     1737
409.72/409.85	c  376s |      14 |  1042036 |    83152 |   228496      0 |      595 |     1737
412.33/412.45	c  379s |      14 |  1042414 |    83452 |   228496      0 |      595 |     1737
414.73/414.86	c  381s |      14 |  1042811 |    83752 |   228496      0 |      595 |     1737
417.62/417.71	c  384s |      14 |  1043186 |    84052 |   228496      0 |      595 |     1737
419.73/419.86	c  386s |      14 |  1043454 |    84252 |   228496      0 |      595 |     1737
421.83/421.95	c  388s |      14 |  1043710 |    84452 |   228496      0 |      595 |     1737
424.72/424.82	c  391s |      14 |  1044092 |    84752 |   228496      0 |      595 |     1737
427.83/427.93	c  394s |      14 |  1044351 |    84952 |   228496      0 |      595 |     1737
430.32/430.47	c  397s |      14 |  1044591 |    85152 |   228496      0 |      595 |     1737
433.02/433.10	c  399s |      14 |  1044856 |    85352 |   228496      0 |      595 |     1737
435.32/435.47	c  402s |      14 |  1045147 |    85552 |   228496      0 |      595 |     1737
438.12/438.23	c  404s |      14 |  1045392 |    85752 |   228496      0 |      595 |     1737
440.53/440.69	c  407s |      14 |  1045635 |    85952 |   228496      0 |      595 |     1737
443.12/443.27	c  409s |      14 |  1045907 |    86152 |   228496      0 |      595 |     1737
446.42/446.59	c  413s |      14 |  1046151 |    86352 |   228496      0 |      595 |     1737
448.62/448.72	c  415s |      14 |  1046410 |    86552 |   228496      0 |      595 |     1737
451.12/451.26	c  417s |      14 |  1046682 |    86752 |   228496      0 |      595 |     1737
453.33/453.49	c  420s |      14 |  1047030 |    86952 |   251346      0 |      595 |     1737
456.12/456.22	c  422s |      14 |  1047652 |    87352 |   251346      0 |      595 |     1737
458.12/458.27	c  424s |      15 |  1048052 |    87632 |   251346      0 |      595 |     1737
462.12/462.24	c  428s |      15 |  1110238 |    87732 |   251346      0 |      595 |     1737
464.13/464.27	c  430s |      15 |  1111050 |    88332 |   251346      0 |      595 |     1737
466.52/466.66	c  433s |      15 |  1111879 |    88932 |   251346      0 |      595 |     1737
468.82/468.95	c  435s |      15 |  1112714 |    89532 |   251346      0 |      595 |     1737
471.02/471.17	c  437s |      15 |  1113361 |    90032 |   251346      0 |      595 |     1737
473.52/473.69	c  440s |      15 |  1114006 |    90532 |   251346      0 |      595 |     1737
475.81/475.98	c  442s |      15 |  1114627 |    91032 |   251346      0 |      595 |     1737
477.91/478.06	c  444s |      15 |  1115288 |    91532 |   251346      0 |      595 |     1737
480.21/480.33	c  446s |      15 |  1116009 |    92132 |   251346      0 |      595 |     1737
482.21/482.35	c  448s |      15 |  1116504 |    92532 |   251346      0 |      595 |     1737
484.52/484.64	c  451s |      15 |  1117105 |    93032 |   251346      0 |      595 |     1737
486.82/486.92	c  453s |      15 |  1117620 |    93432 |   251346      0 |      595 |     1737
488.82/488.96	c  455s |      15 |  1118271 |    93932 |   251346      0 |      595 |     1737
491.21/491.34	c  457s |      15 |  1118937 |    94432 |   251346      0 |      595 |     1737
493.51/493.67	c  460s |      15 |  1119698 |    95032 |   251346      0 |      595 |     1737
495.71/495.84	c  462s |      15 |  1120324 |    95532 |   251346      0 |      595 |     1737
498.11/498.20	c  464s |      15 |  1120856 |    95932 |   251346      0 |      595 |     1737
500.42/500.57	c  467s |      15 |  1121330 |    96332 |   251346      0 |      595 |     1737
503.01/503.15	c  469s |      15 |  1122007 |    96832 |   251346      0 |      595 |     1737
505.22/505.35	c  471s |      15 |  1122546 |    97232 |   251346      0 |      595 |     1737
507.41/507.53	c  474s |      15 |  1123162 |    97732 |   251346      0 |      595 |     1737
509.51/509.61	c  476s |      15 |  1123787 |    98232 |   251346      0 |      595 |     1737
511.61/511.70	c  478s |      15 |  1124433 |    98732 |   251346      0 |      595 |     1737
514.01/514.12	c  480s |      15 |  1125105 |    99232 |   251346      0 |      595 |     1737
516.11/516.26	c  482s |      15 |  1125591 |    99632 |   251346      0 |      595 |     1737
518.61/518.79	c  485s |      15 |  1126196 |   100132 |   251346      0 |      595 |     1737
520.91/521.07	c  487s |      15 |  1126796 |   100632 |   251346      0 |      595 |     1737
523.01/523.17	c  489s |      15 |  1127394 |   101132 |   251346      0 |      595 |     1737
525.11/525.22	c  491s |      15 |  1127877 |   101532 |   251346      0 |      595 |     1737
527.31/527.43	c  494s |      15 |  1128505 |   102032 |   251346      0 |      595 |     1737
529.71/529.88	c  496s |      15 |  1129139 |   102532 |   251346      0 |      595 |     1737
531.91/532.09	c  498s |      15 |  1129652 |   102932 |   251346      0 |      595 |     1737
534.31/534.41	c  501s |      15 |  1130149 |   103332 |   251346      0 |      595 |     1737
536.41/536.50	c  503s |      15 |  1130617 |   103732 |   251346      0 |      595 |     1737
538.61/538.72	c  505s |      15 |  1131143 |   104132 |   251346      0 |      595 |     1737
540.61/540.77	c  507s |      15 |  1131631 |   104532 |   251346      0 |      595 |     1737
543.10/543.25	c  509s |      15 |  1132095 |   104932 |   251346      0 |      595 |     1737
545.61/545.75	c  512s |      15 |  1132578 |   105332 |   251346      0 |      595 |     1737
547.71/547.83	c  514s |      15 |  1133105 |   105732 |   251346      0 |      595 |     1737
549.92/550.09	c  516s |      15 |  1133616 |   106132 |   251346      0 |      595 |     1737
552.01/552.10	c  518s |      15 |  1133969 |   106432 |   251346      0 |      595 |     1737
554.01/554.14	c  520s |      15 |  1134352 |   106732 |   251346      0 |      595 |     1737
556.51/556.63	c  523s |      15 |  1134842 |   107132 |   251346      0 |      595 |     1737
558.81/558.96	c  525s |      15 |  1135307 |   107532 |   251346      0 |      595 |     1737
561.41/561.52	c  528s |      15 |  1135786 |   107932 |   251346      0 |      595 |     1737
564.10/564.23	c  530s |      15 |  1136266 |   108332 |   251346      0 |      595 |     1737
566.70/566.81	c  533s |      15 |  1136758 |   108732 |   251346      0 |      595 |     1737
569.40/569.50	c  536s |      15 |  1137246 |   109132 |   251346      0 |      595 |     1737
571.60/571.78	c  538s |      15 |  1137787 |   109532 |   251346      0 |      595 |     1737
573.80/573.97	c  540s |      15 |  1138267 |   109932 |   251346      0 |      595 |     1737
576.10/576.24	c  542s |      15 |  1138774 |   110332 |   251346      0 |      595 |     1737
578.51/578.63	c  545s |      15 |  1139252 |   110732 |   251346      0 |      595 |     1737
580.80/580.94	c  547s |      15 |  1139755 |   111132 |   251346      0 |      595 |     1737
582.80/582.94	c  549s |      15 |  1140255 |   111532 |   251346      0 |      595 |     1737
585.20/585.33	c  551s |      15 |  1140736 |   111932 |   251346      0 |      595 |     1737
587.70/587.85	c  554s |      15 |  1141207 |   112332 |   251346      0 |      595 |     1737
590.10/590.29	c  556s |      15 |  1141740 |   112732 |   251346      0 |      595 |     1737
592.50/592.66	c  559s |      15 |  1142210 |   113132 |   251346      0 |      595 |     1737
594.90/595.05	c  561s |      15 |  1142679 |   113532 |   251346      0 |      595 |     1737
597.40/597.58	c  564s |      15 |  1143150 |   113932 |   251346      0 |      595 |     1737
599.90/600.05	c  566s |      15 |  1143642 |   114332 |   251346      0 |      595 |     1737
602.59/602.76	c  569s |      15 |  1144116 |   114732 |   251346      0 |      595 |     1737
604.90/605.05	c  571s |      15 |  1144470 |   115032 |   251346      0 |      595 |     1737
606.90/607.05	c  573s |      15 |  1144809 |   115332 |   251346      0 |      595 |     1737
609.20/609.33	c  575s |      15 |  1145172 |   115632 |   251346      0 |      595 |     1737
611.61/611.71	c  578s |      15 |  1145520 |   115932 |   251346      0 |      595 |     1737
614.10/614.28	c  580s |      15 |  1146017 |   116332 |   251346      0 |      595 |     1737
616.20/616.36	c  582s |      15 |  1146372 |   116632 |   251346      0 |      595 |     1737
618.40/618.57	c  585s |      15 |  1146727 |   116932 |   251346      0 |      595 |     1737
620.79/620.91	c  587s |      15 |  1147092 |   117232 |   251346      0 |      595 |     1737
623.09/623.27	c  589s |      15 |  1147460 |   117532 |   251346      0 |      595 |     1737
625.50/625.62	c  592s |      15 |  1147806 |   117832 |   251346      0 |      595 |     1737
627.69/627.88	c  594s |      15 |  1148173 |   118132 |   251346      0 |      595 |     1737
630.20/630.33	c  596s |      15 |  1148684 |   118532 |   251346      0 |      595 |     1737
632.69/632.85	c  599s |      15 |  1149148 |   118932 |   251346      0 |      595 |     1737
635.19/635.31	c  601s |      15 |  1149653 |   119332 |   251346      0 |      595 |     1737
637.69/637.86	c  604s |      15 |  1150123 |   119732 |   251346      0 |      595 |     1737
639.79/639.94	c  606s |      15 |  1150487 |   120032 |   251346      0 |      595 |     1737
642.40/642.53	c  609s |      15 |  1150998 |   120432 |   251346      0 |      595 |     1737
644.79/644.99	c  611s |      15 |  1151321 |   120732 |   251346      0 |      595 |     1737
647.40/647.50	c  614s |      15 |  1151823 |   121132 |   251346      0 |      595 |     1737
649.50/649.61	c  616s |      15 |  1152178 |   121432 |   251346      0 |      595 |     1737
651.60/651.79	c  618s |      15 |  1152534 |   121732 |   251346      0 |      595 |     1737
653.99/654.12	c  620s |      15 |  1152931 |   122032 |   251346      0 |      595 |     1737
656.09/656.25	c  622s |      15 |  1153456 |   122432 |   251346      0 |      595 |     1737
658.69/658.89	c  625s |      15 |  1153958 |   122832 |   251346      0 |      595 |     1737
661.49/661.62	c  628s |      15 |  1154454 |   123232 |   251346      0 |      595 |     1737
663.59/663.74	c  630s |      15 |  1154820 |   123532 |   251346      0 |      595 |     1737
666.29/666.41	c  633s |      15 |  1155301 |   123932 |   251346      0 |      595 |     1737
668.58/668.72	c  635s |      15 |  1155679 |   124232 |   251346      0 |      595 |     1737
670.90/671.04	c  637s |      15 |  1156053 |   124532 |   251346      0 |      595 |     1737
673.19/673.32	c  639s |      15 |  1156426 |   124832 |   251346      0 |      595 |     1737
675.59/675.76	c  642s |      15 |  1156882 |   125232 |   251346      0 |      595 |     1737
677.68/677.82	c  644s |      15 |  1157220 |   125532 |   251346      0 |      595 |     1737
680.08/680.21	c  646s |      15 |  1157574 |   125832 |   251346      0 |      595 |     1737
682.08/682.24	c  648s |      15 |  1157966 |   126132 |   251346      0 |      595 |     1737
684.28/684.44	c  651s |      15 |  1158351 |   126432 |   251346      0 |      595 |     1737
686.48/686.61	c  653s |      15 |  1158719 |   126732 |   251346      0 |      595 |     1737
689.29/689.40	c  655s |      15 |  1159225 |   127132 |   251346      0 |      595 |     1737
691.68/691.88	c  658s |      15 |  1159561 |   127432 |   251346      0 |      595 |     1737
694.28/694.44	c  661s |      15 |  1159922 |   127732 |   251346      0 |      595 |     1737
696.68/696.80	c  663s |      15 |  1160293 |   128032 |   251346      0 |      595 |     1737
699.08/699.28	c  665s |      15 |  1160638 |   128332 |   251346      0 |      595 |     1737
701.48/701.66	c  668s |      15 |  1160992 |   128632 |   251346      0 |      595 |     1737
703.89/704.01	c  670s |      15 |  1161335 |   128932 |   251346      0 |      595 |     1737
705.98/706.17	c  672s |      15 |  1161695 |   129232 |   251346      0 |      595 |     1737
708.58/708.71	c  675s |      15 |  1162031 |   129532 |   251346      0 |      595 |     1737
710.88/711.03	c  677s |      15 |  1162368 |   129832 |   251346      0 |      595 |     1737
713.58/713.77	c  680s |      15 |  1162721 |   130132 |   251346      0 |      595 |     1737
715.88/716.01	c  682s |      15 |  1163083 |   130432 |   251346      0 |      595 |     1737
717.98/718.11	c  684s |      15 |  1163436 |   130732 |   276481      0 |      595 |     1737
720.48/720.64	c  687s |      15 |  1163781 |   131032 |   276481      0 |      595 |     1737
722.88/723.08	c  689s |      15 |  1164129 |   131332 |   276481      0 |      595 |     1737
724.98/725.12	c  691s |      16 |  1164381 |   131552 |   276481      0 |      595 |     1737
730.39/730.54	c  697s |      16 |  1226692 |   131652 |   276481      0 |      595 |     1737
732.38/732.54	c  699s |      16 |  1227241 |   131952 |   276481      0 |      595 |     1737
734.69/734.87	c  701s |      16 |  1228178 |   132452 |   276481      0 |      595 |     1737
737.28/737.42	c  704s |      16 |  1228918 |   132952 |   276481      0 |      595 |     1737
739.68/739.88	c  706s |      16 |  1229437 |   133352 |   276481      0 |      595 |     1737
742.18/742.35	c  708s |      16 |  1229988 |   133752 |   276481      0 |      595 |     1737
744.68/744.89	c  711s |      16 |  1230483 |   134152 |   276481      0 |      595 |     1737
746.98/747.10	c  713s |      16 |  1231006 |   134552 |   276481      0 |      595 |     1737
749.17/749.35	c  715s |      16 |  1231476 |   134952 |   276481      0 |      595 |     1737
751.57/751.77	c  718s |      16 |  1231867 |   135252 |   276481      0 |      595 |     1737
753.67/753.86	c  720s |      16 |  1232379 |   135652 |   276481      0 |      595 |     1737
756.08/756.21	c  722s |      16 |  1232843 |   136052 |   276481      0 |      595 |     1737
758.47/758.67	c  725s |      16 |  1233331 |   136452 |   276481      0 |      595 |     1737
760.87/761.06	c  727s |      16 |  1233848 |   136852 |   276481      0 |      595 |     1737
763.17/763.33	c  729s |      16 |  1234329 |   137252 |   276481      0 |      595 |     1737
765.68/765.81	c  732s |      16 |  1234818 |   137652 |   276481      0 |      595 |     1737
767.68/767.87	c  734s |      16 |  1235299 |   138052 |   276481      0 |      595 |     1737
770.27/770.45	c  737s |      16 |  1235762 |   138452 |   276481      0 |      595 |     1737
772.77/772.92	c  739s |      16 |  1236244 |   138852 |   276481      0 |      595 |     1737
775.27/775.49	c  742s |      16 |  1236736 |   139252 |   276481      0 |      595 |     1737
777.97/778.15	c  744s |      16 |  1237205 |   139652 |   276481      0 |      595 |     1737
780.17/780.36	c  746s |      16 |  1237706 |   140052 |   276481      0 |      595 |     1737
782.37/782.50	c  749s |      16 |  1238077 |   140352 |   276481      0 |      595 |     1737
784.67/784.82	c  751s |      16 |  1238586 |   140752 |   276481      0 |      595 |     1737
787.07/787.25	c  753s |      16 |  1239055 |   141152 |   276481      0 |      595 |     1737
789.47/789.64	c  756s |      16 |  1239549 |   141552 |   276481      0 |      595 |     1737
791.47/791.66	c  758s |      16 |  1239906 |   141852 |   276481      0 |      595 |     1737
793.67/793.85	c  760s |      16 |  1240247 |   142152 |   276481      0 |      595 |     1737
795.97/796.13	c  762s |      16 |  1240724 |   142552 |   276481      0 |      595 |     1737
798.07/798.27	c  764s |      16 |  1241065 |   142852 |   276481      0 |      595 |     1737
800.17/800.35	c  766s |      16 |  1241447 |   143152 |   276481      0 |      595 |     1737
802.77/802.98	c  769s |      16 |  1241943 |   143552 |   276481      0 |      595 |     1737
805.26/805.40	c  771s |      16 |  1242311 |   143852 |   276481      0 |      595 |     1737
807.47/807.65	c  774s |      16 |  1242854 |   144252 |   276481      0 |      595 |     1737
809.57/809.71	c  776s |      16 |  1243380 |   144552 |   276481      0 |      595 |     1737
812.06/812.26	c  778s |      16 |  1243960 |   144952 |   276481      0 |      595 |     1737
815.17/815.31	c  781s |      16 |  1244495 |   145352 |   276481      0 |      595 |     1737
817.37/817.54	c  784s |      16 |  1244888 |   145652 |   276481      0 |      595 |     1737
819.57/819.79	c  786s |      16 |  1245357 |   145952 |   276481      0 |      595 |     1737
821.68/821.83	c  788s |      16 |  1245774 |   146252 |   276481      0 |      595 |     1737
823.97/824.17	c  790s |      16 |  1246192 |   146552 |   276481      0 |      595 |     1737
826.17/826.34	c  792s |      16 |  1246555 |   146852 |   276481      0 |      595 |     1737
828.37/828.56	c  795s |      16 |  1246919 |   147152 |   276481      0 |      595 |     1737
830.67/830.83	c  797s |      16 |  1247298 |   147452 |   276481      0 |      595 |     1737
832.96/833.12	c  799s |      16 |  1247980 |   147852 |   276481      0 |      595 |     1737
834.96/835.16	c  801s |      16 |  1248538 |   148252 |   276481      0 |      595 |     1737
837.26/837.41	c  803s |      16 |  1249079 |   148652 |   276481      0 |      595 |     1737
839.76/839.90	c  806s |      16 |  1249582 |   149052 |   276481      0 |      595 |     1737
842.16/842.39	c  808s |      16 |  1250190 |   149452 |   276481      0 |      595 |     1737
844.27/844.49	c  811s |      16 |  1250811 |   149852 |   276481      0 |      595 |     1737
846.36/846.59	c  813s |      16 |  1251207 |   150152 |   276481      0 |      595 |     1737
848.66/848.87	c  815s |      16 |  1251720 |   150552 |   276481      0 |      595 |     1737
851.37/851.55	c  818s |      16 |  1252274 |   150952 |   276481      0 |      595 |     1737
853.47/853.69	c  820s |      16 |  1252953 |   151352 |   276481      0 |      595 |     1737
855.56/855.78	c  822s |      16 |  1253345 |   151652 |   276481      0 |      595 |     1737
858.06/858.29	c  824s |      16 |  1253914 |   152052 |   276481      0 |      595 |     1737
860.56/860.73	c  827s |      16 |  1254482 |   152452 |   276481      0 |      595 |     1737
863.16/863.32	c  829s |      16 |  1254971 |   152852 |   276481      0 |      595 |     1737
865.66/865.83	c  832s |      16 |  1255508 |   153252 |   276481      0 |      595 |     1737
868.06/868.23	c  834s |      16 |  1255880 |   153552 |   276481      0 |      595 |     1737
870.25/870.48	c  837s |      16 |  1256270 |   153852 |   276481      0 |      595 |     1737
872.55/872.75	c  839s |      16 |  1256657 |   154152 |   276481      0 |      595 |     1737
874.65/874.85	c  841s |      16 |  1256918 |   154352 |   276481      0 |      595 |     1737
877.25/877.44	c  844s |      16 |  1257294 |   154652 |   276481      0 |      595 |     1737
879.96/880.19	c  846s |      16 |  1257536 |   154852 |   276481      0 |      595 |     1737
883.16/883.36	c  849s |      16 |  1257914 |   155152 |   276481      0 |      595 |     1737
885.46/885.67	c  852s |      16 |  1258282 |   155452 |   276481      0 |      595 |     1737
887.75/887.92	c  854s |      16 |  1258687 |   155752 |   276481      0 |      595 |     1737
890.26/890.44	c  857s |      16 |  1259067 |   156052 |   276481      0 |      595 |     1737
892.75/892.91	c  859s |      16 |  1259469 |   156352 |   276481      0 |      595 |     1737
894.86/895.05	c  861s |      16 |  1259897 |   156652 |   276481      0 |      595 |     1737
897.05/897.29	c  863s |      16 |  1260303 |   156952 |   276481      0 |      595 |     1737
899.66/899.82	c  866s |      16 |  1260702 |   157252 |   276481      0 |      595 |     1737
902.05/902.22	c  868s |      16 |  1261163 |   157552 |   276481      0 |      595 |     1737
904.45/904.63	c  871s |      16 |  1261608 |   157852 |   276481      0 |      595 |     1737
907.15/907.31	c  873s |      16 |  1262012 |   158152 |   276481      0 |      595 |     1737
909.56/909.73	c  876s |      16 |  1262426 |   158452 |   276481      0 |      595 |     1737
912.45/912.64	c  879s |      16 |  1262754 |   158752 |   276481      0 |      595 |     1737
915.36/915.59	c  882s |      16 |  1263130 |   159052 |   276481      0 |      595 |     1737
917.95/918.10	c  884s |      16 |  1263525 |   159352 |   276481      0 |      595 |     1737
920.45/920.65	c  887s |      16 |  1263959 |   159652 |   276481      0 |      595 |     1737
922.76/922.96	c  889s |      16 |  1264390 |   159952 |   276481      0 |      595 |     1737
925.25/925.43	c  892s |      16 |  1264812 |   160252 |   276481      0 |      595 |     1737
927.85/928.06	c  894s |      16 |  1265209 |   160552 |   276481      0 |      595 |     1737
929.84/930.07	c  896s |      16 |  1265460 |   160752 |   276481      0 |      595 |     1737
932.25/932.43	c  899s |      16 |  1265840 |   161052 |   276481      0 |      595 |     1737
934.86/935.04	c  901s |      16 |  1266183 |   161352 |   276481      0 |      595 |     1737
937.24/937.43	c  904s |      16 |  1266574 |   161652 |   276481      0 |      595 |     1737
939.65/939.88	c  906s |      16 |  1267132 |   161952 |   276481      0 |      595 |     1737
941.85/942.07	c  908s |      16 |  1267389 |   162152 |   276481      0 |      595 |     1737
944.35/944.51	c  911s |      16 |  1267784 |   162452 |   276481      0 |      595 |     1737
947.14/947.31	c  913s |      16 |  1268146 |   162752 |   276481      0 |      595 |     1737
949.55/949.78	c  916s |      16 |  1268635 |   163052 |   276481      0 |      595 |     1737
952.04/952.27	c  918s |      16 |  1269101 |   163352 |   276481      0 |      595 |     1737
954.25/954.49	c  921s |      16 |  1269373 |   163552 |   276481      0 |      595 |     1737
957.05/957.25	c  923s |      16 |  1269824 |   163852 |   276481      0 |      595 |     1737
959.45/959.69	c  926s |      16 |  1270294 |   164152 |   276481      0 |      595 |     1737
962.04/962.27	c  928s |      16 |  1270714 |   164452 |   276481      0 |      595 |     1737
964.94/965.17	c  931s |      16 |  1271150 |   164752 |   276481      0 |      595 |     1737
967.95/968.17	c  934s |      16 |  1271651 |   165052 |   276481      0 |      595 |     1737
970.54/970.75	c  937s |      16 |  1272115 |   165352 |   276481      0 |      595 |     1737
973.24/973.45	c  940s |      16 |  1272583 |   165652 |   276481      0 |      595 |     1737
975.94/976.11	c  942s |      16 |  1273023 |   165952 |   276481      0 |      595 |     1737
978.34/978.58	c  945s |      16 |  1273304 |   166152 |   276481      0 |      595 |     1737
980.74/980.96	c  947s |      16 |  1273616 |   166352 |   276481      0 |      595 |     1737
982.94/983.12	c  949s |      16 |  1273889 |   166552 |   276481      0 |      595 |     1737
985.55/985.78	c  952s |      16 |  1274296 |   166852 |   276481      0 |      595 |     1737
987.75/987.92	c  954s |      16 |  1274559 |   167052 |   276481      0 |      595 |     1737
989.94/990.13	c  956s |      16 |  1274835 |   167252 |   276481      0 |      595 |     1737
992.74/992.94	c  959s |      16 |  1275108 |   167452 |   276481      0 |      595 |     1737
994.94/995.18	c  961s |      16 |  1275386 |   167652 |   276481      0 |      595 |     1737
997.55/997.76	c  964s |      16 |  1275665 |   167852 |   276481      0 |      595 |     1737
999.74/999.95	c  966s |      16 |  1275926 |   168052 |   276481      0 |      595 |     1737
1001.84/1002.03	c  968s |      16 |  1276212 |   168252 |   276481      0 |      595 |     1737
1004.43/1004.61	c  971s |      16 |  1276437 |   168452 |   276481      0 |      595 |     1737
1006.74/1006.92	c  973s |      16 |  1276709 |   168652 |   276481      0 |      595 |     1737
1009.04/1009.29	c  975s |      16 |  1276929 |   168852 |   276481      0 |      595 |     1737
1011.24/1011.46	c  978s |      16 |  1277198 |   169052 |   276481      0 |      595 |     1737
1013.63/1013.80	c  980s |      16 |  1277468 |   169252 |   276481      0 |      595 |     1737
1016.24/1016.46	c  983s |      16 |  1277737 |   169452 |   276481      0 |      595 |     1737
1018.74/1018.96	c  985s |      16 |  1278024 |   169652 |   276481      0 |      595 |     1737
1020.84/1021.06	c  987s |      16 |  1278279 |   169852 |   276481      0 |      595 |     1737
1023.83/1024.01	c  990s |      16 |  1278657 |   170152 |   276481      0 |      595 |     1737
1026.04/1026.23	c  992s |      16 |  1278911 |   170352 |   276481      0 |      595 |     1737
1028.04/1028.28	c  994s |      16 |  1279182 |   170552 |   276481      0 |      595 |     1737
1030.13/1030.34	c  996s |      16 |  1279473 |   170752 |   276481      0 |      595 |     1737
1032.13/1032.35	c  998s |      16 |  1279822 |   170952 |   276481      0 |      595 |     1737
1034.33/1034.51	c 1001s |      16 |  1280128 |   171152 |   276481      0 |      595 |     1737
1036.53/1036.71	c 1003s |      16 |  1280383 |   171352 |   276481      0 |      595 |     1737
1038.83/1039.08	c 1005s |      16 |  1280637 |   171552 |   276481      0 |      595 |     1737
1040.93/1041.15	c 1007s |      16 |  1280880 |   171752 |   276481      0 |      595 |     1737
1043.13/1043.35	c 1009s |      16 |  1281143 |   171952 |   276481      0 |      595 |     1737
1045.33/1045.57	c 1012s |      16 |  1281417 |   172152 |   276481      0 |      595 |     1737
1047.63/1047.88	c 1014s |      16 |  1281677 |   172352 |   276481      0 |      595 |     1737
1049.73/1049.94	c 1016s |      16 |  1281929 |   172552 |   276481      0 |      595 |     1737
1051.73/1051.99	c 1018s |      16 |  1282163 |   172752 |   276481      0 |      595 |     1737
1053.93/1054.17	c 1020s |      16 |  1282403 |   172952 |   276481      0 |      595 |     1737
1056.03/1056.24	c 1022s |      16 |  1282628 |   173152 |   276481      0 |      595 |     1737
1059.33/1059.59	c 1026s |      16 |  1282991 |   173452 |   276481      0 |      595 |     1737
1061.43/1061.62	c 1028s |      16 |  1283254 |   173652 |   276481      0 |      595 |     1737
1064.13/1064.32	c 1030s |      16 |  1283678 |   173952 |   276481      0 |      595 |     1737
1066.22/1066.49	c 1033s |      16 |  1283955 |   174152 |   276481      0 |      595 |     1737
1068.63/1068.85	c 1035s |      16 |  1284190 |   174352 |   276481      0 |      595 |     1737
1070.93/1071.14	c 1037s |      16 |  1284452 |   174552 |   276481      0 |      595 |     1737
1073.53/1073.75	c 1040s |      16 |  1284728 |   174752 |   276481      0 |      595 |     1737
1076.74/1076.96	c 1043s |      16 |  1284960 |   174952 |   276481      0 |      595 |     1737
1079.04/1079.26	c 1045s |      16 |  1285208 |   175152 |   276481      0 |      595 |     1737
1081.92/1082.13	c 1048s |      16 |  1285448 |   175352 |   276481      0 |      595 |     1737
1084.63/1084.84	c 1051s |      16 |  1285691 |   175552 |   276481      0 |      595 |     1737
1087.52/1087.71	c 1054s |      16 |  1285953 |   175752 |   276481      0 |      595 |     1737
1089.62/1089.86	c 1056s |      16 |  1286245 |   175952 |   276481      0 |      595 |     1737
1092.52/1092.71	c 1059s |      16 |  1286489 |   176152 |   276481      0 |      595 |     1737
1095.02/1095.20	c 1061s |      16 |  1286777 |   176352 |   276481      0 |      595 |     1737
1097.52/1097.71	c 1064s |      16 |  1287201 |   176652 |   276481      0 |      595 |     1737
1099.72/1099.91	c 1066s |      16 |  1287642 |   176952 |   276481      0 |      595 |     1737
1101.92/1102.16	c 1068s |      16 |  1288083 |   177252 |   276481      0 |      595 |     1737
1104.42/1104.65	c 1071s |      16 |  1288466 |   177552 |   276481      0 |      595 |     1737
1107.02/1107.26	c 1073s |      16 |  1288899 |   177852 |   276481      0 |      595 |     1737
1109.32/1109.57	c 1076s |      16 |  1289333 |   178152 |   276481      0 |      595 |     1737
1112.32/1112.58	c 1079s |      16 |  1289740 |   178452 |   276481      0 |      595 |     1737
1115.02/1115.24	c 1081s |      16 |  1290163 |   178752 |   276481      0 |      595 |     1737
1117.12/1117.30	c 1083s |      16 |  1290404 |   178952 |   276481      0 |      595 |     1737
1119.41/1119.66	c 1086s |      16 |  1290843 |   179252 |   276481      0 |      595 |     1737
1121.62/1121.90	c 1088s |      16 |  1291220 |   179552 |   276481      0 |      595 |     1737
1124.52/1124.73	c 1091s |      16 |  1291568 |   179852 |   276481      0 |      595 |     1737
1126.52/1126.77	c 1093s |      16 |  1291848 |   180052 |   276481      0 |      595 |     1737
1129.52/1129.74	c 1096s |      16 |  1292242 |   180352 |   276481      0 |      595 |     1737
1131.82/1132.07	c 1098s |      16 |  1292478 |   180552 |   276481      0 |      595 |     1737
1133.81/1134.09	c 1100s |      16 |  1292739 |   180752 |   276481      0 |      595 |     1737
1135.91/1136.11	c 1102s |      16 |  1293003 |   180952 |   276481      0 |      595 |     1737
1139.01/1139.26	c 1105s |      16 |  1293432 |   181252 |   276481      0 |      595 |     1737
1141.81/1142.08	c 1108s |      16 |  1293843 |   181552 |   276481      0 |      595 |     1737
1144.81/1145.08	c 1111s |      16 |  1294233 |   181852 |   276481      0 |      595 |     1737
1146.91/1147.13	c 1113s |      16 |  1294477 |   182052 |   276481      0 |      595 |     1737
1149.80/1150.07	c 1116s |      16 |  1294863 |   182352 |   276481      0 |      595 |     1737
1152.72/1152.91	c 1119s |      16 |  1295250 |   182652 |   276481      0 |      595 |     1737
1154.82/1155.07	c 1121s |      16 |  1295512 |   182852 |   276481      0 |      595 |     1737
1157.11/1157.35	c 1123s |      16 |  1295748 |   183052 |   276481      0 |      595 |     1737
1159.32/1159.56	c 1126s |      16 |  1295999 |   183252 |   276481      0 |      595 |     1737
1162.61/1162.89	c 1129s |      16 |  1296246 |   183452 |   276481      0 |      595 |     1737
1165.70/1165.91	c 1132s |      16 |  1296490 |   183652 |   276481      0 |      595 |     1737
1168.90/1169.16	c 1135s |      16 |  1296715 |   183852 |   276481      0 |      595 |     1737
1173.21/1173.47	c 1140s |      16 |  1296972 |   184052 |   276481      0 |      595 |     1737
1175.40/1175.69	c 1142s |      16 |  1297222 |   184252 |   276481      0 |      595 |     1737
1177.50/1177.71	c 1144s |      16 |  1297455 |   184452 |   276481      0 |      595 |     1737
1179.80/1180.02	c 1146s |      16 |  1297706 |   184652 |   276481      0 |      595 |     1737
1181.90/1182.19	c 1148s |      16 |  1297951 |   184852 |   276481      0 |      595 |     1737
1184.10/1184.39	c 1150s |      16 |  1298180 |   185052 |   276481      0 |      595 |     1737
1186.60/1186.81	c 1153s |      16 |  1298407 |   185252 |   276481      0 |      595 |     1737
1189.01/1189.28	c 1155s |      16 |  1298648 |   185452 |   276481      0 |      595 |     1737
1191.30/1191.58	c 1158s |      16 |  1298878 |   185652 |   276481      0 |      595 |     1737
1194.19/1194.45	c 1161s |      16 |  1299129 |   185852 |   276481      0 |      595 |     1737
1197.10/1197.32	c 1163s |      16 |  1299531 |   186152 |   276481      0 |      595 |     1737
1200.00/1200.23	c 1166s |      16 |  1299886 |   186452 |   276481      0 |      595 |     1737
1202.29/1202.52	c 1169s |      16 |  1300134 |   186652 |   276481      0 |      595 |     1737
1204.49/1204.71	c 1171s |      16 |  1300377 |   186852 |   276481      0 |      595 |     1737
1206.60/1206.88	c 1173s |      16 |  1300631 |   187052 |   276481      0 |      595 |     1737
1209.00/1209.28	c 1175s |      16 |  1300850 |   187252 |   276481      0 |      595 |     1737
1211.70/1211.92	c 1178s |      16 |  1301070 |   187452 |   276481      0 |      595 |     1737
1214.89/1215.11	c 1181s |      16 |  1301331 |   187652 |   276481      0 |      595 |     1737
1217.29/1217.56	c 1184s |      16 |  1301572 |   187852 |   276481      0 |      595 |     1737
1220.40/1220.65	c 1187s |      16 |  1301873 |   188052 |   276481      0 |      595 |     1737
1222.70/1222.93	c 1189s |      16 |  1302117 |   188252 |   276481      0 |      595 |     1737
1224.79/1225.04	c 1191s |      16 |  1302414 |   188452 |   276481      0 |      595 |     1737
1227.00/1227.22	c 1193s |      16 |  1302691 |   188652 |   276481      0 |      595 |     1737
1229.60/1229.88	c 1196s |      16 |  1302968 |   188852 |   276481      0 |      595 |     1737
1232.59/1232.85	c 1199s |      16 |  1303360 |   189152 |   276481      0 |      595 |     1737
1234.69/1234.95	c 1201s |      16 |  1303645 |   189352 |   276481      0 |      595 |     1737
1236.88/1237.14	c 1203s |      16 |  1303894 |   189552 |   276481      0 |      595 |     1737
1238.89/1239.15	c 1205s |      16 |  1304193 |   189752 |   276481      0 |      595 |     1737
1241.09/1241.39	c 1207s |      16 |  1304459 |   189952 |   276481      0 |      595 |     1737
1243.29/1243.54	c 1210s |      16 |  1304739 |   190152 |   276481      0 |      595 |     1737
1246.29/1246.59	c 1213s |      16 |  1305131 |   190452 |   276481      0 |      595 |     1737
1249.19/1249.47	c 1216s |      16 |  1305398 |   190652 |   276481      0 |      595 |     1737
1252.08/1252.36	c 1218s |      16 |  1305826 |   190952 |   276481      0 |      595 |     1737
1254.99/1255.22	c 1221s |      16 |  1306227 |   191252 |   276481      0 |      595 |     1737
1257.09/1257.36	c 1223s |      16 |  1306443 |   191452 |   276481      0 |      595 |     1737
1259.67/1259.90	c 1226s |      16 |  1306835 |   191752 |   276481      0 |      595 |     1737
1262.08/1262.30	c 1228s |      16 |  1307223 |   192052 |   276481      0 |      595 |     1737
1264.48/1264.77	c 1231s |      16 |  1307605 |   192352 |   276481      0 |      595 |     1737
1266.57/1266.88	c 1233s |      16 |  1307870 |   192552 |   276481      0 |      595 |     1737
1269.08/1269.31	c 1235s |      16 |  1308243 |   192852 |   276481      0 |      595 |     1737
1271.97/1272.22	c 1238s |      16 |  1308599 |   193152 |   276481      0 |      595 |     1737
1274.68/1274.99	c 1241s |      16 |  1309020 |   193452 |   276481      0 |      595 |     1737
1276.77/1277.09	c 1243s |      16 |  1309309 |   193652 |   276481      0 |      595 |     1737
1279.27/1279.51	c 1246s |      16 |  1309729 |   193952 |   276481      0 |      595 |     1737
1281.97/1282.23	c 1248s |      16 |  1310141 |   194252 |   276481      0 |      595 |     1737
1284.77/1285.01	c 1251s |      16 |  1310488 |   194552 |   276481      0 |      595 |     1737
1287.07/1287.40	c 1253s |      16 |  1310885 |   194852 |   276481      0 |      595 |     1737
1289.86/1290.13	c 1256s |      16 |  1311287 |   195152 |   276481      0 |      595 |     1737
1292.37/1292.62	c 1259s |      16 |  1311697 |   195452 |   276481      0 |      595 |     1737
1294.67/1294.90	c 1261s |      16 |  1312182 |   195852 |   276481      0 |      595 |     1737
1297.26/1297.50	c 1264s |      16 |  1312535 |   196152 |   304130      0 |      595 |     1737
1299.46/1299.72	c 1266s |      16 |  1312921 |   196452 |   304130      0 |      595 |     1737
1301.76/1302.02	c 1268s |      16 |  1313346 |   196752 |   304130      0 |      595 |     1737
1304.47/1304.72	c 1271s |      16 |  1313769 |   197052 |   304130      0 |      595 |     1737
1307.26/1307.54	c 1274s |      16 |  1314197 |   197352 |   304130      0 |      595 |     1737
1308.06/1308.37	c 1274s |      17 |  1314326 |   197432 |   304130      0 |      595 |     1737
1316.56/1316.87	c 1283s |      17 |  1376564 |   197532 |   304130      0 |      595 |     1737
1318.77/1319.08	c 1285s |      17 |  1376833 |   197732 |   304130      0 |      595 |     1737
1321.26/1321.50	c 1288s |      17 |  1377049 |   197932 |   304130      0 |      595 |     1737
1323.55/1323.89	c 1290s |      17 |  1377291 |   198132 |   304130      0 |      595 |     1737
1326.86/1327.17	c 1293s |      17 |  1377695 |   198432 |   304130      0 |      595 |     1737
1328.95/1329.29	c 1295s |      17 |  1377942 |   198632 |   304130      0 |      595 |     1737
1331.35/1331.64	c 1298s |      17 |  1378167 |   198832 |   304130      0 |      595 |     1737
1334.25/1334.51	c 1301s |      17 |  1378556 |   199132 |   304130      0 |      595 |     1737
1336.95/1337.27	c 1303s |      17 |  1378943 |   199432 |   304130      0 |      595 |     1737
1339.85/1340.16	c 1306s |      17 |  1379329 |   199732 |   304130      0 |      595 |     1737
1342.05/1342.36	c 1308s |      17 |  1379619 |   199932 |   304130      0 |      595 |     1737
1344.85/1345.17	c 1311s |      17 |  1380067 |   200232 |   304130      0 |      595 |     1737
1347.85/1348.10	c 1314s |      17 |  1380502 |   200532 |   304130      0 |      595 |     1737
1349.95/1350.29	c 1316s |      17 |  1380774 |   200732 |   304130      0 |      595 |     1737
1353.05/1353.35	c 1319s |      17 |  1381016 |   200932 |   304130      0 |      595 |     1737
1355.35/1355.63	c 1322s |      17 |  1381169 |   201032 |   304130      0 |      595 |     1737
1357.95/1358.25	c 1324s |      17 |  1381491 |   201232 |   304130      0 |      595 |     1737
1360.04/1360.33	c 1326s |      17 |  1381787 |   201432 |   304130      0 |      595 |     1737
1362.45/1362.78	c 1329s |      17 |  1382052 |   201632 |   304130      0 |      595 |     1737
1364.85/1365.19	c 1331s |      17 |  1382293 |   201832 |   304130      0 |      595 |     1737
1367.74/1368.01	c 1334s |      17 |  1382580 |   202032 |   304130      0 |      595 |     1737
1369.95/1370.29	c 1336s |      17 |  1382843 |   202232 |   304130      0 |      595 |     1737
1372.65/1372.93	c 1339s |      17 |  1383077 |   202432 |   304130      0 |      595 |     1737
1375.54/1375.82	c 1342s |      17 |  1383442 |   202732 |   304130      0 |      595 |     1737
1378.05/1378.31	c 1344s |      17 |  1383698 |   202932 |   304130      0 |      595 |     1737
1380.94/1381.20	c 1347s |      17 |  1383978 |   203132 |   304130      0 |      595 |     1737
1383.44/1383.71	c 1350s |      17 |  1384248 |   203332 |   304130      0 |      595 |     1737
1386.54/1386.84	c 1353s |      17 |  1384513 |   203532 |   304130      0 |      595 |     1737
1389.73/1390.06	c 1356s |      17 |  1384737 |   203732 |   304130      0 |      595 |     1737
1392.84/1393.12	c 1359s |      17 |  1385005 |   203932 |   304130      0 |      595 |     1737
1395.54/1395.88	c 1362s |      17 |  1385476 |   204232 |   304130      0 |      595 |     1737
1398.33/1398.67	c 1365s |      17 |  1385976 |   204632 |   304130      0 |      595 |     1737
1400.63/1400.90	c 1367s |      17 |  1386300 |   204832 |   304130      0 |      595 |     1737
1402.84/1403.13	c 1369s |      17 |  1386692 |   205132 |   304130      0 |      595 |     1737
1405.23/1405.56	c 1372s |      17 |  1387090 |   205432 |   304130      0 |      595 |     1737
1407.63/1407.93	c 1374s |      17 |  1387488 |   205732 |   304130      0 |      595 |     1737
1410.43/1410.77	c 1377s |      17 |  1387870 |   206032 |   304130      0 |      595 |     1737
1413.13/1413.45	c 1380s |      17 |  1388270 |   206332 |   304130      0 |      595 |     1737
1415.93/1416.26	c 1382s |      17 |  1388690 |   206632 |   304130      0 |      595 |     1737
1418.03/1418.31	c 1384s |      17 |  1388953 |   206832 |   304130      0 |      595 |     1737
1420.53/1420.86	c 1387s |      17 |  1389508 |   207232 |   304130      0 |      595 |     1737
1422.63/1422.91	c 1389s |      17 |  1389886 |   207532 |   304130      0 |      595 |     1737
1425.33/1425.68	c 1392s |      17 |  1390324 |   207832 |   304130      0 |      595 |     1737
1427.83/1428.20	c 1394s |      17 |  1390867 |   208232 |   304130      0 |      595 |     1737
1430.22/1430.58	c 1397s |      17 |  1391255 |   208532 |   304130      0 |      595 |     1737
1432.33/1432.60	c 1399s |      17 |  1391647 |   208832 |   304130      0 |      595 |     1737
1434.32/1434.64	c 1401s |      17 |  1392066 |   209132 |   304130      0 |      595 |     1737
1436.82/1437.19	c 1403s |      17 |  1392477 |   209432 |   304130      0 |      595 |     1737
1439.12/1439.42	c 1406s |      17 |  1392912 |   209732 |   304130      0 |      595 |     1737
1441.42/1441.71	c 1408s |      17 |  1393304 |   210032 |   304130      0 |      595 |     1737
1443.83/1444.12	c 1410s |      17 |  1393698 |   210332 |   304130      0 |      595 |     1737
1445.92/1446.26	c 1412s |      17 |  1394103 |   210632 |   304130      0 |      595 |     1737
1448.12/1448.42	c 1415s |      17 |  1394468 |   210932 |   304130      0 |      595 |     1737
1450.63/1450.96	c 1417s |      17 |  1394870 |   211232 |   304130      0 |      595 |     1737
1453.22/1453.51	c 1420s |      17 |  1395126 |   211432 |   304130      0 |      595 |     1737
1455.82/1456.16	c 1422s |      17 |  1395496 |   211732 |   304130      0 |      595 |     1737
1458.82/1459.16	c 1425s |      17 |  1395887 |   212032 |   304130      0 |      595 |     1737
1460.81/1461.16	c 1427s |      17 |  1396132 |   212232 |   304130      0 |      595 |     1737
1463.02/1463.35	c 1429s |      17 |  1396358 |   212432 |   304130      0 |      595 |     1737
1465.92/1466.28	c 1432s |      17 |  1396729 |   212732 |   304130      0 |      595 |     1737
1468.22/1468.55	c 1435s |      17 |  1396967 |   212932 |   304130      0 |      595 |     1737
1470.42/1470.74	c 1437s |      17 |  1397221 |   213132 |   304130      0 |      595 |     1737
1472.62/1472.96	c 1439s |      17 |  1397443 |   213332 |   304130      0 |      595 |     1737
1475.11/1475.46	c 1442s |      17 |  1397827 |   213632 |   304130      0 |      595 |     1737
1477.82/1478.18	c 1444s |      17 |  1398199 |   213932 |   304130      0 |      595 |     1737
1480.42/1480.71	c 1447s |      17 |  1398568 |   214232 |   304130      0 |      595 |     1737
1483.41/1483.73	c 1450s |      17 |  1398939 |   214532 |   304130      0 |      595 |     1737
1485.51/1485.87	c 1452s |      17 |  1399186 |   214732 |   304130      0 |      595 |     1737
1488.12/1488.47	c 1455s |      17 |  1399547 |   215032 |   304130      0 |      595 |     1737
1490.22/1490.51	c 1457s |      17 |  1399784 |   215232 |   304130      0 |      595 |     1737
1492.81/1493.17	c 1459s |      17 |  1400018 |   215432 |   304130      0 |      595 |     1737
1495.01/1495.36	c 1461s |      17 |  1400243 |   215632 |   304130      0 |      595 |     1737
1497.71/1498.07	c 1464s |      17 |  1400606 |   215932 |   304130      0 |      595 |     1737
1500.81/1501.17	c 1467s |      17 |  1400994 |   216232 |   304130      0 |      595 |     1737
1503.51/1503.86	c 1470s |      17 |  1401331 |   216532 |   304130      0 |      595 |     1737
1506.30/1506.68	c 1473s |      17 |  1401668 |   216832 |   304130      0 |      595 |     1737
1509.21/1509.53	c 1476s |      17 |  1402002 |   217132 |   304130      0 |      595 |     1737
1512.01/1512.32	c 1478s |      17 |  1402390 |   217432 |   304130      0 |      595 |     1737
1514.52/1514.86	c 1481s |      17 |  1402795 |   217732 |   304130      0 |      595 |     1737
1517.20/1517.53	c 1484s |      17 |  1403185 |   218032 |   304130      0 |      595 |     1737
1519.91/1520.26	c 1486s |      17 |  1403594 |   218332 |   304130      0 |      595 |     1737
1522.71/1523.06	c 1489s |      17 |  1403990 |   218632 |   304130      0 |      595 |     1737
1525.41/1525.78	c 1492s |      17 |  1404336 |   218932 |   304130      0 |      595 |     1737
1528.11/1528.47	c 1495s |      17 |  1404712 |   219232 |   304130      0 |      595 |     1737
1530.40/1530.78	c 1497s |      17 |  1404965 |   219432 |   304130      0 |      595 |     1737
1532.60/1533.00	c 1499s |      17 |  1405210 |   219632 |   304130      0 |      595 |     1737
1534.80/1535.10	c 1501s |      17 |  1405467 |   219832 |   304130      0 |      595 |     1737
1536.99/1537.38	c 1503s |      17 |  1405702 |   220032 |   304130      0 |      595 |     1737
1539.30/1539.60	c 1506s |      17 |  1405927 |   220232 |   304130      0 |      595 |     1737
1541.40/1541.72	c 1508s |      17 |  1406161 |   220432 |   304130      0 |      595 |     1737
1543.59/1543.97	c 1510s |      17 |  1406561 |   220732 |   304130      0 |      595 |     1737
1545.70/1546.08	c 1512s |      17 |  1406795 |   220932 |   304130      0 |      595 |     1737
1548.50/1548.87	c 1515s |      17 |  1407026 |   221132 |   304130      0 |      595 |     1737
1550.70/1551.02	c 1517s |      17 |  1407258 |   221332 |   304130      0 |      595 |     1737
1552.79/1553.18	c 1519s |      17 |  1407501 |   221532 |   304130      0 |      595 |     1737
1554.99/1555.34	c 1521s |      17 |  1407747 |   221732 |   304130      0 |      595 |     1737
1557.30/1557.68	c 1524s |      17 |  1407989 |   221932 |   304130      0 |      595 |     1737
1560.09/1560.41	c 1526s |      17 |  1408392 |   222232 |   304130      0 |      595 |     1737
1562.99/1563.31	c 1529s |      17 |  1408741 |   222532 |   304130      0 |      595 |     1737
1565.49/1565.88	c 1532s |      17 |  1409105 |   222832 |   304130      0 |      595 |     1737
1567.79/1568.14	c 1534s |      17 |  1409356 |   223032 |   304130      0 |      595 |     1737
1569.79/1570.17	c 1536s |      17 |  1409613 |   223232 |   304130      0 |      595 |     1737
1572.18/1572.53	c 1539s |      17 |  1409849 |   223432 |   304130      0 |      595 |     1737
1574.19/1574.55	c 1541s |      17 |  1410081 |   223632 |   304130      0 |      595 |     1737
1576.98/1577.33	c 1543s |      17 |  1410438 |   223932 |   304130      0 |      595 |     1737
1579.98/1580.33	c 1546s |      17 |  1410798 |   224232 |   304130      0 |      595 |     1737
1581.99/1582.35	c 1548s |      17 |  1411033 |   224432 |   304130      0 |      595 |     1737
1584.99/1585.34	c 1551s |      17 |  1411444 |   224732 |   304130      0 |      595 |     1737
1587.09/1587.48	c 1554s |      17 |  1411685 |   224932 |   304130      0 |      595 |     1737
1590.09/1590.49	c 1557s |      17 |  1412038 |   225232 |   304130      0 |      595 |     1737
1592.38/1592.71	c 1559s |      17 |  1412267 |   225432 |   304130      0 |      595 |     1737
1594.69/1595.09	c 1561s |      17 |  1412499 |   225632 |   304130      0 |      595 |     1737
1596.99/1597.38	c 1563s |      17 |  1412867 |   225932 |   304130      0 |      595 |     1737
1599.19/1599.59	c 1566s |      17 |  1413219 |   226232 |   304130      0 |      595 |     1737
1602.08/1602.42	c 1569s |      17 |  1413588 |   226532 |   304130      0 |      595 |     1737
1604.18/1604.55	c 1571s |      17 |  1413828 |   226732 |   304130      0 |      595 |     1737
1606.48/1606.83	c 1573s |      17 |  1414065 |   226932 |   304130      0 |      595 |     1737
1609.48/1609.86	c 1576s |      17 |  1414414 |   227232 |   304130      0 |      595 |     1737
1611.98/1612.34	c 1578s |      17 |  1414803 |   227532 |   304130      0 |      595 |     1737
1614.78/1615.17	c 1581s |      17 |  1415194 |   227832 |   304130      0 |      595 |     1737
1617.48/1617.83	c 1584s |      17 |  1415447 |   228032 |   304130      0 |      595 |     1737
1619.58/1619.95	c 1586s |      17 |  1415693 |   228232 |   304130      0 |      595 |     1737
1621.88/1622.27	c 1588s |      17 |  1415921 |   228432 |   304130      0 |      595 |     1737
1624.57/1624.97	c 1591s |      17 |  1416161 |   228632 |   304130      0 |      595 |     1737
1627.27/1627.60	c 1594s |      17 |  1416410 |   228832 |   304130      0 |      595 |     1737
1629.28/1629.61	c 1596s |      17 |  1416646 |   229032 |   304130      0 |      595 |     1737
1631.58/1631.98	c 1598s |      17 |  1416887 |   229232 |   304130      0 |      595 |     1737
1633.87/1634.26	c 1600s |      17 |  1417142 |   229432 |   304130      0 |      595 |     1737
1636.48/1636.86	c 1603s |      17 |  1417391 |   229632 |   304130      0 |      595 |     1737
1639.68/1640.10	c 1606s |      17 |  1417612 |   229832 |   304130      0 |      595 |     1737
1642.08/1642.47	c 1609s |      17 |  1417874 |   230032 |   304130      0 |      595 |     1737
1644.87/1645.22	c 1611s |      17 |  1418123 |   230232 |   304130      0 |      595 |     1737
1646.88/1647.28	c 1613s |      17 |  1418389 |   230432 |   304130      0 |      595 |     1737
1649.68/1650.00	c 1616s |      17 |  1418761 |   230732 |   304130      0 |      595 |     1737
1651.88/1652.21	c 1618s |      17 |  1418998 |   230932 |   304130      0 |      595 |     1737
1653.87/1654.22	c 1620s |      17 |  1419274 |   231132 |   304130      0 |      595 |     1737
1655.87/1656.29	c 1622s |      17 |  1419503 |   231332 |   304130      0 |      595 |     1737
1658.87/1659.29	c 1625s |      17 |  1419887 |   231632 |   304130      0 |      595 |     1737
1661.17/1661.59	c 1628s |      17 |  1420132 |   231832 |   304130      0 |      595 |     1737
1663.87/1664.23	c 1630s |      17 |  1420389 |   232032 |   304130      0 |      595 |     1737
1666.56/1666.95	c 1633s |      17 |  1420756 |   232332 |   304130      0 |      595 |     1737
1669.37/1669.78	c 1636s |      17 |  1421102 |   232632 |   304130      0 |      595 |     1737
1672.37/1672.75	c 1639s |      17 |  1421460 |   232932 |   304130      0 |      595 |     1737
1675.26/1675.65	c 1642s |      17 |  1421819 |   233232 |   304130      0 |      595 |     1737
1678.28/1678.65	c 1645s |      17 |  1422209 |   233532 |   304130      0 |      595 |     1737
1680.26/1680.66	c 1647s |      17 |  1422457 |   233732 |   304130      0 |      595 |     1737
1682.36/1682.72	c 1649s |      17 |  1422710 |   233932 |   304130      0 |      595 |     1737
1684.46/1684.81	c 1651s |      17 |  1422939 |   234132 |   304130      0 |      595 |     1737
1686.66/1687.08	c 1653s |      17 |  1423184 |   234332 |   304130      0 |      595 |     1737
1689.66/1690.09	c 1656s |      17 |  1423585 |   234632 |   304130      0 |      595 |     1737
1692.16/1692.51	c 1659s |      17 |  1423842 |   234832 |   304130      0 |      595 |     1737
1694.16/1694.54	c 1661s |      17 |  1424085 |   235032 |   304130      0 |      595 |     1737
1696.46/1696.85	c 1663s |      17 |  1424340 |   235232 |   304130      0 |      595 |     1737
1698.56/1698.93	c 1665s |      17 |  1424589 |   235432 |   304130      0 |      595 |     1737
1701.06/1701.44	c 1668s |      17 |  1424996 |   235732 |   304130      0 |      595 |     1737
1703.76/1704.12	c 1670s |      17 |  1425259 |   235932 |   304130      0 |      595 |     1737
1706.36/1706.73	c 1673s |      17 |  1425685 |   236232 |   304130      0 |      595 |     1737
1708.76/1709.15	c 1675s |      17 |  1425966 |   236432 |   304130      0 |      595 |     1737
1710.95/1711.37	c 1677s |      17 |  1426254 |   236632 |   304130      0 |      595 |     1737
1713.47/1713.88	c 1680s |      17 |  1426513 |   236832 |   304130      0 |      595 |     1737
1715.67/1716.09	c 1682s |      17 |  1426795 |   237032 |   304130      0 |      595 |     1737
1717.76/1718.15	c 1684s |      17 |  1427081 |   237232 |   304130      0 |      595 |     1737
1720.65/1721.07	c 1687s |      17 |  1427424 |   237532 |   304130      0 |      595 |     1737
1723.86/1724.21	c 1690s |      17 |  1427672 |   237732 |   304130      0 |      595 |     1737
1726.45/1726.89	c 1693s |      17 |  1428076 |   238032 |   304130      0 |      595 |     1737
1729.15/1729.51	c 1696s |      17 |  1428444 |   238332 |   304130      0 |      595 |     1737
1731.85/1732.28	c 1698s |      17 |  1428814 |   238632 |   304130      0 |      595 |     1737
1734.75/1735.10	c 1701s |      17 |  1429055 |   238832 |   304130      0 |      595 |     1737
1737.46/1737.89	c 1704s |      17 |  1429296 |   239032 |   304130      0 |      595 |     1737
1740.15/1740.56	c 1707s |      17 |  1429561 |   239232 |   304130      0 |      595 |     1737
1742.95/1743.32	c 1709s |      17 |  1429790 |   239432 |   304130      0 |      595 |     1737
1745.75/1746.19	c 1712s |      17 |  1430029 |   239632 |   304130      0 |      595 |     1737
1748.55/1748.92	c 1715s |      17 |  1430272 |   239832 |   304130      0 |      595 |     1737
1751.55/1751.90	c 1718s |      17 |  1430497 |   240032 |   304130      0 |      595 |     1737
1754.64/1755.09	c 1721s |      17 |  1430731 |   240232 |   304130      0 |      595 |     1737
1757.56/1757.95	c 1724s |      17 |  1430966 |   240432 |   304130      0 |      595 |     1737
1760.45/1760.81	c 1727s |      17 |  1431210 |   240632 |   304130      0 |      595 |     1737
1763.05/1763.45	c 1730s |      17 |  1431443 |   240832 |   304130      0 |      595 |     1737
1765.75/1766.18	c 1732s |      17 |  1431667 |   241032 |   304130      0 |      595 |     1737
1767.84/1768.29	c 1734s |      17 |  1431781 |   241132 |   304130      0 |      595 |     1737
1771.14/1771.50	c 1738s |      17 |  1432010 |   241332 |   304130      0 |      595 |     1737
1773.95/1774.36	c 1740s |      17 |  1432250 |   241532 |   304130      0 |      595 |     1737
1776.95/1777.30	c 1743s |      17 |  1432485 |   241732 |   304130      0 |      595 |     1737
1780.65/1781.05	c 1747s |      17 |  1432703 |   241932 |   304130      0 |      595 |     1737
1783.25/1783.66	c 1750s |      17 |  1432963 |   242132 |   304130      0 |      595 |     1737
1786.35/1786.75	c 1753s |      17 |  1433354 |   242432 |   304130      0 |      595 |     1737
1789.35/1789.75	c 1756s |      17 |  1433748 |   242732 |   304130      0 |      595 |     1737
1791.55/1791.94	c 1758s |      17 |  1434029 |   242932 |   304130      0 |      595 |     1737
1794.04/1794.45	c 1761s |      17 |  1434263 |   243132 |   304130      0 |      595 |     1737
1796.74/1797.12	c 1763s |      17 |  1434522 |   243332 |   304130      0 |      595 |     1737
1799.54/1799.90	c 1766s |      17 |  1434781 |   243532 |   304130      0 |      595 |     1737

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

pid=21922
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.27 2.29 2.15 4/179 21925
/proc/meminfo: memFree=29243064/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 2954 0 0 0 0 0 0 0 20 0 4 0 9758301 807858176 3315 33554432000 4194304 16246674 140735833246544 140735833245968 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 197999 3325 441 2943 0 194893 0
[pid=21925/tid=21926] ppid=21922 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 826732544 3387 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=811452 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 830926848 3403 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9758301 835121152 3419 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.27 2.29 2.15 4/179 21925
/proc/meminfo: memFree=29243064/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 24819 0 0 0 6 3 0 0 20 0 4 0 9758301 1250496512 25120 33554432000 4194304 16246674 140735833246544 140735833245856 4220517 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 305297 25120 800 2943 0 302191 0
[pid=21925/tid=21926] ppid=21922 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1250496512 25120 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1250496512 25120 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1251545088 25126 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200511 s]
/proc/loadavg: 2.27 2.29 2.15 4/179 21925
/proc/meminfo: memFree=29243064/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 47036 0 0 0 12 7 0 0 20 0 4 0 9758301 1344868352 47849 33554432000 4194304 16246674 140735833246544 140735833245856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 328337 47855 800 2943 0 325231 0
[pid=21925/tid=21926] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 47859 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 47863 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 47867 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300481 s]
/proc/loadavg: 2.27 2.29 2.15 4/179 21925
/proc/meminfo: memFree=29243064/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 57929 0 0 0 20 9 0 0 20 0 4 0 9758301 1344868352 58741 33554432000 4194304 16246674 140735833246544 140735833245856 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 328337 58741 800 2943 0 325231 0
[pid=21925/tid=21926] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 58741 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 58741 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 58741 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700386 s]
/proc/loadavg: 2.27 2.29 2.15 4/179 21925
/proc/meminfo: memFree=29243064/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 66466 0 0 0 59 10 0 0 20 0 4 0 9758301 1344868352 67278 33554432000 4194304 16246674 140735833246544 140735833229536 6958076 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 328337 67278 820 2943 0 325231 0
[pid=21925/tid=21926] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 67278 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 67278 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 67278 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50034 s]
/proc/loadavg: 2.27 2.29 2.15 4/183 21929
/proc/meminfo: memFree=28974676/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 91041 0 0 0 135 14 0 0 20 0 4 0 9758301 1344868352 91853 33554432000 4194304 16246674 140735833246544 140735833229536 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 328337 91862 834 2943 0 325231 0
[pid=21925/tid=21926] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 91868 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 91874 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1344868352 91880 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.33 2.30 2.16 4/183 21929
/proc/meminfo: memFree=28515132/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 274657 0 0 0 267 42 0 0 20 0 4 0 9758301 1368985600 275469 33554432000 4194304 16246674 140735833246544 140735833228416 6169016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 334225 275469 834 2943 0 331119 0
[pid=21925/tid=21926] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275469 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275469 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275469 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30038 s]
/proc/loadavg: 2.33 2.30 2.16 3/183 21929
/proc/meminfo: memFree=28133344/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1336900 CPUtime=6.29 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 274840 0 0 0 587 42 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140735833228416 12481133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 334225 275652 834 2943 0 331119 0
[pid=21925/tid=21926] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1336900

[startup+12.7004 s]
/proc/loadavg: 2.28 2.29 2.16 3/183 21929
/proc/meminfo: memFree=28132996/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1336900 CPUtime=12.69 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 274840 0 0 0 1227 42 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140735833244416 4225157 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 334225 275652 834 2943 0 331119 0
[pid=21925/tid=21926] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275652 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1336900

[startup+25.5004 s]
/proc/loadavg: 2.24 2.28 2.15 3/183 21929
/proc/meminfo: memFree=28132764/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1336900 CPUtime=25.49 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 274847 0 0 0 2507 42 0 0 20 0 4 0 9758301 1368985600 275659 33554432000 4194304 16246674 140735833246544 140735833228416 13807762 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 334225 275659 840 2943 0 331119 0
[pid=21925/tid=21926] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275659 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275659 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1368985600 275659 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1336900

[startup+51.1005 s]
/proc/loadavg: 2.23 2.27 2.15 3/183 21930
/proc/meminfo: memFree=28120584/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1349188 CPUtime=51.08 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 278018 0 0 0 5066 42 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140735833228416 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 337297 278830 939 2943 0 334191 0
[pid=21925/tid=21926] ppid=21922 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1349188

[startup+102.3 s]
/proc/loadavg: 2.30 2.27 2.16 3/184 21934
/proc/meminfo: memFree=28120204/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=1349188 CPUtime=102.28 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 278018 0 0 0 10184 44 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140735833228416 5600400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 337297 278830 939 2943 0 334191 0
[pid=21925/tid=21926] ppid=21922 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 1381568512 278830 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1349188


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

/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 2878935040 644198 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=2811460 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 2878935040 644198 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=2811460 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 2878935040 644198 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2811460

[startup+1362.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/184 21988
/proc/meminfo: memFree=25714196/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=2901572 CPUtime=1362.05 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 666000 0 0 0 135959 246 0 0 20 0 4 0 9758301 2971209728 666733 33554432000 4194304 16246674 140735833246544 140735833245720 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 725393 666733 940 2943 0 722287 0
[pid=21925/tid=21926] ppid=21922 vsize=2901572 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 2971209728 666733 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=2901572 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 2971209728 666733 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=2901572 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 2971209728 666733 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2901572

[startup+1422.3 s]
/proc/loadavg: 2.45 2.32 2.22 3/183 21989
/proc/meminfo: memFree=25572512/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=2965060 CPUtime=1422.03 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 682085 0 0 0 141941 262 0 0 20 0 4 0 9758301 3036221440 682802 33554432000 4194304 16246674 140735833246544 140735833245720 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 741265 682802 940 2943 0 738159 0
[pid=21925/tid=21926] ppid=21922 vsize=2965060 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3036221440 682802 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=2965060 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3036221440 682802 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=2965060 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3036221440 682802 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 2965060

[startup+1482.3 s]
/proc/loadavg: 2.41 2.32 2.23 3/183 21990
/proc/meminfo: memFree=25424116/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=3056196 CPUtime=1482.01 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 704882 0 0 0 147923 278 0 0 20 0 4 0 9758301 3129544704 705586 33554432000 4194304 16246674 140735833246544 140735833245640 5823116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 764049 705586 940 2943 0 760943 0
[pid=21925/tid=21926] ppid=21922 vsize=3056196 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3129544704 705586 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=3056196 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3129544704 705586 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=3056196 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3129544704 705586 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 3056196

[startup+1542.31 s]
/proc/loadavg: 2.30 2.31 2.23 3/183 21991
/proc/meminfo: memFree=25267364/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=3143236 CPUtime=1542 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 726552 0 0 0 153902 298 0 0 20 0 4 0 9758301 3218673664 727235 33554432000 4194304 16246674 140735833246544 140735833245720 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 785809 727235 940 2943 0 782703 0
[pid=21925/tid=21926] ppid=21922 vsize=3143236 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3218673664 727235 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=3143236 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3218673664 727235 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=3143236 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3218673664 727235 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 3143236

[startup+1602.3 s]
/proc/loadavg: 2.28 2.31 2.23 3/183 21993
/proc/meminfo: memFree=25092064/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=3239492 CPUtime=1601.98 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 750682 0 0 0 159880 318 0 0 20 0 4 0 9758301 3317239808 751357 33554432000 4194304 16246674 140735833246544 140735833245720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 809873 751357 940 2943 0 806767 0
[pid=21925/tid=21926] ppid=21922 vsize=3239492 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3317239808 751357 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=3239492 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3317239808 751357 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=3239492 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3317239808 751357 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3239492

[startup+1662.3 s]
/proc/loadavg: 2.23 2.29 2.23 3/183 21994
/proc/meminfo: memFree=24985692/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=3305028 CPUtime=1661.96 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 767130 0 0 0 165859 337 0 0 20 0 4 0 9758301 3384348672 767794 33554432000 4194304 16246674 140735833246544 140735833245640 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 826257 767794 940 2943 0 823151 0
[pid=21925/tid=21926] ppid=21922 vsize=3305028 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3384348672 767794 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=3305028 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3384348672 767794 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=3305028 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3384348672 767794 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3305028

[startup+1722.3 s]
/proc/loadavg: 2.28 2.28 2.23 4/183 21995
/proc/meminfo: memFree=24838192/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=3406404 CPUtime=1721.96 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 792310 0 0 0 171837 359 0 0 20 0 4 0 9758301 3488157696 792966 33554432000 4194304 16246674 140735833246544 140735833245640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 851601 792966 941 2943 0 848495 0
[pid=21925/tid=21926] ppid=21922 vsize=3406404 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3488157696 792966 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=3406404 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3488157696 792966 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=3406404 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3488157696 792966 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3406404

[startup+1782.3 s]
/proc/loadavg: 2.20 2.26 2.22 3/183 22045
/proc/meminfo: memFree=25962696/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=3542596 CPUtime=1781.94 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 826424 0 0 0 177816 378 0 0 20 0 4 0 9758301 3627618304 827071 33554432000 4194304 16246674 140735833246544 140735833245640 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 885649 827071 941 2943 0 882543 0
[pid=21925/tid=21926] ppid=21922 vsize=3542596 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3627618304 827071 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=3542596 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3627618304 827071 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=3542596 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3627618304 827071 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 3542596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.16 2.24 2.21 3/183 22045
/proc/meminfo: memFree=25937708/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=3567172 CPUtime=1800.04 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) R 21922 21925 17390 0 -1 4202496 832686 0 0 0 179621 383 0 0 20 0 4 0 9758301 3652784128 833332 33554432000 4194304 16246674 140735833246544 140735833245720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 891793 833332 941 2943 0 888687 0
[pid=21925/tid=21926] ppid=21922 vsize=3567172 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) S 21922 21925 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9758301 3652784128 833332 33554432000 4194304 16246674 140735833246544 140682710723824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=21925/tid=21927] ppid=21922 vsize=3567172 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21927/stat : 21927 (toysat) S 21922 21925 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9758301 3652784128 833332 33554432000 4194304 16246674 140735833246544 140682700233968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21925/tid=21928] ppid=21922 vsize=3567172 CPUtime=0 cores=1,3,5,7
/proc/21925/task/21928/stat : 21928 (toysat) S 21922 21925 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9758301 3652784128 833332 33554432000 4194304 16246674 140735833246544 140682689760432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3567172

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

[startup+1800.5 s]
/proc/loadavg: 2.16 2.24 2.21 3/183 22045
/proc/meminfo: memFree=25937708/32872528 swapFree=1499116/1695340
[pid=21925] ppid=21922 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/21925/stat : 21925 (toysat) Z 21922 21925 17390 0 -1 4203532 832686 0 0 0 179621 393 0 0 20 0 2 0 9758301 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21925/statm: 0 0 0 0 0 0 0
[pid=21925/tid=21926] ppid=21922 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/21925/task/21926/stat : 21926 (toysat) R 21922 21925 17390 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 9758301 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.17
CPU user time (s): 1796.22
CPU system time (s): 3.9544
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 3567172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.22
system time used= 3.9544
maximum resident set size= 3333328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 832686
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= 451
involuntary context switches= 2133

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72228 second user time and 7.08192 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 13:38:46
IDJOB=4093091
IDBENCH=78645
IDSOLVER=2553
FILE ID=node137/4093091-1466077125
RUNJOBID= node137-1466075286-21603
PBS_JOBID= 19904003
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/normalized-j12013_1-unsat--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093091-1466077125/watcher-4093091-1466077125 -o /tmp/evaluation-result-4093091-1466077125/solver-4093091-1466077125 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21603 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093091-1466077125.wbo

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

MD5SUM BENCH= af27a3363dc9db8608eaadebe8e447c1
RANDOM SEED=234956137

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        29242972 kB
Buffers:           20080 kB
Cached:           104152 kB
SwapCached:         2456 kB
Active:          1188288 kB
Inactive:          42176 kB
Active(anon):    1106948 kB
Inactive(anon):     1780 kB
Active(file):      81340 kB
Inactive(file):    40396 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             39308 kB
Writeback:             0 kB
AnonPages:       2800360 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             568216 kB
SReclaimable:      12184 kB
SUnreclaim:       556032 kB
KernelStack:        1496 kB
PageTables:         9764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2941396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node137 at 2016-06-16 14:08:46