Trace number 4107003

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-18T22:15:51+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107003-1466280951.opb"]
0.00/0.01	c use --random-gen="1968030756 3843031415 4242978829 3810734456 889841471 3665761078 3858258293 3905967386 2274492047 3104599154 3070710910 3329057959 1399730795 3136405908 1435043852 2964355819 3478571161 602215521 3930288456 1988194010 3940975573 2807899216 2437089975 2535710288 2179058115 3532398110 2579155524 1153730183 991031449 913378014 1038080585 2360640062 3052333222 4114458048 3377168593 3627000022 2080285800 655999933 1763428508 3858339441 43270584 2483871442 3527109844 1994818502 578392351 635137411 2834198275 1670346755 2796504474 623945077 1341037374 2774944250 2407691494 30583111 299200076 1881763800 3998368757 3174664545 1746909891 3505787789 736145160 217688239 2147264918 2890593537 147739307 1387655123 3210069184 1316724343 1378432714 3292185834 3029234173 1228551327 1958568788 1931282710 4285628631 2477009509 3813511923 1875193948 699433813 3232848686 1145762960 1428250684 1453490117 1286539979 3378015872 767185802 2733602561 3385180941 4226886068 944119388 3068006814 3234932270 3192207667 1460387192 2431654258 2462827915 2238986060 3012212116 664786041 135880891 1505127294 3869986910 3122662032 3947454029 1717302919 3695134443 3015114262 2208555241 2790743743 58871377 649430663 1701366486 472504357 4085991515 2669296695 3956416323 1293808446 4104217458 2459981257 1581972458 3452474581 1605638747 1992282264 2644773970 2818920069 3663685093 2550930917 294820059 3703306284 3665571892 4082402213 2010822150 1935400475 1064846620 1796714803 1190590147 71838817 1000838348 108502310 2831849569 756265008 2258155735 2003748112 2202189032 3893261384 138247505 3979264590 3138427586 1366103823 359555414 1817498083 90673899 3357324152 4075727832 4040773724 1715877682 662499896 2661823924 3619284427 1407236702 111841517 2493763716 1687097973 4070573660 716294494 2330153967 2579493612 2382639387 3952612696 1896195170 3702663529 1937498988 40699588 736320084 3107231081 3555292344 3961294084 1468376643 1408221922 556300275 2042777159 3740136151 4190854659 481302064 4119376451 755691198 1045966540 3162620067 310340603 1690787214 3079745318 667182256 975934401 2683657447 2918711562 3357560134 1227874712 1365318649 2999104195 126900593 1234565137 1414144242 351680614 1499000222 469686772 3495320906 2375923623 347868007 283499213 539604275 247864281 2216461507 2616767111 4194850517 2943979320 694792137 2678939899 1575484163 4135768970 3303311691 3517485948 2683834225 1833624367 3888122508 588259408 3110202487 1233902300 2177043527 310913656 2166256504 3537391627 2188312868 483893048 1307206076 98908500 729833846 306833505 1296970107 1807781585 2314825728 3833240636 4205500766 3858369873 4277272143 2155548205 2254653519 2662462896 1860647517 254299710 187201065 1344344832 1796632597 3204292005 2842559979 878983223 3001320622 255 362436" option to reproduce the execution
0.19/0.21	c #vars 1000
0.19/0.21	c #constraints 1502
1.20/1.20	c Solving starts ...
1.20/1.20	c ============================[ Search Statistics ]============================
1.20/1.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.20/1.20	c       |         |          |          |    Limit     GC | Var      | Constra 
1.20/1.20	c =============================================================================
1.20/1.27	c  0.0s |       0 |        0 |        0 |    25745      0 |        0 |        0
1.59/1.66	c  0.4s |       1 |      657 |      100 |    25745      0 |        0 |        0
1.89/1.93	c  0.7s |       2 |    34969 |      250 |    28320      0 |        0 |        0
2.09/2.18	c  0.9s |       3 |    63088 |      475 |    31153      0 |        0 |        0
4.18/4.23	c  3.0s |       4 |    81470 |      813 |    34269      0 |        0 |        0
6.48/6.52	c  5.3s |       4 |   112979 |     1313 |    37696      0 |        0 |        0
6.48/6.54	c  5.3s |       5 |   112979 |     1320 |    37696      0 |        0 |        0
9.48/9.53	c  8.3s |       5 |   122511 |     1620 |    41466      0 |        0 |        0
11.58/11.69	c 10.4s |       5 |   134933 |     2020 |    41466      0 |        0 |        0
12.29/12.34	c 11.1s |       6 |   134933 |     2081 |    45613      0 |        0 |        0
14.89/14.96	c 13.7s |       6 |   137798 |     2281 |    45613      0 |        0 |        0
17.60/17.65	c 16.4s |       6 |   138210 |     2481 |    45613      0 |        0 |        0
21.89/22.00	c 20.7s |       6 |   138500 |     2681 |    45613      0 |        0 |        0
24.79/24.85	c 23.6s |       6 |   160663 |     3181 |    45613      0 |        0 |        0
25.49/25.51	c 24.2s |       7 |   160663 |     3223 |    50175      0 |        0 |        0
29.09/29.18	c 27.9s |       7 |   163925 |     3423 |    50175      0 |        0 |        0
31.79/31.83	c 30.6s |       7 |   172247 |     3723 |    50175      0 |        0 |        0
34.09/34.12	c 32.9s |       7 |   174151 |     3923 |    50175      0 |        0 |        0
36.89/36.92	c 35.7s |       7 |   174817 |     4123 |    50175      0 |        0 |        0
38.89/38.96	c 37.7s |       7 |   184998 |     4423 |    50175      0 |        0 |        0
41.99/42.00	c 40.7s |       7 |   185282 |     4623 |    50175      0 |        0 |        0
44.09/44.19	c 42.9s |       7 |   189804 |     4823 |    50175      0 |        0 |        0
44.99/45.00	c 43.7s |       8 |   193374 |     4936 |    55193      0 |        0 |        0
48.39/48.50	c 47.2s |       8 |   193706 |     5136 |    55193      0 |        0 |        0
50.78/50.82	c 49.6s |       8 |   216297 |     5536 |    55193      0 |        0 |        0
52.89/52.99	c 51.7s |       8 |   229406 |     5836 |    55193      0 |        0 |        0
55.68/55.71	c 54.4s |       8 |   236907 |     6136 |    55193      0 |        0 |        0
57.68/57.75	c 56.5s |       8 |   237037 |     6236 |    55193      0 |        0 |        0
59.78/59.82	c 58.5s |       8 |   242461 |     6436 |    55193      0 |        0 |        0
63.08/63.12	c 61.9s |       8 |   248484 |     6736 |    55193      0 |        0 |        0
65.28/65.38	c 64.1s |       8 |   248639 |     6836 |    55193      0 |        0 |        0
69.08/69.10	c 67.8s |       8 |   254491 |     7036 |    55193      0 |        0 |        0
71.08/71.11	c 69.8s |       8 |   262844 |     7336 |    55193      0 |        0 |        0
73.08/73.19	c 71.9s |       9 |   263116 |     7506 |    60713      0 |        0 |        0
75.18/75.25	c 74.0s |       9 |   265653 |     7606 |    60713      0 |        0 |        0
77.18/77.28	c 76.0s |       9 |   275954 |     8006 |    60713      0 |        0 |        0
79.19/79.29	c 78.0s |       9 |   278194 |     8206 |    60713      0 |        0 |        0
81.49/81.54	c 80.3s |       9 |   278194 |     8306 |    60713      0 |        0 |        0
84.18/84.20	c 82.9s |       9 |   279900 |     8406 |    60713      0 |        0 |        0
86.58/86.61	c 85.3s |       9 |   299408 |     8806 |    60713      0 |        0 |        0
89.09/89.13	c 87.9s |       9 |   309348 |     9106 |    60713      0 |        0 |        0
91.58/91.69	c 90.4s |       9 |   309804 |     9306 |    60713      0 |        0 |        0
93.78/93.89	c 92.6s |       9 |   310780 |     9506 |    60713      0 |        0 |        0
95.78/95.90	c 94.6s |       9 |   321756 |     9706 |    60713      0 |        0 |        0
97.88/97.93	c 96.7s |       9 |   340944 |    10106 |    60713      0 |        0 |        0
102.28/102.33	c  101s |       9 |   340944 |    10306 |    60713      0 |        0 |        0
105.28/105.35	c  104s |       9 |   352501 |    10706 |    60713      0 |        0 |        0
107.47/107.55	c  106s |       9 |   352501 |    10806 |    60713      0 |        0 |        0
109.87/109.97	c  108s |       9 |   363536 |    11006 |    60713      0 |        0 |        0
113.47/113.51	c  112s |       9 |   363536 |    11206 |    60713      0 |        0 |        0
116.47/116.52	c  115s |       9 |   363597 |    11306 |    66785      0 |        0 |        0
116.58/116.69	c  115s |      10 |   371565 |    11361 |    66785      0 |        0 |        0
118.57/118.69	c  117s |      10 |   399688 |    11761 |    66785      0 |        0 |        0
121.37/121.42	c  120s |      10 |   400144 |    11961 |    66785      0 |        0 |        0
123.87/123.91	c  122s |      10 |   406644 |    12261 |    66785      0 |        0 |        0
126.97/127.05	c  125s |      10 |   408526 |    12461 |    66785      0 |        0 |        0
129.97/130.00	c  128s |      10 |   419006 |    12861 |    66785      0 |        0 |        0
132.97/133.04	c  131s |      10 |   419884 |    13061 |    66785      0 |        0 |        0
135.38/135.45	c  134s |      10 |   419981 |    13161 |    66785      0 |        0 |        0
137.77/137.86	c  136s |      10 |   425786 |    13361 |    66785      0 |        0 |        0
141.07/141.13	c  139s |      10 |   426057 |    13561 |    66785      0 |        0 |        0
144.87/144.99	c  143s |      10 |   432053 |    13861 |    66785      0 |        0 |        0
148.87/148.92	c  147s |      10 |   436675 |    14161 |    66785      0 |        0 |        0
152.87/152.98	c  151s |      10 |   442662 |    14461 |    66785      0 |        0 |        0
154.97/155.03	c  153s |      10 |   447882 |    14661 |    66785      0 |        0 |        0
157.27/157.33	c  156s |      10 |   451746 |    14861 |    66785      0 |        0 |        0
159.37/159.40	c  158s |      10 |   455629 |    15061 |    66785      0 |        0 |        0
161.57/161.65	c  160s |      10 |   461619 |    15361 |    66785      0 |        0 |        0
164.46/164.58	c  163s |      10 |   467434 |    15661 |    66785      0 |        0 |        0
167.36/167.45	c  166s |      10 |   473163 |    15961 |    66785      0 |        0 |        0
170.26/170.31	c  169s |      10 |   478809 |    16261 |    66785      0 |        0 |        0
173.06/173.12	c  171s |      10 |   483474 |    16561 |    66785      0 |        0 |        0
175.26/175.30	c  174s |      10 |   487077 |    16861 |    66785      0 |        0 |        0
176.96/177.05	c  175s |      11 |   491358 |    17144 |    73464      0 |        0 |        0
180.26/180.34	c  179s |      11 |   492243 |    17344 |    73464      0 |        0 |        0
182.57/182.61	c  181s |      11 |   496748 |    17544 |    73464      0 |        0 |        0
185.06/185.12	c  183s |      11 |   496748 |    17644 |    73464      0 |        0 |        0
187.16/187.29	c  186s |      11 |   502291 |    17844 |    73464      0 |        0 |        0
189.56/189.61	c  188s |      11 |   502291 |    17944 |    73464      0 |        0 |        0
191.86/191.99	c  190s |      11 |   506890 |    18144 |    73464      0 |        0 |        0
194.06/194.17	c  192s |      11 |   512575 |    18344 |    73464      0 |        0 |        0
196.76/196.83	c  195s |      11 |   514007 |    18544 |    73464      0 |        0 |        0
198.76/198.84	c  197s |      11 |   514575 |    18744 |    73464      0 |        0 |        0
201.06/201.13	c  199s |      11 |   517987 |    19044 |    73464      0 |        0 |        0
203.46/203.52	c  202s |      11 |   521572 |    19244 |    73464      0 |        0 |        0
205.55/205.70	c  204s |      11 |   524899 |    19444 |    73464      0 |        0 |        0
208.55/208.63	c  207s |      11 |   528201 |    19744 |    73464      0 |        0 |        0
210.85/210.97	c  209s |      11 |   531614 |    19944 |    73464      0 |        0 |        0
213.85/213.91	c  212s |      11 |   537916 |    20244 |    73464      0 |        0 |        0
216.76/216.84	c  215s |      11 |   544449 |    20544 |    73464      0 |        0 |        0
218.75/218.84	c  217s |      11 |   547726 |    20744 |    73464      0 |        0 |        0
220.75/220.90	c  219s |      11 |   551021 |    20944 |    73464      0 |        0 |        0
222.95/223.07	c  221s |      11 |   554228 |    21144 |    73464      0 |        0 |        0
225.35/225.48	c  224s |      11 |   557360 |    21344 |    73464      0 |        0 |        0
227.66/227.76	c  226s |      11 |   563663 |    21644 |    73464      0 |        0 |        0
230.75/230.85	c  229s |      11 |   568154 |    21944 |    73464      0 |        0 |        0
233.95/234.04	c  232s |      11 |   572906 |    22244 |    73464      0 |        0 |        0
236.05/236.11	c  234s |      11 |   578833 |    22444 |    73464      0 |        0 |        0
238.15/238.23	c  236s |      11 |   581769 |    22644 |    73464      0 |        0 |        0
240.35/240.46	c  239s |      11 |   584681 |    22844 |    73464      0 |        0 |        0
242.55/242.63	c  241s |      11 |   590004 |    23044 |    73464      0 |        0 |        0
245.76/245.84	c  244s |      11 |   595576 |    23344 |    73464      0 |        0 |        0
248.96/249.03	c  247s |      11 |   601481 |    23644 |    73464      0 |        0 |        0
251.86/251.95	c  250s |      11 |   604729 |    23944 |    73464      0 |        0 |        0
255.16/255.21	c  253s |      11 |   610423 |    24244 |    73464      0 |        0 |        0
257.55/257.60	c  256s |      11 |   614370 |    24644 |    73464      0 |        0 |        0
259.75/259.87	c  258s |      11 |   616942 |    24844 |    73464      0 |        0 |        0
262.86/262.92	c  261s |      11 |   622183 |    25144 |    73464      0 |        0 |        0
265.95/266.06	c  264s |      11 |   628812 |    25444 |    73464      0 |        0 |        0
268.75/268.85	c  267s |      11 |   632619 |    25744 |    80811      0 |        0 |        0
269.25/269.36	c  268s |      12 |   635155 |    25819 |    80811      0 |        0 |        0
271.45/271.50	c  270s |      12 |   635534 |    25919 |    80811      0 |        0 |        0
275.75/275.83	c  274s |      12 |   638693 |    26219 |    80811      0 |        0 |        0
278.55/278.66	c  277s |      12 |   649770 |    26619 |    80811      0 |        0 |        0
280.95/281.00	c  279s |      12 |   655592 |    26819 |    80811      0 |        0 |        0
283.15/283.20	c  281s |      12 |   660328 |    27119 |    80811      0 |        0 |        0
286.15/286.25	c  284s |      12 |   663145 |    27419 |    80811      0 |        0 |        0
289.26/289.33	c  288s |      12 |   669253 |    27819 |    80811      0 |        0 |        0
291.35/291.50	c  290s |      12 |   670596 |    28119 |    80811      0 |        0 |        0
293.85/293.90	c  292s |      12 |   677909 |    28519 |    80811      0 |        0 |        0
296.35/296.45	c  295s |      12 |   681648 |    28819 |    80811      0 |        0 |        0
299.45/299.50	c  298s |      12 |   683370 |    29019 |    80811      0 |        0 |        0
302.85/302.99	c  301s |      12 |   687813 |    29419 |    80811      0 |        0 |        0
305.85/305.96	c  304s |      12 |   694334 |    29819 |    80811      0 |        0 |        0
308.95/309.00	c  307s |      12 |   698909 |    30119 |    80811      0 |        0 |        0
311.45/311.59	c  310s |      12 |   704631 |    30419 |    80811      0 |        0 |        0
313.74/313.83	c  312s |      12 |   707641 |    30619 |    80811      0 |        0 |        0
315.85/315.95	c  314s |      12 |   712841 |    30919 |    80811      0 |        0 |        0
318.44/318.57	c  317s |      12 |   716334 |    31219 |    80811      0 |        0 |        0
321.04/321.16	c  319s |      12 |   720510 |    31519 |    80811      0 |        0 |        0
323.04/323.18	c  321s |      12 |   725440 |    31819 |    80811      0 |        0 |        0
325.14/325.21	c  323s |      12 |   727465 |    32119 |    80811      0 |        0 |        0
327.44/327.54	c  326s |      12 |   737559 |    32519 |    80811      0 |        0 |        0
329.74/329.82	c  328s |      12 |   741986 |    32819 |    80811      0 |        0 |        0
331.74/331.84	c  330s |      12 |   745140 |    33119 |    80811      0 |        0 |        0
333.94/334.09	c  332s |      12 |   750574 |    33519 |    80811      0 |        0 |        0
336.04/336.18	c  334s |      12 |   753599 |    33819 |    80811      0 |        0 |        0
338.14/338.29	c  337s |      12 |   757298 |    34119 |    80811      0 |        0 |        0
340.64/340.73	c  339s |      12 |   761675 |    34519 |    80811      0 |        0 |        0
342.83/342.95	c  341s |      12 |   763024 |    34719 |    80811      0 |        0 |        0
345.34/345.50	c  344s |      12 |   764197 |    34919 |    80811      0 |        0 |        0
347.43/347.52	c  346s |      12 |   770504 |    35219 |    80811      0 |        0 |        0
349.74/349.89	c  348s |      12 |   779680 |    35519 |    80811      0 |        0 |        0
352.23/352.30	c  351s |      12 |   783212 |    35819 |    80811      0 |        0 |        0
354.33/354.49	c  353s |      12 |   784030 |    36019 |    80811      0 |        0 |        0
356.83/356.95	c  355s |      12 |   787919 |    36319 |    80811      0 |        0 |        0
359.23/359.32	c  358s |      12 |   791094 |    36619 |    80811      0 |        0 |        0
361.84/361.98	c  360s |      12 |   793548 |    37019 |    80811      0 |        0 |        0
364.63/364.77	c  363s |      12 |   801443 |    37319 |    80811      0 |        0 |        0
367.34/367.43	c  366s |      12 |   804065 |    37619 |    80811      0 |        0 |        0
369.93/370.07	c  368s |      12 |   805978 |    37919 |    80811      0 |        0 |        0
372.73/372.89	c  371s |      12 |   811081 |    38219 |    80811      0 |        0 |        0
375.43/375.59	c  374s |      12 |   822894 |    38619 |    88893      0 |        0 |        0
377.43/377.59	c  376s |      13 |   823785 |    38832 |    88893      0 |        0 |        0
379.63/379.71	c  378s |      13 |   827175 |    39032 |    88893      0 |        0 |        0
382.23/382.38	c  381s |      13 |   837018 |    39332 |    88893      0 |        0 |        0
384.83/385.00	c  383s |      13 |   839665 |    39632 |    88893      0 |        0 |        0
387.03/387.20	c  385s |      13 |   841133 |    39832 |    88893      0 |        0 |        0
389.43/389.52	c  388s |      13 |   843627 |    40132 |    88893      0 |        0 |        0
391.83/391.98	c  390s |      13 |   850277 |    40432 |    88893      0 |        0 |        0
393.93/394.09	c  392s |      13 |   853287 |    40732 |    88893      0 |        0 |        0
396.32/396.43	c  395s |      13 |   854972 |    41032 |    88893      0 |        0 |        0
398.52/398.66	c  397s |      13 |   855522 |    41232 |    88893      0 |        0 |        0
400.72/400.84	c  399s |      13 |   857923 |    41432 |    88893      0 |        0 |        0
402.92/403.10	c  401s |      13 |   863250 |    41732 |    88893      0 |        0 |        0
405.42/405.57	c  404s |      13 |   865046 |    42032 |    88893      0 |        0 |        0
407.63/407.77	c  406s |      13 |   868942 |    42332 |    88893      0 |        0 |        0
409.83/409.95	c  408s |      13 |   872261 |    42632 |    88893      0 |        0 |        0
412.83/412.98	c  411s |      13 |   874329 |    43032 |    88893      0 |        0 |        0
414.93/415.07	c  413s |      13 |   881847 |    43332 |    88893      0 |        0 |        0
417.23/417.37	c  416s |      13 |   892294 |    43632 |    88893      0 |        0 |        0
419.53/419.67	c  418s |      13 |   894438 |    43932 |    88893      0 |        0 |        0
422.23/422.36	c  421s |      13 |   895611 |    44232 |    88893      0 |        0 |        0
424.73/424.81	c  423s |      13 |   896841 |    44532 |    88893      0 |        0 |        0
427.43/427.58	c  426s |      13 |   899130 |    44832 |    88893      0 |        0 |        0
429.53/429.66	c  428s |      13 |   902766 |    45132 |    88893      0 |        0 |        0
431.73/431.83	c  430s |      13 |   903999 |    45432 |    88893      0 |        0 |        0
434.13/434.22	c  432s |      13 |   906384 |    45732 |    88893      0 |        0 |        0
436.73/436.83	c  435s |      13 |   912981 |    46132 |    88893      0 |        0 |        0
439.13/439.20	c  437s |      13 |   917314 |    46532 |    88893      0 |        0 |        0
441.53/441.60	c  440s |      13 |   919700 |    46832 |    88893      0 |        0 |        0
444.03/444.14	c  442s |      13 |   923931 |    47132 |    88893      0 |        0 |        0
446.43/446.56	c  445s |      13 |   929056 |    47532 |    88893      0 |        0 |        0
448.83/448.93	c  447s |      13 |   931015 |    47832 |    88893      0 |        0 |        0
451.32/451.41	c  450s |      13 |   933560 |    48132 |    88893      0 |        0 |        0
453.42/453.56	c  452s |      13 |   948610 |    48432 |    88893      0 |        0 |        0
456.62/456.74	c  455s |      13 |   957194 |    48732 |    88893      0 |        0 |        0
459.52/459.62	c  458s |      13 |   959257 |    48932 |    88893      0 |        0 |        0
461.72/461.81	c  460s |      13 |   959426 |    49132 |    88893      0 |        0 |        0
463.92/464.09	c  462s |      13 |   981254 |    49432 |    88893      0 |        0 |        0
466.02/466.10	c  464s |      13 |   981254 |    49532 |    88893      0 |        0 |        0
468.72/468.82	c  467s |      13 |   981365 |    49632 |    88893      0 |        0 |        0
472.52/472.69	c  471s |      13 |   996548 |    49932 |    88893      0 |        0 |        0
475.02/475.17	c  473s |      13 |   999662 |    50132 |    88893      0 |        0 |        0
477.22/477.38	c  476s |      13 |  1014074 |    50332 |    88893      0 |        0 |        0
479.32/479.46	c  478s |      13 |  1022863 |    50532 |    88893      0 |        0 |        0
481.83/481.91	c  480s |      13 |  1025884 |    50732 |    88893      0 |        0 |        0
484.12/484.24	c  482s |      13 |  1037259 |    51032 |    88893      0 |        0 |        0
486.82/486.94	c  485s |      13 |  1058218 |    51432 |    88893      0 |        0 |        0
490.22/490.30	c  489s |      13 |  1059217 |    51632 |    88893      0 |        0 |        0
492.42/492.53	c  491s |      13 |  1100079 |    52032 |    88893      0 |        0 |        0
495.02/495.13	c  493s |      13 |  1104685 |    52332 |    88893      0 |        0 |        0
497.12/497.29	c  496s |      13 |  1117436 |    52632 |    88893      0 |        0 |        0
499.32/499.45	c  498s |      13 |  1135127 |    52932 |    88893      0 |        0 |        0
502.72/502.83	c  501s |      13 |  1138924 |    53232 |    88893      0 |        0 |        0
504.92/505.09	c  503s |      13 |  1154038 |    53632 |    88893      0 |        0 |        0
507.12/507.29	c  506s |      13 |  1163826 |    53932 |    88893      0 |        0 |        0
509.71/509.89	c  508s |      13 |  1170732 |    54232 |    88893      0 |        0 |        0
511.91/512.08	c  510s |      13 |  1188319 |    54532 |    88893      0 |        0 |        0
514.31/514.48	c  513s |      13 |  1195170 |    54832 |    88893      0 |        0 |        0
516.92/517.04	c  515s |      13 |  1214214 |    55232 |    88893      0 |        0 |        0
519.12/519.21	c  517s |      13 |  1220039 |    55432 |    88893      0 |        0 |        0
521.21/521.33	c  520s |      13 |  1222096 |    55732 |    88893      0 |        0 |        0
523.62/523.73	c  522s |      13 |  1242755 |    56032 |    88893      0 |        0 |        0
526.11/526.29	c  525s |      13 |  1247957 |    56332 |    88893      0 |        0 |        0
528.71/528.89	c  527s |      13 |  1262085 |    56632 |    88893      0 |        0 |        0
531.22/531.34	c  530s |      13 |  1274407 |    56932 |    88893      0 |        0 |        0
533.81/533.94	c  532s |      13 |  1277699 |    57132 |    88893      0 |        0 |        0
537.21/537.39	c  536s |      13 |  1295496 |    57532 |    88893      0 |        0 |        0
539.31/539.46	c  538s |      13 |  1314031 |    57832 |    88893      0 |        0 |        0
541.71/541.81	c  540s |      13 |  1326411 |    58132 |    97783      0 |        0 |        0
543.71/543.82	c  542s |      13 |  1328328 |    58332 |    97783      0 |        0 |        0
543.91/544.08	c  542s |      14 |  1329860 |    58352 |    97783      0 |        0 |        0
546.51/546.61	c  545s |      14 |  1346186 |    58552 |    97783      0 |        0 |        0
548.71/548.84	c  547s |      14 |  1347573 |    58752 |    97783      0 |        0 |        0
550.91/551.05	c  549s |      14 |  1369219 |    59052 |    97783      0 |        0 |        0
553.01/553.12	c  551s |      14 |  1383420 |    59352 |    97783      0 |        0 |        0
555.61/555.71	c  554s |      14 |  1394895 |    59652 |    97783      0 |        0 |        0
557.61/557.78	c  556s |      14 |  1407270 |    59952 |    97783      0 |        0 |        0
560.11/560.22	c  558s |      14 |  1411077 |    60252 |    97783      0 |        0 |        0
562.61/562.72	c  561s |      14 |  1420898 |    60552 |    97783      0 |        0 |        0
564.71/564.83	c  563s |      14 |  1428935 |    60852 |    97783      0 |        0 |        0
567.30/567.44	c  566s |      14 |  1435811 |    61152 |    97783      0 |        0 |        0
569.50/569.65	c  568s |      14 |  1443437 |    61452 |    97783      0 |        0 |        0
571.70/571.87	c  570s |      14 |  1450253 |    61752 |    97783      0 |        0 |        0
574.00/574.19	c  572s |      14 |  1457602 |    62152 |    97783      0 |        0 |        0
576.10/576.27	c  575s |      14 |  1466795 |    62452 |    97783      0 |        0 |        0
578.80/578.95	c  577s |      14 |  1473717 |    62752 |    97783      0 |        0 |        0
581.00/581.15	c  579s |      14 |  1476926 |    63052 |    97783      0 |        0 |        0
583.30/583.42	c  582s |      14 |  1478389 |    63252 |    97783      0 |        0 |        0
585.80/585.99	c  584s |      14 |  1484508 |    63552 |    97783      0 |        0 |        0
588.30/588.45	c  587s |      14 |  1492873 |    63852 |    97783      0 |        0 |        0
590.80/590.96	c  589s |      14 |  1497998 |    64152 |    97783      0 |        0 |        0
592.91/593.08	c  591s |      14 |  1502583 |    64452 |    97783      0 |        0 |        0
595.01/595.19	c  593s |      14 |  1505448 |    64752 |    97783      0 |        0 |        0
597.10/597.24	c  595s |      14 |  1509551 |    65052 |    97783      0 |        0 |        0
599.51/599.65	c  598s |      14 |  1516280 |    65352 |    97783      0 |        0 |        0
602.00/602.17	c  600s |      14 |  1521057 |    65652 |    97783      0 |        0 |        0
604.30/604.43	c  603s |      14 |  1573754 |    66052 |    97783      0 |        0 |        0
606.90/607.06	c  605s |      14 |  1577985 |    66252 |    97783      0 |        0 |        0
611.40/611.60	c  610s |      14 |  1578562 |    66452 |    97783      0 |        0 |        0
613.49/613.68	c  612s |      14 |  1579742 |    66952 |    97783      0 |        0 |        0
616.39/616.56	c  615s |      14 |  1618989 |    67452 |    97783      0 |        0 |        0
618.49/618.60	c  617s |      14 |  1624495 |    67652 |    97783      0 |        0 |        0
620.59/620.71	c  619s |      14 |  1649455 |    67952 |    97783      0 |        0 |        0
622.79/622.93	c  621s |      14 |  1665966 |    68252 |    97783      0 |        0 |        0
625.09/625.29	c  624s |      14 |  1679289 |    68652 |    97783      0 |        0 |        0
627.79/627.91	c  626s |      14 |  1734317 |    69252 |    97783      0 |        0 |        0
630.09/630.22	c  628s |      14 |  1756067 |    69652 |    97783      0 |        0 |        0
632.09/632.27	c  631s |      14 |  1786679 |    69952 |    97783      0 |        0 |        0
634.49/634.61	c  633s |      14 |  1825666 |    70352 |    97783      0 |        0 |        0
636.59/636.74	c  635s |      14 |  1854961 |    70752 |    97783      0 |        0 |        0
638.59/638.76	c  637s |      14 |  1856416 |    70952 |    97783      0 |        0 |        0
640.89/641.09	c  639s |      14 |  1897732 |    71352 |    97783      0 |        0 |        0
643.09/643.25	c  641s |      14 |  1933859 |    71652 |    97783      0 |        0 |        0
645.49/645.61	c  644s |      14 |  1953712 |    72052 |    97783      0 |        0 |        0
647.59/647.73	c  646s |      14 |  1973730 |    72452 |    97783      0 |        0 |        0
649.59/649.76	c  648s |      14 |  2007974 |    72952 |    97783      0 |        0 |        0
651.89/652.07	c  650s |      14 |  2030001 |    73452 |    97783      0 |        0 |        0
654.59/654.72	c  653s |      14 |  2043926 |    73852 |    97783      0 |        0 |        0
656.89/657.09	c  655s |      14 |  2064970 |    74352 |    97783      0 |        0 |        0
658.99/659.15	c  657s |      14 |  2085443 |    74752 |    97783      0 |        0 |        0
661.29/661.40	c  660s |      14 |  2099752 |    75152 |    97783      0 |        0 |        0
663.39/663.57	c  662s |      14 |  2117269 |    75552 |    97783      0 |        0 |        0
665.59/665.73	c  664s |      14 |  2138400 |    76052 |    97783      0 |        0 |        0
667.88/668.00	c  666s |      14 |  2160351 |    76652 |    97783      0 |        0 |        0
670.68/670.81	c  669s |      14 |  2165518 |    76952 |    97783      0 |        0 |        0
672.98/673.15	c  671s |      14 |  2176558 |    77252 |    97783      0 |        0 |        0
675.68/675.87	c  674s |      14 |  2202165 |    77752 |    97783      0 |        0 |        0
677.78/677.94	c  676s |      14 |  2225357 |    78252 |    97783      0 |        0 |        0
680.28/680.40	c  679s |      14 |  2233239 |    78652 |    97783      0 |        0 |        0
682.78/682.94	c  681s |      14 |  2247627 |    79152 |    97783      0 |        0 |        0
685.38/685.53	c  684s |      14 |  2257972 |    79652 |    97783      0 |        0 |        0
687.88/688.05	c  686s |      14 |  2285016 |    80052 |    97783      0 |        0 |        0
689.88/690.06	c  688s |      14 |  2288181 |    80252 |    97783      0 |        0 |        0
692.38/692.53	c  691s |      14 |  2343668 |    80652 |    97783      0 |        0 |        0
694.58/694.76	c  693s |      14 |  2354069 |    80952 |    97783      0 |        0 |        0
696.98/697.15	c  695s |      14 |  2391589 |    81352 |    97783      0 |        0 |        0
699.38/699.57	c  698s |      14 |  2419421 |    81752 |    97783      0 |        0 |        0
701.48/701.66	c  700s |      14 |  2458066 |    82152 |    97783      0 |        0 |        0
703.88/704.05	c  702s |      14 |  2483211 |    82552 |    97783      0 |        0 |        0
706.19/706.31	c  705s |      14 |  2514257 |    83052 |    97783      0 |        0 |        0
708.18/708.32	c  707s |      14 |  2547600 |    83552 |    97783      0 |        0 |        0
710.38/710.58	c  709s |      14 |  2580729 |    84152 |    97783      0 |        0 |        0
712.79/712.91	c  711s |      14 |  2610468 |    84652 |    97783      0 |        0 |        0
714.89/715.04	c  713s |      14 |  2628147 |    85152 |    97783      0 |        0 |        0
717.19/717.39	c  716s |      14 |  2646634 |    85652 |    97783      0 |        0 |        0
719.58/719.71	c  718s |      14 |  2657947 |    86152 |    97783      0 |        0 |        0
721.68/721.83	c  720s |      14 |  2704462 |    86552 |    97783      0 |        0 |        0
723.79/723.98	c  722s |      14 |  2740422 |    86852 |    97783      0 |        0 |        0
725.99/726.11	c  724s |      14 |  2786106 |    87252 |   107562      0 |        0 |        0
728.19/728.33	c  727s |      15 |  2817020 |    87632 |   107562      0 |        0 |        0
730.48/730.62	c  729s |      15 |  2832945 |    87732 |   107562      0 |        0 |        0
733.08/733.28	c  732s |      15 |  2864579 |    88032 |   107562      0 |        0 |        0
735.18/735.35	c  734s |      15 |  2923244 |    88432 |   107562      0 |        0 |        0
737.58/737.78	c  736s |      15 |  2951658 |    88732 |   107562      0 |        0 |        0
740.08/740.27	c  739s |      15 |  2981020 |    89132 |   107562      0 |        0 |        0
742.39/742.53	c  741s |      15 |  3038663 |    89532 |   107562      0 |        0 |        0
744.38/744.53	c  743s |      15 |  3040864 |    89732 |   107562      0 |        0 |        0
746.89/747.07	c  745s |      15 |  3120145 |    90232 |   107562      0 |        0 |        0
749.48/749.62	c  748s |      15 |  3136751 |    90532 |   107562      0 |        0 |        0
751.58/751.74	c  750s |      15 |  3156323 |    90732 |   107562      0 |        0 |        0
753.88/754.08	c  752s |      15 |  3204851 |    91132 |   107562      0 |        0 |        0
756.28/756.47	c  755s |      15 |  3274765 |    91532 |   107562      0 |        0 |        0
758.98/759.16	c  757s |      15 |  3301543 |    91932 |   107562      0 |        0 |        0
761.28/761.47	c  760s |      15 |  3337811 |    92332 |   107562      0 |        0 |        0
763.38/763.58	c  762s |      15 |  3346941 |    92632 |   107562      0 |        0 |        0
765.87/766.08	c  764s |      15 |  3381908 |    93032 |   107562      0 |        0 |        0
768.18/768.32	c  767s |      15 |  3444890 |    93432 |   107562      0 |        0 |        0
770.87/771.01	c  769s |      15 |  3456158 |    93732 |   107562      0 |        0 |        0
773.07/773.23	c  771s |      15 |  3501880 |    94132 |   107562      0 |        0 |        0
775.77/775.90	c  774s |      15 |  3567138 |    94632 |   107562      0 |        0 |        0
777.77/777.98	c  776s |      15 |  3612246 |    95032 |   107562      0 |        0 |        0
780.17/780.39	c  779s |      15 |  3646549 |    95432 |   107562      0 |        0 |        0
782.67/782.82	c  781s |      15 |  3694633 |    95832 |   107562      0 |        0 |        0
784.67/784.88	c  783s |      15 |  3696744 |    96032 |   107562      0 |        0 |        0
787.48/787.69	c  786s |      15 |  3741728 |    96532 |   107562      0 |        0 |        0
790.27/790.42	c  789s |      15 |  3790706 |    97032 |   107562      0 |        0 |        0
792.27/792.45	c  791s |      15 |  3834197 |    97432 |   107562      0 |        0 |        0
794.37/794.56	c  793s |      15 |  3848436 |    97732 |   107562      0 |        0 |        0
796.57/796.74	c  795s |      15 |  3893185 |    98332 |   107562      0 |        0 |        0
798.67/798.88	c  797s |      15 |  3923454 |    99032 |   107562      0 |        0 |        0
800.78/800.99	c  799s |      15 |  3939540 |    99532 |   107562      0 |        0 |        0
803.07/803.29	c  802s |      15 |  3951392 |    99832 |   107562      0 |        0 |        0
805.67/805.89	c  804s |      15 |  3960268 |   100032 |   107562      0 |        0 |        0
808.17/808.37	c  807s |      15 |  3985221 |   100332 |   107562      0 |        0 |        0
810.68/810.81	c  809s |      15 |  4000513 |   100632 |   107562      0 |        0 |        0
813.37/813.57	c  812s |      15 |  4024778 |   101132 |   107562      0 |        0 |        0
816.07/816.26	c  814s |      15 |  4037314 |   101432 |   107562      0 |        0 |        0
818.77/818.98	c  817s |      15 |  4062855 |   101832 |   107562      0 |        0 |        0
821.77/821.96	c  820s |      15 |  4086477 |   102232 |   107562      0 |        0 |        0
823.97/824.12	c  822s |      15 |  4101373 |   102532 |   107562      0 |        0 |        0
825.97/826.18	c  824s |      15 |  4117736 |   102932 |   107562      0 |        0 |        0
828.47/828.61	c  827s |      15 |  4132325 |   103332 |   107562      0 |        0 |        0
830.66/830.86	c  829s |      15 |  4141689 |   103632 |   107562      0 |        0 |        0
832.77/832.96	c  831s |      15 |  4153798 |   103932 |   107562      0 |        0 |        0
835.16/835.30	c  834s |      15 |  4159223 |   104232 |   107562      0 |        0 |        0
837.26/837.48	c  836s |      15 |  4164645 |   104532 |   107562      0 |        0 |        0
839.96/840.19	c  838s |      15 |  4169576 |   104932 |   107562      0 |        0 |        0
842.26/842.40	c  841s |      15 |  4243492 |   105432 |   107562      0 |        0 |        0
844.46/844.65	c  843s |      15 |  4320771 |   105932 |   107562      0 |        0 |        0
846.46/846.67	c  845s |      15 |  4323332 |   106132 |   107562      0 |        0 |        0
848.76/848.95	c  847s |      15 |  4396359 |   106532 |   107562      0 |        0 |        0
851.06/851.29	c  850s |      15 |  4433083 |   106932 |   107562      0 |        0 |        0
853.36/853.55	c  852s |      15 |  4473630 |   107432 |   107562      0 |        0 |        0
855.56/855.79	c  854s |      15 |  4523816 |   107932 |   107562      0 |        0 |        0
857.76/857.92	c  856s |      15 |  4558580 |   108332 |   107562      0 |        0 |        0
860.26/860.43	c  859s |      15 |  4564456 |   108432 |   107562      1 |        0 |        0
862.26/862.46	c  861s |      15 |  4606260 |   108932 |   107562      1 |        0 |        0
864.66/864.81	c  863s |      15 |  4645842 |   109432 |   107562      1 |        0 |        0
866.96/867.11	c  865s |      15 |  4691829 |   110032 |   107562      1 |        0 |        0
893.26/893.40	c  892s |      15 |  4731588 |   110632 |   107562      1 |        0 |        0
896.66/896.86	c  895s |      15 |  4753951 |   111132 |   107562      1 |        0 |        0
898.85/899.05	c  897s |      15 |  4784563 |   111832 |   107562      1 |        0 |        0
901.55/901.73	c  900s |      15 |  4804620 |   112132 |   107562      1 |        0 |        0
903.65/903.89	c  902s |      15 |  4863923 |   112532 |   107562      1 |        0 |        0
905.75/905.92	c  904s |      15 |  4891623 |   112832 |   107562      1 |        0 |        0
907.85/908.01	c  906s |      15 |  4895149 |   113032 |   107562      1 |        0 |        0
909.85/910.01	c  908s |      15 |  4920826 |   113132 |   107562      1 |        0 |        0
911.95/912.17	c  910s |      15 |  4970534 |   113532 |   107562      1 |        0 |        0
914.15/914.38	c  913s |      15 |  5046758 |   114032 |   107562      1 |        0 |        0
921.25/921.48	c  920s |      15 |  5072204 |   114232 |   107562      1 |        0 |        0
923.75/923.92	c  922s |      15 |  5175672 |   114832 |   107562      1 |        0 |        0
925.85/926.00	c  924s |      15 |  5207909 |   115132 |   107562      1 |        0 |        0
927.95/928.13	c  926s |      15 |  5243523 |   115532 |   107562      1 |        0 |        0
930.05/930.23	c  928s |      15 |  5301137 |   116032 |   107562      1 |        0 |        0
932.05/932.24	c  930s |      15 |  5334862 |   116432 |   107562      1 |        0 |        0
934.45/934.60	c  933s |      15 |  5378175 |   117032 |   107562      1 |        0 |        0
936.64/936.82	c  935s |      15 |  5418763 |   117632 |   107562      1 |        0 |        0
939.14/939.34	c  938s |      15 |  5439739 |   118132 |   107562      1 |        0 |        0
941.55/941.79	c  940s |      15 |  5443757 |   118332 |   107562      1 |        0 |        0
943.65/943.82	c  942s |      15 |  5478187 |   118632 |   107562      1 |        0 |        0
945.74/945.92	c  944s |      15 |  5495129 |   118932 |   107562      1 |        0 |        0
948.05/948.22	c  946s |      15 |  5532153 |   119332 |   107562      1 |        0 |        0
950.35/950.51	c  949s |      15 |  5561026 |   119732 |   107562      1 |        0 |        0
952.84/953.04	c  951s |      15 |  5591060 |   120132 |   107562      1 |        0 |        0
954.94/955.12	c  953s |      15 |  5619315 |   120532 |   107562      1 |        0 |        0
957.44/957.65	c  956s |      15 |  5635896 |   120932 |   107562      1 |        0 |        0
959.44/959.69	c  958s |      15 |  5653509 |   121332 |   107562      1 |        0 |        0
962.45/962.63	c  961s |      15 |  5675484 |   121732 |   107562      1 |        0 |        0
964.94/965.18	c  963s |      15 |  5705750 |   122232 |   107562      1 |        0 |        0
967.44/967.65	c  966s |      15 |  5734910 |   122732 |   107562      1 |        0 |        0
969.74/969.90	c  968s |      15 |  5754060 |   123132 |   107562      1 |        0 |        0
972.04/972.29	c  971s |      15 |  5786167 |   123632 |   107562      1 |        0 |        0
974.34/974.60	c  973s |      15 |  5799403 |   124132 |   107562      1 |        0 |        0
976.44/976.68	c  975s |      15 |  5804756 |   124432 |   107562      1 |        0 |        0
978.74/978.95	c  977s |      15 |  5813014 |   124732 |   107562      1 |        0 |        0
981.24/981.42	c  980s |      15 |  5818423 |   125132 |   107562      1 |        0 |        0
983.35/983.59	c  982s |      15 |  5868379 |   125532 |   107562      1 |        0 |        0
985.34/985.60	c  984s |      15 |  5905597 |   125832 |   107562      1 |        0 |        0
987.54/987.79	c  986s |      15 |  5949555 |   126232 |   107562      1 |        0 |        0
989.85/990.04	c  988s |      15 |  5975111 |   126732 |   107562      1 |        0 |        0
992.24/992.46	c  991s |      15 |  6007023 |   127132 |   107562      1 |        0 |        0
994.35/994.58	c  993s |      15 |  6054926 |   127632 |   107562      1 |        0 |        0
996.64/996.86	c  995s |      15 |  6091262 |   128132 |   107562      1 |        0 |        0
999.44/999.64	c  998s |      15 |  6128969 |   128732 |   107562      1 |        0 |        0
1001.64/1001.89	c 1000s |      15 |  6182566 |   129232 |   107562      1 |        0 |        0
1003.84/1004.00	c 1002s |      15 |  6211668 |   129732 |   107562      1 |        0 |        0
1006.14/1006.36	c 1005s |      15 |  6232556 |   130132 |   107562      1 |        0 |        0
1008.55/1008.70	c 1007s |      15 |  6258311 |   130632 |   107562      1 |        0 |        0
1011.14/1011.31	c 1010s |      15 |  6268883 |   131032 |   118319      1 |        0 |        0
1013.64/1013.84	c 1012s |      15 |  6276897 |   131532 |   118319      1 |        0 |        0
1013.74/1013.96	c 1012s |      16 |  6277034 |   131552 |   118319      1 |        0 |        0
1015.94/1016.17	c 1014s |      16 |  6278586 |   131652 |   118319      1 |        0 |        0
1017.94/1018.18	c 1016s |      16 |  6286737 |   132152 |   118319      1 |        0 |        0
1020.04/1020.21	c 1018s |      16 |  6314047 |   132452 |   118319      1 |        0 |        0
1022.24/1022.48	c 1021s |      16 |  6368513 |   132852 |   118319      1 |        0 |        0
1024.43/1024.68	c 1023s |      16 |  6422307 |   133252 |   118319      1 |        0 |        0
1026.63/1026.87	c 1025s |      16 |  6464002 |   133552 |   118319      1 |        0 |        0
1028.83/1029.05	c 1027s |      16 |  6487917 |   133852 |   118319      1 |        0 |        0
1030.93/1031.16	c 1029s |      16 |  6559374 |   134252 |   118319      1 |        0 |        0
1032.93/1033.18	c 1031s |      16 |  6607259 |   134652 |   118319      1 |        0 |        0
1035.13/1035.32	c 1034s |      16 |  6628155 |   134952 |   118319      1 |        0 |        0
1037.73/1037.95	c 1036s |      16 |  6659455 |   135552 |   118319      1 |        0 |        0
1039.83/1040.00	c 1038s |      16 |  6693276 |   135952 |   118319      1 |        0 |        0
1042.43/1042.64	c 1041s |      16 |  6731700 |   136452 |   118319      1 |        0 |        0
1044.93/1045.12	c 1043s |      16 |  6755359 |   136852 |   118319      1 |        0 |        0
1047.42/1047.69	c 1046s |      16 |  6774583 |   137352 |   118319      1 |        0 |        0
1049.92/1050.19	c 1048s |      16 |  6791954 |   137752 |   118319      1 |        0 |        0
1052.22/1052.44	c 1051s |      16 |  6827732 |   138252 |   118319      1 |        0 |        0
1054.42/1054.63	c 1053s |      16 |  6853774 |   138752 |   118319      1 |        0 |        0
1056.72/1056.95	c 1055s |      16 |  6884748 |   139352 |   118319      1 |        0 |        0
1058.82/1059.08	c 1057s |      16 |  6899490 |   139752 |   118319      1 |        0 |        0
1060.92/1061.15	c 1059s |      16 |  6929710 |   140152 |   118319      1 |        0 |        0
1062.92/1063.15	c 1061s |      16 |  6965513 |   140652 |   118319      1 |        0 |        0
1065.02/1065.28	c 1064s |      16 |  6972889 |   140952 |   118319      1 |        0 |        0
1067.22/1067.48	c 1066s |      16 |  7000757 |   141452 |   118319      1 |        0 |        0
1069.42/1069.62	c 1068s |      16 |  7011642 |   141852 |   118319      1 |        0 |        0
1071.42/1071.65	c 1070s |      16 |  7030264 |   142252 |   118319      1 |        0 |        0
1073.72/1073.91	c 1072s |      16 |  7050610 |   142752 |   118319      1 |        0 |        0
1076.02/1076.26	c 1074s |      16 |  7058640 |   143252 |   118319      1 |        0 |        0
1078.42/1078.62	c 1077s |      16 |  7093892 |   143752 |   118319      1 |        0 |        0
1080.82/1081.00	c 1079s |      16 |  7108551 |   144052 |   118319      1 |        0 |        0
1083.12/1083.38	c 1082s |      16 |  7160504 |   144552 |   118319      1 |        0 |        0
1085.32/1085.54	c 1084s |      16 |  7192957 |   144952 |   118319      1 |        0 |        0
1087.72/1087.93	c 1086s |      16 |  7229706 |   145452 |   118319      1 |        0 |        0
1089.71/1089.96	c 1088s |      16 |  7261135 |   145952 |   118319      1 |        0 |        0
1091.81/1092.00	c 1090s |      16 |  7305433 |   146352 |   118319      1 |        0 |        0
1094.01/1094.21	c 1092s |      16 |  7338934 |   146952 |   118319      1 |        0 |        0
1096.01/1096.25	c 1094s |      16 |  7361385 |   147452 |   118319      1 |        0 |        0
1098.31/1098.58	c 1097s |      16 |  7404180 |   148052 |   118319      1 |        0 |        0
1101.02/1101.27	c 1099s |      16 |  7420580 |   148352 |   118319      1 |        0 |        0
1103.61/1103.80	c 1102s |      16 |  7494056 |   148852 |   118319      1 |        0 |        0
1105.71/1105.98	c 1104s |      16 |  7541617 |   149252 |   118319      1 |        0 |        0
1107.80/1108.07	c 1106s |      16 |  7584946 |   149552 |   118319      1 |        0 |        0
1109.90/1110.19	c 1108s |      16 |  7601083 |   149852 |   118319      1 |        0 |        0
1112.50/1112.79	c 1111s |      16 |  7664154 |   150352 |   118319      1 |        0 |        0
1114.70/1114.94	c 1113s |      16 |  7720146 |   150752 |   118319      1 |        0 |        0
1116.99/1117.26	c 1115s |      16 |  7739735 |   151052 |   118319      1 |        0 |        0
1119.29/1119.50	c 1118s |      16 |  7786189 |   151552 |   118319      1 |        0 |        0
1121.69/1121.96	c 1120s |      16 |  7833566 |   152052 |   118319      1 |        0 |        0
1123.69/1123.98	c 1122s |      16 |  7865260 |   152452 |   118319      1 |        0 |        0
1125.99/1126.28	c 1125s |      16 |  7917752 |   152952 |   118319      1 |        0 |        0
1128.19/1128.42	c 1127s |      16 |  7942449 |   153352 |   118319      1 |        0 |        0
1130.69/1130.92	c 1129s |      16 |  7984596 |   153852 |   118319      1 |        0 |        0
1132.79/1133.07	c 1131s |      16 |  8008536 |   154252 |   118319      1 |        0 |        0
1135.19/1135.44	c 1134s |      16 |  8030680 |   154652 |   118319      1 |        0 |        0
1137.20/1137.49	c 1136s |      16 |  8039092 |   154952 |   118319      1 |        0 |        0
1139.69/1140.00	c 1138s |      16 |  8045382 |   155352 |   118319      1 |        0 |        0
1142.19/1142.47	c 1141s |      16 |  8092732 |   155752 |   118319      1 |        0 |        0
1144.29/1144.51	c 1143s |      16 |  8108270 |   155952 |   118319      1 |        0 |        0
1146.49/1146.70	c 1145s |      16 |  8153435 |   156352 |   118319      1 |        0 |        0
1148.79/1149.09	c 1147s |      16 |  8226007 |   156852 |   118319      1 |        0 |        0
1150.89/1151.10	c 1149s |      16 |  8257922 |   157152 |   118319      1 |        0 |        0
1153.09/1153.39	c 1152s |      16 |  8306044 |   157752 |   118319      1 |        0 |        0
1155.39/1155.68	c 1154s |      16 |  8338672 |   158252 |   118319      1 |        0 |        0
1157.59/1157.86	c 1156s |      16 |  8382543 |   158752 |   118319      1 |        0 |        0
1159.88/1160.15	c 1158s |      16 |  8410301 |   159252 |   118319      1 |        0 |        0
1161.98/1162.20	c 1160s |      16 |  8444321 |   159952 |   118319      1 |        0 |        0
1164.18/1164.40	c 1163s |      16 |  8466382 |   160452 |   118319      1 |        0 |        0
1166.38/1166.68	c 1165s |      16 |  8487629 |   160852 |   118319      1 |        0 |        0
1168.58/1168.80	c 1167s |      16 |  8498622 |   161152 |   118319      1 |        0 |        0
1170.98/1171.29	c 1170s |      16 |  8512073 |   161552 |   118319      1 |        0 |        0
1173.28/1173.59	c 1172s |      16 |  8518893 |   161952 |   118319      1 |        0 |        0
1175.38/1175.62	c 1174s |      16 |  8555370 |   162352 |   118319      1 |        0 |        0
1177.78/1178.02	c 1176s |      16 |  8583709 |   162752 |   118319      1 |        0 |        0
1180.08/1180.32	c 1179s |      16 |  8630012 |   163152 |   118319      1 |        0 |        0
1182.18/1182.40	c 1181s |      16 |  8660337 |   163552 |   118319      1 |        0 |        0
1184.37/1184.68	c 1183s |      16 |  8689047 |   163952 |   118319      1 |        0 |        0
1186.77/1187.09	c 1185s |      16 |  8721423 |   164452 |   118319      1 |        0 |        0
1189.57/1189.80	c 1188s |      16 |  8759001 |   165052 |   118319      1 |        0 |        0
1191.77/1192.03	c 1190s |      16 |  8790787 |   165552 |   118319      1 |        0 |        0
1194.37/1194.68	c 1193s |      16 |  8816308 |   165952 |   118319      1 |        0 |        0
1196.47/1196.76	c 1195s |      16 |  8833213 |   166452 |   118319      1 |        0 |        0
1198.66/1198.91	c 1197s |      16 |  8850475 |   166952 |   118319      1 |        0 |        0
1201.07/1201.37	c 1200s |      16 |  8868127 |   167352 |   118319      1 |        0 |        0
1203.06/1203.40	c 1202s |      16 |  8885931 |   167852 |   118319      1 |        0 |        0
1205.26/1205.55	c 1204s |      16 |  8898552 |   168352 |   118319      1 |        0 |        0
1207.57/1207.84	c 1206s |      16 |  8932838 |   168852 |   118319      1 |        0 |        0
1209.77/1210.01	c 1208s |      16 |  8974434 |   169352 |   118319      1 |        0 |        0
1211.96/1212.26	c 1210s |      16 |  9005687 |   169852 |   118319      1 |        0 |        0
1214.16/1214.44	c 1213s |      16 |  9035470 |   170352 |   118319      1 |        0 |        0
1216.36/1216.68	c 1215s |      16 |  9081305 |   170752 |   118319      1 |        0 |        0
1218.75/1219.07	c 1217s |      16 |  9099106 |   171052 |   118319      1 |        0 |        0
1221.05/1221.32	c 1220s |      16 |  9142741 |   171552 |   118319      1 |        0 |        0
1223.65/1223.98	c 1222s |      16 |  9170317 |   171952 |   118319      1 |        0 |        0
1225.95/1226.20	c 1224s |      16 |  9200784 |   172352 |   118319      1 |        0 |        0
1228.24/1228.54	c 1227s |      16 |  9233289 |   172752 |   118319      1 |        0 |        0
1234.14/1234.42	c 1233s |      16 |  9243435 |   173052 |   118319      2 |        0 |        0
1236.25/1236.52	c 1235s |      16 |  9283123 |   173452 |   118319      2 |        0 |        0
1238.44/1238.71	c 1237s |      16 |  9289985 |   173752 |   118319      2 |        0 |        0
1240.44/1240.76	c 1239s |      16 |  9296234 |   174052 |   118319      2 |        0 |        0
1242.54/1242.87	c 1241s |      16 |  9328015 |   174452 |   118319      2 |        0 |        0
1244.74/1245.08	c 1243s |      16 |  9340364 |   174752 |   118319      2 |        0 |        0
1247.03/1247.31	c 1246s |      16 |  9369715 |   175152 |   118319      2 |        0 |        0
1249.23/1249.59	c 1248s |      16 |  9407151 |   175552 |   118319      2 |        0 |        0
1251.43/1251.73	c 1250s |      16 |  9430317 |   175952 |   118319      2 |        0 |        0
1253.74/1254.04	c 1252s |      16 |  9466146 |   176352 |   118319      2 |        0 |        0
1255.73/1256.07	c 1254s |      16 |  9485628 |   176852 |   118319      2 |        0 |        0
1257.93/1258.28	c 1257s |      16 |  9531072 |   177352 |   118319      2 |        0 |        0
1260.23/1260.57	c 1259s |      16 |  9563043 |   177852 |   118319      2 |        0 |        0
1262.43/1262.74	c 1261s |      16 |  9571322 |   178252 |   118319      2 |        0 |        0
1264.53/1264.83	c 1263s |      16 |  9576581 |   178652 |   118319      2 |        0 |        0
1266.83/1267.10	c 1265s |      16 |  9617236 |   179052 |   118319      2 |        0 |        0
1269.03/1269.30	c 1268s |      16 |  9653329 |   179452 |   118319      2 |        0 |        0
1271.13/1271.44	c 1270s |      16 |  9700752 |   179852 |   118319      2 |        0 |        0
1273.33/1273.64	c 1272s |      16 |  9729832 |   180352 |   118319      2 |        0 |        0
1275.73/1276.04	c 1274s |      16 |  9765539 |   180852 |   118319      2 |        0 |        0
1277.72/1278.07	c 1276s |      16 |  9780302 |   181352 |   118319      2 |        0 |        0
1279.72/1280.09	c 1278s |      16 |  9787778 |   181752 |   118319      2 |        0 |        0
1281.93/1282.28	c 1281s |      16 |  9808177 |   182252 |   118319      2 |        0 |        0
1284.23/1284.53	c 1283s |      16 |  9867140 |   182752 |   118319      2 |        0 |        0
1286.73/1287.04	c 1285s |      16 |  9905637 |   183252 |   118319      2 |        0 |        0
1288.93/1289.21	c 1287s |      16 |  9936967 |   183752 |   118319      2 |        0 |        0
1291.13/1291.47	c 1290s |      16 |  9952348 |   184252 |   118319      2 |        0 |        0
1293.62/1293.99	c 1292s |      16 |  9959007 |   184652 |   118319      2 |        0 |        0
1296.02/1296.36	c 1295s |      16 |  9961920 |   184952 |   118319      2 |        0 |        0
1298.12/1298.40	c 1297s |      16 |  9975252 |   185352 |   118319      2 |        0 |        0
1300.42/1300.70	c 1299s |      16 | 10002785 |   185852 |   118319      2 |        0 |        0
1303.22/1303.52	c 1302s |      16 | 10014610 |   186352 |   118319      2 |        0 |        0
1305.82/1306.13	c 1304s |      16 | 10061714 |   186752 |   118319      2 |        0 |        0
1308.11/1308.45	c 1307s |      16 | 10089434 |   187152 |   118319      2 |        0 |        0
1310.21/1310.51	c 1309s |      16 | 10145222 |   187552 |   118319      2 |        0 |        0
1312.81/1313.11	c 1311s |      16 | 10172769 |   187852 |   118319      2 |        0 |        0
1315.11/1315.44	c 1314s |      16 | 10232044 |   188352 |   118319      2 |        0 |        0
1317.52/1317.84	c 1316s |      16 | 10282951 |   188852 |   118319      2 |        0 |        0
1319.61/1319.93	c 1318s |      16 | 10323781 |   189252 |   118319      2 |        0 |        0
1322.21/1322.58	c 1321s |      16 | 10347822 |   189752 |   118319      2 |        0 |        0
1324.71/1325.03	c 1323s |      16 | 10368337 |   190252 |   118319      2 |        0 |        0
1327.10/1327.45	c 1326s |      16 | 10377001 |   190552 |   118319      2 |        0 |        0
1329.90/1330.28	c 1329s |      16 | 10412802 |   190952 |   118319      2 |        0 |        0
1332.00/1332.39	c 1331s |      16 | 10437809 |   191352 |   118319      2 |        0 |        0
1334.40/1334.74	c 1333s |      16 | 10470514 |   191852 |   118319      2 |        0 |        0
1336.79/1337.17	c 1335s |      16 | 10503151 |   192352 |   118319      2 |        0 |        0
1339.19/1339.57	c 1338s |      16 | 10514449 |   192652 |   118319      2 |        0 |        0
1341.39/1341.71	c 1340s |      16 | 10538725 |   193052 |   118319      2 |        0 |        0
1343.59/1343.99	c 1342s |      16 | 10559068 |   193452 |   118319      2 |        0 |        0
1345.79/1346.12	c 1344s |      16 | 10568141 |   193752 |   118319      2 |        0 |        0
1347.99/1348.30	c 1347s |      16 | 10576699 |   194052 |   118319      2 |        0 |        0
1350.79/1351.17	c 1349s |      16 | 10581540 |   194352 |   118319      2 |        0 |        0
1352.99/1353.30	c 1352s |      16 | 10598682 |   194752 |   118319      2 |        0 |        0
1355.79/1356.13	c 1354s |      16 | 10608547 |   195152 |   118319      2 |        0 |        0
1358.29/1358.61	c 1357s |      16 | 10614949 |   195552 |   118319      2 |        0 |        0
1360.78/1361.11	c 1359s |      16 | 10625695 |   196052 |   118319      2 |        0 |        0
1362.88/1363.24	c 1361s |      16 | 10644506 |   196552 |   130151      2 |        0 |        0
1365.18/1365.57	c 1364s |      16 | 10659789 |   197052 |   130151      2 |        0 |        0
1367.68/1368.07	c 1366s |      17 | 10666433 |   197432 |   130151      2 |        0 |        0
1370.08/1370.45	c 1369s |      17 | 10671534 |   197532 |   130151      2 |        0 |        0
1372.28/1372.70	c 1371s |      17 | 10691577 |   197932 |   130151      2 |        0 |        0
1374.58/1374.90	c 1373s |      17 | 10704166 |   198232 |   130151      2 |        0 |        0
1377.18/1377.50	c 1376s |      17 | 10713477 |   198632 |   130151      2 |        0 |        0
1379.68/1380.01	c 1378s |      17 | 10720448 |   199032 |   130151      2 |        0 |        0
1381.78/1382.18	c 1380s |      17 | 10725788 |   199332 |   130151      2 |        0 |        0
1384.37/1384.74	c 1383s |      17 | 10738320 |   199732 |   130151      2 |        0 |        0
1386.37/1386.78	c 1385s |      17 | 10744060 |   200032 |   130151      2 |        0 |        0
1388.87/1389.26	c 1387s |      17 | 10750339 |   200432 |   130151      2 |        0 |        0
1391.07/1391.49	c 1390s |      17 | 10757183 |   200732 |   130151      2 |        0 |        0
1393.87/1394.20	c 1392s |      17 | 10760905 |   201032 |   130151      2 |        0 |        0
1396.17/1396.56	c 1395s |      17 | 10765170 |   201332 |   130151      2 |        0 |        0
1398.37/1398.74	c 1397s |      17 | 10768446 |   201632 |   130151      2 |        0 |        0
1400.67/1401.02	c 1399s |      17 | 10770679 |   201932 |   130151      2 |        0 |        0
1407.56/1407.90	c 1406s |      17 | 10772405 |   202132 |   130151      2 |        0 |        0
1415.86/1416.21	c 1414s |      17 | 10785065 |   202232 |   130151      2 |        0 |        0
1417.86/1418.29	c 1417s |      17 | 10826686 |   202832 |   130151      2 |        0 |        0
1420.46/1420.83	c 1419s |      17 | 10866964 |   203432 |   130151      2 |        0 |        0
1422.65/1423.04	c 1421s |      17 | 10925373 |   204032 |   130151      2 |        0 |        0
1424.75/1425.17	c 1423s |      17 | 10979320 |   204532 |   130151      2 |        0 |        0
1426.85/1427.23	c 1425s |      17 | 11037589 |   205032 |   130151      2 |        0 |        0
1429.05/1429.42	c 1428s |      17 | 11074684 |   205532 |   130151      2 |        0 |        0
1431.65/1432.05	c 1430s |      17 | 11127436 |   206132 |   130151      2 |        0 |        0
1433.85/1434.25	c 1432s |      17 | 11140542 |   206532 |   130151      2 |        0 |        0
1436.15/1436.51	c 1435s |      17 | 11180179 |   207132 |   130151      2 |        0 |        0
1438.24/1438.64	c 1437s |      17 | 11191875 |   207532 |   130151      2 |        0 |        0
1440.84/1441.27	c 1439s |      17 | 11201794 |   208032 |   130151      2 |        0 |        0
1443.14/1443.57	c 1442s |      17 | 11256806 |   208532 |   130151      2 |        0 |        0
1445.34/1445.72	c 1444s |      17 | 11306752 |   209032 |   130151      2 |        0 |        0
1447.64/1448.06	c 1446s |      17 | 11344254 |   209432 |   130151      2 |        0 |        0
1450.04/1450.45	c 1449s |      17 | 11406869 |   209932 |   130151      2 |        0 |        0
1452.34/1452.73	c 1451s |      17 | 11446165 |   210432 |   130151      2 |        0 |        0
1454.34/1454.76	c 1453s |      17 | 11478778 |   210932 |   130151      2 |        0 |        0
1456.43/1456.87	c 1455s |      17 | 11504024 |   211332 |   130151      2 |        0 |        0
1458.53/1458.98	c 1457s |      17 | 11522966 |   211832 |   130151      2 |        0 |        0
1461.03/1461.46	c 1460s |      17 | 11547765 |   212332 |   130151      2 |        0 |        0
1463.53/1463.91	c 1462s |      17 | 11573509 |   212832 |   130151      2 |        0 |        0
1465.53/1465.97	c 1464s |      17 | 11585043 |   213132 |   130151      2 |        0 |        0
1467.62/1468.03	c 1466s |      17 | 11595267 |   213432 |   130151      2 |        0 |        0
1469.72/1470.10	c 1468s |      17 | 11601451 |   213832 |   130151      2 |        0 |        0
1472.02/1472.49	c 1471s |      17 | 11610517 |   214432 |   130151      2 |        0 |        0
1474.22/1474.60	c 1473s |      17 | 11641297 |   214832 |   130151      2 |        0 |        0
1476.42/1476.83	c 1475s |      17 | 11686408 |   215332 |   130151      2 |        0 |        0
1478.52/1478.99	c 1477s |      17 | 11716920 |   215832 |   130151      2 |        0 |        0
1480.82/1481.26	c 1479s |      17 | 11749946 |   216332 |   130151      2 |        0 |        0
1482.92/1483.32	c 1482s |      17 | 11770156 |   216832 |   130151      2 |        0 |        0
1484.92/1485.39	c 1484s |      17 | 11781632 |   217232 |   130151      2 |        0 |        0
1487.21/1487.62	c 1486s |      17 | 11801724 |   217732 |   130151      2 |        0 |        0
1489.51/1489.97	c 1488s |      17 | 11833265 |   218332 |   130151      2 |        0 |        0
1492.01/1492.40	c 1491s |      17 | 11855347 |   218732 |   130151      2 |        0 |        0
1494.21/1494.67	c 1493s |      17 | 11888898 |   219232 |   130151      2 |        0 |        0
1496.41/1496.82	c 1495s |      17 | 11903025 |   219732 |   130151      2 |        0 |        0
1498.61/1499.05	c 1497s |      17 | 11922227 |   220132 |   130151      2 |        0 |        0
1500.70/1501.10	c 1499s |      17 | 11957708 |   220732 |   130151      2 |        0 |        0
1502.80/1503.23	c 1501s |      17 | 11988213 |   221332 |   130151      2 |        0 |        0
1505.30/1505.71	c 1504s |      17 | 12025531 |   221932 |   130151      2 |        0 |        0
1507.71/1508.16	c 1506s |      17 | 12045849 |   222532 |   130151      2 |        0 |        0
1510.10/1510.52	c 1509s |      17 | 12057564 |   222932 |   130151      2 |        0 |        0
1512.30/1512.79	c 1511s |      17 | 12099781 |   223532 |   130151      2 |        0 |        0
1514.70/1515.16	c 1513s |      17 | 12125376 |   224132 |   130151      2 |        0 |        0
1516.70/1517.18	c 1515s |      17 | 12139766 |   224532 |   130151      2 |        0 |        0
1519.00/1519.46	c 1518s |      17 | 12147438 |   225032 |   130151      2 |        0 |        0
1521.70/1522.15	c 1520s |      17 | 12161070 |   225532 |   130151      2 |        0 |        0
1523.80/1524.23	c 1522s |      17 | 12176509 |   225932 |   130151      2 |        0 |        0
1526.60/1527.05	c 1525s |      17 | 12178707 |   226232 |   130151      2 |        0 |        0
1528.80/1529.26	c 1527s |      17 | 12185953 |   226532 |   130151      2 |        0 |        0
1531.10/1531.58	c 1530s |      17 | 12195665 |   226932 |   130151      2 |        0 |        0
1534.00/1534.43	c 1533s |      17 | 12208218 |   227432 |   130151      2 |        0 |        0
1536.20/1536.60	c 1535s |      17 | 12216327 |   227832 |   130151      2 |        0 |        0
1538.60/1539.05	c 1537s |      17 | 12220825 |   228332 |   130151      2 |        0 |        0
1540.89/1541.31	c 1540s |      17 | 12241833 |   228732 |   130151      2 |        0 |        0
1543.19/1543.65	c 1542s |      17 | 12246926 |   229032 |   130151      2 |        0 |        0
1545.29/1545.78	c 1544s |      17 | 12257843 |   229432 |   130151      2 |        0 |        0
1547.98/1548.47	c 1547s |      17 | 12293148 |   229832 |   130151      2 |        0 |        0
1550.18/1550.67	c 1549s |      17 | 12306933 |   230032 |   130151      2 |        0 |        0
1552.58/1553.05	c 1551s |      17 | 12361581 |   230532 |   130151      2 |        0 |        0
1554.78/1555.20	c 1553s |      17 | 12392049 |   230932 |   130151      2 |        0 |        0
1556.98/1557.41	c 1556s |      17 | 12423825 |   231332 |   130151      2 |        0 |        0
1559.39/1559.88	c 1558s |      17 | 12457411 |   231832 |   130151      2 |        0 |        0
1561.48/1561.93	c 1560s |      17 | 12465581 |   232132 |   130151      2 |        0 |        0
1563.48/1563.99	c 1562s |      17 | 12468188 |   232332 |   130151      2 |        0 |        0
1566.18/1566.66	c 1565s |      17 | 12470957 |   232532 |   130151      2 |        0 |        0
1568.38/1568.88	c 1567s |      17 | 12485585 |   232832 |   130151      2 |        0 |        0
1570.58/1571.08	c 1569s |      17 | 12493468 |   233132 |   130151      2 |        0 |        0
1572.88/1573.36	c 1572s |      17 | 12500908 |   233532 |   130151      2 |        0 |        0
1575.68/1576.17	c 1574s |      17 | 12506285 |   233832 |   130151      2 |        0 |        0
1577.97/1578.40	c 1577s |      17 | 12539934 |   234332 |   130151      2 |        0 |        0
1580.47/1580.94	c 1579s |      17 | 12566258 |   234832 |   130151      2 |        0 |        0
1582.87/1583.34	c 1582s |      17 | 12591709 |   235332 |   130151      2 |        0 |        0
1584.87/1585.35	c 1584s |      17 | 12605487 |   235732 |   130151      2 |        0 |        0
1587.07/1587.52	c 1586s |      17 | 12612330 |   236132 |   130151      2 |        0 |        0
1589.27/1589.77	c 1588s |      17 | 12613320 |   236332 |   130151      2 |        0 |        0
1591.57/1592.06	c 1590s |      17 | 12616133 |   236532 |   130151      2 |        0 |        0
1593.67/1594.19	c 1592s |      17 | 12617956 |   236732 |   130151      2 |        0 |        0
1596.56/1597.02	c 1595s |      17 | 12648992 |   237132 |   130151      2 |        0 |        0
1598.56/1599.03	c 1597s |      17 | 12706452 |   237532 |   130151      2 |        0 |        0
1600.76/1601.28	c 1600s |      17 | 12780211 |   238032 |   130151      2 |        0 |        0
1602.76/1603.29	c 1602s |      17 | 12824725 |   238432 |   130151      2 |        0 |        0
1604.96/1605.42	c 1604s |      17 | 12878983 |   238832 |   130151      2 |        0 |        0
1607.15/1607.69	c 1606s |      17 | 12941638 |   239332 |   130151      2 |        0 |        0
1609.45/1609.96	c 1608s |      17 | 13000928 |   239832 |   130151      2 |        0 |        0
1611.65/1612.11	c 1610s |      17 | 13040154 |   240232 |   130151      2 |        0 |        0
1613.65/1614.14	c 1612s |      17 | 13073498 |   240632 |   130151      2 |        0 |        0
1615.95/1616.47	c 1615s |      17 | 13132906 |   241132 |   130151      2 |        0 |        0
1618.55/1619.04	c 1617s |      17 | 13171924 |   241632 |   130151      2 |        0 |        0
1620.75/1621.23	c 1619s |      17 | 13203656 |   242032 |   130151      2 |        0 |        0
1623.15/1623.66	c 1622s |      17 | 13253465 |   242532 |   130151      2 |        0 |        0
1625.35/1625.81	c 1624s |      17 | 13286649 |   242932 |   130151      2 |        0 |        0
1627.55/1628.04	c 1626s |      17 | 13319904 |   243332 |   130151      2 |        0 |        0
1630.14/1630.60	c 1629s |      17 | 13335520 |   243732 |   130151      2 |        0 |        0
1632.14/1632.64	c 1631s |      17 | 13346658 |   244032 |   130151      2 |        0 |        0
1634.24/1634.76	c 1633s |      17 | 13358239 |   244332 |   130151      2 |        0 |        0
1639.24/1639.79	c 1638s |      17 | 13362397 |   244532 |   130151      3 |        0 |        0
1644.74/1645.23	c 1643s |      17 | 13365199 |   244732 |   130151      3 |        0 |        0
1648.34/1648.83	c 1647s |      17 | 13379095 |   245032 |   130151      3 |        0 |        0
1650.54/1651.04	c 1649s |      17 | 13406277 |   245332 |   130151      3 |        0 |        0
1653.83/1654.37	c 1653s |      17 | 13418114 |   245432 |   130151      3 |        0 |        0
1655.83/1656.38	c 1655s |      17 | 13437976 |   245832 |   130151      3 |        0 |        0
1658.03/1658.56	c 1657s |      17 | 13465739 |   246632 |   130151      3 |        0 |        0
1660.23/1660.72	c 1659s |      17 | 13489346 |   247132 |   130151      3 |        0 |        0
1662.33/1662.86	c 1661s |      17 | 13551051 |   247832 |   130151      3 |        0 |        0
1664.73/1665.26	c 1663s |      17 | 13569538 |   248332 |   130151      3 |        0 |        0
1667.33/1667.85	c 1666s |      17 | 13576990 |   248732 |   130151      3 |        0 |        0
1669.43/1669.96	c 1668s |      17 | 13595749 |   249032 |   130151      3 |        0 |        0
1671.53/1672.06	c 1670s |      17 | 13615441 |   249332 |   130151      3 |        0 |        0
1673.94/1674.46	c 1673s |      17 | 13664869 |   249832 |   130151      3 |        0 |        0
1676.24/1676.74	c 1675s |      17 | 13704773 |   250332 |   130151      3 |        0 |        0
1678.73/1679.22	c 1677s |      17 | 13734434 |   250832 |   130151      3 |        0 |        0
1680.73/1681.29	c 1680s |      17 | 13759801 |   251132 |   130151      3 |        0 |        0
1683.13/1683.69	c 1682s |      17 | 13802356 |   251632 |   130151      3 |        0 |        0
1685.33/1685.82	c 1684s |      17 | 13844835 |   252032 |   130151      3 |        0 |        0
1687.73/1688.27	c 1687s |      17 | 13876867 |   252532 |   130151      3 |        0 |        0
1690.24/1690.75	c 1689s |      17 | 13919080 |   253032 |   130151      3 |        0 |        0
1692.44/1692.99	c 1691s |      17 | 13943653 |   253432 |   130151      3 |        0 |        0
1694.53/1695.05	c 1693s |      17 | 13969501 |   253832 |   130151      3 |        0 |        0
1696.94/1697.41	c 1696s |      17 | 13993125 |   254332 |   130151      3 |        0 |        0
1699.23/1699.79	c 1698s |      17 | 14018363 |   254832 |   130151      3 |        0 |        0
1701.83/1702.33	c 1701s |      17 | 14023580 |   255232 |   130151      3 |        0 |        0
1703.93/1704.41	c 1703s |      17 | 14043224 |   255532 |   130151      3 |        0 |        0
1705.93/1706.45	c 1705s |      17 | 14076404 |   255932 |   130151      3 |        0 |        0
1708.23/1708.73	c 1707s |      17 | 14116304 |   256332 |   130151      3 |        0 |        0
1710.43/1710.95	c 1709s |      17 | 14166987 |   256832 |   130151      3 |        0 |        0
1712.63/1713.15	c 1711s |      17 | 14193334 |   257432 |   130151      3 |        0 |        0
1714.83/1715.37	c 1714s |      17 | 14220494 |   257932 |   130151      3 |        0 |        0
1717.03/1717.53	c 1716s |      17 | 14249378 |   258332 |   130151      3 |        0 |        0
1719.23/1719.77	c 1718s |      17 | 14274255 |   258732 |   130151      3 |        0 |        0
1721.33/1721.87	c 1720s |      17 | 14299121 |   259132 |   130151      3 |        0 |        0
1723.73/1724.21	c 1722s |      17 | 14319254 |   259532 |   130151      3 |        0 |        0
1726.03/1726.58	c 1725s |      17 | 14323066 |   259832 |   130151      3 |        0 |        0
1728.23/1728.71	c 1727s |      17 | 14358797 |   260232 |   130151      3 |        0 |        0
1730.63/1731.17	c 1729s |      17 | 14398640 |   260732 |   130151      3 |        0 |        0
1732.93/1733.43	c 1732s |      17 | 14427089 |   261332 |   130151      3 |        0 |        0
1735.33/1735.81	c 1734s |      17 | 14441319 |   261732 |   130151      3 |        0 |        0
1737.53/1738.01	c 1736s |      17 | 14447733 |   262132 |   130151      3 |        0 |        0
1739.92/1740.40	c 1739s |      17 | 14489490 |   262532 |   130151      3 |        0 |        0
1742.03/1742.59	c 1741s |      17 | 14550444 |   262932 |   130151      3 |        0 |        0
1744.82/1745.37	c 1744s |      17 | 14597956 |   263332 |   130151      3 |        0 |        0
1747.12/1747.69	c 1746s |      17 | 14638961 |   263732 |   130151      3 |        0 |        0
1749.42/1749.99	c 1748s |      17 | 14674860 |   264132 |   130151      3 |        0 |        0
1751.62/1752.18	c 1750s |      17 | 14721397 |   264632 |   130151      3 |        0 |        0
1753.92/1754.41	c 1753s |      17 | 14748242 |   265132 |   130151      3 |        0 |        0
1756.33/1756.82	c 1755s |      17 | 14769252 |   265532 |   130151      3 |        0 |        0
1758.62/1759.11	c 1757s |      17 | 14795604 |   266032 |   130151      3 |        0 |        0
1761.12/1761.67	c 1760s |      17 | 14815885 |   266532 |   130151      3 |        0 |        0
1763.42/1763.97	c 1762s |      17 | 14828954 |   267032 |   130151      3 |        0 |        0
1765.82/1766.32	c 1765s |      17 | 14829704 |   267232 |   130151      3 |        0 |        0
1768.02/1768.56	c 1767s |      17 | 14874448 |   267632 |   130151      3 |        0 |        0
1770.12/1770.66	c 1769s |      17 | 14916527 |   268032 |   130151      3 |        0 |        0
1772.82/1773.36	c 1772s |      17 | 14967844 |   268532 |   130151      3 |        0 |        0
1775.12/1775.65	c 1774s |      17 | 15014644 |   269032 |   130151      3 |        0 |        0
1777.22/1777.72	c 1776s |      17 | 15039889 |   269432 |   130151      3 |        0 |        0
1779.32/1779.83	c 1778s |      17 | 15054892 |   269832 |   130151      3 |        0 |        0
1781.41/1781.98	c 1780s |      17 | 15068611 |   270232 |   130151      3 |        0 |        0
1783.82/1784.37	c 1783s |      17 | 15074792 |   270632 |   130151      3 |        0 |        0
1786.21/1786.75	c 1785s |      17 | 15086083 |   271032 |   130151      3 |        0 |        0
1788.81/1789.39	c 1788s |      17 | 15123957 |   271432 |   130151      3 |        0 |        0
1790.90/1791.41	c 1790s |      17 | 15168385 |   271832 |   130151      3 |        0 |        0
1793.01/1793.51	c 1792s |      17 | 15191266 |   272332 |   130151      3 |        0 |        0
1795.10/1795.61	c 1794s |      17 | 15219951 |   272832 |   130151      3 |        0 |        0
1797.10/1797.63	c 1796s |      17 | 15236712 |   273232 |   130151      3 |        0 |        0
1799.60/1800.18	c 1798s |      17 | 15248734 |   273632 |   130151      3 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4107003-1466280951/watcher-4107003-1466280951 -o /tmp/evaluation-result-4107003-1466280951/solver-4107003-1466280951 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107003-1466280951.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.18 2.16 2.16 2/179 15863
/proc/meminfo: memFree=30070488/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 2672 0 0 0 0 0 0 0 20 0 4 0 30144360 733409280 3033 33554432000 4194304 16246674 140737304937888 140737304937312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 180079 3045 441 2943 0 176973 0
[pid=15863/tid=15864] ppid=15860 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 752283648 3105 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 757526528 3122 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30144360 761720832 3140 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.18 2.16 2.16 2/179 15863
/proc/meminfo: memFree=30070488/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 27963 0 0 0 5 3 0 0 20 0 4 0 30144360 1333334016 28262 33554432000 4194304 16246674 140737304937888 140737304937064 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 325521 28278 801 2943 0 322415 0
[pid=15863/tid=15864] ppid=15860 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1333334016 28289 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1333334016 28301 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1333334016 28311 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200484 s]
/proc/loadavg: 2.18 2.16 2.16 2/179 15863
/proc/meminfo: memFree=30070488/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 47957 0 0 0 13 6 0 0 20 0 4 0 30144360 1345916928 48767 33554432000 4194304 16246674 140737304937888 140737304937064 7440264 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 48767 801 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 48767 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 48767 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 48767 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300551 s]
/proc/loadavg: 2.18 2.16 2.16 2/179 15863
/proc/meminfo: memFree=30070488/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 48279 0 0 0 23 6 0 0 20 0 4 0 30144360 1345916928 49089 33554432000 4194304 16246674 140737304937888 140737304937064 6779519 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 49089 840 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 49089 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 49089 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 49089 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700421 s]
/proc/loadavg: 2.18 2.16 2.16 2/179 15863
/proc/meminfo: memFree=30070488/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 61725 0 0 0 61 8 0 0 20 0 4 0 30144360 1345916928 62535 33554432000 4194304 16246674 140737304937888 140737304937200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 62535 840 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 62535 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 62535 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 62535 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.18 2.16 2.16 3/183 15867
/proc/meminfo: memFree=29630616/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 133207 0 0 0 131 18 0 0 20 0 4 0 30144360 1345916928 134017 33554432000 4194304 16246674 140737304937888 140737304919808 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 134017 881 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 134017 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 134017 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 134017 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10036 s]
/proc/loadavg: 2.16 2.16 2.16 3/183 15867
/proc/meminfo: memFree=29535136/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 191843 0 0 0 283 26 0 0 20 0 4 0 30144360 1345916928 192653 33554432000 4194304 16246674 140737304937888 140737304919808 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 192653 881 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 192663 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 192674 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 192682 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30042 s]
/proc/loadavg: 2.16 2.16 2.16 3/183 15867
/proc/meminfo: memFree=28990872/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=6.28 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 269262 0 0 0 593 35 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140737304919808 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 270072 881 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 15867
/proc/meminfo: memFree=28990608/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 269262 0 0 0 1233 36 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140737304919808 12477729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 270072 881 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.12 2.14 2.15 3/183 15867
/proc/meminfo: memFree=28991028/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 269262 0 0 0 2513 36 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140737304919808 6021544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 270072 881 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270072 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.13 2.15 2.16 3/183 15867
/proc/meminfo: memFree=28991036/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=51.09 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 269265 0 0 0 5073 36 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140737304919808 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 270075 884 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1314372

[startup+102.301 s]
/proc/loadavg: 2.21 2.17 2.16 3/183 15868
/proc/meminfo: memFree=28990916/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 269265 0 0 0 10192 36 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140737304936984 6021616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 328593 270075 884 2943 0 325487 0
[pid=15863/tid=15864] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1345916928 270075 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1397316

[startup+1362.3 s]
/proc/loadavg: 2.13 2.12 2.13 3/183 15899
/proc/meminfo: memFree=28366028/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1397316 CPUtime=1361.98 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 290174 0 0 0 136149 49 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140737304919808 5722972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 349329 290820 890 2943 0 346223 0
[pid=15863/tid=15864] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1397316

[startup+1422.3 s]
/proc/loadavg: 2.11 2.12 2.13 3/183 15901
/proc/meminfo: memFree=28366172/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1397316 CPUtime=1421.96 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 290208 0 0 0 142146 50 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140737304919808 6021672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 349329 290820 890 2943 0 346223 0
[pid=15863/tid=15864] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1397316

[startup+1482.3 s]
/proc/loadavg: 2.35 2.17 2.14 3/184 15905
/proc/meminfo: memFree=28365780/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1397316 CPUtime=1481.92 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 290241 0 0 0 148142 50 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140737304919808 6021376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 349329 290820 890 2943 0 346223 0
[pid=15863/tid=15864] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1397316 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1430851584 290820 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1397316

[startup+1542.31 s]
/proc/loadavg: 2.22 2.17 2.14 3/183 15906
/proc/meminfo: memFree=28357504/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1405508 CPUtime=1541.9 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 292319 0 0 0 154139 51 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140737304919808 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 351377 292869 891 2943 0 348271 0
[pid=15863/tid=15864] ppid=15860 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1405508

[startup+1602.3 s]
/proc/loadavg: 2.19 2.17 2.14 3/183 15907
/proc/meminfo: memFree=28351104/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1405508 CPUtime=1601.86 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 292353 0 0 0 160135 51 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140737304919808 5546001 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 351377 292869 891 2943 0 348271 0
[pid=15863/tid=15864] ppid=15860 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1405508 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1439240192 292869 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1405508

[startup+1662.3 s]
/proc/loadavg: 2.20 2.18 2.15 3/183 15957
/proc/meminfo: memFree=25114452/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1633860 CPUtime=1661.83 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 349466 0 0 0 166124 59 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140737304919808 5677422 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 408465 349957 891 2943 0 405359 0
[pid=15863/tid=15864] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1633860

[startup+1722.3 s]
/proc/loadavg: 2.19 2.17 2.15 3/183 15959
/proc/meminfo: memFree=22748892/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1633860 CPUtime=1721.83 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 349466 0 0 0 172123 60 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140737304919808 5723016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 408465 349957 891 2943 0 405359 0
[pid=15863/tid=15864] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1633860

[startup+1782.3 s]
/proc/loadavg: 2.14 2.17 2.14 4/183 15960
/proc/meminfo: memFree=22748496/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1633860 CPUtime=1781.81 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 349473 0 0 0 178121 60 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140737304919808 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 408465 349957 891 2943 0 405359 0
[pid=15863/tid=15864] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1633860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.19 2.15 3/183 15960
/proc/meminfo: memFree=22748056/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1633860 CPUtime=1800 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 349482 0 0 0 179940 60 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140737304919808 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 408465 349957 891 2943 0 405359 0
[pid=15863/tid=15864] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1633860

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.19 2.15 3/183 15960
/proc/meminfo: memFree=22748056/32872528 swapFree=681964/737152
[pid=15863] ppid=15860 vsize=1633860 CPUtime=1800 cores=0,2,4,6
/proc/15863/stat : 15863 (toysat) R 15860 15863 13233 0 -1 4202496 349482 0 0 0 179940 60 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140737304919808 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15863/statm: 408465 349957 891 2943 0 405359 0
[pid=15863/tid=15864] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15864/stat : 15864 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072288496880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15863/tid=15865] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15865/stat : 15865 (toysat) S 15860 15863 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072278007024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15863/tid=15866] ppid=15860 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/15863/task/15866/stat : 15866 (toysat) S 15860 15863 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30144360 1673072640 349957 33554432000 4194304 16246674 140737304937888 140072267533488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1633860

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.41
CPU system time (s): 0.606907
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1633860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.606907
maximum resident set size= 1399828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349482
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= 381
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8052 second user time and 17.4573 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 22:15:51
IDJOB=4107003
IDBENCH=48360
IDSOLVER=2542
FILE ID=node112/4107003-1466280951
RUNJOBID= node112-1466264161-13249
PBS_JOBID= 19918218
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 8096e07164eab6008a97823c6b00b555
RANDOM SEED=874900817

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30071016 kB
Buffers:           82520 kB
Cached:           162356 kB
SwapCached:         2028 kB
Active:          1180156 kB
Inactive:         148264 kB
Active(anon):    1083600 kB
Inactive(anon):     2096 kB
Active(file):      96556 kB
Inactive(file):   146168 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096744 kB
Dirty:             17476 kB
Writeback:             0 kB
AnonPages:       1819484 kB
Mapped:            10600 kB
Shmem:                 0 kB
Slab:             602904 kB
SReclaimable:      46496 kB
SUnreclaim:       556408 kB
KernelStack:        1456 kB
PageTables:         7632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1963928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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= 71608 MiB
End job on node112 at 2016-06-18 22:45:52